protected static class JifFieldDeclExt_c.InvarianceLabelSubstr extends TypeSubstitutor
Constructor and Description |
---|
InvarianceLabelSubstr(polyglot.util.Position pos) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
recurseIntoArrayType(polyglot.types.ArrayType type) |
protected boolean |
recurseIntoSubstType(JifSubstType type) |
recurseIntoLabeledType, rewriteActsForParam, rewriteAssertion, rewriteLabel, rewritePrincipal, rewriteType
protected boolean recurseIntoSubstType(JifSubstType type)
recurseIntoSubstType
in class TypeSubstitutor
protected boolean recurseIntoArrayType(polyglot.types.ArrayType type)
recurseIntoArrayType
in class TypeSubstitutor