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)

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)
                               throws polyglot.types.SemanticException

Throws:

polyglot.types.SemanticException