edu.utep.cs.utjml.compiler
Class UtJmlMessages
java.lang.Object
edu.utep.cs.utjml.compiler.UtJmlMessages
public class UtJmlMessages
- extends Object
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
NON_THIS_RECEIVER_IN_CALL_SEQUENCE
public static final MessageDescription NON_THIS_RECEIVER_IN_CALL_SEQUENCE
CONSTRUCTOR_IN_CALL_SEQUENCE
public static final MessageDescription CONSTRUCTOR_IN_CALL_SEQUENCE
XXXUNBALANCED_PAREN
public static final MessageDescription XXXUNBALANCED_PAREN
UtJmlMessages
public UtJmlMessages()
UTJML is Copyright (C) 2004-2006 by University of Texas at El Paso and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the JML project.