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

ConstructorChecker()

Method Summary

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