JML

org.multijava.mjc
Class CUniverseMessages

java.lang.Object
  extended byorg.multijava.mjc.CUniverseMessages

public class CUniverseMessages
extends Object


Field Summary
static MessageDescription ACCESS_TO_STATIC_FIELD
           
static MessageDescription ACTUAL_NOT_ASSIGNABLE_TO_FORMAL_PARAMETER
           
static MessageDescription ANON_CLASS_WITH_UNIVERSE_FORBIDDEN
           
static MessageDescription ARRAY_WITH_NO_UNIVERSE
           
static MessageDescription ARRAY_WITH_REP_ELEM_FORBIDDEN
           
static MessageDescription ASSIGNMENT_IN_PURE
           
static MessageDescription ASSIGNMENT_THROUGH_READONLY
           
static MessageDescription BUILTIN_WITH_UNIVERSE_FORBIDDEN
           
static MessageDescription CATCH_PARAMETER_NOW_READONLY
           
static MessageDescription CONSTRUCTOR_REP_IN_SIGNATURE_FORBIDDEN
           
static MessageDescription COVARIANT_ARRAY_WRITE
           
static MessageDescription DECLARATION_OF_STATIC_FIELD
           
static MessageDescription INCOMPLETE_CAST
           
static MessageDescription NON_PURE_CALL_IN_PURE_METHOD_FORBIDDEN
           
static MessageDescription NON_PURE_CONSTRUCTOR_IN_PURE_METHOD_FORBIDDEN
           
static MessageDescription NON_PURE_ON_READONLY_FORBIDDEN
           
static MessageDescription NONARRAY_WITH_TWO_UNIVERSES_FORBIDDEN
           
static MessageDescription OLD_STYLE_ARRAY_BOUNDS
           
static MessageDescription OVERRIDING_METHOD_UNIVERSE_CHANGED
           
static MessageDescription OVERRIDING_METHOD_UNIVERSE_ERROR
           
static MessageDescription OVERRIDING_PURE_METHOD_NON_PURE_CHANGED
           
static MessageDescription PURE_METHOD_NON_READONLY_PARAMETER_CHANGED
           
static MessageDescription PURE_METHOD_NON_READONLY_PARAMETER_ERROR
           
static MessageDescription READONLY_CAST
           
static MessageDescription READONLY_FORBIDDEN_HERE
           
static MessageDescription REP_CALL_IN_STATIC_METHOD_FORBIDDEN
           
static MessageDescription REP_IN_STATIC_FORBIDDEN
           
static MessageDescription REP_PARAM_OF_NON_PURE_THROUGH_PIVOT_FORBIDDEN
           
static MessageDescription VARIABLE_WITH_PURE_FORBIDDEN
           
 
Constructor Summary
CUniverseMessages()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

VARIABLE_WITH_PURE_FORBIDDEN

public static final MessageDescription VARIABLE_WITH_PURE_FORBIDDEN

BUILTIN_WITH_UNIVERSE_FORBIDDEN

public static final MessageDescription BUILTIN_WITH_UNIVERSE_FORBIDDEN

ARRAY_WITH_REP_ELEM_FORBIDDEN

public static final MessageDescription ARRAY_WITH_REP_ELEM_FORBIDDEN

READONLY_FORBIDDEN_HERE

public static final MessageDescription READONLY_FORBIDDEN_HERE

OVERRIDING_METHOD_UNIVERSE_ERROR

public static final MessageDescription OVERRIDING_METHOD_UNIVERSE_ERROR

PURE_METHOD_NON_READONLY_PARAMETER_ERROR

public static final MessageDescription PURE_METHOD_NON_READONLY_PARAMETER_ERROR

NON_PURE_CALL_IN_PURE_METHOD_FORBIDDEN

public static final MessageDescription NON_PURE_CALL_IN_PURE_METHOD_FORBIDDEN

REP_CALL_IN_STATIC_METHOD_FORBIDDEN

public static final MessageDescription REP_CALL_IN_STATIC_METHOD_FORBIDDEN

ACTUAL_NOT_ASSIGNABLE_TO_FORMAL_PARAMETER

public static final MessageDescription ACTUAL_NOT_ASSIGNABLE_TO_FORMAL_PARAMETER

REP_PARAM_OF_NON_PURE_THROUGH_PIVOT_FORBIDDEN

public static final MessageDescription REP_PARAM_OF_NON_PURE_THROUGH_PIVOT_FORBIDDEN

NON_PURE_ON_READONLY_FORBIDDEN

public static final MessageDescription NON_PURE_ON_READONLY_FORBIDDEN

NONARRAY_WITH_TWO_UNIVERSES_FORBIDDEN

public static final MessageDescription NONARRAY_WITH_TWO_UNIVERSES_FORBIDDEN

ANON_CLASS_WITH_UNIVERSE_FORBIDDEN

public static final MessageDescription ANON_CLASS_WITH_UNIVERSE_FORBIDDEN

CONSTRUCTOR_REP_IN_SIGNATURE_FORBIDDEN

public static final MessageDescription CONSTRUCTOR_REP_IN_SIGNATURE_FORBIDDEN

NON_PURE_CONSTRUCTOR_IN_PURE_METHOD_FORBIDDEN

public static final MessageDescription NON_PURE_CONSTRUCTOR_IN_PURE_METHOD_FORBIDDEN

REP_IN_STATIC_FORBIDDEN

public static final MessageDescription REP_IN_STATIC_FORBIDDEN

ASSIGNMENT_THROUGH_READONLY

public static final MessageDescription ASSIGNMENT_THROUGH_READONLY

ASSIGNMENT_IN_PURE

public static final MessageDescription ASSIGNMENT_IN_PURE

INCOMPLETE_CAST

public static final MessageDescription INCOMPLETE_CAST

READONLY_CAST

public static final MessageDescription READONLY_CAST

ARRAY_WITH_NO_UNIVERSE

public static final MessageDescription ARRAY_WITH_NO_UNIVERSE

OLD_STYLE_ARRAY_BOUNDS

public static final MessageDescription OLD_STYLE_ARRAY_BOUNDS

ACCESS_TO_STATIC_FIELD

public static final MessageDescription ACCESS_TO_STATIC_FIELD

DECLARATION_OF_STATIC_FIELD

public static final MessageDescription DECLARATION_OF_STATIC_FIELD

CATCH_PARAMETER_NOW_READONLY

public static final MessageDescription CATCH_PARAMETER_NOW_READONLY

OVERRIDING_PURE_METHOD_NON_PURE_CHANGED

public static final MessageDescription OVERRIDING_PURE_METHOD_NON_PURE_CHANGED

OVERRIDING_METHOD_UNIVERSE_CHANGED

public static final MessageDescription OVERRIDING_METHOD_UNIVERSE_CHANGED

PURE_METHOD_NON_READONLY_PARAMETER_CHANGED

public static final MessageDescription PURE_METHOD_NON_READONLY_PARAMETER_CHANGED

COVARIANT_ARRAY_WRITE

public static final MessageDescription COVARIANT_ARRAY_WRITE
Constructor Detail

CUniverseMessages

public CUniverseMessages()

JML

JML is Copyright (C) 1998-2002 by Iowa State University 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 MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.