conexp.fx.core.dl.deprecated

Enum Constructor

java.lang.Object

java.lang.Enum<Constructor>

conexp.fx.core.dl.deprecated.Constructor

All Implemented Interfaces:

Serializable, Comparable<Constructor>

Deprecated.

@Deprecated
public enum Constructor
extends Enum<Constructor>

Enum Constant Summary

Enum Constants

Enum Constant and Description
COMPLEX_ROLE_INCLUSION Deprecated.
CONJUNCTION Deprecated.
EXISTENTIAL_RESTRICTION Deprecated.
EXISTENTIAL_SELF_RESTRICTION Deprecated.
PRIMITIVE_NEGATION Deprecated.
QUALIFIED_AT_LEAST_RESTRICTION Deprecated.
SIMPLE_ROLE_INCLUSION Deprecated.
UNQUALIFIED_AT_MOST_RESTRICTION Deprecated.
VALUE_RESTRICTION Deprecated.

Method Summary

Modifier and Type	Method and Description
String	getName() Deprecated.
String	getSymbol() Deprecated.
String	toString() Deprecated.
static Constructor	valueOf(String name) Deprecated. Returns the enum constant of this type with the specified name.
static Constructor[]	values() Deprecated. 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, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

CONJUNCTION

public static final Constructor CONJUNCTION

Deprecated.

EXISTENTIAL_RESTRICTION

public static final Constructor EXISTENTIAL_RESTRICTION

Deprecated.

VALUE_RESTRICTION

public static final Constructor VALUE_RESTRICTION

Deprecated.

QUALIFIED_AT_LEAST_RESTRICTION

public static final Constructor QUALIFIED_AT_LEAST_RESTRICTION

Deprecated.

UNQUALIFIED_AT_MOST_RESTRICTION

public static final Constructor UNQUALIFIED_AT_MOST_RESTRICTION

Deprecated.

PRIMITIVE_NEGATION

public static final Constructor PRIMITIVE_NEGATION

Deprecated.

EXISTENTIAL_SELF_RESTRICTION

public static final Constructor EXISTENTIAL_SELF_RESTRICTION

Deprecated.

SIMPLE_ROLE_INCLUSION

public static final Constructor SIMPLE_ROLE_INCLUSION

Deprecated.

COMPLEX_ROLE_INCLUSION

public static final Constructor COMPLEX_ROLE_INCLUSION

Deprecated.

Method Detail

values

public static Constructor[] values()

Deprecated.

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (Constructor c : Constructor.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static Constructor valueOf(String name)

Deprecated.

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum type has no constant with the specified name

NullPointerException - if the argument is null

toString

public String toString()

Deprecated.

Overrides:

toString in class Enum<Constructor>

getName

public String getName()

Deprecated.

getSymbol

public String getSymbol()

Deprecated.