protected class JifSubst_c.SubstLabelSubst extends LabelSubstitution implements java.io.Serializable
LabelSubstitution
that performs
substitutions on Label
s and Principal
s.Modifier | Constructor and Description |
---|---|
protected |
SubstLabelSubst() |
Modifier and Type | Method and Description |
---|---|
AccessPath |
substAccessPath(AccessPath ap) |
Label |
substLabel(Label L) |
Principal |
substPrincipal(Principal p) |
popLabel, pushLabel, recurseIntoChildren, stackContains, substPolicy
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
public AccessPath substAccessPath(AccessPath ap) throws polyglot.types.SemanticException
substAccessPath
in class LabelSubstitution
polyglot.types.SemanticException