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

Fields

Modifier and Type	Field and Description
protected java.lang.String	name
protected DomainType	type

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
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