jltools.ext.jif.extension
Class ConstructorChecker

java.lang.Object
  |
  +--jltools.ext.jif.extension.ConstructorChecker

public class ConstructorChecker

extends java.lang.Object

A tool to label check constructors.

Field Summary

static java.util.Set

topics

Constructor Summary

ConstructorChecker()

Method Summary

void	checkConstructorAuthority(ClassType t, JifContext A)
static void	report(int obscurity, java.lang.String s)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

topics

public static java.util.Set topics

Constructor Detail

ConstructorChecker

public ConstructorChecker()

Method Detail

report

public static void report(int obscurity,
                          java.lang.String s)

checkConstructorAuthority

public void checkConstructorAuthority(ClassType t,
                                      JifContext A)
                               throws SemanticException