Class OracleResult


  • public class OracleResult
    extends java.lang.Object
    A test case score generated by an oracle.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      java.lang.String message  
      int score  
    • Constructor Summary

      Constructors 
      Constructor Description
      OracleResult​(int scor, java.lang.String msg)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

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

      • score

        public int score
      • message

        public java.lang.String message
    • Constructor Detail

      • OracleResult

        public OracleResult​(int scor,
                            java.lang.String msg)
    • Method Detail

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object