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