org.eclipse.emf.ocl.types.impl
Class AnyTypeImpl

java.lang.Object
  extended by org.eclipse.emf.common.notify.impl.BasicNotifierImpl
      extended by org.eclipse.emf.ecore.impl.BasicEObjectImpl
          extended by org.eclipse.emf.ecore.impl.EObjectImpl
              extended by org.eclipse.emf.ecore.impl.FlatEObjectImpl
                  extended by org.eclipse.emf.ecore.impl.EModelElementImpl
                      extended by org.eclipse.emf.ecore.impl.ENamedElementImpl
                          extended by org.eclipse.emf.ecore.impl.EClassifierImpl
                              extended by org.eclipse.emf.ocl.types.impl.AnyTypeImpl
All Implemented Interfaces:
Notifier, EClassifier, EModelElement, ENamedElement, EObject, InternalEObject, BasicExtendedMetaData.EClassifierExtendedMetaData.Holder, AnyType, PredefinedType

public class AnyTypeImpl
extends EClassifierImpl
implements AnyType


Nested Class Summary
 
Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl
BasicEObjectImpl.EPropertiesHolder, BasicEObjectImpl.EPropertiesHolderBaseImpl, BasicEObjectImpl.EPropertiesHolderImpl
 
Nested classes/interfaces inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl
BasicNotifierImpl.EAdapterList<E extends Object & Adapter>
 
Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.InternalEObject
InternalEObject.EStore
 
Field Summary
static String copyright
           
static AnyType INSTANCE
           
static EClassifier OCL_T
          Special type denoting the type parameter T in generic operations.
static EClassifier OCL_T2
          Special type denoting the type parameter T2 in generic operations.
static EClassifier UML_CLASSIFIER
           
 
Fields inherited from class org.eclipse.emf.ecore.impl.EClassifierImpl
DEFAULT_VALUE_EDEFAULT, eClassifierExtendedMetaData, eTypeParameters, generatedInstanceClassName, INSTANCE_CLASS_EDEFAULT, INSTANCE_CLASS_NAME_EDEFAULT, instanceClass, instanceClassName, instanceTypeName, metaObjectID
 
Fields inherited from class org.eclipse.emf.ecore.impl.ENamedElementImpl
name, NAME_EDEFAULT
 
Fields inherited from class org.eclipse.emf.ecore.impl.EModelElementImpl
eAnnotations, EFROZEN, ELAST_EMODEL_ELEMENT_FLAG
 
Fields inherited from class org.eclipse.emf.ecore.impl.FlatEObjectImpl
eContents, eCrossReferences, eProxyURI
 
Fields inherited from class org.eclipse.emf.ecore.impl.EObjectImpl
eAdapters, eContainer, eContainerFeatureID, EDELIVER, EDYNAMIC_CLASS, eFlags, ELAST_EOBJECT_FLAG, ELAST_NOTIFIER_FLAG, eProperties, EPROXY
 
Fields inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl
EVIRTUAL_GET, EVIRTUAL_IS_SET, EVIRTUAL_NO_VALUE, EVIRTUAL_SET, EVIRTUAL_UNSET
 
Fields inherited from interface org.eclipse.emf.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, CLOSURE, CLOSURE_NAME, COLLECT, COLLECT_NAME, COLLECT_NESTED, COLLECT_NESTED_NAME, CONCAT, CONCAT_NAME, COUNT, COUNT_NAME, DIV, DIV_NAME, DIVIDE, DIVIDE_NAME, EQUAL, EQUAL_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_NAME, LESS_THAN, LESS_THAN_EQUAL, LESS_THAN_EQUAL_NAME, LESS_THAN_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_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, RELATED_TYPE, RESULT, RESULT_NAME, ROUND, ROUND_NAME, SAME_TYPE, SELECT, SELECT_NAME, SIZE, SIZE_NAME, SORTED_BY, SORTED_BY_NAME, STRICT_SUBTYPE, STRICT_SUPERTYPE, SUB_ORDERED_SET, SUB_ORDERED_SET_NAME, SUB_SEQUENCE, SUB_SEQUENCE_NAME, SUBSTRING, SUBSTRING_NAME, SUBTYPE, SUM, SUM_NAME, SUPERTYPE, SYMMETRIC_DIFFERENCE, SYMMETRIC_DIFFERENCE_NAME, TIMES, TIMES_NAME, TO_INTEGER, TO_INTEGER_NAME, TO_LOWER, TO_LOWER_NAME, TO_REAL, TO_REAL_NAME, TO_UPPER, TO_UPPER_NAME, UNION, UNION_NAME, UNRELATED_TYPE, XOR, XOR_NAME
 
Fields inherited from interface org.eclipse.emf.ecore.InternalEObject
EOPPOSITE_FEATURE_BASE
 
Constructor Summary
protected AnyTypeImpl()
           
protected AnyTypeImpl(String name)
           
 
Method Summary
protected static EList createAnyOperations()
          Initialiaze Operations defined on AnyType
protected static EList createOperations()
          Initialiaze Operations defined on AnyType
static boolean equal(Object anObject, Object anotherObject)
          Computes the equivalence of two objects, accounting for primtive numeric values that OCL considers equal but Java does not.
protected  EClass eStaticClass()
           
 EClassifier getCommonSupertype(EClassifier type)
           
static int getOperationCode(String operName)
           
 int getOperationCodeFor(String operName)
          Returns type operation for the specified collection operation name.
static String getOperationName(int opcode)
          Returns the operation name corresponding to the opcode
 String getOperationNameFor(int opcode)
           
 EList getOperations()
           
 int getRelationshipTo(EClassifier type)
           
static EClassifier getResultType(EClassifier type, int opcode, EList args)
          Obtain the result type on an AnyType type operation.
 EClassifier getResultTypeFor(EClassifier ownerType, int opcode, EList args)
           
static int hashCode(Object anObject)
          Computes hash of an object, accounting for the similar hashing of primitive numeric values that OCL considers equal but Java does not.
 
Methods inherited from class org.eclipse.emf.ecore.impl.EClassifierImpl
basicGetEPackage, basicSetInstanceClassName, basicSetInstanceTypeName, dynamicIsInstance, eBasicRemoveFromContainerFeature, eBasicSetContainer, eGet, eInverseAdd, eInverseRemove, eIsSet, eSet, eUnset, getClassForName, getClassifierID, getDefaultValue, getEPackage, getEPackageGen, getETypeParameters, getExtendedMetaData, getInstanceClass, getInstanceClassGen, getInstanceClassName, getInstanceClassNameGen, getInstanceTypeName, getPrimitiveOrArrayClass, isInstance, isSetInstanceClassName, isSetInstanceTypeName, setClassifierID, setExtendedMetaData, setGeneratedInstanceClass, setInstanceClass, setInstanceClassGen, setInstanceClassName, setInstanceClassNameGen, setInstanceTypeName, setName, toString, unsetInstanceClassName, unsetInstanceTypeName
 
Methods inherited from class org.eclipse.emf.ecore.impl.ENamedElementImpl
eContents, eCrossReferences, getName, getNameGen
 
Methods inherited from class org.eclipse.emf.ecore.impl.EModelElementImpl
eObjectForURIFragmentSegment, eURIFragmentSegment, freeze, freeze, getEAnnotation, getEAnnotations, isFrozen, setFrozen
 
Methods inherited from class org.eclipse.emf.ecore.impl.FlatEObjectImpl
eIsProxy, eProperties, eProxyURI, eSetProxyURI
 
Methods inherited from class org.eclipse.emf.ecore.impl.EObjectImpl
eAdapters, eBasicAdapters, eBasicProperties, eClass, eContainerFeatureID, eDeliver, eInternalContainer, eSetClass, eSetDeliver
 
Methods inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl
eAddVirtualValue, eAllContents, eBaseStructuralFeatureID, eBasicRemoveFromContainer, eBasicSetContainer, eComputeVirtualValuesCapacity, eContainer, eContainingFeature, eContainmentFeature, eContainmentFeature, eContains, eDerivedStructuralFeatureID, eDerivedStructuralFeatureID, eDirectResource, eDynamicBasicRemoveFromContainer, eDynamicClass, eDynamicFeature, eDynamicFeatureID, eDynamicGet, eDynamicGet, eDynamicGet, eDynamicInverseAdd, eDynamicInverseAdd, eDynamicInverseRemove, eDynamicInverseRemove, eDynamicIsSet, eDynamicIsSet, eDynamicIsSet, eDynamicSet, eDynamicSet, eDynamicSet, eDynamicUnset, eDynamicUnset, eDynamicUnset, eGet, eGet, eGet, eHasSettings, eInternalResource, eInverseAdd, eInverseRemove, eIsSet, eOpenGet, eOpenIsSet, eOpenSet, eOpenUnset, eRemoveVirtualValue, eResolveProxy, eResource, eSet, eSetDirectResource, eSetResource, eSetStore, eSetting, eSettingDelegate, eSettings, eSetVirtualIndexBits, eSetVirtualValue, eSetVirtualValues, eStaticFeatureCount, eStore, eUnset, eVirtualBitCount, eVirtualGet, eVirtualGet, eVirtualIndex, eVirtualIndexBits, eVirtualIsSet, eVirtualSet, eVirtualUnset, eVirtualValue, eVirtualValues
 
Methods inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl
eNotificationRequired, eNotify
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface org.eclipse.emf.ecore.EClassifier
getClassifierID, getDefaultValue, getEPackage, getETypeParameters, getInstanceClass, getInstanceClassName, getInstanceTypeName, isInstance, setInstanceClass, setInstanceClassName, setInstanceTypeName
 
Methods inherited from interface org.eclipse.emf.ecore.ENamedElement
getName, setName
 
Methods inherited from interface org.eclipse.emf.ecore.EModelElement
getEAnnotation, getEAnnotations
 
Methods inherited from interface org.eclipse.emf.ecore.EObject
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eIsProxy, eIsSet, eResource, eSet, eUnset
 
Methods inherited from interface org.eclipse.emf.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver
 
Methods inherited from interface org.eclipse.emf.ecore.InternalEObject
eNotificationRequired
 

Field Detail

copyright

public static final String copyright

See Also:
Constant Field Values

INSTANCE

public static AnyType INSTANCE

OCL_T

public static EClassifier OCL_T
Special type denoting the type parameter T in generic operations.


OCL_T2

public static EClassifier OCL_T2
Special type denoting the type parameter T2 in generic operations.


UML_CLASSIFIER

public static EClassifier UML_CLASSIFIER
Constructor Detail

AnyTypeImpl

protected AnyTypeImpl()


AnyTypeImpl

protected AnyTypeImpl(String name)
Method Detail

createAnyOperations

protected static EList createAnyOperations()
Initialiaze Operations defined on AnyType


createOperations

protected static EList createOperations()
Initialiaze Operations defined on AnyType


getOperationCodeFor

public int getOperationCodeFor(String operName)
Returns type operation for the specified collection operation name. Used for efficient interpretation of OCL expressions.

Specified by:
getOperationCodeFor in interface PredefinedType
Parameters:
operName -
Returns:
the operation code

getOperationCode

public static int getOperationCode(String operName)

getOperationNameFor

public String getOperationNameFor(int opcode)
Description copied from interface: PredefinedType

Specified by:
getOperationNameFor in interface PredefinedType

getOperationName

public static String getOperationName(int opcode)
Returns the operation name corresponding to the opcode

Parameters:
opcode -
Returns:
the name corresponding to the opcode

getResultTypeFor

public EClassifier getResultTypeFor(EClassifier ownerType,
                                    int opcode,
                                    EList args)
                             throws SemanticException

Specified by:
getResultTypeFor in interface PredefinedType
Throws:
SemanticException

getRelationshipTo

public int getRelationshipTo(EClassifier type)

Specified by:
getRelationshipTo in interface PredefinedType

getCommonSupertype

public EClassifier getCommonSupertype(EClassifier type)
                               throws SemanticException

Specified by:
getCommonSupertype in interface PredefinedType
Throws:
SemanticException

getResultType

public static EClassifier getResultType(EClassifier type,
                                        int opcode,
                                        EList args)
                                 throws SemanticException
Obtain the result type on an AnyType type operation. Note: This type is static since EClass and EEnum are not items of AnyType in EMF.

Parameters:
type - source type
opcode - the operation code
args - the operation arguments
Returns:
the result type
Throws:
SemanticException

equal

public static boolean equal(Object anObject,
                            Object anotherObject)
Computes the equivalence of two objects, accounting for primtive numeric values that OCL considers equal but Java does not.

Parameters:
anObject - an object
anotherObject - another object
Returns:
whether they are equivalent as far as OCL is concerned

hashCode

public static int hashCode(Object anObject)
Computes hash of an object, accounting for the similar hashing of primitive numeric values that OCL considers equal but Java does not.

Parameters:
anObject - an object
Returns:
its OCL hash

getOperations

public EList getOperations()
Description copied from interface: PredefinedType

Specified by:
getOperations in interface AnyType
Specified by:
getOperations in interface PredefinedType

eStaticClass

protected EClass eStaticClass()

Overrides:
eStaticClass in class EClassifierImpl

Copyright 2002, 2007 IBM Corporation and others.
All Rights Reserved.