polyglot.ext.ibex.types
Class Nonterminal_c

java.lang.Object
  extended bypolyglot.ext.jl.types.TypeObject_c
      extended bypolyglot.ext.jl.types.ProcedureInstance_c
          extended bypolyglot.ext.jl.types.MethodInstance_c
              extended bypolyglot.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

Field Summary
 
Fields inherited from class polyglot.ext.jl.types.MethodInstance_c
name, returnType
 
Fields inherited from class polyglot.ext.jl.types.ProcedureInstance_c
container, excTypes, flags, formalTypes
 
Fields inherited from class polyglot.ext.jl.types.TypeObject_c
position, ts
 
Constructor Summary
Nonterminal_c(IbexTypeSystem ts, Position pos, ParserType container, Flags flags, Type type, java.lang.String name, java.util.List choices, boolean isStart)
           
 
Method Summary
 java.util.List choices()
           
 boolean isCanonical()
          Return true if the type object contains no unknown/ambiguous types.
 boolean isStart()
           
 Type returnType()
          The method's return type.
 MethodInstance returnType(Type t)
          Set the method's return type.
 void setChoices(java.util.List choices)
           
 void setSymbolType(Type type)
           
 Type symbolType()
           
 java.lang.String toString()
           
 
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 polyglot.ext.jl.types.TypeObject_c
copy, equals, position, typeSystem
 
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.types.MemberInstance
container, flags
 
Methods inherited from interface polyglot.types.TypeObject
equalsImpl, position, typeSystem
 
Methods inherited from interface polyglot.util.Copy
copy
 
Methods inherited from interface polyglot.ext.ibex.types.Symbol
name
 

Constructor Detail

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)
Method Detail

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