public class Inst extends Amb
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.Constructor and Description |
---|
Inst(Grm parser,
polyglot.util.Position pos,
polyglot.ast.TypeNode prefix,
java.util.List<ParamNode> params) |
Modifier and Type | Method and Description |
---|---|
java.util.List<ParamNode> |
params() |
polyglot.ast.TypeNode |
prefix() |
polyglot.ast.TypeNode |
toClassType() |
polyglot.ast.Prefix |
toPrefix() |
polyglot.ast.Receiver |
toReceiver() |
polyglot.ast.TypeNode |
toType() |
polyglot.ast.TypeNode |
toUnlabeledType() |
parser, position, toExpr, toIdentifier, toName, toNewArray, toNewArrayPrefix, toPackage, toQualifier, wrap
public polyglot.ast.TypeNode prefix()
public java.util.List<ParamNode> params()
public polyglot.ast.TypeNode toType() throws java.lang.Exception
public polyglot.ast.Prefix toPrefix() throws java.lang.Exception
public polyglot.ast.Receiver toReceiver() throws java.lang.Exception
toReceiver
in class Amb
java.lang.Exception
public polyglot.ast.TypeNode toUnlabeledType() throws java.lang.Exception
toUnlabeledType
in class Amb
java.lang.Exception
public polyglot.ast.TypeNode toClassType() throws java.lang.Exception
toClassType
in class Amb
java.lang.Exception