UTJML

edu.utep.cs.utjml.compiler
Class UtJmlMessages

java.lang.Object
  extended by edu.utep.cs.utjml.compiler.UtJmlMessages

public class UtJmlMessages
extends Object


Field Summary
static MessageDescription CONSTRUCTOR_IN_CALL_SEQUENCE
           
static MessageDescription NON_THIS_RECEIVER_IN_CALL_SEQUENCE
           
static MessageDescription XXXUNBALANCED_PAREN
           
 
Constructor Summary
UtJmlMessages()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

UtJmlMessages

public UtJmlMessages()

UTJML

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.