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

JifFieldDeclExt_c.InvarianceLabelSubstr(polyglot.util.Position pos)

Method Summary

protected boolean	recurseIntoArrayType(polyglot.types.ArrayType type)
protected boolean	recurseIntoSubstType(JifSubstType type)

Methods inherited from class jif.types.TypeSubstitutor

recurseIntoLabeledType, rewriteAssertion, rewriteLabel, rewritePrincipal, rewriteType

Methods inherited from class java.lang.Object

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

Constructor Detail

JifFieldDeclExt_c.InvarianceLabelSubstr

public JifFieldDeclExt_c.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