org.eclipse.ocl.examples.pivot

Interface ValueSpecification

All Superinterfaces:

DomainElement, DomainNamedElement, DomainTypedElement, Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, org.eclipse.emf.common.notify.Notifier, ParameterableElement, PivotObject, TypedElement, Visitable

All Known Subinterfaces:

ExpressionInOCL, OpaqueExpression

All Known Implementing Classes:

ExpressionInOCLImpl, OpaqueExpressionImpl, ValueSpecificationImpl

public interface ValueSpecification
extends TypedElement, ParameterableElement

A representation of the model object 'Value Specification'. A value specification is the specification of a (possibly empty) set of instances, including both objects and data values. ValueSpecification specializes ParameterableElement to specify that a value specification can be exposed as a formal template parameter, and provided as an actual parameter in a binding of a template.

See Also:

PivotPackage.getValueSpecification()

Generated

Method Summary

Methods

Modifier and Type	Method and Description
boolean	booleanValue() The query booleanValue() gives a single Boolean value when one can be computed.
java.lang.Number	integerValue() The query integerValue() gives a single Integer value when one can be computed.
boolean	isComputable() The query isComputable() determines whether a value specification can be computed in a model.
boolean	isNull() The query isNull() returns true when it can be computed that the value is null.
java.lang.String	stringValue() The query stringValue() gives a single String value when one can be computed.
java.lang.Number	unlimitedValue() The query unlimitedValue() gives a single UnlimitedNatural value when one can be computed.

Methods inherited from interface org.eclipse.ocl.examples.pivot.TypedElement

getType, isRequired, setIsRequired, setType

Methods inherited from interface org.eclipse.ocl.examples.pivot.NamedElement

createOwnedAnnotation, getName, getOwnedAnnotation, isStatic, setIsStatic, setName

Methods inherited from interface org.eclipse.ocl.examples.pivot.Element

allOwnedElements, createExtension, createOwnedComment, getETarget, getExtension, getOwnedComment, getValue

Methods inherited from interface org.eclipse.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Methods inherited from interface org.eclipse.ocl.examples.pivot.util.Visitable

accept, eClass

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainTypedElement

getTypeId

Methods inherited from interface org.eclipse.ocl.examples.pivot.ParameterableElement

getOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameter

Method Detail

isComputable

boolean isComputable()

The query isComputable() determines whether a value specification can be computed in a model. This operation cannot be fully defined in OCL. A conforming implementation is expected to deliver true for this operation for all value specifications that it can compute, and to compute all of those for which the operation is true. A conforming implementation is expected to be able to compute the value of all literals.

Generated

integerValue

java.lang.Number integerValue()

The query integerValue() gives a single Integer value when one can be computed.

Generated

booleanValue

boolean booleanValue()

The query booleanValue() gives a single Boolean value when one can be computed.

Generated

stringValue

java.lang.String stringValue()

The query stringValue() gives a single String value when one can be computed.

Generated

unlimitedValue

java.lang.Number unlimitedValue()

The query unlimitedValue() gives a single UnlimitedNatural value when one can be computed.

Generated

isNull

boolean isNull()

The query isNull() returns true when it can be computed that the value is null.

Generated