| 
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD | |||||||||
java.lang.Objectjava.lang.Enum<ProblemOption>
org.eclipse.ocl.options.ProblemOption
public enum ProblemOption
Options for problem-reporting in parsing OCL constraints. These options determine the severity of usage of constructs that deviate from the OCL Specification.
| Enum Constant Summary | |
|---|---|
AMBIGUOUS_ASSOCIATION_ENDS
Severity of the ambiguity when an unnavigable but named associend has the same name as the implicit name of an unnamed association end.  | 
|
CLOSURE_ITERATOR
Severity of using the non-spec closure iterator.  | 
|
CONCEPTUAL_OPERATION_NAME
Severity of making use of an operation name conceptually as in 7.4.8 .  | 
|
ELEMENT_NAME_QUOTE_ESCAPE
Severity of using the non-spec "..." escape sequence for element names consisting of multiple OCL tokens.  | 
|
INHERITED_FEATURE_CONTEXT
Severity of the problem to report when declaring (using the concrete syntax) an operation or property context in a classifier that inherits the feature (rather than declaring a redefinition of the feature as the context).  | 
|
STRING_CASE_CONVERSION
Severity of using the non-spec toUpper() and toLower() operations on Strings.  | 
|
STRING_SINGLE_QUOTE_ESCAPE
Severity of using the non-spec '' escape sequence for single-quotes in string literals.  | 
|
| Method Summary | |
|---|---|
 ProblemHandler.Severity | 
getDefaultValue()
Obtains the option's default value.  | 
 java.lang.String | 
getKey()
Obtains my string key, which may be used for persistence in a preference store.  | 
static ProblemOption | 
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.  | 
static ProblemOption[] | 
values()
Returns an array containing the constants of this enum type, in the order they are declared.  | 
| Methods inherited from class java.lang.Enum | 
|---|
clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf | 
| Methods inherited from class java.lang.Object | 
|---|
getClass, notify, notifyAll, wait, wait, wait | 
| Enum Constant Detail | 
|---|
public static final ProblemOption CLOSURE_ITERATOR
public static final ProblemOption STRING_CASE_CONVERSION
public static final ProblemOption STRING_SINGLE_QUOTE_ESCAPE
public static final ProblemOption ELEMENT_NAME_QUOTE_ESCAPE
public static final ProblemOption AMBIGUOUS_ASSOCIATION_ENDS
public static final ProblemOption INHERITED_FEATURE_CONTEXT
public static final ProblemOption CONCEPTUAL_OPERATION_NAME
| Method Detail | 
|---|
public static ProblemOption[] values()
for (ProblemOption c : ProblemOption.values()) System.out.println(c);
public static ProblemOption valueOf(java.lang.String name)
name - the name of the enum constant to be returned.
java.lang.IllegalArgumentException - if this enum type has no constant
with the specified name
java.lang.NullPointerException - if the argument is nullpublic java.lang.String getKey()
Option
getKey in interface Option<ProblemHandler.Severity>nullpublic ProblemHandler.Severity getDefaultValue()
Option
getDefaultValue in interface Option<ProblemHandler.Severity>null
  | 
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD | |||||||||