forge.tests
Class ForgeTest

java.lang.Object
  forge.tests.ForgeTest

Direct Known Subclasses:

CopyTreeTest, CoverageTest, CreateTest, ListTest, MultiplyTest, RegisterTest, TreeIntSetTest, TreeIntSetTest2, ZuneTest

public abstract class ForgeTest
extends java.lang.Object

A generic Forge Test to be extended

Author:

Greg Dennis (gdennis@mit.edu)

Field Summary

protected static SEStrategy	CONSTRAIN_STRATEGY
protected static SEStrategy	HYBRID_STRATEGY
protected static SEStrategy	INLINE_STRATEGY
protected static java.util.Set<GlobalVariable>	NO_GLOBALS
protected static java.util.Map<InstanceDomain,java.lang.Integer>	NO_SCOPES

Constructor Summary

protected

ForgeTest(java.lang.String name, ForgeCFG code, ForgeExpression preCond, ForgeExpression postCond, java.util.Set<GlobalVariable> modGlobals)

Method Summary

java.util.Iterator<ForgeSolution>	checkAllTest()
ForgeCFG.Spec	checkSpec()
ForgeSolution	checkTest()
ForgeCFG	code()
SolveOptions.Builder	currOptions()
java.lang.String	name()
SolveOptions.Builder	newOptions(int unrolls)
java.util.Iterator<ForgeSolution>	runAllTest()
ForgeCFG.Spec	runSpec()
ForgeSolution	runTest()
void	setBounds(int bitWidth, java.util.Map<InstanceDomain,java.lang.Integer> scopes)
void	standardTest()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

NO_SCOPES

protected static final java.util.Map<InstanceDomain,java.lang.Integer> NO_SCOPES

NO_GLOBALS

protected static final java.util.Set<GlobalVariable> NO_GLOBALS

INLINE_STRATEGY

protected static final SEStrategy INLINE_STRATEGY

CONSTRAIN_STRATEGY

protected static final SEStrategy CONSTRAIN_STRATEGY

HYBRID_STRATEGY

protected static final SEStrategy HYBRID_STRATEGY

Constructor Detail

ForgeTest

protected ForgeTest(java.lang.String name,
                    ForgeCFG code,
                    ForgeExpression preCond,
                    ForgeExpression postCond,
                    java.util.Set<GlobalVariable> modGlobals)

Method Detail

name

public final java.lang.String name()

code

public final ForgeCFG code()

checkSpec

public final ForgeCFG.Spec checkSpec()

runSpec

public final ForgeCFG.Spec runSpec()

newOptions

public final SolveOptions.Builder newOptions(int unrolls)

currOptions

public final SolveOptions.Builder currOptions()

setBounds

public final void setBounds(int bitWidth,
                            java.util.Map<InstanceDomain,java.lang.Integer> scopes)

checkTest

public final ForgeSolution checkTest()

runTest

public final ForgeSolution runTest()

checkAllTest

public final java.util.Iterator<ForgeSolution> checkAllTest()

runAllTest

public final java.util.Iterator<ForgeSolution> runAllTest()

standardTest

public final void standardTest()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object