jif.types.principal
Class ConjunctivePrincipal_c

java.lang.Object
  polyglot.types.TypeObject_c
      jif.types.principal.Principal_c
          jif.types.principal.ConjunctivePrincipal_c

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, Param, ConjunctivePrincipal, Principal, polyglot.types.TypeObject, polyglot.util.Copy

public class ConjunctivePrincipal_c
extends Principal_c
implements ConjunctivePrincipal

See Also:

Serialized Form

Field Summary

Fields inherited from class jif.types.principal.Principal_c

variables

Fields inherited from class polyglot.types.TypeObject_c

position, ts

Constructor Summary

ConjunctivePrincipal_c(java.util.Collection conjuncts, JifTypeSystem ts, polyglot.util.Position pos)

Method Summary

java.util.Set	conjuncts()
boolean	equalsImpl(polyglot.types.TypeObject o)
int	hashCode()
boolean	isCanonical()
boolean	isRuntimeRepresentable()
Principal	simplify() Simplify the label, using the actsfor relation if needed
java.lang.String	toString()

Methods inherited from class jif.types.principal.Principal_c

hasVariables, isBottomPrincipal, isTopPrincipal, labelCheck, subst, throwTypes, toJava, variables

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 jif.types.principal.Principal

hasVariables, isBottomPrincipal, isTopPrincipal, labelCheck, subst, throwTypes, toJava, variables

Methods inherited from interface polyglot.types.TypeObject

position, typeSystem

Methods inherited from interface polyglot.util.Copy

copy

Constructor Detail

ConjunctivePrincipal_c

public ConjunctivePrincipal_c(java.util.Collection conjuncts,
                              JifTypeSystem ts,
                              polyglot.util.Position pos)

Method Detail

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

conjuncts

public java.util.Set conjuncts()

Specified by:

conjuncts in interface ConjunctivePrincipal

simplify

public Principal simplify()

Description copied from interface: Principal

Simplify the label, using the actsfor relation if needed

Specified by:

simplify in interface Principal

Overrides:

simplify in class Principal_c