protected static class JifFieldDeclExt_c.InvarianceLabelChecker extends LabelSubstitution
Modifier and Type | Method and Description |
---|---|
Label |
substLabel(Label L) |
popLabel, pushLabel, recurseIntoChildren, stackContains, substAccessPath, substPolicy, substPrincipal
public Label substLabel(Label L) throws polyglot.types.SemanticException
substLabel
in class LabelSubstitution
polyglot.types.SemanticException