org.eclipse.ocl.examples.library.executor

Class ExecutorTypedElement

java.lang.Object

org.eclipse.ocl.examples.library.executor.ExecutorTypedElement

All Implemented Interfaces:

DomainElement, DomainNamedElement, DomainTypedElement, Nameable

public class ExecutorTypedElement
extends java.lang.Object
implements DomainTypedElement

Constructor Summary

Constructors

Constructor and Description
ExecutorTypedElement(java.lang.String name, DomainType type)

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	getName()
DomainType	getType()
TypeId	getTypeId()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ExecutorTypedElement

public ExecutorTypedElement(@NonNull
                    java.lang.String name,
                    @NonNull
                    DomainType type)

Method Detail

getName

@NonNull
public java.lang.String getName()

Specified by:

getName in interface Nameable

getType

@NonNull
public DomainType getType()

Specified by:

getType in interface DomainTypedElement

getTypeId

@NonNull
public TypeId getTypeId()

Specified by:

getTypeId in interface DomainTypedElement

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object