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:
![](/se-interop/image/down-arrow.png?hunchentoot-session=5950%3AC81B0A565F230B93B417934762FF380B)
type :
Type (0 1); -- source
TypedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=5950%3AC81B0A565F230B93B417934762FF380B)
visibility :
VisibilityKind (0 1); -- source
PackageableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=5950%3AC81B0A565F230B93B417934762FF380B)
owningTemplateParameter :
TemplateParameter (0 1); -- source
ParameterableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=5950%3AC81B0A565F230B93B417934762FF380B)
templateParameter :
TemplateParameter (0 1); -- source
ParameterableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=5950%3AC81B0A565F230B93B417934762FF380B)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=5950%3AC81B0A565F230B93B417934762FF380B)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=5950%3AC81B0A565F230B93B417934762FF380B)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=5950%3AC81B0A565F230B93B417934762FF380B)
namespace :
Namespace (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=5950%3AC81B0A565F230B93B417934762FF380B)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=5950%3AC81B0A565F230B93B417934762FF380B)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=5950%3AC81B0A565F230B93B417934762FF380B)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=5950%3AC81B0A565F230B93B417934762FF380B)
owner :
Element (0 1); -- source
ElementConstraints:
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].