jif.extension
Class JifFormalExt.FormalVarianceLabelChecker

java.lang.Object
  jif.types.LabelSubstitution
      jif.extension.JifFormalExt.FormalVarianceLabelChecker

Enclosing class:

JifFormalExt

protected static class JifFormalExt.FormalVarianceLabelChecker
extends LabelSubstitution

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

Method Summary

Label

substLabel(Label L)

Methods inherited from class jif.types.LabelSubstitution

popLabel, pushLabel, recurseIntoChildren, stackContains, substAccessPath, substPolicy, substPrincipal

Methods inherited from class java.lang.Object

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

Method Detail

substLabel

public Label substLabel(Label L)
                 throws polyglot.types.SemanticException

Overrides:

substLabel in class LabelSubstitution

Throws:

polyglot.types.SemanticException