org.eclipse.ocl.examples.domain.elements
Interface DomainEnumeration

All Superinterfaces:

DomainElement, DomainType

All Known Subinterfaces:

Enumeration

All Known Implementing Classes:

EcoreExecutorEnumeration, EnumerationImpl, PivotReflectiveEnumerationType

public interface DomainEnumeration
extends DomainType

Method Summary

DomainEnumerationLiteral	getEnumerationLiteral(java.lang.String name)
java.lang.Iterable<? extends DomainEnumerationLiteral>	getEnumerationLiterals()

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

conformsTo, createInstance, createInstance, getCommonType, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getPackage, isEqualTo, isEqualToUnspecializedType, isOrdered, isUnique, lookupImplementation

Method Detail

getEnumerationLiteral

DomainEnumerationLiteral getEnumerationLiteral(java.lang.String name)

getEnumerationLiterals

java.lang.Iterable<? extends DomainEnumerationLiteral> getEnumerationLiterals()