Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## jif.types
Class VarMap

    java.lang.Object
      jif.types.VarMap

    public class VarMap

extends java.lang.Object

Maps variable components to labels. Whether these labels are interpreted as upper bounds, lower bounds, or just labels depends on the use of the VarMap. If a variable v is in the map when boundOf(v) is called, boundOf(v) will return the label defaultBound, and enter the mapping v->defaultBound into the map, so that next time boundOf(v) is called, the same label will be returned, even if the default bound has changed in the meantime, through the setDefaultBound(Label) method. The defaultLabel defaults to ts.topLabel().

Constructor Summary
`VarMap(JifTypeSystem ts, Label defaultBound)`

Method Summary
`Label` | `applyTo(Label c)`
`Principal` | `applyTo(Principal p)`
`polyglot.types.Type` | `applyTo(polyglot.types.Type t)`
`Label` | `boundOf(VarLabel v)`
`VarMap` | `copy()`
`void` | `dump(polyglot.util.CodeWriter w)`
`void` | `print()`
`void` | `setBound(VarLabel v, Label bound)`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Constructor Detail

### VarMap

    public VarMap(JifTypeSystem ts,
                  Label defaultBound)

Method Detail

### copy

    public VarMap copy()

### boundOf

    public Label boundOf(VarLabel v)

### setBound

    public void setBound(VarLabel v,
                         Label bound)

### applyTo

    public Label applyTo(Label c)

### applyTo

    public Principal applyTo(Principal p)

### applyTo

    public polyglot.types.Type applyTo(polyglot.types.Type t)

### print

    public void print()

### dump

    public void dump(polyglot.util.CodeWriter w)

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD