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,
PackageableElementDirect Subclasses: TimeExpression,
OpaqueExpression,
LiteralSpecification,
Interval,
InstanceValue,
Expression,
DurationClass Precedence List: ValueSpecification,
TypedElement,
PackageableElement,
ParameterableElement,
NamedElement,
ElementProperties:
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
ElementThe Element that owns this Element.
{
readonly}
Derived union with sources: (namespace, owningTemplateParameter)
Opposite: Element.ownedElement
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].