edu.utep.cs.utjml.compiler.rt
Class JMLTestCoverage.CInfo

java.lang.Object
  edu.utep.cs.utjml.compiler.rt.JMLTestCoverage.CInfo

Enclosing class:

JMLTestCoverage

public static class JMLTestCoverage.CInfo
extends Object

Class representing coverage of an atomic boolean expression. This class is a tuple consisting of the ID number of an atomic boolean expression and its evaluated value (true, false, or undefined).

Method Summary

static JMLTestCoverage.CInfo	defined(int id, boolean val) Creates a new coverage info for the given atomic boolean expression with the given value.
boolean	equals(Object other) Returns true if this object is equal to the given object.
int	id() Returns the identification number of the atomic boolean expression that this coverage info represents.
String	toString() Returns a string representation of this coverage information.
static JMLTestCoverage.CInfo	undefined(int id) Creates a new coverage info for the given atomic boolean expression with the undefied value.

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

defined

public static JMLTestCoverage.CInfo defined(int id,
                                            boolean val)

Creates a new coverage info for the given atomic boolean expression with the given value.

undefined

public static JMLTestCoverage.CInfo undefined(int id)

Creates a new coverage info for the given atomic boolean expression with the undefied value. An undefined value may denote an angelic (e.g., non-executable) or a demonic (e.g., exception) value.

id

public int id()

Returns the identification number of the atomic boolean expression that this coverage info represents.

equals

public boolean equals(Object other)

Returns true if this object is equal to the given object.

Overrides:

equals in class Object

toString

public String toString()

Returns a string representation of this coverage information. The returned string has the form: <coverage><id>, where <id> is the id number of the atomic boolean expression that this coverage info represents an <coverage> is one of the following coverage symbols:

• +: for true
• -: for false
• *: for undefined (e.g., non-executable and exception)

Overrides:

toString in class Object