Uses of Package
edu.utep.cs.utjml.compiler

Packages that use edu.utep.cs.utjml.compiler

edu.utep.cs.utjml.compiler

Classes in edu.utep.cs.utjml.compiler used by edu.utep.cs.utjml.compiler

CParseClassContext
This class is used by the parser to collect the members of a class declaration.

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

Main
This class implements the entry point of the JML compiler.

UtConstants
A set of string constants used by UTJML implementation classes.

UtJmlLexerTokenTypes

UtJmlOptions
This class is automatically generated from UtJmlOptions.opt and contains member fields corresponding to command-line options.

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.

UtJmlTokenTypes

UtJmlTypeLoader
A specialized JML type loader that doesn't use caching for JDK packages across different sessions.