Jcontract API

jcontract
Class RuntimeStatistics

java.lang.Object
  |
  +--jcontract.RuntimeStatistics

public class RuntimeStatistics
extends java.lang.Object

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

RuntimeStatistics

public RuntimeStatistics()
Method Detail

getNumAssertExecuted

public final int getNumAssertExecuted()
Returns the current number of @assert contracts executed

getNumConcurrencyExecuted

public final int getNumConcurrencyExecuted()
Returns the current number of @concurrency contracts executed

getNumInstClassesInitialized

public final int getNumInstClassesInitialized()
Returns the current number of instrumented classes that have been loaded and initialized

getNumInvariantExecuted

public final int getNumInvariantExecuted()
Returns the current number of @invariant contracts executed

getNumPostExecuted

public final int getNumPostExecuted()
Returns the current number of @post contracts executed

getNumPreExecuted

public final int getNumPreExecuted()
Returns the current number of @pre contracts executed

print

public void print(java.io.PrintStream out)
Prints the current statistics
Parameters:
out - stream where the statistics will be printed

Jcontract API