org.eclipse.ocl.examples.pivot
Interface ValueSpecification

All Superinterfaces:
Element, org.eclipse.emf.ecore.EObject, MonikeredElement, 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
Model
abstract="true"

Method Summary
 boolean booleanValue()
          The query booleanValue() gives a single Boolean value when one can be computed.
 java.math.BigInteger 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.math.BigInteger 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, setType
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.NamedElement
createOwnedAnnotation, createOwnedRule, getName, getOwnedAnnotations, getOwnedRules, isStatic, setIsStatic, setName
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.MonikeredElement
getMoniker, hasMoniker, setMoniker
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.Element
createOwnedComment, getETarget, getOwnedComments
 
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.pivot.ParameterableElement
getOwningTemplateParameter, getTemplateParameter, 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. result = false

Generated
Model
kind="operation" dataType="org.eclipse.ocl.examples.pivot.Boolean" required="true" ordered="false"

integerValue

java.math.BigInteger integerValue()
The query integerValue() gives a single Integer value when one can be computed. result = Set{}

Generated
Model
dataType="org.eclipse.ocl.examples.pivot.Integer" required="true" ordered="false"

booleanValue

boolean booleanValue()
The query booleanValue() gives a single Boolean value when one can be computed. result = Set{}

Generated
Model
dataType="org.eclipse.ocl.examples.pivot.Boolean" required="true" ordered="false"

stringValue

java.lang.String stringValue()
The query stringValue() gives a single String value when one can be computed. result = Set{}

Generated
Model
dataType="org.eclipse.ocl.examples.pivot.String" required="true" ordered="false"

unlimitedValue

java.math.BigInteger unlimitedValue()
The query unlimitedValue() gives a single UnlimitedNatural value when one can be computed. result = Set{}

Generated
Model
dataType="org.eclipse.ocl.examples.pivot.UnlimitedNatural" required="true" ordered="false"

isNull

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

Generated
Model
kind="operation" dataType="org.eclipse.ocl.examples.pivot.Boolean" required="true" ordered="false"