| /* |
| * Copyright (c) 2005, 2006 IBM Corporation and others. |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License v1.0 |
| * which accompanies this distribution, and is available at |
| * http://www.eclipse.org/legal/epl-v10.html |
| * |
| * Contributors: |
| * IBM - initial API and implementation |
| * |
| * $Id: ValueSpecification.java,v 1.3 2006/05/12 20:38:03 khussey Exp $ |
| */ |
| package org.eclipse.uml2.uml; |
| |
| /** |
| * <!-- begin-user-doc --> |
| * A representation of the model object '<em><b>Value Specification</b></em>'. |
| * <!-- end-user-doc --> |
| * |
| * <!-- begin-model-doc --> |
| * 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. |
| * <!-- end-model-doc --> |
| * |
| * |
| * @see org.eclipse.uml2.uml.UMLPackage#getValueSpecification() |
| * @model abstract="true" |
| * @generated |
| */ |
| public interface ValueSpecification |
| extends PackageableElement, TypedElement { |
| |
| /** |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * <!-- begin-model-doc --> |
| * 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 |
| * <!-- end-model-doc --> |
| * @model kind="operation" dataType="org.eclipse.uml2.uml.Boolean" required="true" ordered="false" |
| * @generated |
| */ |
| boolean isComputable(); |
| |
| /** |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * <!-- begin-model-doc --> |
| * The query integerValue() gives a single Integer value when one can be computed. |
| * result = Set{} |
| * <!-- end-model-doc --> |
| * @model dataType="org.eclipse.uml2.uml.Integer" required="true" ordered="false" |
| * @generated |
| */ |
| int integerValue(); |
| |
| /** |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * <!-- begin-model-doc --> |
| * The query booleanValue() gives a single Boolean value when one can be computed. |
| * result = Set{} |
| * <!-- end-model-doc --> |
| * @model dataType="org.eclipse.uml2.uml.Boolean" required="true" ordered="false" |
| * @generated |
| */ |
| boolean booleanValue(); |
| |
| /** |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * <!-- begin-model-doc --> |
| * The query stringValue() gives a single String value when one can be computed. |
| * result = Set{} |
| * <!-- end-model-doc --> |
| * @model dataType="org.eclipse.uml2.uml.String" required="true" ordered="false" |
| * @generated |
| */ |
| String stringValue(); |
| |
| /** |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * <!-- begin-model-doc --> |
| * The query unlimitedValue() gives a single UnlimitedNatural value when one can be computed. |
| * result = Set{} |
| * <!-- end-model-doc --> |
| * @model dataType="org.eclipse.uml2.uml.UnlimitedNatural" required="true" ordered="false" |
| * @generated |
| */ |
| int unlimitedValue(); |
| |
| /** |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * <!-- begin-model-doc --> |
| * The query isNull() returns true when it can be computed that the value is null. |
| * result = false |
| * <!-- end-model-doc --> |
| * @model kind="operation" dataType="org.eclipse.uml2.uml.Boolean" required="true" ordered="false" |
| * @generated |
| */ |
| boolean isNull(); |
| |
| } // ValueSpecification |
