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 JifTypeNodeDel.StaticLabelChecker

    java.lang.Object
      jif.types.LabelSubstitution
          jif.extension.JifTypeNodeDel.StaticLabelChecker

Enclosing class:
  JifTypeNodeDel

    protected static class JifTypeNodeDel.StaticLabelChecker

extends LabelSubstitution

Checker to ensure that labels in a static context do not use the This label

Method Summary
`Label` | `substLabel(Label L)`

Methods inherited from class jif.types.LabelSubstitution
`popLabel, pushLabel, stackContains, 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