jif.types.principal

Class DisjunctivePrincipal_c

java.lang.Object

polyglot.types.TypeObject_c

jif.types.Param_c

jif.types.principal.Principal_c

jif.types.principal.DisjunctivePrincipal_c

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, ActsForParam, Param, DisjunctivePrincipal, Principal, polyglot.types.TypeObject, polyglot.util.Copy<polyglot.types.TypeObject>

public class DisjunctivePrincipal_c
extends Principal_c
implements DisjunctivePrincipal

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.util.Copy

polyglot.util.Copy.Util

Field Summary

Fields inherited from class jif.types.principal.Principal_c

variables

Fields inherited from class polyglot.types.TypeObject_c

position, ts

Constructor Summary

Constructors

Constructor and Description
DisjunctivePrincipal_c(java.util.Collection<Principal> disjuncts, JifTypeSystem ts, polyglot.util.Position pos, PrincipalToJavaExpr toJava)

Method Summary

Modifier and Type	Method and Description
java.util.Set<Principal>	disjuncts()
boolean	equalsImpl(polyglot.types.TypeObject o)
int	hashCode()
boolean	isCanonical()
boolean	isRuntimeRepresentable()
Principal	subst(LabelSubstitution substitution)
java.lang.String	toString()

Methods inherited from class jif.types.principal.Principal_c

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

Methods inherited from class jif.types.Param_c

typeSystem

Methods inherited from class polyglot.types.TypeObject_c

copy, equals, position

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, simplify, throwTypes, variables

Methods inherited from interface jif.types.ActsForParam

toJava

Methods inherited from interface jif.types.Param

typeSystem

Methods inherited from interface polyglot.types.TypeObject

position

Methods inherited from interface polyglot.util.Copy

copy

Constructor Detail

DisjunctivePrincipal_c

public DisjunctivePrincipal_c(java.util.Collection<Principal> disjuncts,
                              JifTypeSystem ts,
                              polyglot.util.Position pos,
                              PrincipalToJavaExpr toJava)

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

disjuncts

public java.util.Set<Principal> disjuncts()

Specified by:

disjuncts in interface DisjunctivePrincipal

subst

public Principal subst(LabelSubstitution substitution)
                throws polyglot.types.SemanticException

Specified by:

subst in interface ActsForParam

Specified by:

subst in interface Principal

Overrides:

subst in class Principal_c

Parameters:

substitution - The LabelSubstitution to apply to this principal

Returns:

the result of applying labelSubst to this principal.

Throws:

polyglot.types.SemanticException