jif.extension
Class ConstructorChecker

java.lang.Object
  extended by jif.extension.ConstructorChecker

public class ConstructorChecker
extends java.lang.Object

A tool to label check constructors.


Constructor Summary
ConstructorChecker()
           
 
Method Summary
 void checkConstructorAuthority(polyglot.types.ClassType t, JifContext A, polyglot.util.Position pos)
           
 void checkStaticMethodAuthority(JifMethodInstance mi, JifContext A, 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,
                                      polyglot.util.Position pos)
                               throws polyglot.types.SemanticException
Throws:
polyglot.types.SemanticException

checkStaticMethodAuthority

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