|
Jcontract API | |||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--jcontract.RuntimeStatistics
Keeps information about the contracts executed.
Constructor Summary | |
RuntimeStatistics()
|
Method Summary | |
int |
getNumAssertExecuted()
Returns the current number of @assert contracts executed |
int |
getNumConcurrencyExecuted()
Returns the current number of @concurrency contracts executed |
int |
getNumInstClassesInitialized()
Returns the current number of instrumented classes that have been loaded and initialized |
int |
getNumInvariantExecuted()
Returns the current number of @invariant contracts executed |
int |
getNumPostExecuted()
Returns the current number of @post contracts executed |
int |
getNumPreExecuted()
Returns the current number of @pre contracts executed |
void |
print(java.io.PrintStream out)
Prints the current statistics |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public RuntimeStatistics()
Method Detail |
public final int getNumAssertExecuted()
@assert
contracts executedpublic final int getNumConcurrencyExecuted()
@concurrency
contracts executedpublic final int getNumInstClassesInitialized()
public final int getNumInvariantExecuted()
@invariant
contracts executedpublic final int getNumPostExecuted()
@post
contracts executedpublic final int getNumPreExecuted()
@pre
contracts executedpublic void print(java.io.PrintStream out)
out
- stream where the statistics will be printed
|
Jcontract API | |||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |