@Override
public OperationDefinition handle(
FeatureCallExpression featureCallExpression, Type contextType, ArrayList<Type> argTypes)
throws AnalysisInterruptException {
// get the manager
StandardLibraryOperationDefinitionContainer manager =
OperationDefinitionManager.getInstance().getStandardLibraryOperationDefinitionContainer();
// get the result
OperationDefinition result =
manager.getOperation(
((MethodCallExpression) featureCallExpression).getMethod().getName(), argTypes);
if (result != null) {
OperationDefinitionManager.getInstance().registerHandledOperationDefinition(result);
Expression target = featureCallExpression.getTarget();
if (target == null) {
LogBook.getInstance()
.addError(featureCallExpression, IMessage_TypeResolution.OPERATION_REQUIRES_TARGET);
SetType returnType = EolFactory.eINSTANCE.createSetType();
AnyType contentType = EolFactory.eINSTANCE.createAnyType();
returnType.setContentType(contentType);
result.setReturnType(returnType);
return result;
}
AnyType targetType = (AnyType) EcoreUtil.copy(target.getResolvedType());
if (targetType == null) {
LogBook.getInstance()
.addError(target, IMessage_TypeResolution.EXPRESSION_DOES_NOT_HAVE_A_TYPE);
SetType returnType = EolFactory.eINSTANCE.createSetType();
AnyType contentType = EolFactory.eINSTANCE.createAnyType();
returnType.setContentType(contentType);
result.setReturnType(returnType);
return result;
}
SetType returnType = EolFactory.eINSTANCE.createSetType();
AnyType contentType = EolFactory.eINSTANCE.createAnyType();
if (TypeUtil.getInstance().isInstanceofAnyType(targetType)) {
contentType.getDynamicTypes().addAll(targetType.getDynamicTypes());
} else {
contentType.getDynamicTypes().add(targetType);
}
returnType.setContentType(contentType);
result.setReturnType(returnType);
return result;
}
return result;
}
@Override
public OperationDefinition handle(
FeatureCallExpression featureCallExpression, Type contextType, ArrayList<Type> argTypes)
throws AnalysisInterruptException {
// get the manager
StandardLibraryOperationDefinitionContainer manager =
OperationDefinitionManager.getInstance().getStandardLibraryOperationDefinitionContainer();
OperationDefinition result = null;
if (contextType instanceof MapType) {
result =
manager.getOperation(
((MethodCallExpression) featureCallExpression).getMethod().getName(),
contextType,
argTypes);
} else if (TypeUtil.getInstance().isInstanceofAnyType(contextType)) {
if (TypeInferenceManager.getInstance()
.containsDynamicType((AnyType) contextType, EolPackage.eINSTANCE.getMapType())) {
ArrayList<Type> dyntypes =
TypeInferenceManager.getInstance()
.getDynamicTypes((AnyType) contextType, EolPackage.eINSTANCE.getMapType());
result =
manager.getOperation(
((MethodCallExpression) featureCallExpression).getMethod().getName(),
dyntypes.get(0),
argTypes);
}
}
// if result is not null
if (result != null) {
// register the result as it has been handled
OperationDefinitionManager.getInstance().registerHandledOperationDefinition(result);
// get the target
Expression target = featureCallExpression.getTarget();
// if target is null, report and return
if (target == null) {
LogBook.getInstance()
.addError(featureCallExpression, IMessage_TypeResolution.OPERATION_REQUIRES_TARGET);
return null;
} else {
// get the target type copy
Type targetType = EcoreUtil.copy(target.getResolvedType());
// if target type is null, report and return (this will not happend)
if (targetType == null) {
LogBook.getInstance()
.addError(target, IMessage_TypeResolution.EXPRESSION_DOES_NOT_HAVE_A_TYPE);
MapType returnType = EolFactory.eINSTANCE.createMapType();
returnType.setKeyType(EolFactory.eINSTANCE.createAnyType());
returnType.setValueType(EolFactory.eINSTANCE.createAnyType());
TypeResolutionContext.getInstanace().setAssets(returnType.getKeyType(), returnType);
TypeResolutionContext.getInstanace().setAssets(returnType.getValueType(), returnType);
result.setReturnType(returnType);
return result;
}
// if target type is collection type
if (targetType instanceof MapType) {
MapType _targetType = (MapType) EcoreUtil.copy(targetType);
AnyType keyType = _targetType.getKeyType();
AnyType valueType = _targetType.getValueType();
keyType.getDynamicTypes().clear();
valueType.getDynamicTypes().clear();
result.setContextType(EcoreUtil.copy(_targetType));
result.setReturnType(_targetType);
if (target instanceof NameExpression) {
TypeResolutionContext.getInstanace().registerNameExpression(target, _targetType);
}
return result;
}
// else if target type is an instance of any
else if (TypeUtil.getInstance().isInstanceofAnyType(targetType)) {
// get dynamic types that are of type collection
ArrayList<Type> dyntypes =
TypeInferenceManager.getInstance()
.getDynamicTypes((AnyType) targetType, EolPackage.eINSTANCE.getMapType());
if (dyntypes.size() == 0) {
LogBook.getInstance()
.addError(target, IMessage_TypeResolution.EXPRESSION_MAY_NOT_BE_MAP);
MapType returnType = EolFactory.eINSTANCE.createMapType();
returnType.setKeyType(EolFactory.eINSTANCE.createAnyType());
returnType.setValueType(EolFactory.eINSTANCE.createAnyType());
TypeResolutionContext.getInstanace().setAssets(returnType.getKeyType(), returnType);
TypeResolutionContext.getInstanace().setAssets(returnType.getValueType(), returnType);
result.setReturnType(returnType);
return result;
} else {
for (Type t : dyntypes) {
MapType _targetType = (MapType) EcoreUtil.copy(t);
AnyType keyType = _targetType.getKeyType();
AnyType valueType = _targetType.getValueType();
keyType.getDynamicTypes().clear();
valueType.getDynamicTypes().clear();
}
result.setReturnType(EcoreUtil.copy(targetType));
if (target instanceof NameExpression) {
TypeResolutionContext.getInstanace()
.registerNameExpression(target, EcoreUtil.copy(targetType));
}
return result;
}
} else {
LogBook.getInstance().addError(target, IMessage_TypeResolution.EXPRESSION_MAY_NOT_BE_MAP);
MapType returnType = EolFactory.eINSTANCE.createMapType();
returnType.setKeyType(EolFactory.eINSTANCE.createAnyType());
returnType.setValueType(EolFactory.eINSTANCE.createAnyType());
TypeResolutionContext.getInstanace().setAssets(returnType.getKeyType(), returnType);
TypeResolutionContext.getInstanace().setAssets(returnType.getValueType(), returnType);
result.setReturnType(returnType);
return result;
}
}
}
return result;
}
@Override
public OperationDefinition handle(
FeatureCallExpression featureCallExpression, Type contextType, ArrayList<Type> argTypes)
throws AnalysisInterruptException {
// get the manager
StandardLibraryOperationDefinitionContainer manager =
OperationDefinitionManager.getInstance().getStandardLibraryOperationDefinitionContainer();
// get the result
OperationDefinition result =
manager.getOperation(
((MethodCallExpression) featureCallExpression).getMethod().getName(), argTypes);
// if result is not null
if (result != null) {
// register the result as it has been handled
OperationDefinitionManager.getInstance().registerHandledOperationDefinition(result);
// get the target
Expression target = featureCallExpression.getTarget();
// if target is null, report and return
if (target == null) {
LogBook.getInstance()
.addError(featureCallExpression, IMessage_TypeResolution.OPERATION_REQUIRES_TARGET);
return result;
}
// get the target type copy
Type targetType = EcoreUtil.copy(target.getResolvedType());
// if target type is null, report and return (this will not happend)
if (targetType == null) {
LogBook.getInstance()
.addError(target, IMessage_TypeResolution.EXPRESSION_DOES_NOT_HAVE_A_TYPE);
return result;
}
if (argTypes.size() == 2) {
Type argType = argTypes.get(0);
Type argType1 = argTypes.get(1);
if (argType instanceof IntegerType) {
} else if (TypeUtil.getInstance().isInstanceofAnyType(argType)) {
if (TypeInferenceManager.getInstance()
.containsDynamicType((AnyType) argType, EolPackage.eINSTANCE.getIntegerType())) {
} else {
LogBook.getInstance()
.addError(argType, IMessage_TypeResolution.EXPRESSION_MAY_NOT_BE_INTEGER);
}
} else {
LogBook.getInstance()
.addError(argType, IMessage_TypeResolution.EXPRESSION_MAY_NOT_BE_INTEGER);
}
if (argType1 instanceof IntegerType) {
} else if (TypeUtil.getInstance().isInstanceofAnyType(argType)) {
if (TypeInferenceManager.getInstance()
.containsDynamicType((AnyType) argType1, EolPackage.eINSTANCE.getIntegerType())) {
} else {
LogBook.getInstance()
.addError(argType1, IMessage_TypeResolution.EXPRESSION_MAY_NOT_BE_INTEGER);
}
} else {
LogBook.getInstance()
.addError(argType1, IMessage_TypeResolution.EXPRESSION_MAY_NOT_BE_INTEGER);
}
}
// if target type is collection type
if (targetType instanceof IntegerType) {
return result;
}
// else if target type is an instance of any
else if (TypeUtil.getInstance().isInstanceofAnyType(targetType)) {
// get dynamic types that are of type collection
ArrayList<Type> dyntypes =
TypeInferenceManager.getInstance()
.getDynamicTypes((AnyType) targetType, EolPackage.eINSTANCE.getIntegerType());
// if size is 0, no collection type is found, report and return
if (dyntypes.size() == 0) {
LogBook.getInstance()
.addError(target, IMessage_TypeResolution.EXPRESSION_MAY_NOT_BE_INTEGER);
return result;
} else {
return result;
}
} else {
LogBook.getInstance()
.addError(target, IMessage_TypeResolution.EXPRESSION_MAY_NOT_BE_INTEGER);
return result;
}
}
return result;
}
