Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
UTJML
 PREV   NEXT FRAMES    NO FRAMES    

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

Packages that use JMLTestCoverage.CInfo
edu.utep.cs.utjml.compiler.rt   
 

Uses of JMLTestCoverage.CInfo in edu.utep.cs.utjml.compiler.rt
 

Methods in edu.utep.cs.utjml.compiler.rt that return JMLTestCoverage.CInfo
static JMLTestCoverage.CInfo JMLTestCoverage.CInfo.defined(int id, boolean val)
          Creates a new coverage info for the given atomic boolean expression with the given value.
static JMLTestCoverage.CInfo[] JMLTestCoverage.log()
          Returns an array of log entries accumulated so far.
static JMLTestCoverage.CInfo JMLTestCoverage.CInfo.undefined(int id)
          Creates a new coverage info for the given atomic boolean expression with the undefied value.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
UTJML
 PREV   NEXT FRAMES    NO FRAMES    
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.