Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## jif.extension
Class JifFieldDeclExt_c.InvarianceLabelChecker

    java.lang.Object
      jif.types.LabelSubstitution
          jif.extension.JifFieldDeclExt_c.InvarianceLabelChecker

Enclosing class:
  JifFieldDeclExt_c

    protected static class JifFieldDeclExt_c.InvarianceLabelChecker

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`

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD