Package ru.ispras.microtesk.tools.oracle
Class Statistic
- java.lang.Object
-
- ru.ispras.microtesk.tools.oracle.Statistic
-
public class Statistic extends java.lang.Object
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
close()
void
write(java.lang.String text)
void
writeResult(int traceSuccess, int traceFail)
java.lang.String
writeSimpleResult(java.lang.String trace, boolean result)
-