public class VarPrincipal_c extends Principal_c implements VarPrincipal
VarPrincipal
interface.Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
description |
variables
Constructor and Description |
---|
VarPrincipal_c(java.lang.String name,
java.lang.String description,
JifTypeSystem ts,
polyglot.util.Position pos) |
Modifier and Type | Method and Description |
---|---|
boolean |
equalsImpl(polyglot.types.TypeObject o) |
int |
hashCode() |
boolean |
isCanonical() |
boolean |
isRuntimeRepresentable() |
boolean |
mustRuntimeRepresentable()
Does this var label need to map to a runtime representable label?
|
java.lang.String |
name() |
protected void |
setDescription(java.lang.String description) |
void |
setMustRuntimeRepresentable()
Set the mustRuntimeRepresentable flag, meaning that any solution for this
VarLabel must be to a runtime representable label.
|
java.lang.String |
toString() |
java.util.Set<Variable> |
variables()
The set of variables that this label contains including variables contained
in upper bounds of arg labels.
|
hasVariables, isBottomPrincipal, isTopPrincipal, labelCheck, simplify, subst, throwTypes, toJava
typeSystem
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
hasVariables, isBottomPrincipal, isTopPrincipal, labelCheck, simplify, subst, throwTypes
toJava
typeSystem
public VarPrincipal_c(java.lang.String name, java.lang.String description, JifTypeSystem ts, polyglot.util.Position pos)
protected void setDescription(java.lang.String description)
public boolean isCanonical()
isCanonical
in interface Param
isCanonical
in interface polyglot.types.TypeObject
isCanonical
in class Principal_c
public void setMustRuntimeRepresentable()
Variable
setMustRuntimeRepresentable
in interface Variable
public boolean mustRuntimeRepresentable()
Variable
mustRuntimeRepresentable
in interface Variable
public boolean equalsImpl(polyglot.types.TypeObject o)
equalsImpl
in interface polyglot.types.TypeObject
equalsImpl
in class Principal_c
public int hashCode()
hashCode
in class Principal_c
public java.util.Set<Variable> variables()
Principal
variables
in interface Principal
variables
in class Principal_c
public java.lang.String toString()
toString
in class java.lang.Object
public boolean isRuntimeRepresentable()
isRuntimeRepresentable
in interface Param
isRuntimeRepresentable
in class Principal_c