Class ValueRecorder


  • public class ValueRecorder
    extends java.lang.Object
    Records values produced during evaluation of an assertion statement's truth expression.
    • Constructor Summary

      Constructors 
      Constructor Description
      ValueRecorder()  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void clear()  
      java.util.List<Value> getValues()  
      java.lang.Object record​(java.lang.Object value, int anchor)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • RECORD_METHOD_NAME

        public static final java.lang.String RECORD_METHOD_NAME
        See Also:
        Constant Field Values
      • CLEAR_METHOD_NAME

        public static final java.lang.String CLEAR_METHOD_NAME
        See Also:
        Constant Field Values
      • values

        private final java.util.List<Value> values
    • Constructor Detail

      • ValueRecorder

        public ValueRecorder()
    • Method Detail

      • clear

        public void clear()
      • record

        public java.lang.Object record​(java.lang.Object value,
                                       int anchor)
      • getValues

        public java.util.List<Value> getValues()