public class ExternalPrincipal_c extends Principal_c implements ExternalPrincipal
ExternalPrincipal
interface.variables
Constructor and Description |
---|
ExternalPrincipal_c(java.lang.String name,
JifTypeSystem ts,
polyglot.util.Position pos) |
ExternalPrincipal_c(java.lang.String name,
JifTypeSystem ts,
PrincipalToJavaExpr toJava,
polyglot.util.Position pos) |
Modifier and Type | Method and Description |
---|---|
boolean |
equalsImpl(polyglot.types.TypeObject o)
Compares the specified object with this principal for equality.
|
int |
hashCode() |
boolean |
isCanonical() |
boolean |
isRuntimeRepresentable() |
java.lang.String |
name() |
java.lang.String |
toString() |
hasVariables, isBottomPrincipal, isTopPrincipal, labelCheck, simplify, subst, throwTypes, toJava, variables
typeSystem
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
hasVariables, isBottomPrincipal, isTopPrincipal, labelCheck, simplify, subst, throwTypes, variables
toJava
typeSystem
public ExternalPrincipal_c(java.lang.String name, JifTypeSystem ts, polyglot.util.Position pos)
public ExternalPrincipal_c(java.lang.String name, JifTypeSystem ts, PrincipalToJavaExpr toJava, polyglot.util.Position pos)
public java.lang.String name()
name
in interface ExternalPrincipal
public boolean isRuntimeRepresentable()
isRuntimeRepresentable
in interface Param
isRuntimeRepresentable
in class Principal_c
public boolean isCanonical()
isCanonical
in interface Param
isCanonical
in interface polyglot.types.TypeObject
isCanonical
in class Principal_c
public java.lang.String toString()
toString
in class java.lang.Object
public boolean equalsImpl(polyglot.types.TypeObject o)
ExternalPrincipal
and both principals have the same name.equalsImpl
in interface polyglot.types.TypeObject
equalsImpl
in class Principal_c
public int hashCode()
hashCode
in class Principal_c