org.eclipse.ocl.examples.domain.elements
Class DomainParameterTypes.DomainParameter
java.lang.Object
org.eclipse.ocl.examples.domain.elements.DomainParameterTypes.DomainParameter
- All Implemented Interfaces:
- DomainElement, DomainNamedElement, DomainTypedElement, Nameable
- Enclosing class:
- DomainParameterTypes
public static final class DomainParameterTypes.DomainParameter
- extends java.lang.Object
- implements DomainTypedElement
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
name
@NonNull
protected final java.lang.String name
type
@NonNull
protected final DomainType type
DomainParameterTypes.DomainParameter
public DomainParameterTypes.DomainParameter(@NonNull
java.lang.String name,
@NonNull
DomainType type)
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