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.label
Class VariableGatherer

    java.lang.Object
      jif.types.LabelSubstitution
          jif.types.label.VariableGatherer

    public class VariableGatherer

extends LabelSubstitution

This class is used to implement `Label.variables()`. It constructs a set of `Variable`s.

Field Summary
`java.util.Set` | `variables`

Constructor Summary
`VariableGatherer()`

Method Summary
`Label` | `substLabel(Label L)`
`Principal` | `substPrincipal(Principal p)`

Methods inherited from class jif.types.LabelSubstitution
`popLabel, pushLabel, recurseIntoChildren, stackContains, substAccessPath, substPolicy`

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

Field Detail

### variables

    public final java.util.Set variables

Constructor Detail

### VariableGatherer

    public VariableGatherer()

Method Detail

### substLabel

    public Label substLabel(Label L)
                     throws polyglot.types.SemanticException

  Overrides:
    `substLabel` in class `LabelSubstitution`
  Throws:
    `polyglot.types.SemanticException`

### substPrincipal

    public Principal substPrincipal(Principal p)
                             throws polyglot.types.SemanticException

  Overrides:
    `substPrincipal` in class `LabelSubstitution`
  Throws:
    `polyglot.types.SemanticException`

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