Abstract Class UML 2.5::ValueSpecification

Description:

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.

Direct Superclasses: TypedElement, PackageableElement

Direct Subclasses: TimeExpression, OpaqueExpression, LiteralSpecification, Interval, InstanceValue, Expression, Duration

Class Precedence List: ValueSpecification, TypedElement, PackageableElement, ParameterableElement, NamedElement, Element

Properties:

type : Type (0 1); -- source TypedElement
visibility : VisibilityKind (0 1); -- source PackageableElement
owningTemplateParameter : TemplateParameter (0 1); -- source ParameterableElement
templateParameter : TemplateParameter (0 1); -- source ParameterableElement
clientDependency : Dependency (0 *); -- source NamedElement
name : String (0 1); -- source NamedElement
nameExpression : StringExpression (0 1); -- source NamedElement
namespace : Namespace (0 1); -- source NamedElement
qualifiedName : String (0 1); -- source NamedElement
ownedComment : Comment (0 *); -- source Element
ownedElement : Element (0 *); -- source Element
owner : Element (0 1); -- source Element

Constraints:

No additional constraints.

Operations:

Signature: unlimitedValue() : UnlimitedNatural;
Description: The query unlimitedValue() gives a single UnlimitedNatural value when one can be computed.
Expression: result = (null)

Signature: stringValue() : String;
Description: The query stringValue() gives a single String value when one can be computed.
Expression: result = (null)

Signature: realValue() : Real;
Description: The query realValue() gives a single Real value when one can be computed.
Expression: result = (null)

Signature: isNull() : Boolean;
Description: The query isNull() returns true when it can be computed that the value is null.
Expression: result = (false)

Signature: isComputable() : Boolean;
Description: 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.
Expression: result = (false)

Signature: isCompatibleWith(p : ParameterableElement; ) : Boolean;
Description: The query isCompatibleWith() determines if this ValueSpecification is compatible with the specified ParameterableElement. This ValueSpecification is compatible with ParameterableElement p if the kind of this ValueSpecification is the same as or a subtype of the kind of p. Further, if p is a TypedElement, then the type of this ValueSpecification must be conformant with the type of p.
Expression: result = (self.oclIsKindOf(p.oclType()) and (p.oclIsKindOf(TypedElement) implies self.type.conformsTo(p.oclAsType(TypedElement).type)))

Signature: integerValue() : Integer;
Description: The query integerValue() gives a single Integer value when one can be computed.
Expression: result = (null)

Signature: booleanValue() : Boolean;
Description: The query booleanValue() gives a single Boolean value when one can be computed.
Expression: result = (null)

---

Send questions or comments to [email protected].