polyglot.ext.ibex.types
Class RhsCase_c

java.lang.Object
  extended bypolyglot.ext.jl.types.TypeObject_c
      extended bypolyglot.ext.ibex.types.RhsCase_c
All Implemented Interfaces:
java.lang.Cloneable, Copy, Rhs, RhsCase, java.io.Serializable, TypeObject

public class RhsCase_c
extends TypeObject_c
implements RhsCase

See Also:
Serialized Form

Field Summary
 
Fields inherited from class polyglot.ext.jl.types.TypeObject_c
position, ts
 
Constructor Summary
RhsCase_c(IbexTypeSystem ts, Position pos, java.util.List elements, java.util.List tags)
           
 
Method Summary
 java.util.List actionMethodFormalTypes()
           
 java.lang.String actionMethodName(Nonterminal lhs)
           
 java.util.List elements()
           
 boolean hasSameElements(RhsCase rhs)
           
 boolean isCanonical()
          Return true if the type object contains no unknown/ambiguous types.
 boolean matches(Rhs rhs)
           
 java.util.List tags()
           
 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

RhsCase_c

public RhsCase_c(IbexTypeSystem ts,
                 Position pos,
                 java.util.List elements,
                 java.util.List tags)
Method Detail

elements

public java.util.List elements()
Specified by:
elements in interface RhsCase

tags

public java.util.List tags()
Specified by:
tags in interface RhsCase

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

hasSameElements

public boolean hasSameElements(RhsCase rhs)
Specified by:
hasSameElements in interface RhsCase

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