forge.tests
Class RegisterTest

java.lang.Object
  extended by forge.tests.ForgeTest
      extended by forge.tests.RegisterTest

public final class RegisterTest
extends ForgeTest

Author:
Greg Dennis (gdennis@mit.edu)

Field Summary
 
Fields inherited from class forge.tests.ForgeTest
CONSTRAIN_STRATEGY, HYBRID_STRATEGY, INLINE_STRATEGY, NO_GLOBALS, NO_SCOPES
 
Constructor Summary
RegisterTest()
           
 
Method Summary
static void main(java.lang.String[] args)
           
 InstanceDomain stringDomain()
           
 InstanceDomain userDomain()
           
 
Methods inherited from class forge.tests.ForgeTest
checkAllTest, checkSpec, checkTest, code, currOptions, name, newOptions, runAllTest, runSpec, runTest, setBounds, standardTest, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

RegisterTest

public RegisterTest()
Method Detail

main

public static void main(java.lang.String[] args)

stringDomain

public InstanceDomain stringDomain()

userDomain

public InstanceDomain userDomain()