jif.extension

Class JifFormalExt.FormalVarianceLabelSubstr

java.lang.Object

jif.types.TypeSubstitutor

jif.extension.JifFormalExt.FormalVarianceLabelSubstr

Enclosing class:

JifFormalExt

protected static class JifFormalExt.FormalVarianceLabelSubstr
extends TypeSubstitutor

Visitor to ensure that labels do not use covariant labels in the wrong places

Constructor Summary

Constructors

Constructor and Description
FormalVarianceLabelSubstr(polyglot.util.Position pos)

Method Summary

Modifier and Type	Method and Description
protected boolean	recurseIntoSubstType(JifSubstType type)

Methods inherited from class jif.types.TypeSubstitutor

recurseIntoArrayType, recurseIntoLabeledType, rewriteActsForParam, rewriteAssertion, rewriteLabel, rewritePrincipal, rewriteType

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FormalVarianceLabelSubstr

public FormalVarianceLabelSubstr(polyglot.util.Position pos)

Method Detail

recurseIntoSubstType

protected boolean recurseIntoSubstType(JifSubstType type)

Overrides:

recurseIntoSubstType in class TypeSubstitutor