org.eclipse.ocl.examples.library.executor
Class ExecutorEnumerationLiteral

java.lang.Object
  org.eclipse.ocl.examples.library.executor.ExecutorEnumerationLiteral

All Implemented Interfaces:

DomainElement, DomainEnumerationLiteral, DomainNamedElement, Nameable

Direct Known Subclasses:

EcoreExecutorEnumerationLiteral, EnumeratorEnumerationLiteral

public abstract class ExecutorEnumerationLiteral
extends java.lang.Object
implements DomainEnumerationLiteral

Field Summary

protected DomainEnumeration	enumeration
protected java.lang.String	name
protected int	ordinal

Constructor Summary

ExecutorEnumerationLiteral(java.lang.String name, DomainEnumeration enumeration, int ordinal)

Method Summary

DomainEnumeration	getEnumeration()
EnumerationLiteralId	getEnumerationLiteralId()
java.lang.String	getName()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainEnumerationLiteral

getEnumerator

Field Detail

name

@NonNull
protected final java.lang.String name

enumeration

@NonNull
protected final DomainEnumeration enumeration

ordinal

protected final int ordinal

Constructor Detail

ExecutorEnumerationLiteral

public ExecutorEnumerationLiteral(@NonNull
                                  java.lang.String name,
                                  @NonNull
                                  DomainEnumeration enumeration,
                                  int ordinal)

Method Detail

getEnumeration

@NonNull
public DomainEnumeration getEnumeration()

Specified by:

getEnumeration in interface DomainEnumerationLiteral

getEnumerationLiteralId

@NonNull
public EnumerationLiteralId getEnumerationLiteralId()

Specified by:

getEnumerationLiteralId in interface DomainEnumerationLiteral

getName

@NonNull
public java.lang.String getName()

Specified by:

getName in interface Nameable

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object