protected static class JifMethodDeclExt.CovariantLabelChecker extends LabelSubstitution
Modifier and Type | Method and Description |
---|---|
boolean |
recurseIntoLabelOf()
We do not want to check the labelOf components of fields.
|
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
public boolean recurseIntoLabelOf()