UTJML

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

java.lang.Object
  extended by 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:

Overrides:
toString in class Object

UTJML

UTJML is Copyright (C) 2004-2006 by University of Texas at El Paso and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the JML project.