jif.types.principal
Class DisjunctivePrincipal_c
java.lang.Object
polyglot.types.TypeObject_c
jif.types.principal.Principal_c
jif.types.principal.DisjunctivePrincipal_c
- All Implemented Interfaces:
- java.io.Serializable, java.lang.Cloneable, Param, DisjunctivePrincipal, Principal, polyglot.types.TypeObject, polyglot.util.Copy
public class DisjunctivePrincipal_c
- extends Principal_c
- implements DisjunctivePrincipal
- See Also:
- Serialized Form
Fields inherited from class polyglot.types.TypeObject_c |
position, ts |
Methods inherited from class polyglot.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.TypeObject |
position, typeSystem |
Methods inherited from interface polyglot.util.Copy |
copy |
DisjunctivePrincipal_c
public DisjunctivePrincipal_c(java.util.Collection disjuncts,
JifTypeSystem ts,
polyglot.util.Position pos)
isRuntimeRepresentable
public boolean isRuntimeRepresentable()
- Specified by:
isRuntimeRepresentable
in interface Param
- Specified by:
isRuntimeRepresentable
in class Principal_c
isCanonical
public boolean isCanonical()
- Specified by:
isCanonical
in interface Param
- Specified by:
isCanonical
in interface polyglot.types.TypeObject
- Specified by:
isCanonical
in class Principal_c
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
equalsImpl
public boolean equalsImpl(polyglot.types.TypeObject o)
- Specified by:
equalsImpl
in interface polyglot.types.TypeObject
- Specified by:
equalsImpl
in class Principal_c
hashCode
public int hashCode()
- Specified by:
hashCode
in class Principal_c
disjuncts
public java.util.Set disjuncts()
- Specified by:
disjuncts
in interface DisjunctivePrincipal