jltools.types
Class Types

java.lang.Object
  |
  +--jltools.types.Types

public class Types

extends java.lang.Object

A class used for reporting debug output related to types.

Constructor Summary

Types()

Method Summary

static void

report(int level, java.lang.String msg)

Methods inherited from class java.lang.Object

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

Constructor Detail

Types

public Types()

Method Detail

report

public static void report(int level,
                          java.lang.String msg)