public class VarMap
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected java.util.Map<Variable,ActsForParam> |
bounds |
protected Label |
defaultLabelBound |
protected Principal |
defaultPrincipalBound |
protected JifTypeSystem |
ts |
Constructor and Description |
---|
VarMap(JifTypeSystem ts,
Label defaultLabelBound,
Principal defaultPrincipalBound) |
Modifier and Type | Method and Description |
---|---|
void |
applyTo(Equation eqn) |
Label |
applyTo(Label c) |
Param |
applyTo(Param c) |
Policy |
applyTo(Policy p) |
Principal |
applyTo(Principal p) |
polyglot.types.Type |
applyTo(polyglot.types.Type t) |
Label |
boundOf(VarLabel v) |
Principal |
boundOf(VarPrincipal v) |
VarMap |
copy() |
void |
dump(polyglot.util.CodeWriter w) |
void |
setBound(Variable v,
Label bound) |
void |
setBound(Variable v,
Principal bound) |
java.lang.String |
toString() |
protected java.util.Map<Variable,ActsForParam> bounds
protected JifTypeSystem ts
protected final Label defaultLabelBound
protected final Principal defaultPrincipalBound
public VarMap(JifTypeSystem ts, Label defaultLabelBound, Principal defaultPrincipalBound)
public VarMap copy()
public Principal boundOf(VarPrincipal v)
public void applyTo(Equation eqn)
public polyglot.types.Type applyTo(polyglot.types.Type t)
public java.lang.String toString()
toString
in class java.lang.Object
public void dump(polyglot.util.CodeWriter w)