|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use org.multijava.mjc | |
| org.jmlspecs.checker | Contains the source code for a parser and typechecker for JML annotations and java code. |
| org.jmlspecs.jmldoc | The jmldoc tool documents java programs that contain JML (Java Modeling Language) annotations included as specially formatted comments; the generated html pages are very similar to those produced by javadoc, but with annotation information added. |
| 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.jmlspecs.util | |
| org.multijava.dis | |
| org.multijava.mjc | Implements mjc, a MultiJava compiler. |
| org.multijava.mjdoc | The mjdoc tool documents java programs that contain MultiJava (MJ) extensions to the Java progamming language; it produces html pages very similar to those produced by the javadoc tool. |
| org.multijava.relaxed.runtime | |
| org.multijava.util.classfile | Provides an editor for classfiles used by MultiJava and the Java Modeling Language. |
| Classes in org.multijava.mjc used by org.jmlspecs.checker | |
| AbstractFileFinder
This class provides a method for converting anchor class names to the prefixes of the files declaring the anchored generic function. |
|
| CBinaryClass
This class represents a class read from a *.class file. |
|
| CBinaryClassContext
This represents the context of a binary (i.e., read from .class file) class declaration. |
|
| CBinaryField
This class represents loaded (compiled) class fields. |
|
| CBinaryMethod
This class represents a loaded (already compiled) class method. |
|
| CClass
This class represents a class declaration in the signature hierarchy. |
|
| CClass.NoDupStrategy
This class is a specialization of CMethodSet.Strategy that keeps track of which CClass instances have already been searched for appropriate methods. |
|
| CClass.Observer
|
|
| CClassContextType
This class represents the context for a class during checking passes (checkInterface, checkInitializers, typecheck). |
|
| 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. |
|
| CClassNameType
This class represents a class type when the class name first appears as a forward reference. |
|
| CClassType
This class represents a class type in the type structure. |
|
| CCompilationUnit
This class handles namespace management for a compilation unit. |
|
| CCompilationUnitContextType
This class represents the context for a compilation unit during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CConstructorContextType
This class represents the context for a constructor during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CContext
Descendents of this class represent local contexts during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CContextType
Descendents of this class represent local contexts during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CExpressionContextType
This class represents the context for an expression during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CExtMethodContext
This represents the context in which an external method declaration is typechecked. |
|
| CField
This class represents an exported member of a class (fields) |
|
| CFieldAccessor
This interface represents a field or proxy for a field (a field getter or setter method) |
|
| 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). |
|
| CFlowControlContextType
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). |
|
| CGenericFunctionCollection
This interface represents a single generic function collection, which encapsulates all the top-level methods of the same name declared in a given context. |
|
| CInitializerContextType
This class represents the context for a static initializer during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CInterfaceContextType
This class represents the context for an interface declaration during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CLabeledContext
This class represents a labeled context during checking passes (checkInterface, checkInitializers, typecheck). |
|
| ClassCreator
A factory class to create classes. |
|
| CLoopContext
This class represents the context for a loop statement during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CMember
This class represents a member of a class or compilation unit. |
|
| CMemberHost
This interface is implementation by abstractions that can host members. |
|
| CMethod
This class represents an actual method, whether generated from source code or read from a class file. |
|
| CMethodContextType
This class represents the context for a method during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CMethodSet
This class encapsulates a collection of method signatures. |
|
| CMethodSet.MethodArgsPair
|
|
| CMethodSet.Strategy
Represents the interface for strategies used in accumulating method sets. |
|
| CNumericType
This class represents java and kopi numericals types Such as byte, short, int, long, float, double |
|
| CodeSequence
|
|
| CompilerPassEnterable
This is the type of AST nodes that provide methods for handling individual passes of the compilation process. |
|
| Constants
Defines all constants shared by compiler |
|
| CParseClassContext
This class is used by the parser to collect the members of a class declaration. |
|
| CParseCompilationUnitContext
This class is used by the parser to collect the contents of a compilation unit. |
|
| CSourceClass
This class represents a class read from a *.java file. |
|
| CSourceField
This class represents an exported member of a class (fields) |
|
| CSourceMethod
This class represents a method read from a source code (*.java) file. |
|
| CSpecializedType
This class represents a specialized type like type1@type2. |
|
| CStdType
This class is a singleton that provides variables for the various built-in and java.lang types. |
|
| CSwitchBodyContext
This class represents the context for the body of a switch statement during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CThrowableInfo
This class represents information on the sorts of exceptions that can be thrown in a particular context. |
|
| CTryContext
This class represents the context for a try statement during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CType
This class is the root for type hierarchy. |
|
| CTypeSignatureAppender
This interface is implemented by classes that represent types and that are able to append a String representation of the represented type to a FastStringBuffer. |
|
| CTypeVariable
|
|
| CUniverse
This is the abstract base class that represents Universes. |
|
| CVariableInfoTable
This class stores information about the set of local variables in a given context. |
|
| CVariableState
The class stores information about the definitely assigned state of a variable or field. |
|
| DefaultFilter
This is the default warning filter. |
|
| FileFinder
This is an interface to classes that find files for an application (such as with a given set of suffixes and given sequence of directories). |
|
| JAddExpression
This class represents the addition binary expression. |
|
| JArrayAccessExpression
This class implements an access to an array. |
|
| 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 }. |
|
| JArrayInitializer
This class implements a constant list of expressions used in array initialisation. |
|
| JArrayLengthExpression
This class represents an array length expression in the AST. |
|
| JAssertStatement
The syntax for Java assert statements is defined as follows. |
|
| JAssignmentExpression
This class implements the assignment operation |
|
| JavadocLexer
|
|
| JBinaryArithmeticExpression
This class is an abstract root class for binary expressions. |
|
| JBinaryExpression
This class is an abstract root class for binary expressions Here are conversion method following JLS 5.6.2 |
|
| JBitwiseExpression
This class represents the bitwise AND, OR, and XOR binary expressions. |
|
| JBlock
A block is a sequence of statements and local variable declaration statements within braces. |
|
| JBooleanLiteral
Root class for all expressions |
|
| JBreakStatement
This class represents a break statement. |
|
| JCastExpression
This class represents a cast expression '((byte)2)' |
|
| JCatchClause
This class represents a catch clause in the syntax tree. |
|
| JCharLiteral
A simple character constant |
|
| JClassBlock
This class represents an initializer block in a type declaration. |
|
| JClassDeclaration
This class represents a java class in the syntax tree |
|
| JClassDeclarationType
This type represents a java class declaration in the syntax tree. |
|
| JClassExpression
This class represents an AST node for a class literal expression, e.g., int.class and String.class. |
|
| JClassFieldExpression
This class represents the AST node for a field access, e.g. |
|
| 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. |
|
| JClassOrGFImportType
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. |
|
| JCompilationUnit
This class represents a single Java compilation unit (typically a file in a file-based compiler like this) in the AST. |
|
| JCompilationUnitType
This type represents a single Java compilation unit (typically a file in a file-based compiler like this) in the AST. |
|
| JCompoundAssignmentExpression
This class represents the compound assignment operation, e.g., x += 3 and y *= 4, in the AST. |
|
| JCompoundStatement
A compound statement is a sequence of statements and local variable declaration statements without braces. |
|
| JConditionalAndExpression
This class implements the conditional and operation |
|
| JConditionalExpression
This class implements expressions using the conditional operator. |
|
| JConditionalOrExpression
This class implements the conditional or operation |
|
| JConstructorBlock
This class represents the block of a constructor. |
|
| JConstructorDeclaration
This class represents a constructor in the AST |
|
| JConstructorDeclarationType
This type represents a constructor in the AST. |
|
| JContinueStatement
A continue statement may occur only in a while, do, or for statement; statements of these three kinds are called iteration statements. |
|
| JDivideExpression
This class represents the division binary expression. |
|
| JDoStatement
This class represents a do statement in the AST. |
|
| JEmptyStatement
This class represents an empty statement, which does nothing. |
|
| JEqualityExpression
This class represents the AST node for the equality operators. |
|
| JExplicitConstructorInvocation
This class represents a explicit call to a super or self constructor. |
|
| JExpression
This class is the root class for all classes representing expression nodes in the AST. |
|
| JExpressionFactory
Expression AST node factory 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. |
|
| JExpressionStatement
Certain kinds of expressions may be used as statements by following them with semicolon. |
|
| JFieldDeclaration
This class represents a field declaration in the syntax tree. |
|
| JFieldDeclarationType
This type represents a field declaration in the syntax tree. |
|
| JFormalParameter
This class represents a parameter declaration in the syntax tree |
|
| JForStatement
This class represents a for statement in the AST. |
|
| JIfStatement
This class represents an if statement in the AST. |
|
| JInitializerDeclaration
This class represents an initializer (either static or instance) in the AST. |
|
| JInstanceofExpression
This class represents an instanceof expression. |
|
| JInterfaceDeclaration
This class represents a java interface in the syntax tree |
|
| JInterfaceDeclarationType
This type represents a java interface in the syntax tree. |
|
| JLabeledStatement
This class represents a labeled statement. |
|
| JLiteral
Root class for all literals expression |
|
| JLocalVariable
This class represents a local variable declaration in the AST. |
|
| JLocalVariableExpression
This class represents the AST node for local variable references. |
|
| JLoopStatement
This abstract class is the superclass for all the classes representing loop statements in the AST. |
|
| JMemberDeclaration
This class represents a java declaration in the syntax tree |
|
| JMemberDeclarationType
This type represents a java declaration in the syntax tree. |
|
| JMethodCallExpression
This class represents method calls methodname( e1, e2, ..., en ) |
|
| JMethodDeclaration
This class represents a java method in the syntax tree. |
|
| JMethodDeclarationType
This type represents a java method in the syntax tree. |
|
| JMinusExpression
This class represents the subtraction binary expression. |
|
| JModuloExpression
This class represents the modulo binary expression. |
|
| JMultExpression
This class represents the multiplication binary expression. |
|
| JNameExpression
This class represents a name within an expression. |
|
| JNewAnonymousClassExpression
This class represents a new anonymous class allocation expression. |
|
| JNewArrayExpression
This class represents a new array allocation expression 'new type[...]' |
|
| JNewObjectExpression
This class represents an object instantiation expression 'new type(...)' |
|
| JNullLiteral
A simple character constant |
|
| JNumberLiteral
Root class for all number literals |
|
| JOrdinalLiteral
This class represents literals of primitive integral types (byte, short, int, long). |
|
| JPackageImport
This class represents (in the AST) full-package import statements, an asterisk. |
|
| JPackageImportType
This type represents (in the AST) full-package import statements, with an asterisk. |
|
| JPackageName
This class represents package statements in the AST, like package org.multijava.mjc. |
|
| JParenthesedExpression
This class represents expression within parentheses. |
|
| JPhylum
This class is a superclass for all elements of the parsing tree. |
|
| JPostfixExpression
This class represents postfix increment and decrement expressions. |
|
| JPrefixExpression
This class represents prefix increment and decrement expressions. |
|
| JRealLiteral
This class represents real-valued literals (float, double) |
|
| JRelationalExpression
This class represents the AST node for the relational operators, <, >, etc. |
|
| JReturnStatement
This class represents a return statement in the AST. |
|
| JShiftExpression
This class represents the shift (left, right, boolean-right) binary expressions. |
|
| JStatement
This class is the root class for all classes representing statement nodes in the AST. |
|
| JStringLiteral
A simple character constant |
|
| JSuperExpression
This class represents a "super" primary expression in an AST. |
|
| JSwitchGroup
This class represents an AST node for a group in a switch statement. |
|
| JSwitchLabel
This class represents an AST node for the label for a single case of a switch statement. |
|
| JSwitchStatement
This class represents a switch statement in the AST. |
|
| JSynchronizedStatement
This class represents a synchronized statement in an AST. |
|
| JThisExpression
A 'this' expression |
|
| JThrowStatement
This class represents a throw statement in the AST. |
|
| JTryCatchStatement
This class represents a try-catch statement in the AST. |
|
| JTryFinallyStatement
This class represents a try-catch statement in the AST. |
|
| JTypeDeclaration
This class represents a java class or interface in the syntax tree |
|
| JTypeDeclarationStatement
This class represents a local type declaration statement. |
|
| JTypeDeclarationType
This type represents a java class or interface in the syntax tree |
|
| JTypeNameExpression
This class represents the AST node for a type name expression like Object |
|
| JUnaryExpression
This class represents unary expressions (unary plus, unary minus, bitwise complement, and logical not). |
|
| JUnaryPromote
This class promotes an arithmetic expression to a new type. |
|
| JVariableDeclarationStatement
A local variable declaration statement declares one or more local variable names. |
|
| JVariableDefinition
This class represents a local variable definition in the syntax tree. |
|
| JWhileStatement
This class represents a while statement in the AST. |
|
| Main
This class implements the entry point of the MultiJava compiler. |
|
| Main.ContextBehavior
|
|
| Main.ExpectedResult
This class represents the expected result of parsing a file. |
|
| Main.ParseTask
This class parses a group of files, given by filenames as strings, and generates a forest of ASTs. |
|
| Main.Task
This abstract class represents a single task to be performed by the compiler. |
|
| Main.TreeProcessingTask
This class is subclasses by classes that represent tasks operating on a forest of ASTs. |
|
| Main.Trees
|
|
| Main.TypecheckTask
This class typechecks the source code. |
|
| 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. |
|
| MjcCommonOptions
This class is automatically generated from MjcCommonOptions.opt and contains member fields corresponding to command-line options. |
|
| MjcIDTokenTypes
|
|
| MjcTokenTypes
|
|
| MjcVisitor
Implementation of Visitor Design Pattern for KJC. |
|
| 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. |
|
| MJMathMode
|
|
| MJMathModeExpression
This AST node is used to change the arithmetic mode for a given expression. |
|
| MJTopLevelMethodDeclaration
|
|
| MJWarnExpression
This AST node is used to enable or disable the compile-time and run-time checking of integral arithmetic overflow. |
|
| ParserUtility
This class is delegated to my the parser classes and provides a place to encapsulate the utility methods of those classes. |
|
| ParsingController
This class manages the parsing of source code. |
|
| ParsingController.TokenWrapper
This inner class wraps a single token. |
|
| SigSourceMember
This interface is implemented by signature forest classes that correspond to specific member declarations in an AST. |
|
| TestMjcParser
Unit tests for MjcParser |
|
| TypeLoader
This class acts as a symbol table and a cache for types, type signatures, and external generic functions. |
|
| VariableDescriptor
This interface represents the type of an object that provides a description of a variable or field (hereafter, "slot"). |
|
| Classes in org.multijava.mjc used by org.jmlspecs.jmldoc | |
| MjcCommonOptions
This class is automatically generated from MjcCommonOptions.opt and contains member fields corresponding to command-line options. |
|
| Classes in org.multijava.mjc used by org.jmlspecs.jmldoc.jmldoc_142 | |
| CClass
This class represents a class declaration in the signature hierarchy. |
|
| CClassType
This class represents a class type in the type structure. |
|
| CField
This class represents an exported member of a class (fields) |
|
| CMember
This class represents a member of a class or compilation unit. |
|
| CompilerPassEnterable
This is the type of AST nodes that provide methods for handling individual passes of the compilation process. |
|
| Constants
Defines all constants shared by compiler |
|
| JAddExpression
This class represents the addition binary expression. |
|
| JArrayAccessExpression
This class implements an access to an array. |
|
| 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 }. |
|
| JArrayInitializer
This class implements a constant list of expressions used in array initialisation. |
|
| JArrayLengthExpression
This class represents an array length expression in the AST. |
|
| JAssignmentExpression
This class implements the assignment operation |
|
| JBitwiseExpression
This class represents the bitwise AND, OR, and XOR binary expressions. |
|
| JBlock
A block is a sequence of statements and local variable declaration statements within braces. |
|
| JBooleanLiteral
Root class for all expressions |
|
| JBreakStatement
This class represents a break statement. |
|
| JCastExpression
This class represents a cast expression '((byte)2)' |
|
| JCatchClause
This class represents a catch clause in the syntax tree. |
|
| JCharLiteral
A simple character constant |
|
| JClassBlock
This class represents an initializer block in a type declaration. |
|
| JClassDeclarationType
This type represents a java class declaration in the syntax tree. |
|
| JClassExpression
This class represents an AST node for a class literal expression, e.g., int.class and String.class. |
|
| JClassFieldExpression
This class represents the AST node for a field access, e.g. |
|
| JClassOrGFImportType
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. |
|
| JCompilationUnitType
This type represents a single Java compilation unit (typically a file in a file-based compiler like this) in the AST. |
|
| JCompoundAssignmentExpression
This class represents the compound assignment operation, e.g., x += 3 and y *= 4, in the AST. |
|
| JCompoundStatement
A compound statement is a sequence of statements and local variable declaration statements without braces. |
|
| JConditionalAndExpression
This class implements the conditional and operation |
|
| JConditionalExpression
This class implements expressions using the conditional operator. |
|
| JConditionalOrExpression
This class implements the conditional or operation |
|
| JConstructorBlock
This class represents the block of a constructor. |
|
| JConstructorDeclarationType
This type represents a constructor in the AST. |
|
| JContinueStatement
A continue statement may occur only in a while, do, or for statement; statements of these three kinds are called iteration statements. |
|
| JDivideExpression
This class represents the division binary expression. |
|
| JDoStatement
This class represents a do statement in the AST. |
|
| JEmptyStatement
This class represents an empty statement, which does nothing. |
|
| JEqualityExpression
This class represents the AST node for the equality operators. |
|
| JExplicitConstructorInvocation
This class represents a explicit call to a super or self constructor. |
|
| 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. |
|
| JExpressionStatement
Certain kinds of expressions may be used as statements by following them with semicolon. |
|
| JFieldDeclaration
This class represents a field declaration in the syntax tree. |
|
| JFieldDeclarationType
This type represents a field declaration in the syntax tree. |
|
| JFormalParameter
This class represents a parameter declaration in the syntax tree |
|
| JForStatement
This class represents a for statement in the AST. |
|
| JIfStatement
This class represents an if statement in the AST. |
|
| JInitializerDeclaration
This class represents an initializer (either static or instance) in the AST. |
|
| JInstanceofExpression
This class represents an instanceof expression. |
|
| JInterfaceDeclarationType
This type represents a java interface in the syntax tree. |
|
| JLabeledStatement
This class represents a labeled statement. |
|
| JLocalVariableExpression
This class represents the AST node for local variable references. |
|
| JMemberDeclarationType
This type represents a java declaration in the syntax tree. |
|
| JMethodCallExpression
This class represents method calls methodname( e1, e2, ..., en ) |
|
| JMethodDeclarationType
This type represents a java method in the syntax tree. |
|
| JMinusExpression
This class represents the subtraction binary expression. |
|
| JModuloExpression
This class represents the modulo binary expression. |
|
| JMultExpression
This class represents the multiplication binary expression. |
|
| JNameExpression
This class represents a name within an expression. |
|
| JNewAnonymousClassExpression
This class represents a new anonymous class allocation expression. |
|
| JNewArrayExpression
This class represents a new array allocation expression 'new type[...]' |
|
| JNewObjectExpression
This class represents an object instantiation expression 'new type(...)' |
|
| JNullLiteral
A simple character constant |
|
| JOrdinalLiteral
This class represents literals of primitive integral types (byte, short, int, long). |
|
| JPackageImportType
This type represents (in the AST) full-package import statements, with an asterisk. |
|
| JPackageName
This class represents package statements in the AST, like package org.multijava.mjc. |
|
| JParenthesedExpression
This class represents expression within parentheses. |
|
| JPhylum
This class is a superclass for all elements of the parsing tree. |
|
| JPostfixExpression
This class represents postfix increment and decrement expressions. |
|
| JPrefixExpression
This class represents prefix increment and decrement expressions. |
|
| JRealLiteral
This class represents real-valued literals (float, double) |
|
| JRelationalExpression
This class represents the AST node for the relational operators, <, >, etc. |
|
| JReturnStatement
This class represents a return statement in the AST. |
|
| JShiftExpression
This class represents the shift (left, right, boolean-right) binary expressions. |
|
| JStringLiteral
A simple character constant |
|
| JSuperExpression
This class represents a "super" primary expression in an AST. |
|
| JSwitchGroup
This class represents an AST node for a group in a switch statement. |
|
| JSwitchLabel
This class represents an AST node for the label for a single case of a switch statement. |
|
| JSwitchStatement
This class represents a switch statement in the AST. |
|
| JSynchronizedStatement
This class represents a synchronized statement in an AST. |
|
| JThisExpression
A 'this' expression |
|
| JThrowStatement
This class represents a throw statement in the AST. |
|
| JTryCatchStatement
This class represents a try-catch statement in the AST. |
|
| JTryFinallyStatement
This class represents a try-catch statement in the AST. |
|
| JTypeDeclarationStatement
This class represents a local type declaration statement. |
|
| JTypeDeclarationType
This type represents a java class or interface in the syntax tree |
|
| JTypeNameExpression
This class represents the AST node for a type name expression like Object |
|
| JUnaryExpression
This class represents unary expressions (unary plus, unary minus, bitwise complement, and logical not). |
|
| JUnaryPromote
This class promotes an arithmetic expression to a new type. |
|
| JVariableDeclarationStatement
A local variable declaration statement declares one or more local variable names. |
|
| JVariableDefinition
This class represents a local variable definition in the syntax tree. |
|
| JWhileStatement
This class represents a while statement in the AST. |
|
| Main.Task
This abstract class represents a single task to be performed by the compiler. |
|
| Main.TreeProcessingTask
This class is subclasses by classes that represent tasks operating on a forest of ASTs. |
|
| Main.Trees
|
|
| MjcCommonOptions
This class is automatically generated from MjcCommonOptions.opt and contains member fields corresponding to command-line options. |
|
| MjcVisitor
Implementation of Visitor Design Pattern for KJC. |
|
| 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. |
|
| MJMathModeExpression
This AST node is used to change the arithmetic mode for a given expression. |
|
| MJTopLevelMethodDeclaration
|
|
| MJWarnExpression
This AST node is used to enable or disable the compile-time and run-time checking of integral arithmetic overflow. |
|
| Classes in org.multijava.mjc used by org.jmlspecs.jmlrac | |
| CClass
This class represents a class declaration in the signature hierarchy. |
|
| CClassType
This class represents a class type in the type structure. |
|
| CField
This class represents an exported member of a class (fields) |
|
| CFlowControlContextType
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). |
|
| CMethod
This class represents an actual method, whether generated from source code or read from a class file. |
|
| CModifier
This class provides utilities for operating on modifier bit masks. |
|
| CodeSequence
|
|
| CompilerPassEnterable
This is the type of AST nodes that provide methods for handling individual passes of the compilation process. |
|
| Constants
Defines all constants shared by compiler |
|
| CSpecializedType
This class represents a specialized type like type1@type2. |
|
| CType
This class is the root for type hierarchy. |
|
| DefaultFilter
This is the default warning filter. |
|
| JAddExpression
This class represents the addition binary expression. |
|
| JArrayAccessExpression
This class implements an access to an array. |
|
| 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 }. |
|
| JArrayInitializer
This class implements a constant list of expressions used in array initialisation. |
|
| JArrayLengthExpression
This class represents an array length expression in the AST. |
|
| JAssertStatement
The syntax for Java assert statements is defined as follows. |
|
| JAssignmentExpression
This class implements the assignment operation |
|
| JBinaryExpression
This class is an abstract root class for binary expressions Here are conversion method following JLS 5.6.2 |
|
| JBitwiseExpression
This class represents the bitwise AND, OR, and XOR binary expressions. |
|
| JBlock
A block is a sequence of statements and local variable declaration statements within braces. |
|
| JBooleanLiteral
Root class for all expressions |
|
| JBreakStatement
This class represents a break statement. |
|
| JCastExpression
This class represents a cast expression '((byte)2)' |
|
| JCharLiteral
A simple character constant |
|
| JClassExpression
This class represents an AST node for a class literal expression, e.g., int.class and String.class. |
|
| JClassFieldExpression
This class represents the AST node for a field access, e.g. |
|
| JCompilationUnit
This class represents a single Java compilation unit (typically a file in a file-based compiler like this) in the AST. |
|
| JCompilationUnitType
This type represents a single Java compilation unit (typically a file in a file-based compiler like this) in the AST. |
|
| JCompoundAssignmentExpression
This class represents the compound assignment operation, e.g., x += 3 and y *= 4, in the AST. |
|
| JCompoundStatement
A compound statement is a sequence of statements and local variable declaration statements without braces. |
|
| JConditionalAndExpression
This class implements the conditional and operation |
|
| JConditionalExpression
This class implements expressions using the conditional operator. |
|
| JConditionalOrExpression
This class implements the conditional or operation |
|
| JConstructorBlock
This class represents the block of a constructor. |
|
| JContinueStatement
A continue statement may occur only in a while, do, or for statement; statements of these three kinds are called iteration statements. |
|
| JDivideExpression
This class represents the division binary expression. |
|
| JDoStatement
This class represents a do statement in the AST. |
|
| JEmptyStatement
This class represents an empty statement, which does nothing. |
|
| JEqualityExpression
This class represents the AST node for the equality operators. |
|
| JExplicitConstructorInvocation
This class represents a explicit call to a super or self constructor. |
|
| JExpression
This class is the root class for all classes representing expression nodes in the AST. |
|
| 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. |
|
| JExpressionStatement
Certain kinds of expressions may be used as statements by following them with semicolon. |
|
| JFieldDeclarationType
This type represents a field declaration in the syntax tree. |
|
| JFormalParameter
This class represents a parameter declaration in the syntax tree |
|
| JForStatement
This class represents a for statement in the AST. |
|
| JIfStatement
This class represents an if statement in the AST. |
|
| JInstanceofExpression
This class represents an instanceof expression. |
|
| JLabeledStatement
This class represents a labeled statement. |
|
| JLocalVariableExpression
This class represents the AST node for local variable references. |
|
| JMemberDeclarationType
This type represents a java declaration in the syntax tree. |
|
| JMethodCallExpression
This class represents method calls methodname( e1, e2, ..., en ) |
|
| JMethodDeclarationType
This type represents a java method in the syntax tree. |
|
| JMinusExpression
This class represents the subtraction binary expression. |
|
| JModuloExpression
This class represents the modulo binary expression. |
|
| JMultExpression
This class represents the multiplication binary expression. |
|
| JNameExpression
This class represents a name within an expression. |
|
| JNewAnonymousClassExpression
This class represents a new anonymous class allocation expression. |
|
| JNewArrayExpression
This class represents a new array allocation expression 'new type[...]' |
|
| JNewObjectExpression
This class represents an object instantiation expression 'new type(...)' |
|
| JNullLiteral
A simple character constant |
|
| JOrdinalLiteral
This class represents literals of primitive integral types (byte, short, int, long). |
|
| JParenthesedExpression
This class represents expression within parentheses. |
|
| JPhylum
This class is a superclass for all elements of the parsing tree. |
|
| JPostfixExpression
This class represents postfix increment and decrement expressions. |
|
| JPrefixExpression
This class represents prefix increment and decrement expressions. |
|
| JRealLiteral
This class represents real-valued literals (float, double) |
|
| JRelationalExpression
This class represents the AST node for the relational operators, <, >, etc. |
|
| JReturnStatement
This class represents a return statement in the AST. |
|
| JShiftExpression
This class represents the shift (left, right, boolean-right) binary expressions. |
|
| JStatement
This class is the root class for all classes representing statement nodes in the AST. |
|
| JStringLiteral
A simple character constant |
|
| JSuperExpression
This class represents a "super" primary expression in an AST. |
|
| JSwitchGroup
This class represents an AST node for a group in a switch statement. |
|
| JSwitchStatement
This class represents a switch statement in the AST. |
|
| JSynchronizedStatement
This class represents a synchronized statement in an AST. |
|
| JThisExpression
A 'this' expression |
|
| JThrowStatement
This class represents a throw statement in the AST. |
|
| JTryCatchStatement
This class represents a try-catch statement in the AST. |
|
| JTryFinallyStatement
This class represents a try-catch statement in the AST. |
|
| JTypeDeclarationStatement
This class represents a local type declaration statement. |
|
| JTypeDeclarationType
This type represents a java class or interface in the syntax tree |
|
| JTypeNameExpression
This class represents the AST node for a type name expression like Object |
|
| JUnaryExpression
This class represents unary expressions (unary plus, unary minus, bitwise complement, and logical not). |
|
| JUnaryPromote
This class promotes an arithmetic expression to a new type. |
|
| JVariableDeclarationStatement
A local variable declaration statement declares one or more local variable names. |
|
| JVariableDefinition
This class represents a local variable definition in the syntax tree. |
|
| JWhileStatement
This class represents a while statement in the AST. |
|
| Main.ExpectedResult
This class represents the expected result of parsing a file. |
|
| Main.ParseTask
This class parses a group of files, given by filenames as strings, and generates a forest of ASTs. |
|
| Main.PrettyPrintTask
This class pretty prints the trees in the AST forest. |
|
| Main.Task
This abstract class represents a single task to be performed by the compiler. |
|
| Main.TreeProcessingTask
This class is subclasses by classes that represent tasks operating on a forest of ASTs. |
|
| Main.Trees
|
|
| MjcCommonOptions
This class is automatically generated from MjcCommonOptions.opt and contains member fields corresponding to command-line options. |
|
| MjcPrettyPrinter
This class implements a Java pretty printer |
|
| MjcVisitor
Implementation of Visitor Design Pattern for KJC. |
|
| Classes in org.multijava.mjc used by org.jmlspecs.jmlrac.qexpr | |
| CClassType
This class represents a class type in the type structure. |
|
| Constants
Defines all constants shared by compiler |
|
| CType
This class is the root for type hierarchy. |
|
| JAddExpression
This class represents the addition binary expression. |
|
| JArrayAccessExpression
This class implements an access to an array. |
|
| 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 }. |
|
| JArrayInitializer
This class implements a constant list of expressions used in array initialisation. |
|
| JArrayLengthExpression
This class represents an array length expression in the AST. |
|
| JAssignmentExpression
This class implements the assignment operation |
|
| JBinaryExpression
This class is an abstract root class for binary expressions Here are conversion method following JLS 5.6.2 |
|
| JBitwiseExpression
This class represents the bitwise AND, OR, and XOR binary expressions. |
|
| JCastExpression
This class represents a cast expression '((byte)2)' |
|
| JClassExpression
This class represents an AST node for a class literal expression, e.g., int.class and String.class. |
|
| JClassFieldExpression
This class represents the AST node for a field access, e.g. |
|
| JCompoundAssignmentExpression
This class represents the compound assignment operation, e.g., x += 3 and y *= 4, in the AST. |
|
| JConditionalAndExpression
This class implements the conditional and operation |
|
| JConditionalExpression
This class implements expressions using the conditional operator. |
|
| JConditionalOrExpression
This class implements the conditional or operation |
|
| JDivideExpression
This class represents the division binary expression. |
|
| JEqualityExpression
This class represents the AST node for the equality operators. |
|
| JExplicitConstructorInvocation
This class represents a explicit call to a super or self constructor. |
|
| JExpression
This class is the root class for all classes representing expression nodes in the AST. |
|
| JInstanceofExpression
This class represents an instanceof expression. |
|
| JLocalVariableExpression
This class represents the AST node for local variable references. |
|
| JMethodCallExpression
This class represents method calls methodname( e1, e2, ..., en ) |
|
| JMinusExpression
This class represents the subtraction binary expression. |
|
| JModuloExpression
This class represents the modulo binary expression. |
|
| JMultExpression
This class represents the multiplication binary expression. |
|
| JNameExpression
This class represents a name within an expression. |
|
| JNewAnonymousClassExpression
This class represents a new anonymous class allocation expression. |
|
| JNewArrayExpression
This class represents a new array allocation expression 'new type[...]' |
|
| JNewObjectExpression
This class represents an object instantiation expression 'new type(...)' |
|
| JParenthesedExpression
This class represents expression within parentheses. |
|
| JPostfixExpression
This class represents postfix increment and decrement expressions. |
|
| JPrefixExpression
This class represents prefix increment and decrement expressions. |
|
| JRelationalExpression
This class represents the AST node for the relational operators, <, >, etc. |
|
| JShiftExpression
This class represents the shift (left, right, boolean-right) binary expressions. |
|
| JSuperExpression
This class represents a "super" primary expression in an AST. |
|
| JThisExpression
A 'this' expression |
|
| JTypeNameExpression
This class represents the AST node for a type name expression like Object |
|
| JUnaryExpression
This class represents unary expressions (unary plus, unary minus, bitwise complement, and logical not). |
|
| JUnaryPromote
This class promotes an arithmetic expression to a new type. |
|
| JVariableDefinition
This class represents a local variable definition in the syntax tree. |
|
| MjcVisitor
Implementation of Visitor Design Pattern for KJC. |
|
| Classes in org.multijava.mjc used by org.jmlspecs.jmlspec | |
| CClass
This class represents a class declaration in the signature hierarchy. |
|
| CClassType
This class represents a class type in the type structure. |
|
| CompilerPassEnterable
This is the type of AST nodes that provide methods for handling individual passes of the compilation process. |
|
| Constants
Defines all constants shared by compiler |
|
| JBlock
A block is a sequence of statements and local variable declaration statements within braces. |
|
| JClassDeclaration
This class represents a java class in the syntax tree |
|
| JCompilationUnit
This class represents a single Java compilation unit (typically a file in a file-based compiler like this) in the AST. |
|
| JCompilationUnitType
This type represents a single Java compilation unit (typically a file in a file-based compiler like this) in the AST. |
|
| JConstructorDeclaration
This class represents a constructor in the AST |
|
| JFieldDeclaration
This class represents a field declaration in the syntax tree. |
|
| JFieldDeclarationType
This type represents a field declaration in the syntax tree. |
|
| JFormalParameter
This class represents a parameter declaration in the syntax tree |
|
| JInterfaceDeclaration
This class represents a java interface in the syntax tree |
|
| JMemberDeclaration
This class represents a java declaration in the syntax tree |
|
| JMethodDeclaration
This class represents a java method in the syntax tree. |
|
| JMethodDeclarationType
This type represents a java method in the syntax tree. |
|
| JPhylum
This class is a superclass for all elements of the parsing tree. |
|
| JTypeDeclarationType
This type represents a java class or interface in the syntax tree |
|
| Main.ParseTask
This class parses a group of files, given by filenames as strings, and generates a forest of ASTs. |
|
| Main.Task
This abstract class represents a single task to be performed by the compiler. |
|
| Main.TreeProcessingTask
This class is subclasses by classes that represent tasks operating on a forest of ASTs. |
|
| Main.Trees
|
|
| MjcCommonOptions
This class is automatically generated from MjcCommonOptions.opt and contains member fields corresponding to command-line options. |
|
| MjcPrettyPrinter
This class implements a Java pretty printer |
|
| MjcVisitor
Implementation of Visitor Design Pattern for KJC. |
|
| MJTopLevelMethodDeclaration
|
|
| Classes in org.multijava.mjc used by org.jmlspecs.jmlunit | |
| CClass
This class represents a class declaration in the signature hierarchy. |
|
| CContextType
Descendents of this class represent local contexts during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CExpressionContextType
This class represents the context for an expression during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CMethod
This class represents an actual method, whether generated from source code or read from a class file. |
|
| CompilerPassEnterable
This is the type of AST nodes that provide methods for handling individual passes of the compilation process. |
|
| Constants
Defines all constants shared by compiler |
|
| CSpecializedType
This class represents a specialized type like type1@type2. |
|
| CType
This class is the root for type hierarchy. |
|
| JCompilationUnit
This class represents a single Java compilation unit (typically a file in a file-based compiler like this) in the AST. |
|
| JFormalParameter
This class represents a parameter declaration in the syntax tree |
|
| JMethodDeclarationType
This type represents a java method in the syntax tree. |
|
| JTypeDeclarationType
This type represents a java class or interface in the syntax tree |
|
| Main.ContextBehavior
|
|
| Main.Task
This abstract class represents a single task to be performed by the compiler. |
|
| Main.TreeProcessingTask
This class is subclasses by classes that represent tasks operating on a forest of ASTs. |
|
| Main.Trees
|
|
| MjcCommonOptions
This class is automatically generated from MjcCommonOptions.opt and contains member fields corresponding to command-line options. |
|
| Classes in org.multijava.mjc used by org.jmlspecs.racwrap | |
| CompilerPassEnterable
This is the type of AST nodes that provide methods for handling individual passes of the compilation process. |
|
| Constants
Defines all constants shared by compiler |
|
| JCompilationUnit
This class represents a single Java compilation unit (typically a file in a file-based compiler like this) in the AST. |
|
| JFormalParameter
This class represents a parameter declaration in the syntax tree |
|
| JMethodDeclarationType
This type represents a java method in the syntax tree. |
|
| JThisExpression
A 'this' expression |
|
| Main.Task
This abstract class represents a single task to be performed by the compiler. |
|
| Main.TreeProcessingTask
This class is subclasses by classes that represent tasks operating on a forest of ASTs. |
|
| Main.Trees
|
|
| MjcPrettyPrinter
This class implements a Java pretty printer |
|
| MjcVisitor
Implementation of Visitor Design Pattern for KJC. |
|
| Classes in org.multijava.mjc used by org.jmlspecs.util | |
| Constants
Defines all constants shared by compiler |
|
| JExpression
This class is the root class for all classes representing expression nodes in the AST. |
|
| JMethodDeclaration
This class represents a java method in the syntax tree. |
|
| Classes in org.multijava.mjc used by org.multijava.dis | |
| CUniverseMethodAnnotation
This class represents a universe annotation for a method. |
|
| CUniverseTypeAnnotation
This class represents a universe annotation for a type. |
|
| Classes in org.multijava.mjc used by org.multijava.mjc | |
| AbstractFileFinder
This class provides a method for converting anchor class names to the prefixes of the files declaring the anchored generic function. |
|
| CAbstractMethodSet
This class encapsulates a collection of method signatures. |
|
| CAbstractMethodSet.Iterator
This nested class mimics the java.util.Iterator
interface but is specific to collections of
CMethod. |
|
| CAmbiguousDispatcherClass
This interface is implemented by classes that represent the dispatcher class for the ambiguous error method of an external generic function. |
|
| CArrayType
This class represents the array type in the type structure. |
|
| CAssertStaticInitMethod
This class represents a static initializer that begins with code to figure out if the associated class has assertions enabled or not. |
|
| CAugmentationMap
This class implements a function mapping from classes and contexts to method sets, CAugmentationMap: CClass x CContextType ->
CMethodSet. |
|
| CAugmentationMap.ContextMap
|
|
| CBinaryClass
This class represents a class read from a *.class file. |
|
| CBinaryClassContext
This represents the context of a binary (i.e., read from .class file) class declaration. |
|
| CBinaryField
This class represents loaded (compiled) class fields. |
|
| CBinaryMethod
This class represents a loaded (already compiled) class method. |
|
| CBlockError
This class represents block errors in the error hierarchy. |
|
| CBooleanType
This class represents the Java boolean type. |
|
| CClass
This class represents a class declaration in the signature hierarchy. |
|
| CClass.NoDupStrategy
This class is a specialization of CMethodSet.Strategy that keeps track of which CClass instances have already been searched for appropriate methods. |
|
| CClass.Observer
|
|
| CClassContext
This class represents the context for a class during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CClassContextType
This class represents the context for a class during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CClassNameType
This class represents a class type when the class name first appears as a forward reference. |
|
| CClassType
This class represents a class type in the type structure. |
|
| CCompilationUnit
This class handles namespace management for a compilation unit. |
|
| CCompilationUnitContextType
This class represents the context for a compilation unit during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CConstructorContextType
This class represents the context for a constructor during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CContext
Descendents of this class represent local contexts during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CContextType
Descendents of this class represent local contexts during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CDispatcherSignature
This interface is implemented by classes that represent the type (i.e., $signature) for inner dispatcher classes of an external generic function. |
|
| CExpressionContextType
This class represents the context for an expression during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CExtendedClassContext
This class represents the context for a class during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CExtendedCompilationUnitContext
This class represents the context for a class during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CExtMethodContext
This represents the context in which an external method declaration is typechecked. |
|
| CField
This class represents an exported member of a class (fields) |
|
| CFieldAccessor
This interface represents a field or proxy for a field (a field getter or setter method) |
|
| CFieldAccessorMethod
This class is the abstract base class for the field getter and setter methods. |
|
| CFieldTable
This class encapsulates the fields of a 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). |
|
| CFlowControlContextType
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). |
|
| CGenericFunctionCollection
This interface represents a single generic function collection, which encapsulates all the top-level methods of the same name declared in a given context. |
|
| CGenericFunctionCollection.Impl
|
|
| CGFCollectionMap
This represents a mapping from compilation units and strings to sets of collections of generic functions: CGFCollectionMap:
CCompilationUnit x String -> { CGFCollection }. |
|
| CGFCollectionMap.SetMap
|
|
| CInitializable
Interface for all left-value expressions |
|
| CInitializerContextType
This class represents the context for a static initializer during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CInterfaceContextType
This class represents the context for an interface declaration during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CLabeledContext
This class represents a labeled context during checking passes (checkInterface, checkInitializers, typecheck). |
|
| ClassCreator
A factory class to create classes. |
|
| CLineError
This class represents Line errors in error hierarchy. |
|
| CLoopContext
This class represents the context for a loop statement during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CMember
This class represents a member of a class or compilation unit. |
|
| CMemberHost
This interface is implementation by abstractions that can host members. |
|
| CMethod
This class represents an actual method, whether generated from source code or read from a class file. |
|
| CMethodContext
This class represents the context for a method during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CMethodContextType
This class represents the context for a method during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CMethodNotFoundError
This error display all parameters of method call |
|
| CMethodSet
This class encapsulates a collection of method signatures. |
|
| CMethodSet.MethodArgsPair
|
|
| CMethodSet.Strategy
Represents the interface for strategies used in accumulating method sets. |
|
| CNullType
This class represents null class type in the type structure |
|
| CNumericType
This class represents java and kopi numericals types Such as byte, short, int, long, float, double |
|
| CodeLabel
This class represents a position in the code array where the associated instruction has not yet been generated. |
|
| CodeSequence
|
|
| CompilerPassEnterable
This is the type of AST nodes that provide methods for handling individual passes of the compilation process. |
|
| Constants
Defines all constants shared by compiler |
|
| CParseClassContext
This class is used by the parser to collect the members of a class declaration. |
|
| CParseCompilationUnitContext
This class is used by the parser to collect the contents of a compilation unit. |
|
| CSourceClass
This class represents a class read from a *.java file. |
|
| CSourceDispatcherClass
This class represents an inner dispatcher class for a collection of multimethods of the same generic function declared in a single lexical context. |
|
| CSourceDispatcherMethod
This class represents a dispatcher method wrapping a set of multimethods of the same generic function as read from a source file. |
|
| CSourceField
This class represents an exported member of a class (fields) |
|
| 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]. |
|
| CSourceGFCollection
This class represents a single generic function collection, which encapsulates all the top-level methods declared in a given context. |
|
| CSourceMethod
This class represents a method read from a source code (*.java) file. |
|
| CSourceRedirectorMethod
This class represents a redirector method for a pleomorphic method that belongs to an internal and external generic function. |
|
| CSpecializedType
This class represents a specialized type like type1@type2. |
|
| CSwitchBodyContext
This class represents the context for the body of a switch statement during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CSwitchGroupContext
This class represents the context for a switch group during checking passes. |
|
| CThrowableInfo
This class represents information on the sorts of exceptions that can be thrown in a particular context. |
|
| CTryContext
This class represents the context for a try statement during checking passes (checkInterface, checkInitializers, typecheck). |
|
| CType
This class is the root for type hierarchy. |
|
| CType.MethodSignature
This data structure represents a method type signature as an array of specialized parameter types, a return type, and a receiver type (which may be null for regular Java method signatures). |
|
| CType.MethodSignatureParser
This inner class provides methods for converting a bytecode type signature into an instance of (a subclass of) CType for use in compilation. |
|
| CTypeSignatureAppender
This interface is implemented by classes that represent types and that are able to append a String representation of the represented type to a FastStringBuffer. |
|
| CTypeVariable
|
|
| CUniverse
This is the abstract base class that represents Universes. |
|
| CUniverseImplicitPeer
This class implements a peer/ground/default universe. |
|
| CUniverseImplicitReadonly
Implements the readonly universe. |
|
| CUniverseMethodAnnotation
This class represents a universe annotation for a method. |
|
| CUniversePeer
This class implements a peer/ground/default universe. |
|
| CUniverseReadonly
Implements the readonly universe. |
|
| CUniverseRep
Implements the rep universe that specifies the representation of the current object. |
|
| CUniverseTypeAnnotation
This class represents a universe annotation for a type. |
|
| CValueType
This class represents a value specializer "type." |
|
| CVariableInfoTable
This class stores information about the set of local variables in a given context. |
|
| CVariableState
The class stores information about the definitely assigned state of a variable or field. |
|
| CVoidType
This class represents Java void type |
|
| FileFinder
This is an interface to classes that find files for an application (such as with a given set of suffixes and given sequence of directories). |
|
| FunctionalTestSuite.TestCase
|
|
| FunctionalTestSuite.TestCase.CodeGenResults
Represents the results of disassembling, including a success flag and any error messages. |
|
| FunctionalTestSuite.TestCase.CompilationResults
A string representation of the working directory, used in matching expected error messages. |
|
| FunctionalTestSuite.TestCase.RuntimeResults
Represents the results of a runtime test, including a success flag, any exception thrown and the values written to standard error and standard out. |
|
| JAddExpression
This class represents the addition binary expression. |
|
| JArrayAccessExpression
This class implements an access to an array. |
|
| 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 }. |
|
| JArrayInitializer
This class implements a constant list of expressions used in array initialisation. |
|
| JArrayLengthExpression
This class represents an array length expression in the AST. |
|
| JAssertStatement
The syntax for Java assert statements is defined as follows. |
|
| JAssignmentExpression
This class implements the assignment operation |
|
| JavadocLexer
|
|
| JavadocLexerTokenTypes
|
|
| JavadocTokenTypes
|
|
| JBinaryArithmeticExpression
This class is an abstract root class for binary expressions. |
|
| JBinaryExpression
This class is an abstract root class for binary expressions Here are conversion method following JLS 5.6.2 |
|
| JBitwiseExpression
This class represents the bitwise AND, OR, and XOR binary expressions. |
|
| JBlock
A block is a sequence of statements and local variable declaration statements within braces. |
|
| JBooleanLiteral
Root class for all expressions |
|
| JBreakStatement
This class represents a break statement. |
|
| JCastExpression
This class represents a cast expression '((byte)2)' |
|
| JCatchClause
This class represents a catch clause in the syntax tree. |
|
| JCharLiteral
A simple character constant |
|
| JClassBlock
This class represents an initializer block in a type declaration. |
|
| JClassDeclaration
This class represents a java class in the syntax tree |
|
| JClassDeclarationType
This type represents a java class declaration in the syntax tree. |
|
| JClassExpression
This class represents an AST node for a class literal expression, e.g., int.class and String.class. |
|
| JClassFieldExpression
This class represents the AST node for a field access, e.g. |
|
| 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. |
|
| JClassOrGFImportType
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. |
|
| JCompilationUnit
This class represents a single Java compilation unit (typically a file in a file-based compiler like this) in the AST. |
|
| JCompilationUnitType
This type represents a single Java compilation unit (typically a file in a file-based compiler like this) in the AST. |
|
| JCompoundAssignmentExpression
This class represents the compound assignment operation, e.g., x += 3 and y *= 4, in the AST. |
|
| JCompoundStatement
A compound statement is a sequence of statements and local variable declaration statements without braces. |
|
| JConditionalAndExpression
This class implements the conditional and operation |
|
| JConditionalExpression
This class implements expressions using the conditional operator. |
|
| JConditionalOrExpression
This class implements the conditional or operation |
|
| JConstructorBlock
This class represents the block of a constructor. |
|
| JConstructorDeclaration
This class represents a constructor in the AST |
|
| JConstructorDeclarationType
This type represents a constructor in the AST. |
|
| JContinueStatement
A continue statement may occur only in a while, do, or for statement; statements of these three kinds are called iteration statements. |
|
| JDivideExpression
This class represents the division binary expression. |
|
| JDoStatement
This class represents a do statement in the AST. |
|
| JEmptyStatement
This class represents an empty statement, which does nothing. |
|
| JEqualityExpression
This class represents the AST node for the equality operators. |
|
| JExplicitConstructorInvocation
This class represents a explicit call to a super or self constructor. |
|
| JExpression
This class is the root class for all classes representing expression nodes in the AST. |
|
| JExpressionFactory
Expression AST node factory 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. |
|
| JExpressionStatement
Certain kinds of expressions may be used as statements by following them with semicolon. |
|
| JFieldDeclaration
This class represents a field declaration in the syntax tree. |
|
| JFieldDeclarationType
This type represents a field declaration in the syntax tree. |
|
| JFormalParameter
This class represents a parameter declaration in the syntax tree |
|
| JForStatement
This class represents a for statement in the AST. |
|
| JGeneratedLocalVariable
This class represents a compiler-generated local variable declaration. |
|
| JIfStatement
This class represents an if statement in the AST. |
|
| JInitializerDeclaration
This class represents an initializer (either static or instance) in the AST. |
|
| JInstanceofExpression
This class represents an instanceof expression. |
|
| JInterfaceDeclaration
This class represents a java interface in the syntax tree |
|
| JInterfaceDeclarationType
This type represents a java interface in the syntax tree. |
|
| JLabeledStatement
This class represents a labeled statement. |
|
| JLiteral
Root class for all literals expression |
|
| JLocalVariable
This class represents a local variable declaration in the AST. |
|
| JLocalVariableExpression
This class represents the AST node for local variable references. |
|
| JLoopStatement
This abstract class is the superclass for all the classes representing loop statements in the AST. |
|
| JMemberDeclaration
This class represents a java declaration in the syntax tree |
|
| JMemberDeclarationType
This type represents a java declaration in the syntax tree. |
|
| JMethodCallExpression
This class represents method calls methodname( e1, e2, ..., en ) |
|
| JMethodDeclaration
This class represents a java method in the syntax tree. |
|
| JMethodDeclarationType
This type represents a java method in the syntax tree. |
|
| JMinusExpression
This class represents the subtraction binary expression. |
|
| JModuloExpression
This class represents the modulo binary expression. |
|
| JMultExpression
This class represents the multiplication binary expression. |
|
| JNameExpression
This class represents a name within an expression. |
|
| JNewAnonymousClassExpression
This class represents a new anonymous class allocation expression. |
|
| JNewArrayExpression
This class represents a new array allocation expression 'new type[...]' |
|
| JNewObjectExpression
This class represents an object instantiation expression 'new type(...)' |
|
| JNewObjectExpression.ArgTypes
This nested class is used to track the argument types of the actual constructor call. |
|
| JNullLiteral
A simple character constant |
|
| JNumberLiteral
Root class for all number literals |
|
| JOrdinalLiteral
This class represents literals of primitive integral types (byte, short, int, long). |
|
| JPackageImport
This class represents (in the AST) full-package import statements, an asterisk. |
|
| JPackageImportType
This type represents (in the AST) full-package import statements, with an asterisk. |
|
| JPackageName
This class represents package statements in the AST, like package org.multijava.mjc. |
|
| JParenthesedExpression
This class represents expression within parentheses. |
|
| JPhylum
This class is a superclass for all elements of the parsing tree. |
|
| JPostfixExpression
This class represents postfix increment and decrement expressions. |
|
| JPrefixExpression
This class represents prefix increment and decrement expressions. |
|
| JRealLiteral
This class represents real-valued literals (float, double) |
|
| JRelationalExpression
This class represents the AST node for the relational operators, <, >, etc. |
|
| JReturnStatement
This class represents a return statement in the AST. |
|
| JShiftExpression
This class represents the shift (left, right, boolean-right) binary expressions. |
|
| JStatement
This class is the root class for all classes representing statement nodes in the AST. |
|
| JStringLiteral
A simple character constant |
|
| JSuperExpression
This class represents a "super" primary expression in an AST. |
|
| JSwitchGroup
This class represents an AST node for a group in a switch statement. |
|
| JSwitchLabel
This class represents an AST node for the label for a single case of a switch statement. |
|
| JSwitchStatement
This class represents a switch statement in the AST. |
|
| JSynchronizedStatement
This class represents a synchronized statement in an AST. |
|
| JThisExpression
A 'this' expression |
|
| JThrowStatement
This class represents a throw statement in the AST. |
|
| JTryCatchStatement
This class represents a try-catch statement in the AST. |
|
| JTryFinallyStatement
This class represents a try-catch statement in the AST. |
|
| JTypeDeclaration
This class represents a java class or interface in the syntax tree |
|
| JTypeDeclaration.DispatcherClassList
|
|
| JTypeDeclaration.MethodList
|
|
| JTypeDeclaration.MethodRecord
|
|
| JTypeDeclaration.WrapResult
This nested class is used to return the results from
dispatcherWrapMethods |
|
| JTypeDeclarationStatement
This class represents a local type declaration statement. |
|
| JTypeDeclarationType
This type represents a java class or interface in the syntax tree |
|
| JTypeNameExpression
This class represents the AST node for a type name expression like Object |
|
| JUnaryExpression
This class represents unary expressions (unary plus, unary minus, bitwise complement, and logical not). |
|
| JUnaryPromote
This class promotes an arithmetic expression to a new type. |
|
| JVariableDeclarationStatement
A local variable declaration statement declares one or more local variable names. |
|
| JVariableDefinition
This class represents a local variable definition in the syntax tree. |
|
| JWhileStatement
This class represents a while statement in the AST. |
|
| Main
This class implements the entry point of the MultiJava compiler. |
|
| Main.ContextBehavior
|
|
| Main.ExpectedGF
|
|
| Main.ExpectedIndifferent
|
|
| Main.ExpectedResult
This class represents the expected result of parsing a file. |
|
| Main.ExpectedType
|
|
| Main.Task
This abstract class represents a single task to be performed by the compiler. |
|
| Main.TreeProcessingTask
This class is subclasses by classes that represent tasks operating on a forest of ASTs. |
|
| Main.Trees
|
|
| 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. |
|
| MjcCommonOptions
This class is automatically generated from MjcCommonOptions.opt and contains member fields corresponding to command-line options. |
|
| MjcGUI
This class is automatically generated from MjcGUI.gui and contains member fields corresponding to tool-specific GUI specifications. |
|
| MjcIDTokenTypes
|
|
| MjcLexer
|
|
| MjcLexerTokenTypes
|
|
| MjcOptions
This class is automatically generated from MjcOptions.opt and contains member fields corresponding to command-line options. |
|
| MjcParser
|
|
| MjcSignatureParser
|
|
| MjcTokenTypes
|
|
| MjcVisitor
Implementation of Visitor Design Pattern for KJC. |
|
| 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. |
|
| MJMathMode
|
|
| MJMathModeExpression
This AST node is used to change the arithmetic mode for a given expression. |
|
| MJSpecialMethod
This marker interface is implemented by classes that represent special methods generated for MultiJava purposes. |
|
| MJTopLevelDeclaration
This interface is implemented by all classes that represent top-level declarations in MultiJava, i.e., all open-class declarations. |
|
| MJTopLevelMethodDeclaration
|
|
| MJWarnExpression
This AST node is used to enable or disable the compile-time and run-time checking of integral arithmetic overflow. |
|
| ParserUtility
This class is delegated to my the parser classes and provides a place to encapsulate the utility methods of those classes. |
|
| ParsingController
This class manages the parsing of source code. |
|
| ParsingController.ConfigurationException
This inner class represents exceptions that can be thrown because of misconfiguration of the parsing controller. |
|
| ParsingController.FilteredTokenStream
This inner class provides a token stream that accesses one of the lexers managed by the controller. |
|
| ParsingController.IndexedTokenBuffer
This inner class buffers tokens of a nested language and allows selection and discarding of a subset of these buffered tokens based on a reference to an index token of the surrounding language. |
|
| ParsingController.InputState
This nested class is a hack to expose the line and column fields of LexerSharedInputState for reading. |
|
| ParsingController.KeyException
This inner class represents exceptions that can be thrown because of bad key values passed as arguments to the outer classes methods. |
|
| ParsingController.StreamBufferPair
This inner class encapsulates a buffer and an input stream so they can be the stored as a single value in a map. |
|
| ParsingController.TokenWrapper
This inner class wraps a single token. |
|
| SignatureParser
|
|
| SignatureParser.ClassSignature
|
|
| SigSourceMember
This interface is implemented by signature forest classes that correspond to specific member declarations in an AST. |
|
| TestMjcParser
Unit tests for MjcParser |
|
| TypeLoader
This class acts as a symbol table and a cache for types, type signatures, and external generic functions. |
|
| VariableDescriptor
This interface represents the type of an object that provides a description of a variable or field (hereafter, "slot"). |
|
| Classes in org.multijava.mjc used by org.multijava.mjdoc | |
| MjcCommonOptions
This class is automatically generated from MjcCommonOptions.opt and contains member fields corresponding to command-line options. |
|
| Classes in org.multijava.mjc used by org.multijava.relaxed.runtime | |
| Constants
Defines all constants shared by compiler |
|
| Classes in org.multijava.mjc used by org.multijava.util.classfile | |
| CUniverse
This is the abstract base class that represents Universes. |
|
| CUniverseMethodAnnotation
This class represents a universe annotation for a method. |
|
| CUniverseTypeAnnotation
This class represents a universe annotation for a type. |
|
|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||