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

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

public class InvalidTypeImpl
extends org.eclipse.emf.ecore.impl.EClassifierImpl
implements InvalidType

An implementation of the model object 'Invalid Type'.


Nested Class Summary
 
Nested classes inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl
org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolder, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderBaseImpl, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderImpl
 
Nested classes inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl
org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EAdapterList
 
Nested classes inherited from class org.eclipse.emf.ecore.InternalEObject
org.eclipse.emf.ecore.InternalEObject.EStore
 
Field Summary
static java.lang.String copyright
           
static java.lang.Object OCL_INVALID
          The single instance (OclInvalid) of the Invalid type.
 
Fields inherited from class org.eclipse.emf.ecore.impl.EClassifierImpl
DEFAULT_VALUE_EDEFAULT, eClassifierExtendedMetaData, generatedInstanceClassName, INSTANCE_CLASS_EDEFAULT, INSTANCE_CLASS_NAME_EDEFAULT, instanceClass, instanceClassName, 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 InvalidTypeImpl()
           
  InvalidTypeImpl(java.lang.String name)
           
 
Method Summary
protected  org.eclipse.emf.ecore.EClass eStaticClass()
           
 org.eclipse.emf.ecore.EClassifier getCommonSupertype(org.eclipse.emf.ecore.EClassifier type)
           
 int getOperationCodeFor(java.lang.String operName)
          Returns primitive type operation for the specified primitive operation name.
 java.lang.String getOperationNameFor(int opcode)
          converts an opcode to a string
 org.eclipse.emf.common.util.EList getOperations()
           
 int getRelationshipTo(org.eclipse.emf.ecore.EClassifier type)
           
 org.eclipse.emf.ecore.EClassifier getResultTypeFor(org.eclipse.emf.ecore.EClassifier ownerType, int opcode, org.eclipse.emf.common.util.EList args)
          Obtain the result type on a collection type operation.
 
Methods inherited from class org.eclipse.emf.ecore.impl.EClassifierImpl
basicGetEPackage, dynamicIsInstance, eBasicRemoveFromContainerFeature, eBasicSetContainer, eGet, eInverseAdd, eInverseRemove, eIsSet, eSet, eUnset, getClassForName, getClassifierID, getDefaultValue, getEPackage, getEPackageGen, getExtendedMetaData, getInstanceClass, getInstanceClassGen, getInstanceClassName, getInstanceClassNameGen, getPrimitiveOrArrayClass, isInstance, setClassifierID, setExtendedMetaData, setGeneratedInstanceClass, setInstanceClass, setInstanceClassGen, setInstanceClassName, setInstanceClassNameGen, toString
 
Methods inherited from class org.eclipse.emf.ecore.impl.ENamedElementImpl
getName, getNameGen, setName
 
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
eContents, eCrossReferences, 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, getInstanceClass, getInstanceClassName, isInstance, setInstanceClass, setInstanceClassName
 
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 java.lang.String copyright

See Also:
Constant Field Values

OCL_INVALID

public static final java.lang.Object OCL_INVALID
The single instance (OclInvalid) of the Invalid type.

Constructor Detail

InvalidTypeImpl

protected InvalidTypeImpl()


InvalidTypeImpl

public InvalidTypeImpl(java.lang.String name)
Method Detail

eStaticClass

protected org.eclipse.emf.ecore.EClass eStaticClass()


getResultTypeFor

public org.eclipse.emf.ecore.EClassifier getResultTypeFor(org.eclipse.emf.ecore.EClassifier ownerType,
                                                          int opcode,
                                                          org.eclipse.emf.common.util.EList args)
                                                   throws SemanticException
Obtain the result type on a collection type operation. A conformance test is performed, and the result type may be the common supertype of the source and argument types, depending on the operation.

Specified by:
getResultTypeFor in interface PredefinedType
Parameters:
opcode -
args -
Returns:
the result type
Throws:
SemanticException

getRelationshipTo

public int getRelationshipTo(org.eclipse.emf.ecore.EClassifier type)

Specified by:
getRelationshipTo in interface PredefinedType

getCommonSupertype

public org.eclipse.emf.ecore.EClassifier getCommonSupertype(org.eclipse.emf.ecore.EClassifier type)
                                                     throws SemanticException

Specified by:
getCommonSupertype in interface PredefinedType
Throws:
SemanticException

getOperationCodeFor

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

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

getOperationNameFor

public java.lang.String getOperationNameFor(int opcode)
converts an opcode to a string

Specified by:
getOperationNameFor in interface PredefinedType
Parameters:
opcode -
Returns:
the corresponding name

getOperations

public org.eclipse.emf.common.util.EList getOperations()
Description copied from interface: PredefinedType

Specified by:
getOperations in interface PredefinedType

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