jif.extension
Class ConstructorChecker
java.lang.Object
jif.extension.ConstructorChecker
public class ConstructorChecker
- extends java.lang.Object
A tool to label check constructors.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ConstructorChecker
public ConstructorChecker()
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