public class Value
extends Object
A value recorded during evaluation of an assertion, along with the column it
is associated with in the assertion's normalized source text.
-
Constructor Summary
Constructors
Constructor |
Description |
Value(Object value,
int column) |
|
-
Method Summary
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Constructor Details
-
public Value(
Object value,
int column)
-