toolbus.atom
Class Atom.Test

java.lang.Object
  toolbus.atom.Atom.Test

Enclosing class:

Atom

private static class Atom.Test
extends java.lang.Object

This class represents a test associated with an atom. It carries its own execution environment.

Field Summary

Environment	testEnv
aterm.ATerm	testExpr

Constructor Summary

Atom.Test(aterm.ATerm test, Environment env)

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Field Detail

testExpr

public final aterm.ATerm testExpr

testEnv

public final Environment testEnv

Constructor Detail

Atom.Test

public Atom.Test(aterm.ATerm test,
                 Environment env)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object