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.