jif.extension

## Class JifFieldDeclExt_c.StaticFieldLabelChecker

- java.lang.Object
- - jif.types.LabelSubstitution
  - - jif.extension.JifFieldDeclExt_c.StaticFieldLabelChecker

- Enclosing class:
    JifFieldDeclExt_c

      protected static class JifFieldDeclExt_c.StaticFieldLabelChecker
      extends LabelSubstitution

  Checker to ensure that labels of static fields do not use the This label, or any parameters

- - ### Method Summary

    All Methods Instance Methods Concrete Methods
    Modifier and Type | Method and Description
    --- | ---
    `Label` | `substLabel(Label L)`
    `Principal` | `substPrincipal(Principal p)`

    - ### Methods inherited from class jif.types.LabelSubstitution

      `popLabel, pushLabel, recurseIntoChildren, stackContains, substAccessPath, substPolicy`

    - ### 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`

    - #### substPrincipal

          public Principal substPrincipal(Principal p)
                                   throws polyglot.types.SemanticException

      Overrides:
        `substPrincipal` in class `LabelSubstitution`
      Throws:
        `polyglot.types.SemanticException`