Uses of Interface
org.multijava.mjc.Constants

Packages that use Constants

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc.jmldoc_142
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.jmlspecs.jmlrac.qexpr	Translates JML quantified expressions into Java source code to evaluate them at runtime.
org.jmlspecs.jmlspec	A tool that can generate or compare specification skeletons from Java source or class files.
org.jmlspecs.jmlunit	Generates JUnit test classes from JML specifications.
org.jmlspecs.racwrap
org.multijava.mjc	Implements mjc, a MultiJava compiler.
org.multijava.relaxed.runtime

Uses of Constants in org.jmlspecs.checker

Subinterfaces of Constants in org.jmlspecs.checker

interface

Constants Defines all additional constants shared by JML package files.

Classes in org.jmlspecs.checker that implement Constants

class	CTypeType This class represents the JML \TYPE type.
class	JClassDeclarationWrapper A wrapper class to JClassDeclaration to implement JML-specific typechecking.
class	JConstructorBlockWrapper
class	JConstructorDeclarationWrapper A class representing a constructor declaration in the syntax tree.
class	JFieldDeclarationWrapper A class representing a field declaration in the syntax tree.
class	JInterfaceDeclarationWrapper This class represents a java interface in the syntax tree
class	JMethodDeclarationWrapper A class representing a method declaration in the syntax tree.
class	JmlAbruptSpecBody JmlAbruptSpecBody.java
class	JmlAbruptSpecCase JmlAbruptSpecCase.java
class	JmlAbstractVisitor An abstract JML visitor class to facilitate writing concrete visitor classes that implements the interface JmlVisitor.
class	JmlAccessibleClause An AST node class representing the JML accessible clause.
class	JmlAccumSubclassingInfo
class	JmlAddExpression This class represents the addition binary expression.
class	JmlAdmissibilityVisitor A visitor class to check admissibility of JML invariants and represents clauses.
class	JmlArrayDimsAndInits JmlArrayDimsAndInits.java
class	JmlAssertOrAssumeStatement This class represents the type of assert-statement, and assume-statement in JML.
class	JmlAssertStatement JmlAssertStatement.java
class	JmlAssignableClause A JML AST node for the assignable clause.
class	JmlAssignmentStatement JmlAssignmentStatement.java
class	JmlAssumeStatement JmlAssumeStatement.java
class	JmlAxiom This AST node represents a JML axiom annotation.
class	JmlBehaviorSpec JmlBehaviorSpec.java heavyweight-spec ::= [ privacy ] "behavior" generic-spec-case
class	JmlBinaryArithmeticExpressionHelper This class is an abstract root class for binary expressions.
class	JmlBinaryField This class represents a class read from a *.class file.
class	JmlBinaryMember This type represents a java declaration in the syntax tree.
class	JmlBinaryMethod This class represents a method read from a *.class file.
class	JmlBinarySourceClass This class represents a class read from a *.class file.
class	JmlBinaryType This class represents a class read from a *.class file.
class	JmlBitwiseExpression This class represents the addition binary expression.
class	JmlBreaksClause JmlBreaksClause.java
class	JmlCallableClause An AST node class representing the JML callable clause.
class	JmlCapturesClause An AST node class representing the JML captures clause.
class	JmlCastExpression JmlCastExpression.java This class represents a cast expression such as /*@(non_null)* / o /*@(non_null T)* / o (/*@non_null* / T) o
class	JmlClassBlock This class represents a instance or static initializer block annotated with a JML method specification.
class	JmlClassContext This class represents the context for a class during checking passes (checkInterface, checkInitializers, typecheck).
class	JmlClassDeclaration This type represents a java class declaration in the syntax tree.
(package private) class	JmlClassicalAdmissibilityVisitor
class	JmlClassOrGFImport This type represents (in the AST) import statements for single classes or generic functions, e.g., import java.util.ArrayList; or import org.multijava.samples.typecheck.
class	JmlCodeContract An abstraction of JML method specification.
class	JmlCompilationUnit This class represents a single JML compilation unit (typically a file in a file-based compiler like this) in the AST.
class	JmlCompilationUnitContext This class represents the context for a compilation unit during checking passes (checkInterface, checkInitializers, typecheck).
class	JmlConstraint This AST node represents a JML constraint annotation.
class	JmlConstructorContext This class represents the context for a constructor during checking passes (checkInterface, checkInitializers, typecheck).
class	JmlConstructorDeclaration JmlConstructorDeclaration.java
class	JmlConstructorName This AST node represents a constructor in a JML annotation.
class	JmlContext Descendents of this class represent local contexts during checking passes (checkInterface, checkInitializers, typecheck).
class	JmlContinuesClause JmlContinuesClause.java
class	JmlDataGroupClause This class represents a jml-var-assertion of the form initially predicate.
class	JmlDebugStatement A concrete AST node class to represent the debug statement of the following form: debug-statement ::= "debug" expression ;
class	JmlDeclaration This abstract class is the superclass of all jml-declaration AST nodes, (i.e., invariants, history constraints, depends declarations, and represents declarations)
class	JmlDivergesClause A JML AST node class for the diverges clause.
class	JmlDivideExpression This class represents the addition binary expression.
class	JmlDurationClause JmlDurationClause.java
class	JmlDurationExpression JmlDurationExpression.java
class	JmlElemTypeExpression JmlElemTypeExpression.java
class	JmlEnsuresClause A JML AST node for the <\code>ensures clause.
class	JmlEqualityExpression This class represents the AST node for the equality operators.
class	JmlExample A class representing JML example specifications.
class	JmlExceptionalBehaviorSpec JmlExceptionalBehaviorSpec.java heavyweight-spec ::= [ privacy ] "exceptional_behavior" exceptional-spec-case
class	JmlExceptionalExample A class representing JML exceptional example specifications.
class	JmlExceptionalSpecBody An AST node class for the JML exceptional-spec-body.
class	JmlExceptionalSpecCase An AST node class for the JML exceptional-spec-case.
class	JmlExpression JmlExpression.java
class	JmlExpressionChecker A visitor class to check privacy (and purity) of JML expressions.
class	JmlExpressionContext A class for representing the context in which JML expressions are typechecked.
class	JmlExtendingSpecification A method specification that extetends inherited specifications.
class	JmlFieldDeclaration JmlFieldDeclaration.java
(package private) class	JmlFieldDeclaration.JmlFieldSpecsContext A special flow control context class for typechecking JML data group clauses.
class	JmlFileFinder This FileFinder looks for a .class file and a .java file, returning whichever one is newer.
class	JmlFlowControlContext This class is used during typechecking for control flow analysis that maintains local variable definite assignment (JLS2, 16), throwable, and reachability information (JLS2, 14.20).
class	JmlForAllVarDecl An AST node class for the JML forall variable declarations.
class	JmlFormalParameter This class represents a formal parameter in a JML AST.
class	JmlFreshExpression JmlFreshExpression.java
class	JmlGeneralSpecCase An abstraction of JML specification cases.
class	JmlGenericSpecBody An AST node class for the JML generic-spec-body.
class	JmlGenericSpecCase An AST node class for the JML generic-spec-case.
class	JmlGuardedStatement JmlGuardedStatement.java
class	JmlHeavyweightSpec An AST node class for the JML heavyweight-spec.
class	JmlHenceByStatement JmlHenceByStatement.java
class	JmlInformalExpression JmlInformalExpression.java
class	JmlInformalStoreRef JmlInformalStoreRef.java
class	JmlInGroupClause This class represents a jml-var-assertion of the form initially predicate.
class	JmlInitializerContext This class represents the context for a static initializer during checking passes (checkInterface, checkInitializers, typecheck).
class	JmlInitiallyVarAssertion This class represents a jml-var-assertion of the form initially predicate.
class	JmlInterfaceContext This class represents the context for an interface declaration during checking passes (checkInterface, checkInitializers, typecheck).
class	JmlInterfaceDeclaration This class represents a java interface in the syntax tree
class	JmlInvariant This AST node represents a JML invariant annotation.
class	JmlInvariantForExpression AST for the JML expression \invariant_for.
class	JmlInvariantStatement JmlInvariantStatement.java
class	JmlIsInitializedExpression AST for the JML expression \is_initialized.
class	JmlLabeled JmlLabeledClause.java
class	JmlLabelExpression AST for the JML expressions \lblneg and \lblpos.
class	JmlLetVarDecl An AST node class for the JML let (old) variable declarations.
class	JmlLockSetExpression AST for the JML expression \lockset.
class	JmlLoopInvariant JmlLoopInvariant.java
class	JmlLoopSpecification This is the super class for the classes representing loop-invariant and variant-function annotations for loop-stmt.
class	JmlLoopStatement This class represents loop-stmts annotated with loop-invariants and/or variant-functions.
class	JmlMapsIntoClause This class represents a jml-var-assertion of the form initially predicate.
class	JMLMathMode
class	JmlMaxExpression JmlMaxExpression.java
class	JmlMeasuredClause JmlMeasuredClause.java
class	JmlMemberAccess This class represents and contains the information needed to determine whether a member of a class or compilation unit can be accessed from some other member.
class	JmlMemberDeclaration This type represents a java declaration in the syntax tree.
class	JmlMethodContext This class represents the context for a method during checking passes (checkInterface, checkInitializers, typecheck).
class	JmlMethodDeclaration JmlMethodDeclaration.java
class	JmlMethodName This AST node represents a method name in a JML annotation.
class	JmlMethodNameList An AST node class representing the JML callable clause.
class	JmlMethodSpecification An abstraction of JML method specification.
class	JmlMinusExpression This class represents the addition binary expression.
class	JmlModelProgram JmlModelProgram.java
class	JmlModelProgStatement The type of model-prog-statements.
class	JmlModuloExpression This class represents the addition binary expression.
class	JmlMonitorsForVarAssertion JmlMonitorsForVarAssertion.java
class	JmlMultExpression This class represents the addition binary expression.
class	JmlName This class represents a store-ref-name, store-ref-name-suffix, method-res-start, or identifier from a method-ref in an AST.
class	JmlNode This is the superclass of most JML AST nodes.
(package private) static class	JmlNode.DummyInitializerDeclaration A class for dummy initializer declarations.
class	JmlNondetChoiceStatement JmlNondetChoiceStatement.java
class	JmlNondetIfStatement JmlNondetIfStatement.java
class	JmlNonNullElementsExpression JmlNonNullElementsExpression.java
class	JmlNormalBehaviorSpec JmlNormalBehaviorSpec.java heavyweight-spec ::= [ privacy ] "normal_behavior" normal-spec-case
class	JmlNormalExample A class representing JML normal example specifications.
class	JmlNormalSpecBody An AST node class for the JML normal-spec-body.
class	JmlNormalSpecCase An AST node class for the JML normal-spec-case.
class	JmlNotAssignedExpression JmlNotAssignedExpression.java
class	JmlNotModifiedExpression JmlNotModifiedExpression.java
class	JmlNumericType This class represents the JML primitive numeric types bigint and real.
class	JmlOldExpression JmlOldExpression.java
class	JmlOnlyAccessedExpression JmlOnlyAccessedExpression.java
class	JmlOnlyAssignedExpression JmlOnlyAssignedExpression.java
class	JmlOnlyCalledExpression JmlOnlyCalledExpression.java
class	JmlOnlyCapturedExpression JmlOnlyCapturedExpression.java
class	JmlOrdinalLiteral This class represents jml specific ordinal literals (bigint)
(package private) class	JmlOwnershipAdmissibilityVisitor
class	JmlPackageImport This type represents (in the AST) full-package import statements.
class	JmlPredicate This represents the AST node for a predicate in JML.
class	JmlPredicateClause JmlPredicateClause.java
class	JmlPredicateKeyword
class	JmlPreExpression JmlPreExpression.java
class	JmlQuotedExpressionWrapper This abstract class is the super class of all JmlExpressions that simply modify a quoted Java expression (e.g.
class	JmlReachExpression An AST node class for the JML reach expressions.
class	JmlReadableIfVarAssertion This class represents a jml-var-assertion of the form readable id if predicate.
class	JmlRedundantSpec A class representing JML redundant specifications.
class	JmlRefinePrefix
class	JmlRelationalExpression This class represents the JML relational expressions.
class	JmlRepresentsDecl This AST node represents a JML represents declaration annotation.
class	JmlRequiresClause JmlRequiresClause.java
class	JmlResultExpression JmlResultExpression.java
class	JmlReturnsClause JmlReturnsClause.java
class	JmlSetComprehension An AST node class for JML's set comprehension notation.
class	JmlSetStatement JmlSetStatement.java
class	JmlShiftExpression This class represents the addition binary expression.
class	JmlSigBinaryClass A class to represent JML class declaratons read from bytecode files.
class	JmlSigBinaryField A class to represent JML field declaratons read from bytecode files.
class	JmlSigBinaryMethod A class to represent JML method declaratons read from bytecode files.
class	JmlSignalsClause A JML AST node class for the signals clause.
class	JmlSignalsOnlyClause A JML AST node class for the signals_only clause.
class	JmlSourceClass A class for representing JML classes read from *.java files.
class	JmlSourceField A class for representing an exported field of a class.
class	JmlSourceMethod A class for representing JML method declaration in the signature forest.
class	JmlSpaceExpression JmlSpaceExpression.java
class	JmlSpecBody JmlSpecBodyClause.java
class	JmlSpecBodyClause This abstract class is the common superclass of different kinds of specification clauses appearing in the specification body such as JmlAccessibleClause, JmlAssignableClause, JmlCallableClause, and JmlPredicateClause.
class	JmlSpecCase An abstraction of JML specification cases.
class	JmlSpecExpression
class	JmlSpecExpressionWrapper This abstract class is the super class of all JmlExpressions that simply modify a spec-expression (e.g.
class	JmlSpecification JmlSpecification.java
class	JmlSpecQuantifiedExpression An AST node class for JML quantified expressions.
class	JmlSpecStatement JmlSpecStatement.java
class	JmlSpecStatementClause JmlSpecStatementClause.java
class	JmlSpecVarDecl An abstraction of JML specification variable declarations.
class	JmlStdType This class is a singleton that provides variables for the various built-in and java.lang types.
class	JmlStoreRef An abstraction of JML store references.
class	JmlStoreRefExpression An AST node class for JML store reference expressions.
class	JmlStoreRefKeyword This class represents a JmlStoreRefKeyword in the AST.
class	JmlStoreRefListWrapper JmlStoreRefListWrapper.java
class	JmlTypeDeclaration This type represents a java class or interface in the syntax tree.
class	JmlTypeExpression JmlTypeExpression.java
class	JmlTypeOfExpression JmlTypeOfExpression.java
class	JmlUnaryExpression This class represents unary expressions (unary plus, unary minus, bitwise complement, and logical not).
class	JmlUnreachableStatement JmlUnreachableStatement.java
class	JmlVarAssertion This class represents jml-var-assertion in JML ASTs.
class	JmlVariableDefinition A wrapper of the class JVariableDefinition to store JML-specific information.
class	JmlVariantFunction JmlVariantFunction.java
class	JmlWhenClause JmlWhenClause.java
class	JmlWorkingSpaceClause JmlWorkingSpaceClause.java
class	JmlWorkingSpaceExpression JmlWorkingSpaceExpression.java
class	JmlWritableIfVarAssertion This class represents a jml-var-assertion of the form writable id if predicate.
class	JStatementWrapper An abstraction of JML statement ASTs that should be subclass of JStatement.
class	NonNullStatistics
class	TestJmlParser Unit tests for JmlParser

Uses of Constants in org.jmlspecs.jmldoc.jmldoc_142

Classes in org.jmlspecs.jmldoc.jmldoc_142 that implement Constants

class

SpecWriter This class is a Visitor class that generates appropriate portions of the javadoc documentation by walking the parse tree.

Uses of Constants in org.jmlspecs.jmlrac

Subinterfaces of Constants in org.jmlspecs.jmlrac

interface	RacConstants A set of string constants used by RAC implementation classes.
interface	RacVisitor An implementation of the Visitor Design Pattern [GoF94] for the JML runtime assertion checker.

Classes in org.jmlspecs.jmlrac that implement Constants

class	AbstractExpressionTranslator This class is intended to be a common base class for both TransExpression and TransExpression2.
class	AssertionMethod An abstract class for generating assertion check methods for specific kinds of assertions such as preconditions, normal and exceptional postconditions, invariants and (history) constraints.
(package private) class	AssertionMethod.AssertionMethod$1
class	ConstraintMethod A class for generating assertion check methods for (history) constraints.
class	ConstructorWrapper A class for generating constructor wrappers.
class	DesugarSpec A JML visitor class for desugaring method specifications.
class	ExceptionalPostconditionMethod A class for generating exceptional postcondition check methods.
class	FinalizerWrapper A class for generating wrapper methods for finalizers.
class	InvariantLikeMethod A class for generating assertion check methods for class-level assertions such as invariants and history constraints.
class	InvariantMethod A class for generating assertion check methods for invariants.
class	JmlModifier A class providing utilities for operating on modifier bit masks.
class	JmlRacGenerator A class implementing the JML Runtime Assertion Checker (RAC).
class	LocalConstraintMethod A class for generating constaint check methods that check locally specified type constraints without inheriting any constraints from supertypes.
class	Main.JmlGenerateAssertionTask A task for generating runtime assertion checker (RAC) code.
class	MotherConstraintMethod A class for generating constraint check methods that check locally specified type constraints and inherit constraints from supertypes.
class	PostconditionMethod A class for generating postcondition check methods.
class	PreconditionMethod A class for generating precondition check methods.
class	PreOrPostconditionMethod An abstract class for generating precondition or postconditin check methods for the given methods.
(package private) class	PreValueVars A container class to store information about private fields that are used to pass pre-state values, typically computed by precondition check methods, to postcondition check methods.
class	RacAbstractVisitor A default implementation for the RacVisitor interface.
static class	RacParser.RacBlock A RAC node class for representing blocks.
static class	RacParser.RacMethodDeclaration A RAC node class for representing method declarations.
static class	RacParser.RacStatement A RAC node class for representing statements.
class	RacPredicate An AST node class for RAC-specific predicates.
class	RacPrettyPrinter A visitor class for pretty-printing JML specifications with generated RAC code.
class	SubtypeConstraintMethod A class for generating constaint check methods that check locally specified type constraints and inherit constraints from supertypes.
class	TransClass A class for translating JML class declarations.
class	TransConstraint A class for translating JML (history) constraints.
class	TransConstructor A class for translating JML annotated constructor into a RAC-enabled method.
class	TransConstructorBody A visitor class for translating JML specification statements in a constrcutor body into assertion check code.
class	TransExpression A RAC visitor class to translate JML expressions into Java source code.
class	TransExpression2 A RAC visitor class to translate JML expressions into Java source code.
class	TransExpressionSideEffect A special expression translator that allows translation of expressions with side-effects.
class	TransInterface A class for translating JML interface declarations.
class	TransInvariant A class for translating JML invariants.
(package private) class	TransInvariant.CallExpr
(package private) class	TransInvariant.CallExpr2
class	TransMethod A class for translating JML annotated Java methods into RAC-enabled methods.
protected static class	TransMethod.SpecCaseCollector A class for collecting all specification cases from a desugared method specification.
class	TransMethodBody A visitor class for translating JML specification statements in a method body into assertion check code.
class	TransOldExpression A RAC visitor class for transforming JML old expressions into Java code.
class	TransPostcondition A RAC visitor class for transforming JML postconditions into Java source code.
private class	TransPostcondition.QVarChecker A class to check whether an expression has any references to quantified variables.
class	TransPostExpression2 A RAC visitor class to translate JML expressions into Java source code.
private class	TransPostExpression2.QVarChecker A class to check whether an expression has any references to quantified variables.
class	TransPredicate A RAC visitor class for transforming JML predicates into Java code.
class	TransType An abstract class for translating JML type declarations.
class	TransUtils A utility class for translating JML annotated Java classes into RAC-enabled classes.
class	VarGenerator A class for generating various uniques variable names for RAC.
private static class	VarGenerator.VarGenForClass A variable generator for classes.
private static class	VarGenerator.VarGenForMethod A variable generator for methods.
class	WrapperMethod A class for generating wrapper methods.

Uses of Constants in org.jmlspecs.jmlrac.qexpr

Classes in org.jmlspecs.jmlrac.qexpr that implement Constants

class	AbstractExpressionVisitor An abstract visitor class that visits all subexpressions of a given expression recursively.
(package private) class	QInterval A class for static approximations of the intervals for quantified variables of integeral types.
private static class	QInterval.CheckRecursion A class to check an appearance of local variables in an expression.
(package private) class	QSet An abstract class that represetns qsets of quantified expressions.
private static class	QSet.Composite An abstract qset class consisting of two other qset objects, e.g., union or intersection qsets.
private static class	QSet.Intersection A concrete qset class representating a qset that is an intersection of two qsets.
private static class	QSet.Leaf A concrete qset class consisting of only one JML expression.
private static class	QSet.Top A special, concrete qset class that represents the universe of all objects.
private static class	QSet.Union A concrete qset class representating a union of two qsets.
(package private) class	StaticAnalysis An abstract class for translating JML quantified expressions into Java source code.
private static class	StaticAnalysis.EnumerationBased A concrete class for translating JML quantified expressions into Java source code.
private static class	StaticAnalysis.IntervalBased A concrete class for translating JML quantified expressions into Java source code.
private static class	StaticAnalysis.SetBased A concrete class for translating JML quantified expressions into Java source code.
(package private) class	Translator An abstract class for translating JML quantified expressions into Java source code.

Uses of Constants in org.jmlspecs.jmlspec

Classes in org.jmlspecs.jmlspec that implement Constants

class	JspPrettyPrinter This class overrides some of the pretty-printer methods to produce a specification skeleton for the class AST begin walked.
class	Main A class implementing the entry point of the jmlspec specification skeleton generator/comparator.

Uses of Constants in org.jmlspecs.jmlunit

Classes in org.jmlspecs.jmlunit that implement Constants

class	TestClassGenerator A class for generating JML/JUnit test driver classes.
class	TestDataClassGenerator A class for generating JML/JUnit test data classes.

Uses of Constants in org.jmlspecs.racwrap

Classes in org.jmlspecs.racwrap that implement Constants

(package private) class	OrigPrettyPrinter
class	WrapperPrettyPrinter WrapperPrettyPrinter prints the wrapper.

Uses of Constants in org.multijava.mjc

Classes in org.multijava.mjc that implement Constants

class	AbstractFileFinder This class provides a method for converting anchor class names to the prefixes of the files declaring the anchored generic function.
class	CAnchorInitializer This is used as a wrapper around the normal static or instance initializer method of a class that includes nested dispatcher classes (e.g., an anchor class).
class	CArrayType This class represents the array type in the type structure.
class	CAssertHelperMethod This class represents a synthetic method used in the implementation of Java's assertion mechanism.
class	CAssertStaticInitMethod This class represents a static initializer that begins with code to figure out if the associated class has assertions enabled or not.
class	CBadClass This class represents an undefined class (something that comes from a bad classfile) This class is not usable to anything, so it will sooner or later produce a comprehensive error.
class	CBinaryClass This class represents a class read from a *.class file.
class	CBinaryClassContext This represents the context of a binary (i.e., read from .class file) class declaration.
class	CBinaryField This class represents loaded (compiled) class fields.
class	CBinaryGFCollection This class represents a single generic function collection as read from a .class file.
class	CBinaryMethod This class represents a loaded (already compiled) class method.
class	CBooleanType This class represents the Java boolean type.
class	CBooleanValueType This class represents a value specializer for booleans.
class	CCaptureType Type resulting from applying capture conversion (JLS3 5.1.10) to a wildcard.
class	CClass This class represents a class declaration in the signature hierarchy.
class	CClassContext This class represents the context for a class during checking passes (checkInterface, checkInitializers, typecheck).
class	CClassFQNameType This class represents a class type when the class name first appears as a forward reference and the name is definitely fully qualified as in an import clause.
class	CClassNameType This class represents a class type when the class name first appears as a forward reference.
class	CClassType This class represents a class type in the type structure.
class	CCompilationUnitContext This class represents the context for a compilation unit during checking passes (checkInterface, checkInitializers, typecheck).
class	CConstructorContext This class represents the context for a constructor during checking passes (checkInterface, checkInitializers, typecheck).
class	CContext Descendents of this class represent local contexts during checking passes (checkInterface, checkInitializers, typecheck).
class	CCORInitializer This generates code to add external generic function dispatcher classes to the chain of responsibility for the appropriate generic function anchor class.
(package private) class	CCORInitializer.CCORInitializer$1
class	CDispatcherInitializer This is used as the initializer of a dispatcher class, in RMJ.
class	CErasedClassType This class represents class type in the type structure
class	CExpressionContext This class represents the context for an expression during checking passes (checkInterface, checkInitializers, typecheck).
class	CExtendedClassContext This class represents the context for a class during checking passes (checkInterface, checkInitializers, typecheck).
class	CExtendedCompilationUnitContext This class represents the context for a class during checking passes (checkInterface, checkInitializers, typecheck).
class	CExtMethodContext This represents the context in which an external method declaration is typechecked.
class	CField This class represents an exported member of a class (fields)
class	CFieldAccessorMethod This class is the abstract base class for the field getter and setter methods.
class	CFieldGetterMethod This class represents a getter method for a field that an inner or enclosing class has privileged access to.
class	CFieldSetterMethod This class represents a setter method for a field that an inner or enclosing class has privileged access to.
class	CFinallyContext This class implements the special definite assignment and reachability calculations for combining try and finally blocks in a try-finally statement.
class	CFlowControlContext This class is used during typechecking for control flow analysis that maintains local variable definite assignment (JLS2, 16), throwable, and reachability information (JLS2, 14.20).
class	CFunctionAccessMethod This generates code to thread-safely return the function field of an external generic function.
static class	CGenericFunctionCollection.Impl
class	CInitializerContext This class represents the context for a static initializer during checking passes (checkInterface, checkInitializers, typecheck).
class	CInterfaceContext This class represents the context for an interface declaration during checking passes (checkInterface, checkInitializers, typecheck).
class	CLabeledContext This class represents a labeled context during checking passes (checkInterface, checkInitializers, typecheck).
class	CLoopContext This class represents the context for a loop statement during checking passes (checkInterface, checkInitializers, typecheck).
class	CMember This class represents a member of a class or compilation unit.
class	CMethod This class represents an actual method, whether generated from source code or read from a class file.
class	CMethodContext This class represents the context for a method during checking passes (checkInterface, checkInitializers, typecheck).
class	CMethodSet This class encapsulates a collection of method signatures.
class	CModifier This class provides utilities for operating on modifier bit masks.
class	CNullType This class represents null class type in the type structure
class	CNumericType This class represents java and kopi numericals types Such as byte, short, int, long, float, double
class	COrdinalValueType This class represents a value specializer for ordinal types such as byte, short, int, and long.
class	CRealValueType This class represents a value specializer for floats and doubles.
class	CSourceAmbiguousDispatcherClass This class represents an inner dispatcher class from which an ambiguous error method can be generated.
(package private) class	CSourceAmbiguousDispatcherClass.CSourceAmbiguousDispatcherClass$1
(package private) class	CSourceAmbiguousDispatcherClass.CSourceAmbiguousDispatcherClass$2
(package private) class	CSourceAmbiguousDispatcherClass.CSourceAmbiguousDispatcherClass$3
class	CSourceClass This class represents a class read from a *.java file.
(package private) class	CSourceClass.CSourceClass$1
class	CSourceDispatcherClass This class represents an inner dispatcher class for a collection of multimethods of the same generic function declared in a single lexical context.
(package private) class	CSourceDispatcherClass.CSourceDispatcherClass$1
(package private) class	CSourceDispatcherClass.CSourceDispatcherClass$2
class	CSourceDispatcherMethod This class represents a dispatcher method wrapping a set of multimethods of the same generic function as read from a source file.
class	CSourceDispatcherSignature This class represents the type (i.e., $signature) for inner dispatcher classes of an external generic function.
(package private) class	CSourceDispatcherSignature.CSourceDispatcherSignature$1
class	CSourceField This class represents an exported member of a class (fields)
class	CSourceFilteredDispatcherMethod This class represents a special dispatcher method for superclass method invocations whose caller is an external method and whose target is the same external generic function to which the caller belongs [see Clifton-01, Figure 24, case s-e4].
class	CSourceGFCollection This class represents a single generic function collection, which encapsulates all the top-level methods declared in a given context.
class	CSourceMethod This class represents a method read from a source code (*.java) file.
class	CSourceRedirectorMethod This class represents a redirector method for a pleomorphic method that belongs to an internal and external generic function.
class	CStdType This class is a singleton that provides variables for the various built-in and java.lang types.
class	CStringValueType This class represents a value specializer for Strings.
class	CSwitchBodyContext This class represents the context for the body of a switch statement during checking passes (checkInterface, checkInitializers, typecheck).
class	CSwitchGroupContext This class represents the context for a switch group during checking passes.
class	CTopLevel This class is a facade for an instance of TypeLoader (or a subclass).
class	CTryContext This class represents the context for a try statement during checking passes (checkInterface, checkInitializers, typecheck).
class	CType This class is the root for type hierarchy.
class	CTypeVariable
class	CTypeVariableAlias
class	CValueType This class represents a value specializer "type."
class	CVoidType This class represents Java void type
class	CWildcardType Type representing a wildcard (JLS3 4.5.1).
class	CWrapperMethod This class represents a wrapper method for a method that an inner or enclosing class has privileged access to.
class	JAddExpression This class represents the addition binary expression.
class	JArrayAccessExpression This class implements an access to an array.
class	JArrayDimsAndInits This class implements an AST node representing a list of expressions used in array dimensioning and an array initialization expression, as in the [1][2][3] in new Integer[1][2][3] or the { 1, 2, 3 } in Integer[] foo = { 1, 2, 3 }.
class	JArrayInitializer This class implements a constant list of expressions used in array initialisation.
class	JArrayLengthExpression This class represents an array length expression in the AST.
class	JAssertStatement The syntax for Java assert statements is defined as follows.
class	JAssignmentExpression This class implements the assignment operation
class	JBinaryArithmeticExpression This class is an abstract root class for binary expressions.
class	JBinaryExpression This class is an abstract root class for binary expressions Here are conversion method following JLS 5.6.2
class	JBitwiseExpression This class represents the bitwise AND, OR, and XOR binary expressions.
class	JBlock A block is a sequence of statements and local variable declaration statements within braces.
class	JBooleanLiteral Root class for all expressions
class	JBreakStatement This class represents a break statement.
class	JCastExpression This class represents a cast expression '((byte)2)'
class	JCatchClause This class represents a catch clause in the syntax tree.
class	JCharLiteral A simple character constant
class	JCheckedExpression This AST node is used to add a portion of already checked code into code that needs to be checked.
class	JClassBlock This class represents an initializer block in a type declaration.
class	JClassDeclaration This class represents a java class in the syntax tree
class	JClassExpression This class represents an AST node for a class literal expression, e.g., int.class and String.class.
class	JClassFieldDeclarator JLS 14.5: Field Statement.
class	JClassFieldExpression This class represents the AST node for a field access, e.g.
class	JClassOrGFImport This class represents (in the AST) import statements for single classes or generic functions, e.g., import java.util.ArrayList; or import org.multijava.samples.typecheck.
class	JCompilationUnit This class represents a single Java compilation unit (typically a file in a file-based compiler like this) in the AST.
class	JCompoundAssignmentExpression This class represents the compound assignment operation, e.g., x += 3 and y *= 4, in the AST.
class	JCompoundStatement A compound statement is a sequence of statements and local variable declaration statements without braces.
class	JConditionalAndExpression This class implements the conditional and operation
class	JConditionalExpression This class implements expressions using the conditional operator.
class	JConditionalOrExpression This class implements the conditional or operation
class	JConstructorBlock This class represents the block of a constructor.
class	JConstructorDeclaration This class represents a constructor in the AST
class	JContinueStatement A continue statement may occur only in a while, do, or for statement; statements of these three kinds are called iteration statements.
class	JDivideExpression This class represents the division binary expression.
class	JDoStatement This class represents a do statement in the AST.
class	JEmptyStatement This class represents an empty statement, which does nothing.
class	JEqualityExpression This class represents the AST node for the equality operators.
class	JExplicitConstructorInvocation This class represents a explicit call to a super or self constructor.
class	JExpression This class is the root class for all classes representing expression nodes in the AST.
class	JExpressionListStatement This class represents an expression list, a comma-separated list of expression statements used in the initializer and iterator of a for-loop statement.
class	JExpressionStatement Certain kinds of expressions may be used as statements by following them with semicolon.
class	JFieldDeclaration This class represents a field declaration in the syntax tree.
class	JFormalParameter This class represents a parameter declaration in the syntax tree
class	JForStatement This class represents a for statement in the AST.
class	JGeneratedLocalVariable This class represents a compiler-generated local variable declaration.
class	JIfStatement This class represents an if statement in the AST.
class	JInitializerDeclaration This class represents an initializer (either static or instance) in the AST.
class	JInstanceofExpression This class represents an instanceof expression.
class	JInterfaceDeclaration This class represents a java interface in the syntax tree
class	JLabeledStatement This class represents a labeled statement.
class	JLiteral Root class for all literals expression
class	JLocalVariable This class represents a local variable declaration in the AST.
class	JLocalVariableExpression This class represents the AST node for local variable references.
class	JLoopStatement This abstract class is the superclass for all the classes representing loop statements in the AST.
class	JMemberDeclaration This class represents a java declaration in the syntax tree
class	JMethodCallExpression This class represents method calls methodname( e1, e2, ..., en )
class	JMethodDeclaration This class represents a java method in the syntax tree.
(package private) class	JMethodDeclaration.JMethodDeclaration$1
class	JMinusExpression This class represents the subtraction binary expression.
class	JModuloExpression This class represents the modulo binary expression.
class	JMultExpression This class represents the multiplication binary expression.
class	JNameExpression This class represents a name within an expression.
class	JNewAnonymousClassExpression This class represents a new anonymous class allocation expression.
class	JNewArrayExpression This class represents a new array allocation expression 'new type[...]'
class	JNewObjectExpression This class represents an object instantiation expression 'new type(...)'
class	JNullLiteral A simple character constant
class	JNumberLiteral Root class for all number literals
class	JOrdinalLiteral This class represents literals of primitive integral types (byte, short, int, long).
class	JOuterLocalVariableExpression This class is an AST node and represents a reference to a variable of a surrounding lexical context from within an inner class.
class	JPackageImport This class represents (in the AST) full-package import statements, an asterisk.
class	JPackageName This class represents package statements in the AST, like package org.multijava.mjc.
class	JParenthesedExpression This class represents expression within parentheses.
class	JPhylum This class is a superclass for all elements of the parsing tree.
class	JPostfixExpression This class represents postfix increment and decrement expressions.
class	JPrefixExpression This class represents prefix increment and decrement expressions.
class	JRealLiteral This class represents real-valued literals (float, double)
class	JRelationalExpression This class represents the AST node for the relational operators, <, >, etc.
class	JResendExpression This class represents a MultiJava resend expression, for invoking a directly overridden method of the caller's generic function.
class	JReturnStatement This class represents a return statement in the AST.
class	JShiftExpression This class represents the shift (left, right, boolean-right) binary expressions.
class	JStatement This class is the root class for all classes representing statement nodes in the AST.
class	JStringLiteral A simple character constant
class	JSuperExpression This class represents a "super" primary expression in an AST.
class	JSwitchGroup This class represents an AST node for a group in a switch statement.
class	JSwitchLabel This class represents an AST node for the label for a single case of a switch statement.
class	JSwitchStatement This class represents a switch statement in the AST.
class	JSynchronizedStatement This class represents a synchronized statement in an AST.
class	JThisExpression A 'this' expression
(package private) class	JThisExpression.JThisExpression$1
(package private) class	JThisExpression.JThisExpression$2
class	JThrowStatement This class represents a throw statement in the AST.
class	JTryCatchStatement This class represents a try-catch statement in the AST.
class	JTryFinallyStatement This class represents a try-catch statement in the AST.
class	JTypeDeclaration This class represents a java class or interface in the syntax tree
class	JTypeDeclarationStatement This class represents a local type declaration statement.
class	JTypeNameExpression This class represents the AST node for a type name expression like Object
class	JUnaryExpression This class represents unary expressions (unary plus, unary minus, bitwise complement, and logical not).
class	JUnaryPromote This class promotes an arithmetic expression to a new type.
class	JVariableDeclarationStatement A local variable declaration statement declares one or more local variable names.
class	JVariableDefinition This class represents a local variable definition in the syntax tree.
class	JWhileStatement This class represents a while statement in the AST.
class	MemberAccess This class represents and contains the information needed to determine whether a member of a class or compilation unit can be accessed from some other member.
class	MjcFileFinder This FileFinder looks for a .class file and a .java file, returning whichever one is newer.
class	MjcPrettyPrinter This class implements a Java pretty printer
class	MJGenericFunctionDecl This class represents a group of method declarations, all sharing the same name, that together form the top of one or more overloaded external generic function lattices.
class	MJMathMode
class	MJMathModeExpression This AST node is used to change the arithmetic mode for a given expression.
class	MJTopLevelAbstractMethodDeclaration
class	MJTopLevelMethodDeclaration
class	MJWarnExpression This AST node is used to enable or disable the compile-time and run-time checking of integral arithmetic overflow.

Uses of Constants in org.multijava.relaxed.runtime

Classes in org.multijava.relaxed.runtime that implement Constants

class	RMJClassLoader
class	RMJPreloader