Modifier and Type | Method and Description |
---|---|
protected Property |
LookupCodeGenerator.createNativeProperty(java.lang.String name,
Type asElementType,
boolean isReadOnly) |
Modifier and Type | Method and Description |
---|---|
CGExecutorType |
CodeGenAnalyzer.createExecutorType(Type asType) |
protected java.lang.String |
NameManager.getTypeNameHint(Type aType) |
Modifier and Type | Method and Description |
---|---|
Type |
CGModelFactoryImpl.createTypeFromString(org.eclipse.emf.ecore.EDataType eDataType,
java.lang.String initialValue) |
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
NameQueries.TuplePartAllocation.computeUniqueText(java.lang.String partName,
Type partType) |
java.lang.String |
NameQueries.TuplePartAllocation.get(java.lang.String partName,
Type partType) |
static java.lang.String |
NameQueries.getUniqueText(Element context,
Type type)
Return a valid Java identifier suffix encoding of a property name that is unique within the scope of element.
|
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.codegen.ecore.genmodel.GenClass |
JavaGenModelCodeGenHelper.getGenClass(org.eclipse.emf.codegen.ecore.genmodel.GenPackage genPackage,
Type type) |
Modifier and Type | Field and Description |
---|---|
protected Type |
UnboxedMapDescriptor.keyType |
protected Type |
UnboxedElementsDescriptor.type |
protected Type |
UnboxedMapDescriptor.valueType |
Modifier and Type | Method and Description |
---|---|
protected org.eclipse.emf.ecore.EClassifier |
Id2BoxedDescriptorVisitor.getEClassifier(Type type) |
Constructor and Description |
---|
UnboxedElementsDescriptor(CollectionTypeId collectionTypeId,
StandardLibrary standardLibrary,
Type type) |
UnboxedMapDescriptor(MapTypeId mapTypeId,
StandardLibrary standardLibrary,
Type keyType,
Type valueType) |
Modifier and Type | Field and Description |
---|---|
protected java.util.Map<Type,java.lang.String> |
OCLinEcoreTablesUtils.CodeGenString.typeNameMap |
Modifier and Type | Method and Description |
---|---|
void |
OCLinEcoreTablesUtils.CodeGenString.appendScopedTypeName(Type theType)
Append the encoded name of a type with an _ prefix.
|
protected void |
OCLinEcoreTables.appendTypeFlags(Type type) |
void |
OCLinEcoreTablesUtils.CodeGenString.appendUnscopedTypeName(PivotMetamodelManager metamodelManager,
Type theType)
Append the encoded name of a type with a suffix if disambiguation acros packages is required.
|
protected java.lang.Boolean |
OCLinEcoreTablesUtils.hasEcore(Type type)
Return true if type has an Ecore counterpart.
|
static java.lang.Boolean |
OCLinEcoreTablesUtils.isBuiltInType(Type type) |
protected boolean |
OCLinEcoreTablesUtils.isElementType(CompleteClass completeClass,
Type elementType,
VoidType oclVoidType)
Return true if completeComplass conforms to elementType but not to oclVoidType.
|
Modifier and Type | Method and Description |
---|---|
protected boolean |
OCLVMModelManager.isInstance(Type requiredType,
org.eclipse.emf.ecore.EObject eObject)
Implemented by subclasses to determine whether the specified element
is an instance of the specified class, according to the metamodel
semantics implemented by the environment that created this extent map.
|
Modifier and Type | Method and Description |
---|---|
void |
VariableFinder.setValueAndType(VMVariableData variable,
java.lang.Object value,
Type optDeclaredType) |
static void |
VariableFinder.setValueAndType(VMVariableData variable,
java.lang.Object value,
Type optDeclaredType,
EvaluationEnvironment evalEnv)
Deprecated.
use non-static method
|
Modifier and Type | Interface and Description |
---|---|
interface |
AnyType
A representation of the model object 'Any Type'.
|
interface |
AssociationClass
A representation of the model object 'Association Class'.
|
interface |
BagType
A representation of the model object 'Bag Type'.
|
interface |
Behavior
A representation of the model object 'Behavior'.
|
interface |
Class
A representation of the model object 'Class'.
|
interface |
CollectionType
A representation of the model object 'Collection Type'.
|
interface |
DataType
A representation of the model object 'Data Type'.
|
interface |
DynamicBehavior
A representation of the model object 'Dynamic Behavior'.
|
interface |
DynamicType
A representation of the model object 'Dynamic Type'.
|
interface |
ElementExtension
A representation of the model object 'Applied Stereotype'.
|
interface |
Enumeration
A representation of the model object 'Enumeration'.
|
interface |
InvalidType
A representation of the model object 'Invalid Type'.
|
interface |
LambdaType
A representation of the model object 'Lambda Type'.
|
interface |
MapType
A representation of the model object 'Map Type'.
|
interface |
MessageType
A representation of the model object 'Message Type'.
|
interface |
OrderedSetType
A representation of the model object 'Ordered Set Type'.
|
interface |
PrimitiveType
A representation of the model object 'Primitive Type'.
|
interface |
SelfType
A representation of the model object 'Self Type'.
|
interface |
SequenceType
A representation of the model object 'Sequence Type'.
|
interface |
SetType
A representation of the model object 'Set Type'.
|
interface |
Signal
A representation of the model object 'Signal'.
|
interface |
StateMachine
A representation of the model object 'State Machine'.
|
interface |
Stereotype
A representation of the model object 'Stereotype'.
|
interface |
TemplateParameter
A representation of the model object 'Template Parameter'.
|
interface |
TupleType
A representation of the model object 'Tuple Type'.
|
interface |
VoidType
A representation of the model object 'Void Type'.
|
interface |
WildcardType
A representation of the model object 'Wildcard Type'.
|
Modifier and Type | Method and Description |
---|---|
Type |
Type.flattenedType() |
Type[] |
ParameterTypes.get() |
Type |
ParameterTypes.get(int index) |
Type |
TemplateParameters.get(int i) |
Type |
TemplateParameterSubstitution.getActual()
Returns the value of the 'Actual' reference.
|
Type |
Type.getCommonType(IdResolver idResolver,
Type thatType)
Return the most derived type common to this type and thatType within standardLibrary.
|
Type |
LambdaType.getContextType()
Returns the value of the 'Context Type' reference.
|
Type |
CollectionType.getElementType()
Returns the value of the 'Element Type' reference.
|
Type |
MapType.getKeyType()
Returns the value of the 'Key Type' reference.
|
Type |
WildcardType.getLowerBound()
Returns the value of the 'Lower Bound' reference.
|
Type |
DynamicElement.getMetaType()
Returns the value of the 'Meta Type' reference.
|
Type |
StandardLibrary.getMetaType(Type type)
Returns the meta-type of a given type.
|
Type |
CompleteEnvironment.getNestedType(Package parentPackage,
java.lang.String name) |
Type |
StandardLibrary.getOclType(java.lang.String typeName) |
Type |
StandardLibrary.getPrimitiveType(PrimitiveTypeId id) |
Type |
TypeExp.getReferredType()
Returns the value of the 'Referred Type' reference.
|
Type |
LambdaType.getResultType()
Returns the value of the 'Result Type' reference.
|
Type |
PropertyCallExp.getSpecializedReferredPropertyOwningType() |
Type |
PropertyCallExp.getSpecializedReferredPropertyType() |
Type |
CompleteEnvironment.getSpecializedType(Type type,
TemplateParameterSubstitutions substitutions) |
Type |
TypedElement.getType()
Returns the value of the 'Type' reference.
|
Type |
CompletePackage.getType(java.lang.String metatypeName) |
Type |
OCLExpression.getTypeValue()
Returns the value of the 'Type Value' reference.
|
Type |
VariableDeclaration.getTypeValue()
Returns the value of the 'Type Value' reference.
|
Type |
WildcardType.getUpperBound()
Returns the value of the 'Upper Bound' reference.
|
Type |
MapType.getValueType()
Returns the value of the 'Value Type' reference.
|
Type |
SelfType.specializeIn(CallExp expr,
Type selfType) |
Type |
Type.specializeIn(CallExp expr,
Type selfType) |
Modifier and Type | Method and Description |
---|---|
java.util.List<Type> |
LambdaType.getParameterType()
Returns the value of the 'Parameter Type' reference list.
|
java.util.List<? extends Type> |
LambdaType.getParameterTypes() |
java.util.List<Type> |
Operation.getRaisedExceptions()
Returns the value of the 'Raised Exceptions' reference list.
|
Modifier and Type | Method and Description |
---|---|
boolean |
Type.conformsTo(StandardLibrary standardLibrary,
Type thatType)
Return true if this type conform to thatType within standardLibrary.
|
boolean |
CompleteClass.conformsTo(Type elementType) |
boolean |
CompleteModel.conformsTo(Type firstType,
TemplateParameterSubstitutions firstSubstitutions,
Type secondType,
TemplateParameterSubstitutions secondSubstitutions) |
CollectionType |
CompleteEnvironment.getBagType(Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper)
Return the instance of the Bag metatype whose elements are of elementType.
|
CollectionType |
CompleteEnvironment.getBagType(Type elementType,
IntegerValue lower,
UnlimitedNaturalValue upper)
Deprecated.
add isNullFree argument
|
CollectionType |
CompleteEnvironment.getCollectionType(Class containerType,
Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper)
Return the specialized collection type for the containerType for elementType.
|
CollectionType |
StandardLibrary.getCollectionType(Class containerType,
Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
CollectionType |
CompleteEnvironment.getCollectionType(Class containerType,
Type elementType,
IntegerValue lower,
UnlimitedNaturalValue upper)
Deprecated.
add isNullFree argument
|
CollectionType |
StandardLibrary.getCollectionType(Class containerType,
Type elementType,
IntegerValue lower,
UnlimitedNaturalValue upper)
Deprecated.
add isNullFree argument
|
Type |
Type.getCommonType(IdResolver idResolver,
Type thatType)
Return the most derived type common to this type and thatType within standardLibrary.
|
CompleteClass |
CompleteModel.getCompleteClass(Type partialClass) |
LambdaType |
CompleteModel.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType) |
LambdaType |
CompleteEnvironment.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
MapType |
CompleteEnvironment.getMapType(Class containerType,
Type keyType,
Type valueType) |
MapType |
StandardLibrary.getMapType(Class containerType,
Type keyType,
Type valueType) |
Class |
StandardLibrary.getMetaclass(Type classType)
Return the instance of the Metaclass metatype whose class is classType.
|
Type |
StandardLibrary.getMetaType(Type type)
Returns the meta-type of a given type.
|
CollectionType |
CompleteEnvironment.getOrderedSetType(Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper)
Return the instance of the OrderedSet metatype whose elements are of elementType.
|
CollectionType |
CompleteEnvironment.getOrderedSetType(Type elementType,
IntegerValue lower,
UnlimitedNaturalValue upper)
Deprecated.
add isNullFree argument
|
CollectionType |
CompleteEnvironment.getSequenceType(Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper)
Return the instance of the Sequence metatype whose elements are of elementType.
|
CollectionType |
CompleteEnvironment.getSequenceType(Type elementType,
IntegerValue lower,
UnlimitedNaturalValue upper)
Deprecated.
add isNullFree argument
|
CollectionType |
CompleteEnvironment.getSetType(Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper)
Return the instance of the Set metatype whose elements are of elementType.
|
CollectionType |
CompleteEnvironment.getSetType(Type elementType,
IntegerValue lower,
UnlimitedNaturalValue upper)
Deprecated.
add isNullFree argument
|
Type |
CompleteEnvironment.getSpecializedType(Type type,
TemplateParameterSubstitutions substitutions) |
Element |
Element.getValue(Type stereotype,
java.lang.String propertyName) |
boolean |
Type.isEqualTo(StandardLibrary standardLibrary,
Type thatType)
Return true if this is the same type as thatType within standardLibrary.
|
boolean |
Type.isEqualToUnspecializedType(StandardLibrary standardLibrary,
Type type) |
void |
TemplateParameterSubstitution.setActual(Type value)
Sets the value of the '
Actual ' reference. |
void |
LambdaType.setContextType(Type value)
Sets the value of the '
Context Type ' reference. |
void |
CollectionType.setElementType(Type value)
Sets the value of the '
Element Type ' reference. |
void |
MapType.setKeyType(Type value)
Sets the value of the '
Key Type ' reference. |
void |
WildcardType.setLowerBound(Type value)
Sets the value of the '
Lower Bound ' reference. |
void |
DynamicElement.setMetaType(Type value)
Sets the value of the '
Meta Type ' reference. |
void |
TypeExp.setReferredType(Type value)
Sets the value of the '
Referred Type ' reference. |
void |
LambdaType.setResultType(Type value)
Sets the value of the '
Result Type ' reference. |
void |
TypedElement.setType(Type value)
Sets the value of the '
Type ' reference. |
void |
OCLExpression.setTypeValue(Type value)
Sets the value of the '
Type Value ' reference. |
void |
VariableDeclaration.setTypeValue(Type value)
Sets the value of the '
Type Value ' reference. |
void |
WildcardType.setUpperBound(Type value)
Sets the value of the '
Upper Bound ' reference. |
void |
MapType.setValueType(Type value)
Sets the value of the '
Value Type ' reference. |
Type |
SelfType.specializeIn(CallExp expr,
Type selfType) |
Type |
Type.specializeIn(CallExp expr,
Type selfType) |
Modifier and Type | Method and Description |
---|---|
CollectionType |
CompleteClass.findCollectionType(CollectionTypeParameters<Type> typeParameters) |
MapType |
CompleteClass.findMapType(MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteClass.findMapType(MapTypeParameters<Type,Type> typeParameters) |
CollectionType |
CompleteClass.getCollectionType(CollectionTypeParameters<Type> typeParameters) |
LambdaType |
CompleteModel.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType) |
LambdaType |
CompleteEnvironment.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
MapType |
CompleteClass.getMapType(MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteClass.getMapType(MapTypeParameters<Type,Type> typeParameters) |
Modifier and Type | Method and Description |
---|---|
Type |
IdResolver.getCollectionType(CollectionTypeId typeId) |
Type |
IdResolver.getDynamicTypeOf(java.lang.Iterable<?> values) |
Type |
IdResolver.getDynamicTypeOf(java.lang.Object... values) |
Type |
IdResolver.getDynamicTypeOf(java.lang.Object value) |
Type |
IdResolver.getMapType(MapTypeId typeId) |
Type |
IdResolver.getType(TypeId typeId,
java.lang.Object context) |
Modifier and Type | Method and Description |
---|---|
static BindingsId |
IdManager.getBindingsId(Type... types) |
static ParametersId |
IdManager.getParametersId(Type[] parameterTypes) |
static UnspecifiedIdImpl |
IdManager.getUnspecifiedTypeId(Type aType)
Return the typeId for aType.
|
Modifier and Type | Class and Description |
---|---|
class |
AnyTypeImpl
An implementation of the model object 'Any Type'.
|
class |
AssociationClassImpl
An implementation of the model object 'Association Class'.
|
class |
BagTypeImpl
An implementation of the model object 'Bag Type'.
|
class |
BehaviorImpl
An implementation of the model object 'Behavior'.
|
class |
ClassImpl
An implementation of the model object 'Class'.
|
class |
CollectionTypeImpl
An implementation of the model object 'Collection Type'.
|
class |
DataTypeImpl
An implementation of the model object 'Data Type'.
|
class |
DynamicBehaviorImpl
An implementation of the model object 'Dynamic Behavior'.
|
class |
DynamicTypeImpl
An implementation of the model object 'Dynamic Type'.
|
class |
ElementExtensionImpl
An implementation of the model object 'Applied Stereotype'.
|
class |
EnumerationImpl
An implementation of the model object 'Enumeration'.
|
class |
InvalidTypeImpl
An implementation of the model object 'Invalid Type'.
|
class |
LambdaTypeImpl
An implementation of the model object 'Lambda Type'.
|
class |
MapTypeImpl
An implementation of the model object 'Map Type'.
|
class |
MessageTypeImpl
An implementation of the model object 'Message Type'.
|
class |
OrderedSetTypeImpl
An implementation of the model object 'Ordered Set Type'.
|
class |
PrimitiveTypeImpl
An implementation of the model object 'Primitive Type'.
|
class |
SelfTypeImpl
An implementation of the model object 'Self Type'.
|
class |
SequenceTypeImpl
An implementation of the model object 'Sequence Type'.
|
class |
SetTypeImpl
An implementation of the model object 'Set Type'.
|
class |
SignalImpl
An implementation of the model object 'Signal'.
|
class |
StateMachineImpl
An implementation of the model object 'State Machine'.
|
class |
StereotypeImpl
An implementation of the model object 'Stereotype'.
|
class |
TemplateParameterImpl
An implementation of the model object 'Template Parameter'.
|
class |
TupleTypeImpl
An implementation of the model object 'Tuple Type'.
|
class |
TypeImpl
An implementation of the model object 'Type'.
|
class |
VoidTypeImpl
An implementation of the model object 'Void Type'.
|
class |
WildcardTypeImpl
An implementation of the model object 'Wildcard Type'.
|
Modifier and Type | Field and Description |
---|---|
protected Type |
TemplateParameterSubstitutionImpl.actual
The cached value of the '
Actual ' reference. |
protected Type |
LambdaTypeImpl.contextType
The cached value of the '
Context Type ' reference. |
protected Type |
CollectionTypeImpl.elementType
The cached value of the '
Element Type ' reference. |
protected Type |
MapTypeImpl.keyType
The cached value of the '
Key Type ' reference. |
protected Type |
WildcardTypeImpl.lowerBound
The cached value of the '
Lower Bound ' reference. |
protected Type |
DynamicBehaviorImpl.metaType
The cached value of the '
Meta Type ' reference. |
protected Type |
DynamicElementImpl.metaType
The cached value of the '
Meta Type ' reference. |
protected Type |
DynamicTypeImpl.metaType
The cached value of the '
Meta Type ' reference. |
protected Type |
TypeExpImpl.referredType
The cached value of the '
Referred Type ' reference. |
protected Type |
LambdaTypeImpl.resultType
The cached value of the '
Result Type ' reference. |
protected Type |
TypedElementImpl.type
The cached value of the '
Type ' reference. |
protected Type |
OCLExpressionImpl.typeValue
The cached value of the '
Type Value ' reference. |
protected Type |
VariableDeclarationImpl.typeValue
The cached value of the '
Type Value ' reference. |
protected Type |
WildcardTypeImpl.upperBound
The cached value of the '
Upper Bound ' reference. |
protected Type |
MapTypeImpl.valueType
The cached value of the '
Value Type ' reference. |
Modifier and Type | Field and Description |
---|---|
protected org.eclipse.emf.common.util.EList<Type> |
LambdaTypeImpl.parameterType
The cached value of the '
Parameter Type ' reference list. |
protected org.eclipse.emf.common.util.EList<Type> |
OperationImpl.raisedExceptions
The cached value of the '
Raised Exceptions ' reference list. |
Modifier and Type | Method and Description |
---|---|
Type |
TemplateParameterSubstitutionImpl.basicGetActual() |
Type |
LambdaTypeImpl.basicGetContextType() |
Type |
CollectionTypeImpl.basicGetElementType() |
Type |
MapTypeImpl.basicGetKeyType() |
Type |
WildcardTypeImpl.basicGetLowerBound() |
Type |
DynamicBehaviorImpl.basicGetMetaType() |
Type |
DynamicElementImpl.basicGetMetaType() |
Type |
DynamicTypeImpl.basicGetMetaType() |
Type |
TypeExpImpl.basicGetReferredType() |
Type |
LambdaTypeImpl.basicGetResultType() |
Type |
TypedElementImpl.basicGetType() |
Type |
WildcardTypeImpl.basicGetUpperBound() |
Type |
MapTypeImpl.basicGetValueType() |
Type |
CollectionTypeImpl.flattenedType() |
Type |
TypeImpl.flattenedType() |
Type |
TemplateParameterSubstitutionImpl.getActual() |
Type |
ClassImpl.getCommonType(IdResolver idResolver,
Type type) |
Type |
TypeImpl.getCommonType(IdResolver idResolver,
Type type) |
Type |
LambdaTypeImpl.getContextType() |
Type |
CollectionTypeImpl.getElementType() |
Type |
MapTypeImpl.getKeyType() |
Type |
WildcardTypeImpl.getLowerBound() |
Type |
DynamicBehaviorImpl.getMetaType() |
Type |
DynamicElementImpl.getMetaType() |
Type |
DynamicTypeImpl.getMetaType() |
Type |
StandardLibraryImpl.getMetaType(Type instanceType) |
Type |
StandardLibraryImpl.getOclType(java.lang.String typeName) |
Type |
StandardLibraryImpl.getPrimitiveType(PrimitiveTypeId typeId) |
Type |
TypeExpImpl.getReferredType() |
Type |
LambdaTypeImpl.getResultType() |
Type |
CompleteEnvironmentImpl.getSpecializedType(Type type,
TemplateParameterSubstitutions substitutions) |
Type |
CompleteModelImpl.getSpecializedType(Type type,
TemplateParameterSubstitutions substitutions) |
Type |
TypedElementImpl.getType() |
Type |
CompletePackageImpl.getType(java.lang.String metatypeName) |
Type |
OCLExpressionImpl.getTypeValue() |
Type |
VariableDeclarationImpl.getTypeValue() |
Type |
WildcardTypeImpl.getUpperBound() |
Type |
MapTypeImpl.getValueType() |
Type |
ClassImpl.specializeIn(CallExp callExpr,
Type selfType) |
Type |
SelfTypeImpl.specializeIn(CallExp expr,
Type selfType) |
Type |
TemplateParameterImpl.specializeIn(CallExp expr,
Type selfType) |
Type |
TypeImpl.specializeIn(CallExp expr,
Type selfType) |
Modifier and Type | Method and Description |
---|---|
java.util.List<Type> |
LambdaTypeImpl.getParameterType() |
java.util.List<? extends Type> |
LambdaTypeImpl.getParameterTypes() |
java.util.List<Type> |
OperationImpl.getRaisedExceptions() |
Modifier and Type | Method and Description |
---|---|
boolean |
ClassImpl.conformsTo(StandardLibrary standardLibrary,
Type type) |
boolean |
CollectionTypeImpl.conformsTo(StandardLibrary standardLibrary,
Type type) |
boolean |
InvalidTypeImpl.conformsTo(StandardLibrary standardLibrary,
Type type) |
boolean |
LambdaTypeImpl.conformsTo(StandardLibrary standardLibrary,
Type type) |
boolean |
SelfTypeImpl.conformsTo(StandardLibrary standardLibrary,
Type type) |
boolean |
TemplateParameterImpl.conformsTo(StandardLibrary standardLibrary,
Type type) |
boolean |
VoidTypeImpl.conformsTo(StandardLibrary standardLibrary,
Type type) |
boolean |
CompleteClassImpl.conformsTo(Type elementType) |
boolean |
CompleteEnvironmentImpl.conformsTo(Type firstType,
TemplateParameterSubstitutions firstSubstitutions,
Type secondType,
TemplateParameterSubstitutions secondSubstitutions) |
boolean |
CompleteModelImpl.conformsTo(Type firstType,
TemplateParameterSubstitutions firstSubstitutions,
Type secondType,
TemplateParameterSubstitutions secondSubstitutions) |
CollectionType |
CompleteEnvironmentImpl.getBagType(Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
CollectionType |
CompleteEnvironmentImpl.getBagType(Type elementType,
IntegerValue lower,
UnlimitedNaturalValue upper) |
CollectionType |
CompleteEnvironmentImpl.getCollectionType(Class containerType,
Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
CollectionType |
StandardLibraryImpl.getCollectionType(Class containerType,
Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
CollectionType |
CompleteEnvironmentImpl.getCollectionType(Class containerType,
Type elementType,
IntegerValue lower,
UnlimitedNaturalValue upper) |
CollectionType |
StandardLibraryImpl.getCollectionType(Class containerType,
Type elementType,
IntegerValue lower,
UnlimitedNaturalValue upper) |
CollectionType |
CompleteModelImpl.getCollectionType(CompleteClassInternal completeClass,
Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
<T extends CollectionType> |
CompleteEnvironmentImpl.getCollectionType(T containerType,
Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
<T extends CollectionType> |
OrphanCompletePackageImpl.getCollectionType(T containerType,
Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
Type |
ClassImpl.getCommonType(IdResolver idResolver,
Type type) |
Class |
CollectionTypeImpl.getCommonType(IdResolver idResolver,
Type type) |
Type |
TypeImpl.getCommonType(IdResolver idResolver,
Type type) |
CompleteClassInternal |
CompleteEnvironmentImpl.getCompleteClass(Type pivotType) |
CompleteClassInternal |
CompleteModelImpl.getCompleteClass(Type pivotType) |
LambdaType |
CompleteModelImpl.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType) |
LambdaType |
CompleteEnvironmentImpl.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
LambdaType |
CompleteModelImpl.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
MapType |
CompleteEnvironmentImpl.getMapType(Class containerType,
Type keyType,
Type valueType) |
MapType |
StandardLibraryImpl.getMapType(Class containerType,
Type keyType,
Type valueType) |
MapType |
CompleteEnvironmentImpl.getMapType(MapType containerType,
Type keyType,
Type valueType) |
Class |
StandardLibraryImpl.getMetaclass(Type classType) |
Type |
StandardLibraryImpl.getMetaType(Type instanceType) |
CollectionType |
CompleteEnvironmentImpl.getOrderedSetType(Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
CollectionType |
CompleteEnvironmentImpl.getOrderedSetType(Type elementType,
IntegerValue lower,
UnlimitedNaturalValue upper) |
CollectionType |
CompleteEnvironmentImpl.getSequenceType(Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
CollectionType |
CompleteEnvironmentImpl.getSequenceType(Type elementType,
IntegerValue lower,
UnlimitedNaturalValue upper) |
CollectionType |
CompleteEnvironmentImpl.getSetType(Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
CollectionType |
CompleteEnvironmentImpl.getSetType(Type elementType,
IntegerValue lower,
UnlimitedNaturalValue upper) |
Type |
CompleteEnvironmentImpl.getSpecializedType(Type type,
TemplateParameterSubstitutions substitutions) |
Type |
CompleteModelImpl.getSpecializedType(Type type,
TemplateParameterSubstitutions substitutions) |
Element |
ElementImpl.getValue(Type stereotype,
java.lang.String propertyName) |
boolean |
CollectionTypeImpl.isEqualTo(StandardLibrary standardLibrary,
Type type) |
boolean |
TypeImpl.isEqualTo(StandardLibrary standardLibrary,
Type type) |
boolean |
TypeImpl.isEqualToUnspecializedType(StandardLibrary standardLibrary,
Type type) |
boolean |
StandardLibraryImpl.isOrdered(Type sourceType) |
boolean |
StandardLibraryImpl.isUnique(Type sourceType) |
void |
TemplateParameterSubstitutionImpl.setActual(Type newActual) |
void |
TemplateParameterSubstitutionImpl.setActualGen(Type newActual) |
void |
LambdaTypeImpl.setContextType(Type newContextType) |
void |
CollectionTypeImpl.setElementType(Type newElementType) |
void |
MapTypeImpl.setKeyType(Type newKeyType) |
void |
WildcardTypeImpl.setLowerBound(Type newLowerBound) |
void |
DynamicBehaviorImpl.setMetaType(Type newMetaType) |
void |
DynamicElementImpl.setMetaType(Type newMetaType) |
void |
DynamicTypeImpl.setMetaType(Type newMetaType) |
void |
TypeExpImpl.setReferredType(Type newReferredType) |
void |
LambdaTypeImpl.setResultType(Type newResultType) |
void |
TypedElementImpl.setType(Type newType) |
void |
OCLExpressionImpl.setTypeValue(Type newTypeValue) |
void |
VariableDeclarationImpl.setTypeValue(Type newTypeValue) |
void |
WildcardTypeImpl.setUpperBound(Type newUpperBound) |
void |
MapTypeImpl.setValueType(Type newValueType) |
Type |
ClassImpl.specializeIn(CallExp callExpr,
Type selfType) |
Type |
SelfTypeImpl.specializeIn(CallExp expr,
Type selfType) |
Type |
TemplateParameterImpl.specializeIn(CallExp expr,
Type selfType) |
Type |
TypeImpl.specializeIn(CallExp expr,
Type selfType) |
Modifier and Type | Method and Description |
---|---|
CollectionType |
CompleteClassImpl.findCollectionType(CollectionTypeParameters<Type> typeParameters) |
CollectionType |
CompleteEnvironmentImpl.findCollectionType(CompleteClassInternal completeClass,
CollectionTypeParameters<Type> typeParameters) |
CollectionType |
CompleteModelImpl.findCollectionType(CompleteClassInternal completeClass,
CollectionTypeParameters<Type> typeParameters) |
MapType |
CompleteEnvironmentImpl.findMapType(CompleteClassInternal completeClass,
MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteEnvironmentImpl.findMapType(CompleteClassInternal completeClass,
MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteModelImpl.findMapType(CompleteClassInternal completeClass,
MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteModelImpl.findMapType(CompleteClassInternal completeClass,
MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteClassImpl.findMapType(MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteClassImpl.findMapType(MapTypeParameters<Type,Type> typeParameters) |
CollectionType |
CompleteClassImpl.getCollectionType(CollectionTypeParameters<Type> typeParameters) |
CollectionType |
CompleteEnvironmentImpl.getCollectionType(CompleteClassInternal completeClass,
CollectionTypeParameters<Type> typeParameters) |
CollectionType |
CompleteModelImpl.getCollectionType(CompleteClassInternal completeClass,
CollectionTypeParameters<Type> typeParameters) |
LambdaType |
CompleteModelImpl.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType) |
LambdaType |
CompleteEnvironmentImpl.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
LambdaType |
CompleteModelImpl.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
MapType |
CompleteEnvironmentImpl.getMapType(CompleteClassInternal completeClass,
MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteEnvironmentImpl.getMapType(CompleteClassInternal completeClass,
MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteModelImpl.getMapType(CompleteClassInternal completeClass,
MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteModelImpl.getMapType(CompleteClassInternal completeClass,
MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteClassImpl.getMapType(MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteClassImpl.getMapType(MapTypeParameters<Type,Type> typeParameters) |
Constructor and Description |
---|
TuplePartImpl(TuplePartId partId,
Type partType) |
Modifier and Type | Class and Description |
---|---|
class |
CompleteInheritanceImpl
An AbstractTypeServer provides the co-ordinated operation, property and superclass lookup caches for one or more merged types.
|
Modifier and Type | Method and Description |
---|---|
Type |
PartialClasses.findSpecializedType(TemplateParameters templateArguments) |
Type |
CompleteModelInternal.getSpecializedType(Type type,
TemplateParameterSubstitutions substitutions) |
Modifier and Type | Method and Description |
---|---|
boolean |
CompleteEnvironmentInternal.conformsTo(Type firstType,
TemplateParameterSubstitutions firstSubstitutions,
Type secondType,
TemplateParameterSubstitutions secondSubstitutions) |
static TemplateParameterSubstitution |
CompleteInheritanceImpl.createTemplateParameterSubstitution(TemplateParameter formalParameter,
Type type) |
<T extends CollectionType> |
CompleteEnvironmentInternal.getCollectionType(T containerType,
Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
CompleteClassInternal |
CompleteEnvironmentInternal.getCompleteClass(Type pivotType) |
CompleteClassInternal |
CompleteModelInternal.getCompleteClass(Type partialClass) |
LambdaType |
CompleteModelInternal.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
MapType |
CompleteEnvironmentInternal.getMapType(MapType containerType,
Type keyType,
Type valueType) |
Type |
CompleteModelInternal.getSpecializedType(Type type,
TemplateParameterSubstitutions substitutions) |
Modifier and Type | Method and Description |
---|---|
protected CollectionType |
CompleteClasses.CollectionCompleteClassImpl.createSpecialization(CollectionTypeParameters<Type> typeParameters) |
protected MapType |
CompleteClasses.MapCompleteClassImpl.createSpecialization(MapTypeParameters<Type,Type> typeParameters) |
protected MapType |
CompleteClasses.MapCompleteClassImpl.createSpecialization(MapTypeParameters<Type,Type> typeParameters) |
CollectionType |
CompleteClasses.CollectionCompleteClassImpl.findCollectionType(CollectionTypeParameters<Type> typeParameters) |
CollectionType |
CompleteEnvironmentInternal.findCollectionType(CompleteClassInternal completeClass,
CollectionTypeParameters<Type> typeParameters) |
CollectionType |
CompleteModelInternal.findCollectionType(CompleteClassInternal completeClass,
CollectionTypeParameters<Type> typeParameters) |
MapType |
CompleteEnvironmentInternal.findMapType(CompleteClassInternal completeClass,
MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteEnvironmentInternal.findMapType(CompleteClassInternal completeClass,
MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteModelInternal.findMapType(CompleteClassInternal completeClass,
MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteModelInternal.findMapType(CompleteClassInternal completeClass,
MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteClasses.MapCompleteClassImpl.findMapType(MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteClasses.MapCompleteClassImpl.findMapType(MapTypeParameters<Type,Type> typeParameters) |
CollectionType |
CompleteClasses.CollectionCompleteClassImpl.getCollectionType(CollectionTypeParameters<Type> typeParameters) |
CollectionType |
CompleteEnvironmentInternal.getCollectionType(CompleteClassInternal completeClass,
CollectionTypeParameters<Type> typeParameters) |
CollectionType |
CompleteModelInternal.getCollectionType(CompleteClassInternal completeClass,
CollectionTypeParameters<Type> typeParameters) |
LambdaType |
CompleteModelInternal.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
MapType |
CompleteEnvironmentInternal.getMapType(CompleteClassInternal completeClass,
MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteEnvironmentInternal.getMapType(CompleteClassInternal completeClass,
MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteModelInternal.getMapType(CompleteClassInternal completeClass,
MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteModelInternal.getMapType(CompleteClassInternal completeClass,
MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteClasses.MapCompleteClassImpl.getMapType(MapTypeParameters<Type,Type> typeParameters) |
MapType |
CompleteClasses.MapCompleteClassImpl.getMapType(MapTypeParameters<Type,Type> typeParameters) |
Class |
PartialClasses.getSpecializedType(java.util.List<? extends Type> templateArguments) |
Modifier and Type | Field and Description |
---|---|
protected Type |
ClassContext.instanceContext |
Modifier and Type | Method and Description |
---|---|
Type |
AbstractParserContext.getClassContext() |
Type |
EClassContext.getClassContext() |
Type |
EObjectContext.getClassContext() |
Type |
AbstractParserContext.getInstanceContext() |
Type |
ClassContext.getInstanceContext() |
Modifier and Type | Method and Description |
---|---|
java.util.Map<java.lang.String,Type> |
EInvocationContext.getParameters() |
Modifier and Type | Method and Description |
---|---|
void |
AbstractBase2ASConversion.setClassifierContext(ExpressionInOCL pivotSpecification,
Type contextType) |
void |
Base2ASConversion.setClassifierContext(ExpressionInOCL pivotSpecification,
Type contextType) |
void |
AbstractBase2ASConversion.setContextVariable(ExpressionInOCL pivotSpecification,
java.lang.String selfVariableName,
Type contextType,
Type contextInstance) |
void |
Base2ASConversion.setContextVariable(ExpressionInOCL pivotSpecification,
java.lang.String selfVariableName,
Type contextType,
Type contextInstance) |
void |
AbstractBase2ASConversion.setType(OCLExpression pivotElement,
Type type,
boolean isRequired,
Type typeValue) |
void |
AbstractBase2ASConversion.setType(TypedElement pivotElement,
Type type)
Deprecated.
|
void |
AbstractBase2ASConversion.setType(TypedElement pivotElement,
Type type,
boolean isRequired) |
void |
AbstractBase2ASConversion.setType(VariableDeclaration pivotElement,
Type type,
boolean isRequired,
Type typeValue) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractBase2ASConversion.setParameterVariables(ExpressionInOCL pivotSpecification,
java.util.Map<java.lang.String,Type> parameters) |
void |
Base2ASConversion.setParameterVariables(ExpressionInOCL pivotSpecification,
java.util.Map<java.lang.String,Type> parameters) |
Constructor and Description |
---|
ClassContext(EnvironmentFactory environmentFactory,
org.eclipse.emf.common.util.URI uri,
Class classContext,
Type instanceContext) |
Modifier and Type | Field and Description |
---|---|
Type |
AS2EcoreReferenceVisitor.OptionalType.type |
Modifier and Type | Method and Description |
---|---|
CollectionType |
AS2Ecore.isEcoreCollection(Type asType)
Return the non-Null CollectionType if asType can use Ecore multiplicities to express the (outer) collection.
|
protected void |
AS2EcoreReferenceVisitor.setEType(org.eclipse.emf.ecore.ETypedElement eTypedElement,
Type pivotType) |
protected void |
AS2EcoreReferenceVisitor.setETypeAndMultiplicity(org.eclipse.emf.ecore.ETypedElement eTypedElement,
Type pivotType,
boolean isRequired) |
Modifier and Type | Method and Description |
---|---|
<T extends org.eclipse.emf.ecore.EClassifier> |
AS2EcoreReferenceVisitor.safeVisitAll(java.lang.Class<?> javaClass,
java.util.List<org.eclipse.emf.ecore.EGenericType> eGenericTypes,
java.util.List<T> eTypes,
java.util.List<? extends Type> asTypes) |
Constructor and Description |
---|
AS2EcoreReferenceVisitor.OptionalType(Type type,
boolean isRequired) |
Modifier and Type | Method and Description |
---|---|
Type |
Ecore2AS.getASType(org.eclipse.emf.ecore.EObject eObject) |
protected Type |
Ecore2AS.resolveDataType(org.eclipse.emf.ecore.EDataType eClassifier) |
protected Type |
Ecore2AS.resolveGenericType(java.util.Map<java.lang.String,Type> resolvedSpecializations,
org.eclipse.emf.ecore.EGenericType eGenericType) |
protected Type |
Ecore2AS.resolveSimpleType(org.eclipse.emf.ecore.EClassifier eClassifier) |
protected Type |
Ecore2AS.resolveType(java.util.Map<java.lang.String,Type> resolvedSpecializations,
org.eclipse.emf.ecore.EGenericType eGenericType) |
protected Type |
Ecore2AS.resolveTypeParameter(org.eclipse.emf.ecore.EGenericType eGenericType) |
protected Type |
Ecore2AS.resolveWildcardType(org.eclipse.emf.ecore.EGenericType eGenericType) |
Modifier and Type | Method and Description |
---|---|
java.util.Map<org.eclipse.emf.ecore.EClassifier,Type> |
Ecore2AS.getEcore2ASMap() |
Modifier and Type | Method and Description |
---|---|
protected Type |
Ecore2AS.resolveGenericType(java.util.Map<java.lang.String,Type> resolvedSpecializations,
org.eclipse.emf.ecore.EGenericType eGenericType) |
protected Type |
Ecore2AS.resolveType(java.util.Map<java.lang.String,Type> resolvedSpecializations,
org.eclipse.emf.ecore.EGenericType eGenericType) |
Modifier and Type | Class and Description |
---|---|
class |
AbstractExecutorClass |
class |
AbstractExecutorType |
Modifier and Type | Field and Description |
---|---|
protected Type |
AbstractExecutorTypedElement.type |
Modifier and Type | Method and Description |
---|---|
Type |
AbstractExecutorType.flattenedType() |
Type |
AbstractExecutorType.getCommonType(IdResolver idResolver,
Type thatType) |
Type |
AbstractExecutorTypedElement.getType() |
Type |
AbstractExecutorParameter.getTypeValue() |
Type |
AbstractExecutorType.specializeIn(CallExp expr,
Type selfType) |
Modifier and Type | Method and Description |
---|---|
java.util.List<Type> |
AbstractExecutorOperation.getRaisedExceptions() |
Modifier and Type | Method and Description |
---|---|
boolean |
AbstractExecutorType.conformsTo(StandardLibrary standardLibrary,
Type thatType) |
Type |
AbstractExecutorType.getCommonType(IdResolver idResolver,
Type thatType) |
Element |
AbstractExecutorElement.getValue(Type stereotype,
java.lang.String propertyName) |
boolean |
AbstractExecutorType.isEqualTo(StandardLibrary standardLibrary,
Type thatType) |
boolean |
AbstractExecutorType.isEqualToUnspecializedType(StandardLibrary standardLibrary,
Type type) |
void |
AbstractExecutorTypedElement.setType(Type value) |
void |
AbstractExecutorParameter.setTypeValue(Type value) |
Type |
AbstractExecutorType.specializeIn(CallExp expr,
Type selfType) |
Constructor and Description |
---|
AbstractExecutorFeature(java.lang.String name,
Type executorType) |
AbstractExecutorOperation(java.lang.String name,
Type executorType) |
AbstractExecutorParameter(java.lang.String name,
Type type,
boolean typeof) |
AbstractExecutorProperty(java.lang.String name,
Type executorType,
int propertyIndex) |
AbstractExecutorTypedElement(java.lang.String name,
Type executorType) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
PivotModelManager.isInstance(Type requiredType,
org.eclipse.emf.ecore.EObject eObject) |
Modifier and Type | Class and Description |
---|---|
class |
AbstractSpecializedType |
class |
ExecutorCollectionType |
class |
ExecutorMapType |
class |
ExecutorTupleType |
Modifier and Type | Field and Description |
---|---|
protected Type |
ExecutorCollectionType.elementType |
protected Type |
ExecutorMapType.keyType |
protected Type |
ExecutorMapType.valueType |
Modifier and Type | Method and Description |
---|---|
Type |
ExecutorCollectionType.getElementType() |
Type |
ExecutorMapType.getKeyType() |
Type |
PivotExecutorStandardLibrary.getOclType(java.lang.String typeName) |
Type |
PivotExecutorStandardLibrary.getType(org.eclipse.emf.ecore.EClassifier eClassifier) |
Type |
ExecutorMapType.getValueType() |
Modifier and Type | Method and Description |
---|---|
boolean |
ExecutorCollectionType.conformsTo(StandardLibrary standardLibrary,
Type type) |
boolean |
ExecutorMapType.conformsTo(StandardLibrary standardLibrary,
Type type) |
boolean |
ExecutorTupleType.conformsTo(StandardLibrary standardLibrary,
Type type) |
Class |
ExecutorCollectionType.getCommonType(IdResolver idResolver,
Type type) |
Class |
ExecutorMapType.getCommonType(IdResolver idResolver,
Type type) |
Class |
ExecutorTupleType.getCommonType(IdResolver idResolver,
Type type) |
protected Class |
PivotExecutorStandardLibrary.getType(Type typeType) |
boolean |
ExecutorCollectionType.isEqualTo(StandardLibrary standardLibrary,
Type type) |
boolean |
ExecutorMapType.isEqualTo(StandardLibrary standardLibrary,
Type type) |
boolean |
ExecutorTupleType.isEqualTo(StandardLibrary standardLibrary,
Type type) |
void |
ExecutorCollectionType.setElementType(Type value) |
void |
ExecutorMapType.setKeyType(Type value) |
void |
ExecutorMapType.setValueType(Type value) |
Constructor and Description |
---|
ExecutorCollectionType(java.lang.String name,
Class containerType,
Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
ExecutorMapType(java.lang.String name,
Class containerType,
Type keyType,
Type valueType) |
ExecutorTuplePart(Type type,
java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
Type |
OCLHelperImpl.getContextClass() |
Type |
QueryImpl.resultType() |
Modifier and Type | Field and Description |
---|---|
protected Type |
UnspecifiedIdImpl.type |
Constructor and Description |
---|
UnspecifiedIdImpl(IdManager idManager,
Type type) |
Modifier and Type | Method and Description |
---|---|
Type |
StaticProperty.evaluate(Evaluator evaluator,
TypeId returnTypeId,
java.lang.Object sourceValue) |
Modifier and Type | Class and Description |
---|---|
class |
EcoreExecutorEnumeration |
class |
EcoreExecutorInvalidType |
class |
EcoreExecutorType |
class |
EcoreExecutorVoidType |
class |
EcoreReflectiveEnumeration |
class |
EcoreReflectiveType |
Modifier and Type | Method and Description |
---|---|
Type |
EcoreReflectiveType.getCommonType(IdResolver idResolver,
Type type) |
Type |
EcoreExecutorManager.getDynamicTypeOf(java.lang.Object value) |
Modifier and Type | Method and Description |
---|---|
boolean |
EcoreExecutorInvalidType.conformsTo(StandardLibrary standardLibrary,
Type type) |
boolean |
EcoreExecutorVoidType.conformsTo(StandardLibrary standardLibrary,
Type type) |
Type |
EcoreReflectiveType.getCommonType(IdResolver idResolver,
Type type) |
Constructor and Description |
---|
EcoreExecutorProperty(org.eclipse.emf.ecore.EStructuralFeature eFeature,
Type executorType,
int propertyIndex) |
Modifier and Type | Interface and Description |
---|---|
interface |
ExecutorTypeArgument |
Modifier and Type | Class and Description |
---|---|
class |
AbstractReflectiveInheritanceType |
class |
DomainReflectiveType |
class |
ExecutorLambdaType |
class |
ExecutorSpecializedType |
class |
ExecutorType
An ExecutorType defines a Type using a compact representation suitable for efficient
execution and static construction.
|
class |
ExecutorTypeParameter |
class |
JavaType
JavaType supports the usage of Java Class to define the type of an object.
|
class |
ReflectiveInheritance
A ReflectiveType defines a Type using a compact representation suitable for efficient
execution.
|
Modifier and Type | Method and Description |
---|---|
Type |
DomainReflectiveType.getCommonType(IdResolver idResolver,
Type type) |
Type |
ExecutorLambdaType.getCommonType(IdResolver idResolver,
Type type) |
Type |
ExecutorSpecializedType.getCommonType(IdResolver idResolver,
Type type) |
Type |
ExecutorTupleType.getCommonType(IdResolver idResolver,
Type type) |
Type |
ExecutorType.getCommonType(IdResolver idResolver,
Type type) |
Type |
ExecutorTypeParameter.getCommonType(IdResolver idResolver,
Type type) |
Type |
AbstractIdResolver.getDynamicTypeOf(java.lang.Iterable<?> values) |
Type |
AbstractIdResolver.getDynamicTypeOf(java.lang.Object... values) |
Type |
ExecutorManager.getDynamicTypeOf(java.lang.Object value) |
Type |
ExecutableStandardLibrary.getMetaType(Type instanceType) |
Type |
ExecutableStandardLibrary.getPrimitiveType(PrimitiveTypeId typeId) |
Type |
ExecutableStandardLibrary.getSpecializedType(Type type,
TemplateParameterSubstitutions substitutions) |
Type |
AbstractIdResolver.getType(TypeId typeId,
java.lang.Object context) |
Type |
AbstractIdResolver.visitClassId(ClassId id) |
Type |
AbstractIdResolver.visitCollectedId(CollectionTypeId id) |
Type |
AbstractIdResolver.visitCollectionTypeId(CollectionTypeId id) |
Type |
AbstractIdResolver.visitDataTypeId(DataTypeId id) |
Type |
AbstractIdResolver.visitInvalidId(OclInvalidTypeId id) |
Type |
AbstractIdResolver.visitLambdaTypeId(LambdaTypeId id) |
Type |
AbstractIdResolver.visitMapTypeId(MapTypeId id) |
Type |
AbstractIdResolver.visitNullId(OclVoidTypeId id) |
Type |
AbstractIdResolver.visitPrimitiveTypeId(PrimitiveTypeId id) |
Type |
AbstractIdResolver.visitTemplateableTypeId(TemplateableTypeId id) |
Type |
AbstractIdResolver.visitTupleTypeId(TupleTypeId id) |
Type |
AbstractIdResolver.visitUnspecifiedId(UnspecifiedId id) |
Modifier and Type | Method and Description |
---|---|
boolean |
AbstractReflectiveInheritanceType.conformsTo(StandardLibrary standardLibrary,
Type type) |
boolean |
ExecutorLambdaType.conformsTo(StandardLibrary standardLibrary,
Type type) |
boolean |
ExecutorSpecializedType.conformsTo(StandardLibrary standardLibrary,
Type type) |
boolean |
ExecutorTupleType.conformsTo(StandardLibrary standardLibrary,
Type type) |
boolean |
ExecutorType.conformsTo(StandardLibrary standardLibrary,
Type type) |
boolean |
ExecutorTypeParameter.conformsTo(StandardLibrary standardLibrary,
Type type) |
boolean |
JavaType.conformsTo(StandardLibrary standardLibrary,
Type thatType) |
Value |
ExecutorManager.evaluateIteration(Type returnType,
CollectionValue sourceVal,
TypedElement accumulator,
OCLExpression body,
TypedElement[] iterators) |
CollectionType |
ExecutableStandardLibrary.getBagType(Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
CollectionType |
ExecutableStandardLibrary.getBagType(Type elementType,
IntegerValue lower,
UnlimitedNaturalValue upper) |
CollectionType |
ExecutableStandardLibrary.getCollectionType(Class genericType,
Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
CollectionType |
ExecutableStandardLibrary.getCollectionType(Class genericType,
Type elementType,
IntegerValue lower,
UnlimitedNaturalValue upper) |
Type |
DomainReflectiveType.getCommonType(IdResolver idResolver,
Type type) |
Type |
ExecutorLambdaType.getCommonType(IdResolver idResolver,
Type type) |
Type |
ExecutorSpecializedType.getCommonType(IdResolver idResolver,
Type type) |
Type |
ExecutorTupleType.getCommonType(IdResolver idResolver,
Type type) |
Type |
ExecutorType.getCommonType(IdResolver idResolver,
Type type) |
Type |
ExecutorTypeParameter.getCommonType(IdResolver idResolver,
Type type) |
Class |
JavaType.getCommonType(IdResolver idResolver,
Type type) |
LambdaType |
ExecutableStandardLibrary.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
MapType |
ExecutableStandardLibrary.getMapType(Class genericType,
Type keyType,
Type valueType) |
Class |
ExecutableStandardLibrary.getMetaclass(Type classType) |
Type |
ExecutableStandardLibrary.getMetaType(Type instanceType) |
CollectionType |
ExecutableStandardLibrary.getOrderedSetType(Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
CollectionType |
ExecutableStandardLibrary.getOrderedSetType(Type elementType,
IntegerValue lower,
UnlimitedNaturalValue upper) |
CollectionType |
ExecutableStandardLibrary.getSequenceType(Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
CollectionType |
ExecutableStandardLibrary.getSequenceType(Type elementType,
IntegerValue lower,
UnlimitedNaturalValue upper) |
CollectionType |
ExecutableStandardLibrary.getSetType(Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
CollectionType |
ExecutableStandardLibrary.getSetType(Type elementType,
IntegerValue lower,
UnlimitedNaturalValue upper) |
Type |
ExecutableStandardLibrary.getSpecializedType(Type type,
TemplateParameterSubstitutions substitutions) |
TypedElement |
AbstractIdResolver.getTuplePart(java.lang.String name,
Type type) |
boolean |
AbstractReflectiveInheritanceType.isEqualTo(StandardLibrary standardLibrary,
Type type) |
boolean |
ExecutorLambdaType.isEqualTo(StandardLibrary standardLibrary,
Type type) |
boolean |
ExecutorSpecializedType.isEqualTo(StandardLibrary standardLibrary,
Type type) |
boolean |
ExecutorTupleType.isEqualTo(StandardLibrary standardLibrary,
Type type) |
boolean |
ExecutorType.isEqualTo(StandardLibrary standardLibrary,
Type type) |
boolean |
ExecutorTypeParameter.isEqualTo(StandardLibrary standardLibrary,
Type type) |
boolean |
JavaType.isEqualTo(StandardLibrary standardLibrary,
Type thatType) |
boolean |
AbstractReflectiveInheritanceType.isEqualToUnspecializedType(StandardLibrary standardLibrary,
Type type) |
boolean |
ExecutorType.isEqualToUnspecializedType(StandardLibrary standardLibrary,
Type type) |
protected abstract boolean |
LazyModelManager.isInstance(Type type,
org.eclipse.emf.ecore.EObject element)
Implemented by subclasses to determine whether the specified element
is an instance of the specified class, according to the metamodel
semantics implemented by the environment that created this extent map.
|
Operation |
ExecutorSpecializedType.lookupOperation(StandardLibrary standardLibrary,
java.lang.String operationName,
Type... argumentTypes) |
Operation |
ExecutorTupleType.lookupOperation(StandardLibrary standardLibrary,
java.lang.String operationName,
Type... argumentTypes) |
Modifier and Type | Method and Description |
---|---|
LambdaType |
ExecutableStandardLibrary.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
Constructor and Description |
---|
ExecutorOperation(java.lang.String name,
ParameterTypes parameterTypes,
Type type,
int index,
TemplateParameters typeParameters,
LibraryFeature implementation) |
ExecutorProperty(java.lang.String name,
Type executorType,
int propertyIndex) |
ExecutorPropertyWithImplementation(java.lang.String name,
Type executorType,
int propertyIndex,
LibraryProperty implementation) |
Modifier and Type | Field and Description |
---|---|
protected java.util.Map<TemplateParameter,Type> |
TemplateSpecialisation.bindings |
static java.util.List<Type> |
PivotMetamodelManager.EMPTY_TYPE_LIST |
Modifier and Type | Method and Description |
---|---|
Type |
TemplateParameterSubstitutionVisitor.get(TemplateParameter templateParameter) |
Type |
TupleTypeManager.getCommonType(TupleType leftType,
TemplateParameterSubstitutions leftSubstitutions,
TupleType rightType,
TemplateParameterSubstitutions rightSubstitutions) |
Type |
PivotMetamodelManager.getCommonType(Type leftType,
TemplateParameterSubstitutions leftSubstitutions,
Type rightType,
TemplateParameterSubstitutions rightSubstitutions) |
Type |
PivotExecutorManager.getDynamicTypeOf(java.lang.Object value) |
Type |
PivotMetamodelManager.getOclType(java.lang.String typeName) |
Type |
PivotMetamodelManager.getPrimaryType(Type type) |
Type |
PivotIdResolver.getType(TypeId typeId,
java.lang.Object context) |
Type |
TemplateParameterSubstitutionVisitor.put(TemplateParameter formalTemplateParameter,
Type actualType) |
Type |
TupleTypeManager.TemplateParameterReferencesVisitor.put(TemplateParameter formalTemplateParameter,
Type actualType) |
Type |
TemplateParameterSubstitutionHelper.resolveBodyType(PivotMetamodelManager metamodelManager,
CallExp callExp,
Type bodyType) |
Type |
TemplateParameterSubstitutionHelper.resolveReturnType(PivotMetamodelManager metamodelManager,
CallExp callExp,
Type returnType) |
Type |
TemplateParameterSubstitutionVisitor.specializeType(Type type) |
static Type |
TemplateParameterSubstitutionVisitor.specializeType(Type type,
CallExp callExp,
EnvironmentFactoryInternal environmentFactory,
Type selfType,
Type selfTypeValue)
Return the specialized form of type analyzing expr to determine the formal to actual parameter mappings under the
supervision of a metamodelManager and using selfType as the value of OclSelf.
|
Type |
PivotMetamodelManager.specializeType(Type type,
CallExp callExp,
Type selfType,
Type selfTypeValue)
Return the specialized form of type analyzing expr to determine the formal to actual parameter mappings
using selfType as the value of OclSelf.
|
Modifier and Type | Method and Description |
---|---|
java.lang.Iterable<Type> |
PivotMetamodelManager.getAllTypes(Type pivotType)
Deprecated.
|
java.lang.Iterable<Type> |
PivotMetamodelManager.getGlobalTypes() |
Modifier and Type | Method and Description |
---|---|
protected void |
TemplateParameterSubstitutionVisitor.analyzeType(Type newFormal,
Element newActual) |
boolean |
MetamodelManagerInternal.conformsTo(Type firstType,
TemplateParameterSubstitutions firstSubstitutions,
Type secondType,
TemplateParameterSubstitutions secondSubstitutions) |
boolean |
PivotMetamodelManager.conformsTo(Type firstType,
TemplateParameterSubstitutions firstSubstitutions,
Type secondType,
TemplateParameterSubstitutions secondSubstitutions) |
static TemplateParameterSubstitutions |
TemplateParameterSubstitutionVisitor.createBindings(EnvironmentFactoryInternal environmentFactory,
Type formalType,
Type actualType) |
static TemplateParameterSubstitutions |
TemplateParameterSubstitutionVisitor.createBindings(EnvironmentFactoryInternal environmentFactory,
Type sourceType,
Type sourceTypeValue,
Operation candidateOperation) |
protected static TemplateParameterSubstitutionVisitor |
TemplateParameterSubstitutionVisitor.createVisitor(org.eclipse.emf.ecore.EObject eObject,
EnvironmentFactoryInternal environmentFactory,
Type selfType,
Type selfTypeValue) |
java.lang.Iterable<Constraint> |
MetamodelManagerInternal.getAllInvariants(Type pivotType) |
java.lang.Iterable<Constraint> |
PivotMetamodelManager.getAllInvariants(Type pivotType)
Return all constraints applicable to a type and its superclasses.
|
java.lang.Iterable<Operation> |
PivotMetamodelManager.getAllOperations(Type type,
FeatureFilter featureFilter) |
java.lang.Iterable<Operation> |
PivotMetamodelManager.getAllOperations(Type type,
FeatureFilter featureFilter,
java.lang.String name) |
java.lang.Iterable<? extends Property> |
PivotMetamodelManager.getAllProperties(Type type,
FeatureFilter featureFilter) |
java.lang.Iterable<? extends Property> |
PivotMetamodelManager.getAllProperties(Type type,
FeatureFilter featureFilter,
java.lang.String name) |
java.lang.Iterable<CompleteClass> |
PivotMetamodelManager.getAllSuperCompleteClasses(Type type) |
java.lang.Iterable<Type> |
PivotMetamodelManager.getAllTypes(Type pivotType)
Deprecated.
|
CollectionType |
PivotMetamodelManager.getCollectionType(boolean isOrdered,
boolean isUnique,
Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
Class |
MetamodelManagerInternal.getCollectionType(java.lang.String collectionTypeName,
Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
Class |
PivotMetamodelManager.getCollectionType(java.lang.String collectionTypeName,
Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
Class |
PivotMetamodelManager.getCollectionType(java.lang.String collectionTypeName,
Type elementType,
IntegerValue lower,
UnlimitedNaturalValue upper)
Deprecated.
add isNullFree argument
|
Type |
PivotMetamodelManager.getCommonType(Type leftType,
TemplateParameterSubstitutions leftSubstitutions,
Type rightType,
TemplateParameterSubstitutions rightSubstitutions) |
CompleteClassInternal |
MetamodelManagerInternal.getCompleteClass(Type pivotType) |
CompleteClassInternal |
PivotMetamodelManager.getCompleteClass(Type pivotType) |
LambdaType |
LambdaTypeManager.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
Class |
PivotMetamodelManager.getMapType(java.lang.String mapTypeName,
Type keyType,
Type valueType) |
Class |
PivotMetamodelManager.getMetaclass(Type domainInstanceType) |
java.lang.Iterable<Class> |
PivotMetamodelManager.getPartialClasses(Type pivotType) |
Type |
PivotMetamodelManager.getPrimaryType(Type type) |
Class |
TemplateSpecialisation.getSpecialisation(Type referredType) |
void |
TemplateSpecialisation.installEquivalence(Type resolvedType,
Type referencedType) |
boolean |
PivotMetamodelManager.isTypeServeable(Type type) |
static boolean |
TemplateSpecialisation.needsSpecialisation(Type referencedType)
Return true if a referencedType needs specialisation to resolve a template parameter.
|
void |
TemplateParameterSubstitutionVisitor.put(int templateParameterIndex,
Type actualType) |
Type |
TemplateParameterSubstitutionVisitor.put(TemplateParameter formalTemplateParameter,
Type actualType) |
Type |
TupleTypeManager.TemplateParameterReferencesVisitor.put(TemplateParameter formalTemplateParameter,
Type actualType) |
Type |
TemplateParameterSubstitutionHelper.resolveBodyType(PivotMetamodelManager metamodelManager,
CallExp callExp,
Type bodyType) |
Type |
TemplateParameterSubstitutionHelper.resolveReturnType(PivotMetamodelManager metamodelManager,
CallExp callExp,
Type returnType) |
Type |
TemplateParameterSubstitutionVisitor.specializeType(Type type) |
static Type |
TemplateParameterSubstitutionVisitor.specializeType(Type type,
CallExp callExp,
EnvironmentFactoryInternal environmentFactory,
Type selfType,
Type selfTypeValue)
Return the specialized form of type analyzing expr to determine the formal to actual parameter mappings under the
supervision of a metamodelManager and using selfType as the value of OclSelf.
|
Type |
PivotMetamodelManager.specializeType(Type type,
CallExp callExp,
Type selfType,
Type selfTypeValue)
Return the specialized form of type analyzing expr to determine the formal to actual parameter mappings
using selfType as the value of OclSelf.
|
Modifier and Type | Method and Description |
---|---|
boolean |
PivotMetamodelManager.addGlobalTypes(java.util.Collection<Type> types) |
protected void |
TemplateParameterSubstitutionVisitor.analyzeTypes(java.util.List<? extends Type> formalElements,
java.util.List<? extends Type> actualElements) |
protected void |
TemplateParameterSubstitutionVisitor.analyzeTypes(java.util.List<? extends Type> formalElements,
java.util.List<? extends Type> actualElements) |
LambdaType |
LambdaTypeManager.getLambdaType(java.lang.String typeName,
Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
TemplateParameterSubstitutions bindings) |
Class |
PivotMetamodelManager.getLibraryType(java.lang.String string,
java.util.List<? extends Type> templateArguments) |
<T extends Class> |
PivotMetamodelManager.getLibraryType(T libraryType,
java.util.List<? extends Type> templateArguments) |
TupleType |
TupleTypeManager.getTupleType(java.lang.String tupleName,
java.util.Map<java.lang.String,? extends Type> parts)
Return the named tuple typeId with the defined parts (which need not be alphabetically ordered).
|
protected boolean |
PivotMetamodelManager.isUnspecialized(java.util.List<TemplateParameter> templateParameters,
java.util.List<? extends Type> templateArguments) |
Constructor and Description |
---|
TemplateParameterSubstitutionVisitor(EnvironmentFactoryInternal environmentFactory,
Type selfType,
Type selfTypeValue) |
Constructor and Description |
---|
TupleTypeManager.TemplateParameterReferencesVisitor(EnvironmentFactoryInternal environmentFactory,
java.util.Collection<? extends Type> partValues) |
Modifier and Type | Method and Description |
---|---|
TemplateParameterSubstitutionVisitor |
ASResourceFactory.createTemplateParameterSubstitutionVisitor(EnvironmentFactory environmentFactory,
Type selfType,
Type selfTypeValue)
Create a visitor to resolve template substitutions.
|
TemplateParameterSubstitutionVisitor |
AbstractASResourceFactory.createTemplateParameterSubstitutionVisitor(EnvironmentFactory environmentFactory,
Type selfType,
Type selfTypeValue) |
Modifier and Type | Method and Description |
---|---|
void |
EnvironmentView.addAllStates(Type type) |
Modifier and Type | Method and Description |
---|---|
static Type |
PivotUtilInternal.findTypeOf(MetamodelManagerInternal metamodelManager,
org.eclipse.emf.ecore.EClassifier eClass) |
static Type |
PivotUtilInternal.getBehavioralType(Type type)
Deprecated.
|
static Type |
PivotUtilInternal.getBehavioralType(TypedElement element)
Deprecated.
|
static Type |
PivotUtilInternal.getType(Type type) |
static Type |
PivotUtilInternal.getType(TypedElement typedElement) |
Modifier and Type | Method and Description |
---|---|
void |
AS2Moniker.appendLambdaType(Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
java.util.Map<TemplateParameter,Type> bindings) |
protected ExpressionInOCL |
AbstractContents.createExpressionInOCL(Type type,
java.lang.String exprString) |
protected Iteration |
AbstractContents.createIteration(java.lang.String name,
Type type,
java.lang.String implementationClass,
LibraryFeature implementation,
TemplateParameter... templateParameters) |
protected Operation |
AbstractContents.createOperation(java.lang.String name,
Type type,
java.lang.String implementationClass,
LibraryFeature implementation,
TemplateParameter... templateParameters) |
static Type |
PivotUtilInternal.getBehavioralType(Type type)
Deprecated.
|
static Type |
PivotUtilInternal.getType(Type type) |
static boolean |
PivotUtilInternal.isLibraryType(Type type) |
Modifier and Type | Method and Description |
---|---|
void |
AS2Moniker.appendElement(Element element,
java.util.Map<TemplateParameter,Type> templateBindings) |
void |
AS2Moniker.appendLambdaType(Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
java.util.Map<TemplateParameter,Type> bindings) |
void |
AS2Moniker.appendLambdaType(Type contextType,
java.util.List<? extends Type> parameterTypes,
Type resultType,
java.util.Map<TemplateParameter,Type> bindings) |
void |
AS2Moniker.appendParameters(Operation operation,
java.util.Map<TemplateParameter,Type> templateBindings) |
void |
AS2Moniker.appendTemplateArguments(java.util.List<? extends Type> templateArguments,
java.util.Map<TemplateParameter,Type> templateBindings) |
void |
AS2Moniker.appendTemplateArguments(java.util.List<? extends Type> templateArguments,
java.util.Map<TemplateParameter,Type> templateBindings) |
void |
AS2Moniker.appendTemplateBindings(TemplateableElement templateableElement,
java.util.Map<TemplateParameter,Type> bindings) |
protected boolean |
AS2Moniker.isSpecialized(java.util.List<TemplateBinding> templateBindings,
java.util.Map<TemplateParameter,Type> bindings) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
EcoreOCLEValidator.validateExpression(MetamodelManagerInternal metamodelManager,
org.eclipse.emf.ecore.ENamedElement eNamedElement,
java.lang.String expression,
Type requiredType,
java.lang.String role,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
Modifier and Type | Class and Description |
---|---|
class |
CollectionTypeParametersImpl<T extends Type> |
class |
MapTypeParametersImpl<K extends Type,V extends Type> |
class |
MapTypeParametersImpl<K extends Type,V extends Type> |
Modifier and Type | Method and Description |
---|---|
Type |
UndefinedValueImpl.getElement() |
Type |
UndefinedValueImpl.getInstanceType() |
Type |
IntegerValueImpl.getType(StandardLibrary standardLibrary) |
Type |
NullValueImpl.getType(StandardLibrary standardLibrary) |
Type |
RealValueImpl.getType(StandardLibrary standardLibrary) |
Type |
UnlimitedValueImpl.getType(StandardLibrary standardLibrary) |
Modifier and Type | Method and Description |
---|---|
Type |
CollectionElementTypeProperty.evaluate(Evaluator evaluator,
TypeId returnTypeId,
java.lang.Object sourceValue) |
Modifier and Type | Method and Description |
---|---|
Type |
MapKeyTypeProperty.evaluate(Evaluator evaluator,
TypeId returnTypeId,
java.lang.Object sourceValue) |
Type |
MapValueTypeProperty.evaluate(Evaluator evaluator,
TypeId returnTypeId,
java.lang.Object sourceValue) |
Modifier and Type | Method and Description |
---|---|
Type |
OclAnyOclTypeOperation.evaluate(Evaluator evaluator,
java.lang.Object sourceVal) |
Modifier and Type | Method and Description |
---|---|
Type[] |
ParameterTypesImpl.get() |
Type |
ParameterTypesImpl.get(int index) |
Type |
TemplateParametersImpl.get(int i) |
Constructor and Description |
---|
ParameterTypesImpl(Type... parameterTypes) |
Constructor and Description |
---|
TemplateParametersImpl(java.util.List<? extends Type> parameters) |
Modifier and Type | Method and Description |
---|---|
abstract Type |
UML2AS.getASType(org.eclipse.emf.ecore.EObject eObject) |
Type |
UML2AS.Inner.getASType(org.eclipse.emf.ecore.EObject eObject) |
Type |
UML2AS.Outer.getASType(org.eclipse.emf.ecore.EObject eObject) |
Type |
ProfileAnalysis.getMetatype(java.lang.String packageName,
java.lang.String className) |
protected Type |
UML2AS.resolveType(org.eclipse.uml2.uml.Type umlType) |
protected Type |
UML2AS.resolveTypeParameter(org.eclipse.emf.ecore.EGenericType eGenericType) |
protected Type |
UML2AS.resolveWildcardType(org.eclipse.emf.ecore.EGenericType eGenericType) |
Modifier and Type | Method and Description |
---|---|
java.util.Map<Type,java.util.Set<StereotypeExtender>> |
ProfileAnalysis.computeMetatypes2typeExtensions() |
java.util.Map<Type,java.util.Set<StereotypeExtender>> |
ProfileAnalysis.computeMetatypes2typeExtensions(java.util.Set<Profile> appliedProfileClosure) |
Modifier and Type | Method and Description |
---|---|
protected void |
ModelAnalysis.printMetatypes2StereotypeExtensions(Package asPackage,
java.util.Map<Type,java.util.Set<StereotypeExtender>> metatype2typeExtensions) |
Modifier and Type | Method and Description |
---|---|
protected static void |
UMLOCLEValidator.gatherTypes(java.util.Set<Type> allTypes,
java.util.Set<Constraint> allConstraints,
Class newType)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
T |
PivotSwitch.caseType(Type object)
Returns the result of interpreting the object as an instance of 'Type'.
|
boolean |
PivotValidator.validateType(Type type,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
R |
AbstractDelegatingVisitor.visitType(Type object) |
R |
AbstractExtendingVisitor.visitType(Type object) |
R |
AbstractNullVisitor.visitType(Type object) |
R |
AbstractWrappingVisitor.visitType(Type object) |
R |
Visitor.visitType(Type object) |
Modifier and Type | Field and Description |
---|---|
protected java.util.Map<TemplateParameter,Type> |
AS2MonikerVisitor.templateBindings |
Modifier and Type | Method and Description |
---|---|
static Type |
ValueUtil.asType(java.lang.Object value) |
Type |
ParserContext.getClassContext()
Return the type of the self variable.
|
static Type |
PivotUtil.getContainingType(org.eclipse.emf.ecore.EObject element) |
Type |
OCLHelper.getContextClass()
Obtains my OCL context classifier as a classifier.
|
static Type[] |
TypeUtil.getLambdaParameterTypes(LambdaType lambdaType) |
static Type[] |
TypeUtil.getOperationParameterTypes(Operation anOperation) |
static Type |
TypeUtil.getPrimitiveType(StandardLibrary standardLibrary,
PrimitiveTypeId typeId) |
Type |
Query.resultType()
Obtains the OCL result type of the query.
|
Modifier and Type | Method and Description |
---|---|
static CollectionTypeParameters<Type> |
TypeUtil.createCollectionTypeParameters(Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
static CollectionTypeParameters<Type> |
TypeUtil.createCollectionTypeParameters(Type elementType,
IntegerValue lower,
UnlimitedNaturalValue upper)
Deprecated.
add isNullFree argument
|
static MapTypeParameters<Type,Type> |
TypeUtil.createMapTypeParameters(Type keyType,
Type valueType) |
static MapTypeParameters<Type,Type> |
TypeUtil.createMapTypeParameters(Type keyType,
Type valueType) |
Modifier and Type | Method and Description |
---|---|
protected void |
AS2XMIidVisitor.appendType(Type type) |
protected void |
ToStringVisitor.appendType(Type type) |
static BagType |
PivotUtil.createBagType(BagType unspecializedType,
Type elementType) |
static CollectionType |
PivotUtil.createCollectionType(CollectionType unspecializedType,
Type elementType) |
protected static <T extends CollectionType> |
PivotUtil.createCollectionType(T specializedType,
T unspecializedType,
Type instanceType) |
static CollectionTypeParameters<Type> |
TypeUtil.createCollectionTypeParameters(Type elementType,
boolean isNullFree,
IntegerValue lower,
UnlimitedNaturalValue upper) |
static CollectionTypeParameters<Type> |
TypeUtil.createCollectionTypeParameters(Type elementType,
IntegerValue lower,
UnlimitedNaturalValue upper)
Deprecated.
add isNullFree argument
|
static Iteration |
PivotUtil.createIteration(java.lang.String name,
Type type,
java.lang.String implementationClass,
LibraryFeature implementation) |
static MapType |
PivotUtil.createMapType(MapType unspecializedType,
Type keyType,
Type valueType) |
protected static <T extends MapType> |
PivotUtil.createMapType(T specializedType,
T unspecializedType,
Type keyType,
Type valueType) |
static MapTypeParameters<Type,Type> |
TypeUtil.createMapTypeParameters(Type keyType,
Type valueType) |
static Operation |
PivotUtil.createOperation(org.eclipse.emf.ecore.EOperation eOperation,
Type type,
java.lang.String implementationClass,
LibraryFeature implementation) |
static Operation |
PivotUtil.createOperation(java.lang.String name,
Type type,
java.lang.String implementationClass,
LibraryFeature implementation) |
static OrderedSetType |
PivotUtil.createOrderedSetType(OrderedSetType unspecializedType,
Type elementType) |
static Parameter |
PivotUtil.createParameter(java.lang.String name,
Type asType,
boolean isRequired) |
static ParameterTypes |
TypeUtil.createParameterTypes(Type... parameterTypes) |
static Property |
PivotUtil.createProperty(org.eclipse.emf.ecore.EStructuralFeature eFeature,
Type type) |
static Property |
PivotUtil.createProperty(java.lang.String name,
Type type) |
static SequenceType |
PivotUtil.createSequenceType(SequenceType unspecializedType,
Type elementType) |
static SetType |
PivotUtil.createSetType(SetType unspecializedType,
Type elementType) |
static TemplateParameterSubstitution |
PivotUtil.createTemplateParameterSubstitution(TemplateParameter formal,
Type actual) |
static Variable |
PivotUtil.createVariable(java.lang.String name,
Type asType,
boolean isRequired,
OCLExpression asInitExpression) |
static boolean |
PivotUtil.debugWellContainedness(Type type) |
static boolean |
PivotUtil.isAggregate(Type type)
Return true if type uses an aggregate (->) rather than object (.) navigation operator.
|
java.lang.Object |
ASSaverResolveVisitor.visitType(Type object) |
Modifier and Type | Method and Description |
---|---|
static TemplateParameters |
TypeUtil.createTemplateParameters(java.util.List<? extends Type> parameters) |
Constructor and Description |
---|
AS2MonikerVisitor(AS2Moniker context,
java.util.Map<TemplateParameter,Type> templateBindings) |
Modifier and Type | Interface and Description |
---|---|
interface |
CollectionTypeParameters<T extends Type> |
interface |
MapTypeParameters<K extends Type,V extends Type> |
interface |
MapTypeParameters<K extends Type,V extends Type> |
Modifier and Type | Method and Description |
---|---|
Type |
TemplateParameterSubstitutions.get(TemplateParameter templateParameter)
Return the highest common actual type of the formal templateParameter, returning null if unknown.
|
Type |
TemplateParameterSubstitutions.Empty.get(TemplateParameter templateParameter) |
Type |
InvalidValueException.getType(StandardLibrary standardLibrary) |
Type |
TemplateParameterSubstitutions.put(TemplateParameter formalTemplateParameter,
Type actualType)
Install actualType as the resolutions of formalTemplateParameter, returning the highest common type of actualType
and any pre-existing resolution.
|
Type |
TemplateParameterSubstitutions.Empty.put(TemplateParameter formalTemplateParameter,
Type actualType) |
Modifier and Type | Method and Description |
---|---|
Type |
TemplateParameterSubstitutions.put(TemplateParameter formalTemplateParameter,
Type actualType)
Install actualType as the resolutions of formalTemplateParameter, returning the highest common type of actualType
and any pre-existing resolution.
|
Type |
TemplateParameterSubstitutions.Empty.put(TemplateParameter formalTemplateParameter,
Type actualType) |
Modifier and Type | Method and Description |
---|---|
Type |
CS2AS.lookupType(ElementCS csElement,
PathNameCS csPathName) |
Type |
CS2ASConversion.lookupType(ElementCS csElement,
PathNameCS csPathName) |
Type |
CS2AS.lookupTypeQualifier(PathNameCS csPathName) |
Type |
CS2AS.lookupTypeValue(ElementCS csElement,
PathNameCS csPathName) |
Type |
CS2ASConversion.lookupTypeValue(ElementCS csElement,
PathNameCS csPathName) |
protected Type |
BaseCSContainmentVisitor.refreshClassifier(Class pivotElement,
ClassCS csElement) |
Type |
CS2ASConversion.refreshRequiredType(TypedElement pivotElement,
TypedElementCS csTypedElement) |
Modifier and Type | Method and Description |
---|---|
void |
CS2ASConversion.installPivotTypeWithMultiplicity(Type pivotType,
TypedRefCS csElement) |
Modifier and Type | Method and Description |
---|---|
protected void |
BaseLabelProvider.appendType(java.lang.StringBuilder s,
Type type) |
protected java.lang.String |
BaseLabelProvider.text(Type ele) |
Modifier and Type | Method and Description |
---|---|
protected void |
BaseLabelProvider.appendSuperTypes(java.lang.StringBuilder s,
java.util.List<? extends Type> superTypes) |
Modifier and Type | Method and Description |
---|---|
Type |
TypedTypeRefCS.getReferredType()
Returns the value of the 'Referred Type' reference.
|
Modifier and Type | Method and Description |
---|---|
Type |
TypedTypeRefCSImpl.getReferredType() |
Modifier and Type | Method and Description |
---|---|
ElementCS |
CompleteOCLDeclarationVisitor.visitType(Type object) |
Modifier and Type | Field and Description |
---|---|
protected Type |
CompleteOCLCSContainmentVisitor.OperationDeclScopeFilter.sourceType |
Constructor and Description |
---|
CompleteOCLCSContainmentVisitor.OperationDeclScopeFilter(Type sourceType,
java.util.List<ParameterCS> csParameters) |
Modifier and Type | Method and Description |
---|---|
protected Type |
EssentialOCLDeclarationVisitor.getNonNullType(Type asType)
Return a non-null type from asType, replacing any null value by the OclInvalidType.
|
Modifier and Type | Method and Description |
---|---|
protected TypedRefCS |
EssentialOCLDeclarationVisitor.createTypeRefCS(Type asType) |
protected TypedRefCS |
EssentialOCLDeclarationVisitor.createTypeRefCS(Type asType,
Namespace scope) |
protected Type |
EssentialOCLDeclarationVisitor.getNonNullType(Type asType)
Return a non-null type from asType, replacing any null value by the OclInvalidType.
|
ElementCS |
EssentialOCLReferenceVisitor.visitType(Type object) |
Modifier and Type | Field and Description |
---|---|
protected Type |
AbstractOperationMatcher.sourceType |
protected Type |
AbstractOperationMatcher.sourceTypeValue |
Constructor and Description |
---|
AbstractOperationMatcher(EnvironmentFactoryInternal environmentFactory,
Type sourceType,
Type sourceTypeValue) |
BinaryOperationMatcher(EnvironmentFactoryInternal environmentFactory,
Type sourceType,
Type sourceTypeValue,
ExpCS csArgument) |
OperationMatcher(EnvironmentFactoryInternal environmentFactory,
Type sourceType,
Type sourceTypeValue,
RoundBracketedClauseCS csRoundBracketedClause) |
UnaryOperationMatcher(EnvironmentFactoryInternal environmentFactory,
Type sourceType,
Type sourceTypeValue) |
Modifier and Type | Field and Description |
---|---|
protected Type |
EssentialOCLCSLeft2RightVisitor.UnresolvedInvocations.asType |
Modifier and Type | Method and Description |
---|---|
Type |
EssentialOCLCSLeft2RightVisitor.Invocations.getSourceType() |
Type |
EssentialOCLCSLeft2RightVisitor.ResolvedInvocation.getSourceType() |
Type |
EssentialOCLCSLeft2RightVisitor.UnresolvedInvocations.getSourceType() |
protected Type |
EssentialOCLCSLeft2RightVisitor.resolvePropertyReturnType(NavigationCallExp callExp,
NameExpCS csNameExp,
Property property) |
Modifier and Type | Method and Description |
---|---|
protected OCLExpression |
EssentialOCLCSLeft2RightVisitor.createImplicitSourceVariableExp(AbstractNameExpCS csNameExp,
Type owningType) |
protected VariableDeclaration |
EssentialOCLCSLeft2RightVisitor.getImplicitSource(ModelElementCS csExp,
Type requiredType) |
protected EssentialOCLCSLeft2RightVisitor.Invocations |
EssentialOCLCSLeft2RightVisitor.getInvocations(Type asSourceType,
Type asSourceTypeValue,
RoundBracketedClauseCS csRoundBracketedClause) |
protected EssentialOCLCSLeft2RightVisitor.Invocations |
EssentialOCLCSLeft2RightVisitor.getInvocations(Type asType,
Type asTypeValue,
java.lang.String name,
int iteratorCount,
int expressionCount)
Return all operations/iterations in asType and its superclasses whose name is name.
|
protected boolean |
EssentialOCLCSLeft2RightVisitor.isInvalidType(Type type) |
protected Operation |
EssentialOCLCSLeft2RightVisitor.resolveCoercionFrom(Type argType,
Type parameterType)
Return a non-null coercion Operation from argType to parameterType if one is available and needed.
|
protected OCLExpression |
EssentialOCLCSLeft2RightVisitor.resolveImplicitAsSet(OCLExpression sourceExp,
Type sourceType,
InfixExpCS csOperator) |
protected TypeExp |
EssentialOCLCSLeft2RightVisitor.resolveTypeExp(ExpCS csExp,
Type type) |
Constructor and Description |
---|
EssentialOCLCSLeft2RightVisitor.UnresolvedInvocations(Type asType,
java.util.List<NamedElement> invocations) |
Modifier and Type | Method and Description |
---|---|
protected void |
EssentialOCLLabelProvider.appendType(java.lang.StringBuilder s,
Type type) |
Modifier and Type | Method and Description |
---|---|
Type |
TypeNameExpCS.getElement()
Returns the value of the 'Element' reference.
|
Type |
AbstractNameExpCS.getSourceType()
Returns the value of the 'Source Type' reference.
|
Type |
AbstractNameExpCS.getSourceTypeValue()
Returns the value of the 'Source Type Value' reference.
|
Modifier and Type | Method and Description |
---|---|
void |
AbstractNameExpCS.setSourceType(Type value)
Sets the value of the '
Source Type ' reference. |
void |
AbstractNameExpCS.setSourceTypeValue(Type value)
Sets the value of the '
Source Type Value ' reference. |
Modifier and Type | Field and Description |
---|---|
protected Type |
AbstractNameExpCSImpl.sourceType
The cached value of the '
Source Type ' reference. |
protected Type |
AbstractNameExpCSImpl.sourceTypeValue
The cached value of the '
Source Type Value ' reference. |
Modifier and Type | Method and Description |
---|---|
Type |
TypeNameExpCSImpl.getElement() |
Type |
AbstractNameExpCSImpl.getSourceType() |
Type |
AbstractNameExpCSImpl.getSourceTypeValue() |
Modifier and Type | Method and Description |
---|---|
void |
AbstractNameExpCSImpl.setSourceType(Type newSourceType) |
void |
AbstractNameExpCSImpl.setSourceTypeValue(Type newSourceTypeValue) |