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

JifFormalExt.FormalVarianceLabelSubstr(polyglot.util.Position pos)

Method Summary

protected boolean

recurseIntoSubstType(JifSubstType type)

Methods inherited from class jif.types.TypeSubstitutor

recurseIntoArrayType, 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

JifFormalExt.FormalVarianceLabelSubstr

public JifFormalExt.FormalVarianceLabelSubstr(polyglot.util.Position pos)

Method Detail

recurseIntoSubstType

protected boolean recurseIntoSubstType(JifSubstType type)

Overrides:

recurseIntoSubstType in class TypeSubstitutor