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

Field Summary

protected java.lang.String	name
protected DomainType	type

Constructor Summary

DomainParameterTypes.DomainParameter(java.lang.String name, DomainType type)

Method Summary

java.lang.String	getName()
DomainType	getType()
TypeId	getTypeId()

Methods inherited from class java.lang.Object

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

Field Detail

name

@NonNull
protected final java.lang.String name

type

@NonNull
protected final DomainType type

Constructor Detail

DomainParameterTypes.DomainParameter

public DomainParameterTypes.DomainParameter(@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