jif.parse
Class Inst
java.lang.Object
jif.parse.Amb
jif.parse.Inst
public class Inst
- extends Amb
An Inst
represents a Amb
of the form "P[T,U,...]".
Either there must be at least two types/expressions in the list, which implies that
this must be an instantiation of a polymorphic type, or there may be a single element
in the list that is known to be a type.
The type itself is still ambiguous.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
toType
public polyglot.ast.TypeNode toType()
throws java.lang.Exception
- Overrides:
toType
in class Amb
- Throws:
java.lang.Exception
toPrefix
public polyglot.ast.Prefix toPrefix()
throws java.lang.Exception
- Overrides:
toPrefix
in class Amb
- Throws:
java.lang.Exception
toReceiver
public polyglot.ast.Receiver toReceiver()
throws java.lang.Exception
- Overrides:
toReceiver
in class Amb
- Throws:
java.lang.Exception
toUnlabeledType
public polyglot.ast.TypeNode toUnlabeledType()
throws java.lang.Exception
- Overrides:
toUnlabeledType
in class Amb
- Throws:
java.lang.Exception
toClassType
public polyglot.ast.TypeNode toClassType()
throws java.lang.Exception
- Overrides:
toClassType
in class Amb
- Throws:
java.lang.Exception