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

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