polyglot.ext.ibex.types
Class Nonterminal_c
java.lang.Object
polyglot.ext.jl.types.TypeObject_c
polyglot.ext.jl.types.ProcedureInstance_c
polyglot.ext.jl.types.MethodInstance_c
polyglot.ext.ibex.types.Nonterminal_c
- All Implemented Interfaces:
- java.lang.Cloneable, CodeInstance, Copy, MemberInstance, MethodInstance, Nonterminal, ProcedureInstance, java.io.Serializable, Symbol, TypeObject
- public class Nonterminal_c
- extends MethodInstance_c
- implements Nonterminal
- See Also:
- Serialized Form
Methods inherited from class polyglot.ext.jl.types.MethodInstance_c |
canOverride, canOverrideImpl, canOverrideImpl, checkOverride, container, designator, equalsImpl, flags, formalTypes, hashCode, implemented, implementedImpl, isSameMethod, isSameMethodImpl, methodCallValid, methodCallValidImpl, name, name, overrides, overridesImpl, signature, throwTypes |
Methods inherited from class polyglot.ext.jl.types.ProcedureInstance_c |
callValid, callValidImpl, container, flags, formalTypes, hasFormals, hasFormalsImpl, listIsCanonical, moreSpecific, moreSpecificImpl, throwsSubset, throwsSubsetImpl, throwTypes |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface polyglot.types.MethodInstance |
canOverride, canOverrideImpl, checkOverride, container, flags, formalTypes, implemented, implementedImpl, isSameMethod, isSameMethodImpl, methodCallValid, methodCallValidImpl, name, name, overrides, overridesImpl, throwTypes |
Methods inherited from interface polyglot.types.ProcedureInstance |
callValid, callValidImpl, designator, formalTypes, hasFormals, hasFormalsImpl, moreSpecific, moreSpecificImpl, signature, throwsSubset, throwsSubsetImpl, throwTypes |
Methods inherited from interface polyglot.util.Copy |
copy |
Methods inherited from interface polyglot.ext.ibex.types.Symbol |
name |
Nonterminal_c
public Nonterminal_c(IbexTypeSystem ts,
Position pos,
ParserType container,
Flags flags,
Type type,
java.lang.String name,
java.util.List choices,
boolean isStart)
returnType
public Type returnType()
- Description copied from interface:
MethodInstance
- The method's return type.
- Specified by:
returnType
in interface MethodInstance
- Overrides:
returnType
in class MethodInstance_c
returnType
public MethodInstance returnType(Type t)
- Description copied from interface:
MethodInstance
- Set the method's return type.
- Specified by:
returnType
in interface MethodInstance
- Overrides:
returnType
in class MethodInstance_c
symbolType
public Type symbolType()
- Specified by:
symbolType
in interface Symbol
setSymbolType
public void setSymbolType(Type type)
- Specified by:
setSymbolType
in interface Nonterminal
choices
public java.util.List choices()
- Specified by:
choices
in interface Nonterminal
setChoices
public void setChoices(java.util.List choices)
- Specified by:
setChoices
in interface Nonterminal
isStart
public boolean isStart()
- Specified by:
isStart
in interface Nonterminal
isCanonical
public boolean isCanonical()
- Description copied from interface:
TypeObject
- Return true if the type object contains no unknown/ambiguous types.
- Specified by:
isCanonical
in interface TypeObject
- Overrides:
isCanonical
in class MethodInstance_c
toString
public java.lang.String toString()
- Overrides:
toString
in class MethodInstance_c