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
    • 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()