org.jmlspecs.jml4.rac.runtime
Class JMLChecker.CoverageCount

java.lang.Object
  org.jmlspecs.jml4.rac.runtime.JMLChecker.CoverageCount

Enclosing class:

JMLChecker

public static class JMLChecker.CoverageCount
extends java.lang.Object

Field Summary

int	falseCount
java.lang.String	location
int	trueCount

Constructor Summary

JMLChecker.CoverageCount(java.lang.String loc)

Method Summary

void	incr(boolean v)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

location

public java.lang.String location

trueCount

public int trueCount

falseCount

public int falseCount

Constructor Detail

JMLChecker.CoverageCount

public JMLChecker.CoverageCount(java.lang.String loc)

Method Detail

incr

public void incr(boolean v)