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

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

All Implemented Interfaces:

DomainElement, DomainNamedElement, DomainTypedElement

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()
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(java.lang.String name,
                            DomainType type)

Method Detail

getName

public java.lang.String getName()

Specified by:

getName in interface DomainNamedElement

getType

public DomainType getType()

Specified by:

getType in interface DomainTypedElement

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object