org.eclipse.ocl.examples.pivot.internal.operations
Class ValueSpecificationOperations

java.lang.Object
  org.eclipse.ocl.examples.pivot.internal.operations.MonikeredElementOperations
      org.eclipse.ocl.examples.pivot.internal.operations.ValueSpecificationOperations

Direct Known Subclasses:

OpaqueExpressionOperations

public class ValueSpecificationOperations
extends MonikeredElementOperations

A static utility class that provides operations related to 'Value Specification' model objects.

The following operations are supported:

• Is Computable
• Integer Value
• Boolean Value
• String Value
• Unlimited Value
• Is Null

Generated

Constructor Summary

protected

ValueSpecificationOperations()

Method Summary

static boolean	booleanValue(ValueSpecification valueSpecification) The query booleanValue() gives a single Boolean value when one can be computed.
static java.math.BigInteger	integerValue(ValueSpecification valueSpecification) The query integerValue() gives a single Integer value when one can be computed.
static boolean	isComputable(ValueSpecification valueSpecification) The query isComputable() determines whether a value specification can be computed in a model.
static boolean	isNull(ValueSpecification valueSpecification) The query isNull() returns true when it can be computed that the value is null.
static java.lang.String	stringValue(ValueSpecification valueSpecification) The query stringValue() gives a single String value when one can be computed.
static java.math.BigInteger	unlimitedValue(ValueSpecification valueSpecification) The query unlimitedValue() gives a single UnlimitedNatural value when one can be computed.

Methods inherited from class org.eclipse.ocl.examples.pivot.internal.operations.MonikeredElementOperations

hasMoniker

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ValueSpecificationOperations

protected ValueSpecificationOperations()

Generated

Method Detail

isComputable

public static boolean isComputable(ValueSpecification valueSpecification)

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

Parameters:

valueSpecification - The receiving 'Value Specification' model object.

Generated

integerValue

public static java.math.BigInteger integerValue(ValueSpecification valueSpecification)

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

Parameters:

valueSpecification - The receiving 'Value Specification' model object.

Generated

booleanValue

public static boolean booleanValue(ValueSpecification valueSpecification)

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

Parameters:

valueSpecification - The receiving 'Value Specification' model object.

Generated

stringValue

public static java.lang.String stringValue(ValueSpecification valueSpecification)

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

Parameters:

valueSpecification - The receiving 'Value Specification' model object.

Generated

unlimitedValue

public static java.math.BigInteger unlimitedValue(ValueSpecification valueSpecification)

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

Parameters:

valueSpecification - The receiving 'Value Specification' model object.

Generated

isNull

public static boolean isNull(ValueSpecification valueSpecification)

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

Parameters:

valueSpecification - The receiving 'Value Specification' model object.

Generated