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 Variables.

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