polyglot.ext.ibex.types
Class RhsMerge_c
java.lang.Object
polyglot.ext.jl.types.TypeObject_c
polyglot.ext.ibex.types.RhsMerge_c
- All Implemented Interfaces:
- java.lang.Cloneable, Copy, Rhs, RhsMerge, java.io.Serializable, TypeObject
- public class RhsMerge_c
- extends TypeObject_c
- implements RhsMerge
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface polyglot.util.Copy |
copy |
RhsMerge_c
public RhsMerge_c(IbexTypeSystem ts,
Position pos,
RhsCase rhs1,
RhsCase rhs2)
rhs1
public RhsCase rhs1()
- Specified by:
rhs1
in interface RhsMerge
rhs2
public RhsCase rhs2()
- Specified by:
rhs2
in interface RhsMerge
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
matches
public boolean matches(Rhs rhs)
- Specified by:
matches
in interface Rhs
actionMethodName
public java.lang.String actionMethodName(Nonterminal lhs)
- Specified by:
actionMethodName
in interface Rhs
actionMethodFormalTypes
public java.util.List actionMethodFormalTypes()
- Specified by:
actionMethodFormalTypes
in interface Rhs
toString
public java.lang.String toString()