|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use MessageDescription | |
| 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.jmlrac | Generates Java classes from JML specifications that check assertions 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.util.dis | |
| 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.util | |
| org.multijava.util.backend | Provides an optimizer for methods for the compilers in MultiJava and the Java Modeling Language. |
| org.multijava.util.classfile | Provides an editor for classfiles used by MultiJava and the Java Modeling Language. |
| org.multijava.util.compiler | Provides utilities and superclasses for the compilers in MultiJava and the Java Modeling Language. |
| org.multijava.util.guigen | Implements the automatic generation of all of the GUIs for MultiJava and the Java Modeling Language. |
| org.multijava.util.lexgen | Provides a lexer for the compilers of MultiJava and the Java Modeling Language. |
| org.multijava.util.msggen | Implements the automatic generation of the data structure for all of the compiler messages in MultiJava and the Java Modeling Language. |
| org.multijava.util.optgen | Implements the automatic generation of the data structure for all of the command line options in MultiJava and the Java Modeling Language. |
| org.multijava.util.optimize | Provides an optimizer for classfiles used by MultiJava and the Java Modeling Language. |
| Uses of MessageDescription in org.jmlspecs.checker |
| Methods in org.jmlspecs.checker with parameters of type MessageDescription | |
protected void |
JmlAdmissibilityVisitor.warn(JExpression expr,
MessageDescription desc)
Emits a warning. |
void |
JmlContext.fail(MessageDescription mess,
Object param1,
Object param2)
Generates an UnpositionedError with a given message. |
void |
JmlContext.fail(MessageDescription mess,
Object params)
|
void |
JmlContext.fail(MessageDescription mess,
Object[] params)
Generates an UnpositionedError with a given message. |
boolean |
JmlContext.check(boolean expr,
MessageDescription mess)
Verifies an expression and if false signals an error. |
boolean |
JmlContext.check(boolean expr,
MessageDescription mess,
Object[] params)
|
boolean |
JmlContext.check(boolean expr,
MessageDescription mess,
Object param1)
Verifies an expression and if false signals an error. |
boolean |
JmlContext.check(boolean expr,
MessageDescription mess,
Object param1,
Object param2)
Verifies an expression and if false signals an error. |
private void |
JmlExpressionChecker.check(boolean cond,
TokenReference tref,
MessageDescription msg,
Object obj1,
Object obj2)
Checks if the condition, cond is true. |
private void |
JmlExpressionChecker.check(boolean cond,
TokenReference tref,
MessageDescription msg,
Object[] obj)
|
private void |
JmlExpressionChecker.check(boolean cond,
TokenReference tref,
MessageDescription msg,
Object obj1)
Checks if the condition, cond is true. |
private void |
JmlExpressionChecker.check(boolean cond,
TokenReference tref,
MessageDescription msg)
Checks if the condition, cond is true. |
| Uses of MessageDescription in org.jmlspecs.jmldoc |
| Fields in org.jmlspecs.jmldoc declared as MessageDescription | |
static MessageDescription |
JmldocMessages.REGISTER
|
| Uses of MessageDescription in org.jmlspecs.jmlrac |
| Fields in org.jmlspecs.jmlrac declared as MessageDescription | |
static MessageDescription |
RacMessages.RAC_GEN
|
static MessageDescription |
RacMessages.RECURSIVELY_REFERENCED_TYPE
|
static MessageDescription |
RacMessages.NOT_SUPPORTED
|
static MessageDescription |
RacMessages.MAY_NOT_EXECUTABLE
|
static MessageDescription |
RacMessages.NOT_EXECUTABLE
|
static MessageDescription |
RacMessages.NOT_SUPPORTED_ALT
|
| Methods in org.jmlspecs.jmlrac with parameters of type MessageDescription | |
static void |
JmlRacGenerator.warn(TokenReference tref,
MessageDescription description,
Object obj)
Produce a warning message with the given token reference, message description, and argument to message description. |
static void |
JmlRacGenerator.warn(TokenReference tref,
MessageDescription description)
Produce a warning message with the given token reference and message description. |
static void |
JmlRacGenerator.fail(TokenReference tref,
MessageDescription description,
Object obj)
Produce an error message with the given token reference, message description, and arguments to message description. |
static void |
JmlRacGenerator.fail(TokenReference tref,
MessageDescription description,
Object obj1,
Object obj2)
Produce an error message with the given token reference, message description, and arguments to message description. |
static void |
TransExpression.warn(TokenReference tref,
MessageDescription description,
Object obj)
Produce a warning message with the given token reference, message description, and argument to message description. |
| Uses of MessageDescription in org.jmlspecs.jmlspec |
| Fields in org.jmlspecs.jmlspec declared as MessageDescription | |
static MessageDescription |
JspMessages.SKELETON_GENERATED
|
static MessageDescription |
JspMessages.NON_STANDARD_SUFFIX
|
static MessageDescription |
JspMessages.FILE_NOT_GENERATED
|
static MessageDescription |
JspMessages.FILE_OVERWRITTEN
|
static MessageDescription |
JspMessages.NO_BASE_NAME
|
static MessageDescription |
JspMessages.INVALID_SUFFIX
|
static MessageDescription |
JspMessages.BAD_CLASSPATH
|
static MessageDescription |
JspMessages.BAD_LOCATION
|
static MessageDescription |
JspMessages.IOEXCEPTION
|
static MessageDescription |
JspMessages.NON_FILE
|
static MessageDescription |
JspMessages.SINGLE
|
| Uses of MessageDescription in org.jmlspecs.jmlunit |
| Fields in org.jmlspecs.jmlunit declared as MessageDescription | |
static MessageDescription |
JntMessages.TEST_CLASS_GENERATED
|
static MessageDescription |
JntMessages.REFINEMENT_SUFFIX
|
| Uses of MessageDescription in org.jmlspecs.util.dis |
| Fields in org.jmlspecs.util.dis declared as MessageDescription | |
static MessageDescription |
JDisMessages.CLASS_NOT_FOUND
|
| Uses of MessageDescription in org.multijava.dis |
| Fields in org.multijava.dis declared as MessageDescription | |
static MessageDescription |
DisMessages.PROCESSING
|
static MessageDescription |
DisMessages.FILE_NOT_FOUND
|
static MessageDescription |
DisMessages.CLASS_NOT_FOUND
|
static MessageDescription |
DisMessages.FILE_READ_PROBLEM
|
static MessageDescription |
DisMessages.FILE_READ_PROBLEM2
|
static MessageDescription |
DisMessages.NO_SOURCE_FILE
|
| Uses of MessageDescription in org.multijava.mjc |
| Methods in org.multijava.mjc with parameters of type MessageDescription | |
abstract void |
CContextType.fail(MessageDescription mess,
Object param1,
Object param2)
Generates an UnpositionedError with a given message. |
abstract void |
CContextType.fail(MessageDescription mess,
Object[] params)
|
abstract boolean |
CContextType.check(boolean expr,
MessageDescription mess)
Verifies an expression and if false signals an error. |
abstract boolean |
CContextType.check(boolean expr,
MessageDescription mess,
Object[] params)
|
abstract boolean |
CContextType.check(boolean expr,
MessageDescription mess,
Object param1)
Verifies an expression and if false signals an error. |
abstract boolean |
CContextType.check(boolean expr,
MessageDescription mess,
Object param1,
Object param2)
Verifies an expression and if false signals an error. |
protected void |
JPhylum.fail(CContextType context,
MessageDescription description,
Object[] params)
Adds a compiler error. |
protected void |
JPhylum.fail(CContextType context,
MessageDescription description)
Adds a compiler error. |
protected void |
JPhylum.fail(CContextType context,
MessageDescription description,
Object param)
Adds a compiler error. |
void |
JPhylum.check(CContextType context,
boolean cond,
MessageDescription description,
Object[] params)
Verifies that the condition is true; otherwise adds an error. |
void |
JPhylum.check(CContextType context,
boolean cond,
MessageDescription description,
Object param1,
Object param2)
Verifies that the condition is true; otherwise adds an error. |
void |
JPhylum.check(CContextType context,
boolean cond,
MessageDescription description,
Object param)
Verifies that the condition is true; otherwise adds an error. |
void |
JPhylum.check(CContextType context,
boolean cond,
MessageDescription description)
Verifies that the condition is true; otherwise adds an error. |
void |
JPhylum.warn(CContextType context,
MessageDescription description,
Object[] params)
Gives a warning message. |
void |
JPhylum.warn(CContextType context,
MessageDescription description)
Gives a warning message. |
void |
JPhylum.warn(CContextType context,
MessageDescription description,
Object param)
Gives a warning message. |
void |
JPhylum.warn(CContextType context,
MessageDescription description,
Object param1,
Object param2)
Gives a warning message. |
protected void |
JExpression.fail(CContextType context,
MessageDescription key,
Object[] params)
Adds a compiler error. |
void |
CContext.fail(MessageDescription mess,
Object param1,
Object param2)
Generates an UnpositionedError with a given message. |
void |
CContext.fail(MessageDescription mess,
Object[] params)
Generates an UnpositionedError with a given message. |
boolean |
CContext.check(boolean expr,
MessageDescription mess)
Verifies an expression and if false signals an error. |
boolean |
CContext.check(boolean expr,
MessageDescription mess,
Object param1)
Verifies an expression and if false signals an error. |
boolean |
CContext.check(boolean expr,
MessageDescription mess,
Object param1,
Object param2)
Verifies an expression and if false signals an error. |
boolean |
CContext.check(boolean expr,
MessageDescription mess,
Object[] params)
|
protected void |
JStatement.fail(CContextType context,
MessageDescription key,
Object[] params)
Adds a compiler error. |
protected void |
JSwitchLabel.fail(CContextType context,
MessageDescription key,
Object[] params)
Adds a compiler error. |
static void |
Debug.msg(MessageDescription msg)
Writes the given debugging message, without parameter substitution, to the debugging output stream. |
static void |
Debug.msg(MessageDescription msg,
Object p0)
Writes the given debugging message, with appropriate parameter substitution, to the debugging output stream. |
static void |
Debug.msg(MessageDescription msg,
Object p0,
Object p1)
Writes the given debugging message, with appropriate parameter substitution, to the debugging output stream. |
static void |
Debug.msg(MessageDescription msg,
Object[] ps)
Writes the given debugging message, with appropriate parameter substitution, to the debugging output stream. |
| Constructors in org.multijava.mjc with parameters of type MessageDescription | |
Main.TreeProcessingTask(int priority,
Object sequenceID,
CompilerPassEnterable[] trees,
MessageDescription passCompletedMessage)
Constructs a task that operates on an AST forest. |
|
Main.TypecheckTask(int priority,
Object sequenceID,
CompilerPassEnterable[] trees,
MessageDescription passCompletedMessage)
|
|
CBlockError(TokenReference where,
MessageDescription description,
Object[] parameters)
An error with an arbitrary number of parameters |
|
CBlockError(TokenReference where,
MessageDescription description,
Object parameter1,
Object parameter2)
An error with two parameters |
|
CBlockError(TokenReference where,
MessageDescription description,
Object parameter)
An error with one parameter |
|
CBlockError(TokenReference where,
MessageDescription description)
An error without parameters |
|
CLineError(TokenReference where,
MessageDescription description,
Object[] parameters)
An error with an arbitrary number of parameters |
|
CLineError(TokenReference where,
MessageDescription description,
Object parameter1,
Object parameter2)
An error with two parameters |
|
CLineError(TokenReference where,
MessageDescription description,
Object parameter)
An error with one parameter |
|
CLineError(TokenReference where,
MessageDescription description)
An error without parameters |
|
CExpressionError(TokenReference where,
MessageDescription description,
Object[] parameters)
An error with an arbitrary number of parameters |
|
CExpressionError(TokenReference where,
MessageDescription description,
Object parameter1,
Object parameter2)
An error with two parameters |
|
CExpressionError(TokenReference where,
MessageDescription description,
Object parameter)
An error with one parameter |
|
CExpressionError(TokenReference where,
MessageDescription description)
An error without parameters |
|
| Uses of MessageDescription in org.multijava.mjdoc |
| Fields in org.multijava.mjdoc declared as MessageDescription | |
static MessageDescription |
MjdocMessages.REGISTER
|
static MessageDescription |
MjdocMessages.HTML_GEN
|
| Uses of MessageDescription in org.multijava.util |
| Fields in org.multijava.util declared as MessageDescription | |
private MessageDescription |
Message.description
|
| Methods in org.multijava.util that return MessageDescription | |
MessageDescription |
Message.getDescription()
Returns the message description. |
| Methods in org.multijava.util with parameters of type MessageDescription | |
boolean |
FormattedException.hasDescription(MessageDescription description)
Returns true iff the error has specified description. |
| Constructors in org.multijava.util with parameters of type MessageDescription | |
FormattedException(MessageDescription description,
Object[] parameters)
An exception with an arbitrary number of parameters |
|
FormattedException(MessageDescription description,
Object parameter1,
Object parameter2)
An exception with two parameters |
|
FormattedException(MessageDescription description,
Object parameter)
An exception with one parameter |
|
FormattedException(MessageDescription description)
An exception without parameters |
|
Message(MessageDescription description,
Object[] parameters)
Constructs a message with an arbitrary number of parameters |
|
Message(MessageDescription description,
Object parameter1,
Object parameter2)
Constructs a message with two parameters |
|
Message(MessageDescription description,
Object parameter)
Constructs a message with one parameter |
|
Message(MessageDescription description)
Constructs a message without parameters |
|
| Uses of MessageDescription in org.multijava.util.backend |
| Fields in org.multijava.util.backend declared as MessageDescription | |
static MessageDescription |
BackendMessages.SEMANTIC_ERROR
|
static MessageDescription |
BackendMessages.NO_SOURCE_FILE
|
| Uses of MessageDescription in org.multijava.util.classfile |
| Fields in org.multijava.util.classfile declared as MessageDescription | |
static MessageDescription |
ClassfileMessages.NO_SOURCE_FILE
|
| Uses of MessageDescription in org.multijava.util.compiler |
| Methods in org.multijava.util.compiler with parameters of type MessageDescription | |
void |
Compiler.inform(MessageDescription description,
Object[] parameters)
Write a message to the diagnostic output. |
void |
Compiler.inform(MessageDescription description,
Object parameter1,
Object parameter2)
Write a message to the diagnostic output. |
void |
Compiler.inform(MessageDescription description,
Object parameter)
Write a message to the diagnostic output. |
void |
Compiler.inform(MessageDescription description)
Write a message to the diagnostic output. |
boolean |
UnpositionedError.hasDescription(MessageDescription description)
Returns true iff the error has specified description. |
| Constructors in org.multijava.util.compiler with parameters of type MessageDescription | |
UnpositionedError(MessageDescription description,
Object[] parameters)
An exception with an arbitrary number of parameters |
|
UnpositionedError(MessageDescription description,
Object parameter1,
Object parameter2)
An exception with two parameters |
|
UnpositionedError(MessageDescription description,
Object parameter)
An exception with one parameter |
|
UnpositionedError(MessageDescription description)
An exception without parameters |
|
PositionedError(TokenReference where,
MessageDescription description,
Object[] parameters)
An error with an arbitrary number of parameters |
|
PositionedError(TokenReference where,
MessageDescription description,
Object parameter1,
Object parameter2)
An error with two parameters |
|
PositionedError(TokenReference where,
MessageDescription description,
Object parameter)
An error with one parameter |
|
PositionedError(TokenReference where,
MessageDescription description)
An error without parameters |
|
CWarning(TokenReference where,
MessageDescription description,
Object[] parameters)
An error with an arbitrary number of parameters |
|
CWarning(TokenReference where,
MessageDescription description,
Object parameter1,
Object parameter2)
An error with two parameters |
|
CWarning(TokenReference where,
MessageDescription description,
Object parameter)
An error with one parameter |
|
CWarning(TokenReference where,
MessageDescription description)
An error without parameters |
|
| Uses of MessageDescription in org.multijava.util.guigen |
| Fields in org.multijava.util.guigen declared as MessageDescription | |
static MessageDescription |
GuigenMessages.UNKNOWN_FILE
|
static MessageDescription |
GuigenMessages.PARSING_ERROR
|
static MessageDescription |
GuigenMessages.LEXING_ERROR
|
static MessageDescription |
GuigenMessages.IO_EXCEPTION
|
| Constructors in org.multijava.util.guigen with parameters of type MessageDescription | |
GuigenError(MessageDescription description,
Object[] parameters)
An exception with an arbitrary number of parameters |
|
GuigenError(MessageDescription description,
Object parameter1,
Object parameter2)
An exception with two parameters |
|
GuigenError(MessageDescription description,
Object parameter)
An exception with one parameter |
|
GuigenError(MessageDescription description)
An exception without parameters |
|
| Uses of MessageDescription in org.multijava.util.lexgen |
| Fields in org.multijava.util.lexgen declared as MessageDescription | |
static MessageDescription |
LexgenMessages.PARSING_ERROR
|
static MessageDescription |
LexgenMessages.LEXING_ERROR
|
static MessageDescription |
LexgenMessages.DUPLICATE_DEFINITION
|
static MessageDescription |
LexgenMessages.FILE_NOT_FOUND
|
static MessageDescription |
LexgenMessages.NO_SOURCE_FILE
|
static MessageDescription |
LexgenMessages.UNKNOWN_FLAG
|
static MessageDescription |
LexgenMessages.FLAG_ON_OTHER
|
| Constructors in org.multijava.util.lexgen with parameters of type MessageDescription | |
LexgenError(MessageDescription description,
Object[] parameters)
An exception with an arbitrary number of parameters |
|
LexgenError(MessageDescription description,
Object parameter1,
Object parameter2)
An exception with two parameters |
|
LexgenError(MessageDescription description,
Object parameter)
An exception with one parameter |
|
LexgenError(MessageDescription description)
An exception without parameters |
|
| Uses of MessageDescription in org.multijava.util.msggen |
| Fields in org.multijava.util.msggen declared as MessageDescription | |
static MessageDescription |
MsggenMessages.UNKNOWN_FILE
|
static MessageDescription |
MsggenMessages.PARSING_ERROR
|
static MessageDescription |
MsggenMessages.LEXING_ERROR
|
static MessageDescription |
MsggenMessages.IO_EXCEPTION
|
static MessageDescription |
MsggenMessages.DUPLICATE_DEFINITION
|
| Constructors in org.multijava.util.msggen with parameters of type MessageDescription | |
MsggenError(MessageDescription description,
Object[] parameters)
An exception with an arbitrary number of parameters |
|
MsggenError(MessageDescription description,
Object parameter1,
Object parameter2)
An exception with two parameters |
|
MsggenError(MessageDescription description,
Object parameter)
An exception with one parameter |
|
MsggenError(MessageDescription description)
An exception without parameters |
|
| Uses of MessageDescription in org.multijava.util.optgen |
| Fields in org.multijava.util.optgen declared as MessageDescription | |
static MessageDescription |
OptgenMessages.UNKNOWN_FILE
|
static MessageDescription |
OptgenMessages.PARSING_ERROR
|
static MessageDescription |
OptgenMessages.LEXING_ERROR
|
static MessageDescription |
OptgenMessages.IO_EXCEPTION
|
static MessageDescription |
OptgenMessages.DUPLICATE_DEFINITION
|
static MessageDescription |
OptgenMessages.DUPLICATE_SHORTCUT
|
| Constructors in org.multijava.util.optgen with parameters of type MessageDescription | |
OptgenError(MessageDescription description,
Object[] parameters)
An exception with an arbitrary number of parameters |
|
OptgenError(MessageDescription description,
Object parameter1,
Object parameter2)
An exception with two parameters |
|
OptgenError(MessageDescription description,
Object parameter)
An exception with one parameter |
|
OptgenError(MessageDescription description)
An exception without parameters |
|
| Uses of MessageDescription in org.multijava.util.optimize |
| Fields in org.multijava.util.optimize declared as MessageDescription | |
static MessageDescription |
OptimizeMessages.SEMANTIC_ERROR
|
static MessageDescription |
OptimizeMessages.NO_SOURCE_FILE
|
|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||