org.eclipse.ocl.pivot

Interface ValueSpecification

All Superinterfaces:

Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, org.eclipse.emf.common.notify.Notifier, TypedElement, Visitable

All Known Subinterfaces:

DynamicValueSpecification, ExpressionInOCL, LanguageExpression

All Known Implementing Classes:

DynamicValueSpecificationImpl, ExpressionInOCLImpl, LanguageExpressionImpl, ValueSpecificationImpl

public interface ValueSpecification
extends TypedElement

A representation of the model object 'Value Specification'. A ValueSpecification is the specification of a (possibly empty) set of values. A ValueSpecification is a ParameterableElement that may be exposed as a formal TemplateParameter and provided as the actual parameter in the binding of a template.

See Also:

PivotPackage.getValueSpecification()

Generated

Method Summary

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.pivot.TypedElement

CompatibleBody, getType, getTypeId, isIsMany, isIsRequired, setIsRequired, setType

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

getName, setName

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

accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, 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.pivot.util.Visitable

eClass

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 ValueSpecifications 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 at least the value of all LiteralSpecifications.

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