polyglot.ext.ibex.types
Class RhsMerge_c

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

Field Summary
 
Fields inherited from class polyglot.ext.jl.types.TypeObject_c
position, ts
 
Constructor Summary
RhsMerge_c(IbexTypeSystem ts, Position pos, RhsCase rhs1, RhsCase rhs2)
           
 
Method Summary
 java.util.List actionMethodFormalTypes()
           
 java.lang.String actionMethodName(Nonterminal lhs)
           
 boolean isCanonical()
          Return true if the type object contains no unknown/ambiguous types.
 boolean matches(Rhs rhs)
           
 RhsCase rhs1()
           
 RhsCase rhs2()
           
 java.lang.String toString()
           
 
Methods inherited from class polyglot.ext.jl.types.TypeObject_c
copy, equals, equalsImpl, hashCode, position, typeSystem
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface polyglot.types.TypeObject
equalsImpl, position, typeSystem
 
Methods inherited from interface polyglot.util.Copy
copy
 

Constructor Detail

RhsMerge_c

public RhsMerge_c(IbexTypeSystem ts,
                  Position pos,
                  RhsCase rhs1,
                  RhsCase rhs2)
Method Detail

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()