com.ibm.bluej.consistency.validate

Class BasicCheck

java.lang.Object

com.ibm.bluej.consistency.validate.BasicCheck

public class BasicCheck
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
BasicCheck()

Method Summary

Methods

Modifier and Type	Method and Description
static java.util.HashSet<java.lang.String>	checkBasic(java.util.Collection<Formula> formulas)
static void	checkCollectionDefinition(ATerm t, boolean isOk)

Methods inherited from class java.lang.Object

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

Constructor Detail

BasicCheck

public BasicCheck()

Method Detail

checkBasic

public static java.util.HashSet<java.lang.String> checkBasic(java.util.Collection<Formula> formulas)

checkCollectionDefinition

public static void checkCollectionDefinition(ATerm t,
                             boolean isOk)