public class Value
extends java.lang.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

    Constructor Description
    Value​(java.lang.Object value, int column)  
  • Method Summary

    Modifier and Type Method Description
    int getColumn()  
    java.lang.Object getValue()  

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  • Constructor Details

    • Value

      public Value​(java.lang.Object value, int column)
  • Method Details

    • getValue

      public java.lang.Object getValue()
    • getColumn

      public int getColumn()