jif.extension

## Class ConstructorChecker

- java.lang.Object
- - jif.extension.ConstructorChecker

-     public class ConstructorChecker
      extends java.lang.Object

  A tool to label check constructors.

- - ### Constructor Summary

    Constructors
    Constructor and Description
    `ConstructorChecker()`

  - ### Method Summary

    All Methods Instance Methods Concrete Methods
    Modifier and Type | Method and Description
    --- | ---
    `void` | `checkConstructorAuthority(polyglot.types.ClassType t, JifContext A, LabelChecker lc, polyglot.util.Position pos)`
    `void` | `checkStaticMethodAuthority(JifMethodInstance mi, JifContext A, LabelChecker lc, polyglot.util.Position pos)`

    - ### Methods inherited from class java.lang.Object

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

- - ### Constructor Detail

    - #### ConstructorChecker

          public ConstructorChecker()

  - ### Method Detail

    - #### checkConstructorAuthority

          public void checkConstructorAuthority(polyglot.types.ClassType t,
                                                JifContext A,
                                                LabelChecker lc,
                                                polyglot.util.Position pos)
                                         throws polyglot.types.SemanticException

      Throws:
        `polyglot.types.SemanticException`

    - #### checkStaticMethodAuthority

          public void checkStaticMethodAuthority(JifMethodInstance mi,
                                                 JifContext A,
                                                 LabelChecker lc,
                                                 polyglot.util.Position pos)
                                          throws polyglot.types.SemanticException

      Throws:
        `polyglot.types.SemanticException`