org.eclipse.ocl.examples.pivot.options
Class ParsingOptions

java.lang.Object
  org.eclipse.ocl.examples.pivot.options.ParsingOptions

public class ParsingOptions
extends java.lang.Object

Options applicable to Environments to customize their parsing behaviour.

Author:

Christian W. Damus (cdamus)

Field Summary

static Option<java.lang.Boolean>	DEFINITION_CONSTRAINS_FEATURE Deprecated. This Classic OCL API is not used by the Pivot.
static Option<?>	IMPLICIT_ROOT_CLASS Deprecated. This Classic OCL API is not used by the Pivot.
static Option<java.lang.Boolean>	SUPPORT_STATIC_FEATURES Deprecated. This Classic OCL API is not used by the Pivot.
static Option<java.lang.Boolean>	USE_BACKSLASH_ESCAPE_PROCESSING Deprecated. This Classic OCL API is not used by the Pivot.
static Option<java.lang.Boolean>	USE_COMPARE_TO_OPERATION Deprecated. This Classic OCL API is not used by the Pivot.
static Option<java.lang.Boolean>	WARN_OF_XOR_OR_AND_PRECEDENCE_CHANGE Deprecated. This Classic OCL API is not used by the Pivot.

Method Summary

static <T> T	getValue(Environment env, Option<T> option) Obtains the value of the specified option's setting in the the given environment's options map, adapting the environment as necessary to the Customizable API.
static Option<Type>	implicitRootClass(Environment env) Deprecated. This Classic OCL API is not used by the Pivot.
static <T> void	setOption(Environment env, Option<T> option, T value) Add an option to apply to the specified environment, adapting it as necessary to the Customizable API.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

DEFINITION_CONSTRAINS_FEATURE

@Deprecated
@NonNull
public static final Option<java.lang.Boolean> DEFINITION_CONSTRAINS_FEATURE

Deprecated. This Classic OCL API is not used by the Pivot.

USE_COMPARE_TO_OPERATION

@Deprecated
@NonNull
public static final Option<java.lang.Boolean> USE_COMPARE_TO_OPERATION

Deprecated. This Classic OCL API is not used by the Pivot.

WARN_OF_XOR_OR_AND_PRECEDENCE_CHANGE

@Deprecated
@NonNull
public static final Option<java.lang.Boolean> WARN_OF_XOR_OR_AND_PRECEDENCE_CHANGE

Deprecated. This Classic OCL API is not used by the Pivot.

IMPLICIT_ROOT_CLASS

@Deprecated
@NonNull
public static final Option<?> IMPLICIT_ROOT_CLASS

Deprecated. This Classic OCL API is not used by the Pivot.

USE_BACKSLASH_ESCAPE_PROCESSING

@Deprecated
@NonNull
public static final Option<java.lang.Boolean> USE_BACKSLASH_ESCAPE_PROCESSING

Deprecated. This Classic OCL API is not used by the Pivot.

SUPPORT_STATIC_FEATURES

@Deprecated
@NonNull
public static final Option<java.lang.Boolean> SUPPORT_STATIC_FEATURES

Deprecated. This Classic OCL API is not used by the Pivot.

Method Detail

implicitRootClass

@Deprecated
@NonNull
public static Option<Type> implicitRootClass(@NonNull
                                                                Environment env)

Deprecated. This Classic OCL API is not used by the Pivot.

setOption

public static <T> void setOption(@NonNull
                                 Environment env,
                                 @NonNull
                                 Option<T> option,
                                 @Nullable
                                 T value)

Add an option to apply to the specified environment, adapting it as necessary to the Customizable API.

Parameters:

env - an environment on which to set an option

option - the option

value - the option's value

See Also:

Customizable.setOption(Option, Object)

getValue

@Nullable
public static <T> T getValue(@NonNull
                                      Environment env,
                                      @NonNull
                                      Option<T> option)

Obtains the value of the specified option's setting in the the given environment's options map, adapting the environment as necessary to the Customizable API. If not already set, return the option's default value.

Parameters:

env - an environment on which to query an option

option - an option to query

Returns:

value of the option

See Also:

Customizable.getValue(Option)