wt.tools.metamodel
Class ModelCheck

java.lang.Object
  wt.tools.metamodel.ModelCheck

public class ModelCheck

extends Object

Field Summary

(package private) static OutputFile	file
(package private) static Vector	problems

Constructor Summary

ModelCheck()

Method Summary

protected static void	check(ClassClass theClass)
static void	check(Enumeration classEnum)
static void	report(String line)
static void	report(Vector lines)
static OutputFile	setFile()

Methods inherited from class java.lang.Object

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

Field Detail

problems

static Vector problems

file

static OutputFile file

Constructor Detail

ModelCheck

public ModelCheck()

Method Detail

check

public static void check(Enumeration classEnum)

check

protected static void check(ClassClass theClass)

report

public static void report(String line)

report

public static void report(Vector lines)

setFile

public static OutputFile setFile()