public class VariableGatherer extends LabelSubstitution
Label.variables()
. It constructs a set of
Variable
s.Constructor and Description |
---|
VariableGatherer() |
Modifier and Type | Method and Description |
---|---|
Label |
substLabel(Label L) |
Principal |
substPrincipal(Principal p) |
popLabel, pushLabel, recurseIntoChildren, stackContains, substAccessPath, substPolicy
public final java.util.Set<Variable> variables
public Label substLabel(Label L) throws polyglot.types.SemanticException
substLabel
in class LabelSubstitution
polyglot.types.SemanticException
public Principal substPrincipal(Principal p) throws polyglot.types.SemanticException
substPrincipal
in class LabelSubstitution
polyglot.types.SemanticException