org.eclipse.ocl.types

Interface TupleType<O,P>

All Superinterfaces:

org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier, PredefinedType<O>

All Known Subinterfaces:

TupleType, TupleType

All Known Implementing Classes:

TupleTypeImpl, TupleTypeImpl, TupleTypeImpl

public interface TupleType<O,P>
extends PredefinedType<O>

A representation of the model object 'Tuple Type'.

See Also:

TypesPackage.getTupleType()

Generated

Model

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	SINGLETON_NAME

Fields inherited from interface org.eclipse.ocl.utilities.PredefinedType

ABS, ABS_NAME, ALL_INSTANCES, ALL_INSTANCES_NAME, AND, AND_NAME, ANY, ANY_NAME, APPEND, APPEND_NAME, AS_BAG, AS_BAG_NAME, AS_ORDERED_SET, AS_ORDERED_SET_NAME, AS_SEQUENCE, AS_SEQUENCE_NAME, AS_SET, AS_SET_NAME, AT, AT_NAME, CHARACTERS, CHARACTERS_NAME, CLOSURE, CLOSURE_NAME, COLLECT, COLLECT_NAME, COLLECT_NESTED, COLLECT_NESTED_NAME, CONCAT, CONCAT_NAME, COUNT, COUNT_NAME, DIV, DIV_NAME, DIVIDE, DIVIDE_NAME, ENDS_WITH, ENDS_WITH_NAME, EQUAL, EQUAL_NAME, EQUALS_IGNORE_CASE, EQUALS_IGNORE_CASE_NAME, EXCLUDES, EXCLUDES_ALL, EXCLUDES_ALL_NAME, EXCLUDES_NAME, EXCLUDING, EXCLUDING_NAME, EXISTS, EXISTS_NAME, FIRST, FIRST_NAME, FLATTEN, FLATTEN_NAME, FLOOR, FLOOR_NAME, FOR_ALL, FOR_ALL_NAME, GREATER_THAN, GREATER_THAN_EQUAL, GREATER_THAN_EQUAL_NAME, GREATER_THAN_NAME, HAS_RETURNED, HAS_RETURNED_NAME, IMPLIES, IMPLIES_NAME, INCLUDES, INCLUDES_ALL, INCLUDES_ALL_NAME, INCLUDES_NAME, INCLUDING, INCLUDING_NAME, INDEX_OF, INDEX_OF_NAME, INSERT_AT, INSERT_AT_NAME, INTERSECTION, INTERSECTION_NAME, IS_EMPTY, IS_EMPTY_NAME, IS_OPERATION_CALL, IS_OPERATION_CALL_NAME, IS_SIGNAL_SENT, IS_SIGNAL_SENT_NAME, IS_UNIQUE, IS_UNIQUE_NAME, LAST, LAST_INDEX_OF, LAST_INDEX_OF_NAME, LAST_NAME, LESS_THAN, LESS_THAN_EQUAL, LESS_THAN_EQUAL_NAME, LESS_THAN_NAME, MATCHES, MATCHES_NAME, MAX, MAX_NAME, MIN, MIN_NAME, MINUS, MINUS_NAME, MOD, MOD_NAME, NOT, NOT_EMPTY, NOT_EMPTY_NAME, NOT_EQUAL, NOT_EQUAL_NAME, NOT_NAME, OCL_AS_SET, OCL_AS_SET_NAME, OCL_AS_TYPE, OCL_AS_TYPE_NAME, OCL_IS_IN_STATE, OCL_IS_IN_STATE_NAME, OCL_IS_INVALID, OCL_IS_INVALID_NAME, OCL_IS_KIND_OF, OCL_IS_KIND_OF_NAME, OCL_IS_NEW, OCL_IS_NEW_NAME, OCL_IS_TYPE_OF, OCL_IS_TYPE_OF_NAME, OCL_IS_UNDEFINED, OCL_IS_UNDEFINED_NAME, ONE, ONE_NAME, OR, OR_NAME, PLUS, PLUS_NAME, PREPEND, PREPEND_NAME, PRODUCT, PRODUCT_NAME, REJECT, REJECT_NAME, REPLACE_ALL, REPLACE_ALL_NAME, REPLACE_FIRST, REPLACE_FIRST_NAME, RESULT, RESULT_NAME, ROUND, ROUND_NAME, SELECT, SELECT_BY_KIND, SELECT_BY_KIND_NAME, SELECT_BY_TYPE, SELECT_BY_TYPE_NAME, SELECT_NAME, SIZE, SIZE_NAME, SORTED_BY, SORTED_BY_NAME, STARTS_WITH, STARTS_WITH_NAME, SUB_ORDERED_SET, SUB_ORDERED_SET_NAME, SUB_SEQUENCE, SUB_SEQUENCE_NAME, SUBSTITUTE_ALL, SUBSTITUTE_ALL_NAME, SUBSTITUTE_FIRST, SUBSTITUTE_FIRST_NAME, SUBSTRING, SUBSTRING_NAME, SUM, SUM_NAME, SYMMETRIC_DIFFERENCE, SYMMETRIC_DIFFERENCE_NAME, TIMES, TIMES_NAME, TO_BOOLEAN, TO_BOOLEAN_NAME, TO_INTEGER, TO_INTEGER_NAME, TO_LOWER, TO_LOWER_CASE, TO_LOWER_CASE_NAME, TO_LOWER_NAME, TO_REAL, TO_REAL_NAME, TO_STRING, TO_STRING_NAME, TO_UPPER, TO_UPPER_CASE, TO_UPPER_CASE_NAME, TO_UPPER_NAME, TOKENIZE, TOKENIZE_NAME, TRIM, TRIM_NAME, UNION, UNION_NAME, XOR, XOR_NAME

Method Summary

Modifier and Type	Method and Description
boolean	checkFeaturesOnlyProperties(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) feature->forAll (f | f.oclIsTypeOf(Property))
boolean	checkPartNamesUnique(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) true
boolean	checkTupleTypeName(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) name = 'Tuple('.concat ( Sequence{1..allProperties()->size()}->iterate (pn; s: String = '' | let p: Property = allProperties()->at (pn) in ( s.concat ( (if (pn>1) then ',' else '' endif) .concat (p.name).concat (': ') .concat (p.type.name) ) ) ) ).concat (')')
org.eclipse.emf.common.util.EList<P>	oclProperties()

Methods inherited from interface org.eclipse.ocl.utilities.PredefinedType

getName, oclOperations

Methods inherited from interface org.eclipse.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Field Detail

SINGLETON_NAME

static final java.lang.String SINGLETON_NAME

See Also:

Constant Field Values

Method Detail

checkTupleTypeName

boolean checkTupleTypeName(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                           java.util.Map<java.lang.Object,java.lang.Object> context)

name = 'Tuple('.concat ( Sequence{1..allProperties()->size()}->iterate (pn; s: String = '' | let p: Property = allProperties()->at (pn) in ( s.concat ( (if (pn>1) then ',' else '' endif) .concat (p.name).concat (': ') .concat (p.type.name) ) ) ) ).concat (')')

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated

Model

checkPartNamesUnique

boolean checkPartNamesUnique(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                             java.util.Map<java.lang.Object,java.lang.Object> context)

true

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated

Model

checkFeaturesOnlyProperties

boolean checkFeaturesOnlyProperties(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                    java.util.Map<java.lang.Object,java.lang.Object> context)

feature->forAll (f | f.oclIsTypeOf(Property))

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated

Model

oclProperties

org.eclipse.emf.common.util.EList<P> oclProperties()

If the meaning of the 'Properties' reference list isn't clear, there really should be more of a description here...

Generated

Model