UTJML

Package edu.utep.cs.utjml.compiler

Interface Summary
JmlTopIDTokenTypes  
UtConstants A set of string constants used by UTJML implementation classes.
UtJmlIDTokenTypes  
UtJmlLexerTokenTypes  
UtJmlTokenTypes  
 

Class Summary
CallSequenceMethod A class to generate assertion check methods for call sequences.
CParseClassContext This class is used by the parser to collect the members of a class declaration.
JmlBinaryCallSequenceExpression Concrete class representing binary call sequence expressions.
JmlCallSequence A class representing a JML call sequence clause.
JmlCallSequenceExpression Abstract class representing various kinds of call sequence expressions.
JmlCallSequenceExpression.State  
JmlClassDeclaration This type represents a java class declaration in the syntax tree.
JmlInterfaceDeclaration This class represents a java interface in the syntax tree
JmlMethodCallSequenceExpression Concrete class representing method call sequences.
JmlParenCallSequenceExpression Concrete class representing parenthesized call sequences.
JmlUnaryCallSequenceExpression Concrete class representing unary call sequence expressions.
Main This class implements the entry point of the JML compiler.
TestSuite This class is automatically generated using org.multijava.util.testing.Main and is used to group a collection of JUnit tests for the local package and perhaps some subpackages.
TransCallSequence A class to translate UTJML call sequence clauses.
UtJmlLexer This is the top level JML scanner.
UtJmlMessages  
UtJmlOptions This class is automatically generated from UtJmlOptions.opt and contains member fields corresponding to command-line options.
UtJmlParser  
UtJmlParser.TypeWeaklyList This nested class represents a list of implemented interfaces for a class declaration (or extends interfaces for an interface declaration) and whether they are implemented (or extended) weakly.
UtJmlParserTest Unit tests for JmlParser
UtJmlParserTest.Helper  
UtJmlRacGenerator A class to translate JML specifications intor runtime assertionc checking code.
UtJmlTypeLoader A specialized JML type loader that doesn't use caching for JDK packages across different sessions.
UtTokenStreamSelector Provides for switching between various lexical analyzers for lexing UTJML.
UtTransClass A class for translating JML class declarations.
UtTransConstructor A class for translating JML annotated Java methods into RAC-enabled methods.
UtTransInterface A class to translate UTJML interface declarations.
UtTransMethod A class for translating JML annotated Java methods into RAC-enabled methods.
UtTransPostcondition A special postcondition translator that also produces condition coverage information of the translated postcondition.
UtWrapperMethod A class for generating wrapper methods.
 


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.