jif.extension

Class JifFieldDeclExt_c.InvarianceLabelSubstr

java.lang.Object

jif.types.TypeSubstitutor

jif.extension.JifFieldDeclExt_c.InvarianceLabelSubstr

Enclosing class:

JifFieldDeclExt_c

protected static class JifFieldDeclExt_c.InvarianceLabelSubstr
extends TypeSubstitutor

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
protected boolean	recurseIntoArrayType(polyglot.types.ArrayType type)
protected boolean	recurseIntoSubstType(JifSubstType type)

Methods inherited from class jif.types.TypeSubstitutor

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

InvarianceLabelSubstr

public InvarianceLabelSubstr(polyglot.util.Position pos)

Method Detail

recurseIntoSubstType

protected boolean recurseIntoSubstType(JifSubstType type)

Overrides:

recurseIntoSubstType in class TypeSubstitutor

recurseIntoArrayType

protected boolean recurseIntoArrayType(polyglot.types.ArrayType type)

Overrides:

recurseIntoArrayType in class TypeSubstitutor