forge.solve
Class Coverage

java.lang.Object
  extended by forge.solve.Coverage

public final class Coverage
extends java.lang.Object

Coverage of a

Author:
Greg Dennis (gdennis@mit.edu)

Nested Class Summary
static class Coverage.Score
          A coverage score given to a statement.
 
Method Summary
 ForgeCFG code()
           
 java.util.Set<?> kkCore()
          Returns set of Kodkod formulas in the core.
 java.util.Set<CFGStmt> missed()
          Returns the set of statements that could be covered at least once that are not covered at least once.
 ForgeCFG.Spec spec()
           
 Coverage.Score stmtScore(CFGStmt stmt)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

code

public ForgeCFG code()

spec

public ForgeCFG.Spec spec()

kkCore

public java.util.Set<?> kkCore()
Returns set of Kodkod formulas in the core.


stmtScore

public Coverage.Score stmtScore(CFGStmt stmt)

missed

public java.util.Set<CFGStmt> missed()
Returns the set of statements that could be covered at least once that are not covered at least once.


toString

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