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

java.lang.Object
  extended by 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
ExecutorTypedElement(java.lang.String name, DomainType type)
           
 
Method Summary
 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