use of org.finos.legend.pure.m3.coreinstance.meta.pure.metamodel.type.Enum in project legend-pure by finos.
the class TestJavaStandaloneLibraryGenerator method setUp.
@BeforeClass
public static void setUp() {
MutableCodeStorage codeStorage = new PureCodeStorage(null, new ClassLoaderCodeStorage(CodeRepository.newPlatformCodeRepository()), new EmptyCodeStorage(new GenericCodeRepository("test", "test::.*", PlatformCodeRepository.NAME)));
setUpRuntime(codeStorage, codeStorage.getAllRepositories(), Tuples.pair("/test/standalone/tests.pure", "import test::standalone::*;\n" + "\n" + "Enum test::standalone::TestEnumeration\n" + "{\n" + " TYPE1, TYPE2, TYPE3\n" + "}\n" + "\n" + "Class test::standalone::TestClassA\n" + "{\n" + " name : String[1];\n" + "}\n" + "\n" + "Class test::standalone::TestClassB\n" + "{\n" + " id:Integer[1];\n" + " type:TestEnumeration[1];\n" + "}\n" + "\n" + "Association test::standalone::TestAssociation\n" + "{\n" + " toA:TestClassA[1];\n" + " toB:TestClassB[1];\n" + "}\n" + "\n" + "function <<access.externalizable>> test::standalone::joinWithCommas(strings:String[*]):String[1]\n" + "{\n" + " $strings->joinStrings(', ');\n" + "}\n" + "\n" + "function <<access.externalizable>> test::standalone::testWithReflection(prefix:String[1]):String[1]\n" + "{\n" + " let f = testWithReflection_String_1__String_1_;\n" + " let class = TestClassA;\n" + " let association = TestAssociation;\n" + " let b = ^TestClassB(id=43, type=TestEnumeration.TYPE3, toA=^TestClassA(name=$prefix));\n" + " if($class == $association, |'ERROR', |$b.toA.name + $f.functionName->toOne());\n" + "}\n"));
}
use of org.finos.legend.pure.m3.coreinstance.meta.pure.metamodel.type.Enum in project legend-pure by finos.
the class FunctionExpressionProcessor method process.
@Override
public void process(FunctionExpression functionExpression, final ProcessorState state, final Matcher matcher, final ModelRepository repository, final Context context, final ProcessorSupport processorSupport) {
TypeInferenceObserver observer = state.getObserver();
state.pushTypeInferenceContext();
ListIterable<? extends ValueSpecification> parametersValues = ListHelper.wrapListIterable(functionExpression._parametersValues());
// Process the function's parameters (FIRST PASS)
boolean inferenceSuccess = firstPassTypeInference(functionExpression, parametersValues, state, matcher, repository, context, processorSupport);
// Function matching
ListIterable<? extends Function<?>> foundFunctions = null != functionExpression._funcCoreInstance() ? Lists.immutable.with((Function<?>) ImportStub.withImportStubByPass(functionExpression._funcCoreInstance(), processorSupport)) : Lists.immutable.empty();
String functionName = null;
if (foundFunctions.isEmpty()) {
// Check if the function is a property
InstanceValue propertyNameInstanceVal = functionExpression._propertyName();
if (null != propertyNameInstanceVal) {
ValueSpecification source = parametersValues.get(0);
String propertyName = ImportStub.withImportStubByPass(propertyNameInstanceVal._valuesCoreInstance().toList().get(0), processorSupport).getName();
GenericType sourceGenericType = extractAndValidateGenericType(processorSupport, propertyName, source);
// Is it an enum?
if (org.finos.legend.pure.m3.navigation.generictype.GenericType.subTypeOf(sourceGenericType, org.finos.legend.pure.m3.navigation.type.Type.wrapGenericType(processorSupport.package_getByUserPath(M3Paths.Enumeration), processorSupport), processorSupport)) {
reprocessEnumValueInExtractEnumValue(functionExpression, propertyName, state, repository, processorSupport);
} else {
Multiplicity sourceMultiplicity = source._multiplicity();
if (org.finos.legend.pure.m3.navigation.multiplicity.Multiplicity.isToOne(sourceMultiplicity, true)) {
AbstractProperty<?> propertyFunc = findFunctionForPropertyBasedOnMultiplicity(functionExpression, sourceGenericType, state, processorSupport, matcher);
if (null != propertyFunc) {
if (MilestoningFunctions.isGeneratedMilestonedQualifiedPropertyWithMissingDates(propertyFunc, processorSupport)) {
propertyFunc = (AbstractProperty<?>) MilestoningDatesPropagationFunctions.getMilestoningQualifiedPropertyWithAllDatesSupplied(functionExpression, state, repository, context, processorSupport, propertyNameInstanceVal, source, propertyName, propertyFunc);
}
foundFunctions = Lists.immutable.with(propertyFunc);
}
} else {
// Automap
reprocessPropertyForManySources(functionExpression, parametersValues, M3Properties.propertyName, sourceGenericType, repository, processorSupport);
// The parameters values are now different, so update
parametersValues = functionExpression._parametersValues().toList();
// Have another go at type inference
inferenceSuccess = firstPassTypeInference(functionExpression, parametersValues, state, matcher, repository, context, processorSupport);
// return;
}
}
} else // Check if the function is a qualifiedProperty
{
InstanceValue qualifiedPropertyNameVal = functionExpression._qualifiedPropertyName();
if (null != qualifiedPropertyNameVal) {
ValueSpecification source = parametersValues.get(0);
String qualifiedPropertyName = ImportStub.withImportStubByPass(qualifiedPropertyNameVal._valuesCoreInstance().toList().get(0), processorSupport).getName();
GenericType sourceGenericType = extractAndValidateGenericType(processorSupport, qualifiedPropertyName, source);
Multiplicity sourceMultiplicity = source._multiplicity();
// }
if (org.finos.legend.pure.m3.navigation.multiplicity.Multiplicity.isToOne(sourceMultiplicity, true)) {
ListIterable<QualifiedProperty<?>> qualifiedPropertyFuncs = findFunctionsForQualifiedPropertyBasedOnMultiplicity(functionExpression, sourceGenericType, parametersValues, processorSupport, matcher, state);
if (qualifiedPropertyFuncs.size() == 1 && MilestoningFunctions.isGeneratedMilestonedQualifiedPropertyWithMissingDates(qualifiedPropertyFuncs.getFirst(), processorSupport)) {
Function<?> mqp = (Function<?>) MilestoningDatesPropagationFunctions.getMilestoningQualifiedPropertyWithAllDatesSupplied(functionExpression, state, repository, context, processorSupport, qualifiedPropertyNameVal, source, qualifiedPropertyName, qualifiedPropertyFuncs.getFirst());
foundFunctions = Lists.immutable.with(mqp);
} else {
foundFunctions = qualifiedPropertyFuncs;
}
} else {
// Automap
reprocessPropertyForManySources(functionExpression, parametersValues, M3Properties.qualifiedPropertyName, sourceGenericType, repository, processorSupport);
// The parameters values are now different, so update
parametersValues = functionExpression._parametersValues().toList();
// Have another go at type inference
inferenceSuccess = firstPassTypeInference(functionExpression, parametersValues, state, matcher, repository, context, processorSupport);
}
}
}
if (foundFunctions.isEmpty()) {
// Match the functionExpression with the Function library (may still need to do it even if the function is a property because it may have been reprocessed as a Collect!)
foundFunctions = FunctionExpressionMatcher.findMatchingFunctionsInTheRepository(functionExpression, true, processorSupport);
functionName = getFunctionName(functionExpression);
}
}
Function<?> finalFunction = null;
boolean someInferenceFailed = false;
for (Function<?> foundFunction : foundFunctions) {
functionExpression._funcRemove();
functionExpression._funcCoreInstance(foundFunction);
state.getTypeInferenceContext().setScope(foundFunction);
FunctionType foundFunctionType = (FunctionType) processorSupport.function_getFunctionType(foundFunction);
observer.functionMatched(foundFunction, foundFunctionType);
// SECOND PASS
ListIterable<? extends VariableExpression> paramsType = foundFunctionType._parameters().toList();
// enumValues, autoMaps, etc...
parametersValues = functionExpression._parametersValues().toList();
boolean success = true;
if (!inferenceSuccess) {
observer.firstPassInferenceFailed();
observer.shiftTab();
observer.shiftTab();
observer.matchTypeParamsFromFoundFunction(foundFunction);
observer.shiftTab();
for (int z = 0; z < parametersValues.size(); z++) {
ValueSpecification instance = parametersValues.get(z);
if (isInferenceSuccess(instance, processorSupport)) {
observer.matchParam(z);
GenericType templateGenType = paramsType.get(z)._genericType();
TypeInferenceContext typeInferenceContext = state.getTypeInferenceContext();
typeInferenceContext.register(templateGenType, instance._genericType(), typeInferenceContext.getTopContext(), observer);
typeInferenceContext.registerMul(paramsType.get(z)._multiplicity(), instance._multiplicity(), typeInferenceContext.getTopContext(), observer);
} else {
observer.paramInferenceFailed(z);
}
}
observer.unShiftTab();
observer.reverseMatching();
for (int z = 0; z < parametersValues.size(); z++) {
final ValueSpecification instance = parametersValues.get(z);
observer.processingParameter(functionExpression, z, instance);
GenericType templateGenType = paramsType.get(z)._genericType();
Multiplicity templateMultiplicity = paramsType.get(z)._multiplicity();
GenericType resolvedGenericType = (GenericType) org.finos.legend.pure.m3.navigation.generictype.GenericType.makeTypeArgumentAsConcreteAsPossible(templateGenType, state.getTypeInferenceContext().getTypeParameterToGenericType(), state.getTypeInferenceContext().getMultiplicityParameterToMultiplicity(), processorSupport);
Multiplicity resolvedMultiplicity = (Multiplicity) org.finos.legend.pure.m3.navigation.multiplicity.Multiplicity.makeMultiplicityAsConcreteAsPossible(templateMultiplicity, state.getTypeInferenceContext().getMultiplicityParameterToMultiplicity());
if (isLambdaWithEmptyParamType(instance, processorSupport)) {
observer.shiftTab();
final VariableExpression templateToMatchLambdaTo = Objects.requireNonNull(getRawTypeFromGenericType(foundFunction, processorSupport))._parameters().toList().get(z);
observer.register(templateToMatchLambdaTo, templateToMatchLambdaTo, state.getTypeInferenceContext(), state.getTypeInferenceContext());
for (final CoreInstance val : ((InstanceValue) instance)._valuesCoreInstance()) {
if (val instanceof LambdaFunction) {
org.eclipse.collections.api.block.function.Function<CoreInstance, Boolean> processParamTypesOfLambdaUsedAsAFunctionExpressionParamValue = coreInstance -> !TypeInference.processParamTypesOfLambdaUsedAsAFunctionExpressionParamValue(instance, (LambdaFunction<?>) val, templateToMatchLambdaTo, matcher, state, repository, processorSupport);
success = success && MilestoningDatesPropagationFunctions.possiblyExecuteInNewMilestoningDateContext(functionExpression, val, processParamTypesOfLambdaUsedAsAFunctionExpressionParamValue, state, repository, context, processorSupport);
// Manage return type in any case
GenericType templateGenericType = templateToMatchLambdaTo._genericType();
ClassInstance functionClass = (ClassInstance) processorSupport.package_getByUserPath(M3Paths.Function);
if (org.finos.legend.pure.m3.navigation.generictype.GenericType.isGenericTypeConcrete(templateGenericType, processorSupport) && org.finos.legend.pure.m3.navigation.type.Type.subTypeOf(ImportStub.withImportStubByPass(templateGenericType._rawTypeCoreInstance(), processorSupport), functionClass, processorSupport)) {
GenericType templateGenFunctionType = templateGenericType._typeArguments().toList().get(0);
if (org.finos.legend.pure.m3.navigation.generictype.GenericType.isGenericTypeConcrete(templateGenFunctionType, processorSupport) && !org.finos.legend.pure.m3.navigation.type.Type.isTopType(Instance.getValueForMetaPropertyToOneResolved(templateGenFunctionType, M3Properties.rawType, processorSupport), processorSupport)) {
GenericType templateReturnType = null != ImportStub.withImportStubByPass(templateGenFunctionType._rawTypeCoreInstance(), processorSupport) ? ((FunctionType) ImportStub.withImportStubByPass(templateGenFunctionType._rawTypeCoreInstance(), processorSupport))._returnType() : null;
// Generics in lambdas are relative to their environment (i.e. the function in which they are defined)
TypeInferenceContext lambdaInferenceContext = state.getTypeInferenceContext().getTopContext();
if (null != templateReturnType) {
FunctionType lambdaFunctionType = Objects.requireNonNull(getRawTypeFromGenericType((LambdaFunction<?>) val, processorSupport));
GenericType concreteGenericType = (GenericType) org.finos.legend.pure.m3.navigation.generictype.GenericType.makeTypeArgumentAsConcreteAsPossible(lambdaFunctionType._returnType(), lambdaInferenceContext.getTypeParameterToGenericType(), lambdaInferenceContext.getMultiplicityParameterToMultiplicity(), processorSupport);
lambdaFunctionType._returnTypeRemove();
lambdaFunctionType._returnType(concreteGenericType);
if (!org.finos.legend.pure.m3.navigation.generictype.GenericType.isGenericTypeConcrete(templateReturnType, processorSupport)) {
TypeInferenceContext typeInferenceContext = state.getTypeInferenceContext();
typeInferenceContext.register(templateReturnType, concreteGenericType, typeInferenceContext.getParent(), observer);
}
}
Multiplicity templateReturnMultiplicity = null != ImportStub.withImportStubByPass(templateGenFunctionType._rawTypeCoreInstance(), processorSupport) ? ((FunctionType) ImportStub.withImportStubByPass(templateGenFunctionType._rawTypeCoreInstance(), processorSupport))._returnMultiplicity() : null;
if (null != templateReturnMultiplicity) {
FunctionType lambdaFunctionType = Objects.requireNonNull(getRawTypeFromGenericType((LambdaFunction<?>) val, processorSupport));
Multiplicity concreteMultiplicity = (Multiplicity) org.finos.legend.pure.m3.navigation.multiplicity.Multiplicity.makeMultiplicityAsConcreteAsPossible(Instance.getValueForMetaPropertyToOneResolved(lambdaFunctionType, M3Properties.returnMultiplicity, processorSupport), lambdaInferenceContext.getMultiplicityParameterToMultiplicity());
lambdaFunctionType._returnMultiplicityRemove();
lambdaFunctionType._returnMultiplicity(concreteMultiplicity);
if (null != concreteMultiplicity) {
TypeInferenceContext typeInferenceContext = state.getTypeInferenceContext();
typeInferenceContext.registerMul(templateReturnMultiplicity, concreteMultiplicity, typeInferenceContext.getParent(), observer);
}
}
}
}
}
}
observer.unShiftTab();
} else {
state.pushTypeInferenceContextAhead();
TypeInferenceContext typeInferenceContext = state.getTypeInferenceContext();
typeInferenceContext.setScope(instance instanceof SimpleFunctionExpression ? ((SimpleFunctionExpression) instance)._funcCoreInstance() : null);
typeInferenceContext.register(instance._genericType(), resolvedGenericType, typeInferenceContext.getParent(), observer);
typeInferenceContext.registerMul(instance._multiplicity(), resolvedMultiplicity, typeInferenceContext.getParent(), observer);
cleanProcess(instance, state, repository, context, processorSupport);
PostProcessor.processElement(matcher, instance, state, processorSupport);
state.popTypeInferenceContextAhead();
}
}
observer.unShiftTab();
observer.unShiftTab();
} else {
observer.parameterInferenceSucceeded();
observer.shiftTab();
observer.shiftTab();
parametersValues.forEachWithIndex((instance, z) -> {
TypeInferenceContext typeInferenceContext = state.getTypeInferenceContext();
typeInferenceContext.register(paramsType.get(z)._genericType(), instance._genericType(), typeInferenceContext.getTopContext(), observer);
typeInferenceContext.registerMul(paramsType.get(z)._multiplicity(), instance._multiplicity(), typeInferenceContext.getTopContext(), observer);
});
// WARNING / returnType may need reverse matching to be found
GenericType returnGenericType = (GenericType) org.finos.legend.pure.m3.navigation.generictype.GenericType.makeTypeArgumentAsConcreteAsPossible(foundFunctionType._returnType(), state.getTypeInferenceContext().getTypeParameterToGenericType(), state.getTypeInferenceContext().getMultiplicityParameterToMultiplicity(), processorSupport);
observer.returnType(returnGenericType);
if (!org.finos.legend.pure.m3.navigation.generictype.GenericType.isGenericTypeConcrete(returnGenericType, processorSupport) && !state.getTypeInferenceContext().isTop(org.finos.legend.pure.m3.navigation.generictype.GenericType.getTypeParameterName(returnGenericType, processorSupport))) {
observer.shiftTab();
observer.returnTypeNotConcrete();
// reverse matching
parametersValues.forEachWithIndex((instance, z) -> {
GenericType templateGenType = paramsType.get(z)._genericType();
Multiplicity templateMultiplicity = paramsType.get(z)._multiplicity();
GenericType resolvedGenericType = (GenericType) org.finos.legend.pure.m3.navigation.generictype.GenericType.makeTypeArgumentAsConcreteAsPossible(templateGenType, state.getTypeInferenceContext().getTypeParameterToGenericType(), state.getTypeInferenceContext().getMultiplicityParameterToMultiplicity(), processorSupport);
Multiplicity resolvedMultiplicity = (Multiplicity) org.finos.legend.pure.m3.navigation.multiplicity.Multiplicity.makeMultiplicityAsConcreteAsPossible(templateMultiplicity, state.getTypeInferenceContext().getMultiplicityParameterToMultiplicity());
state.pushTypeInferenceContextAhead();
state.getTypeInferenceContext().setScope(instance instanceof FunctionExpression ? ((FunctionExpression) instance)._funcCoreInstance() : null);
observer.processingParameter(functionExpression, z, instance);
TypeInferenceContext typeInferenceContext = state.getTypeInferenceContext();
typeInferenceContext.register(instance._genericType(), resolvedGenericType, typeInferenceContext.getParent(), observer);
typeInferenceContext.registerMul(instance._multiplicity(), resolvedMultiplicity, typeInferenceContext.getParent(), observer);
observer.shiftTab();
observer.reprocessingTheParameter();
observer.shiftTab();
cleanProcess(instance, state, repository, context, processorSupport);
PostProcessor.processElement(matcher, instance, state, processorSupport);
observer.unShiftTab();
observer.finishedProcessParameter();
observer.unShiftTab();
state.popTypeInferenceContextAhead();
});
observer.unShiftTab();
returnGenericType = (GenericType) org.finos.legend.pure.m3.navigation.generictype.GenericType.makeTypeArgumentAsConcreteAsPossible(foundFunctionType._returnType(), state.getTypeInferenceContext().getTypeParameterToGenericType(), state.getTypeInferenceContext().getMultiplicityParameterToMultiplicity(), processorSupport);
observer.newReturnType(returnGenericType);
}
observer.unShiftTab();
observer.unShiftTab();
observer.finishedRegisteringParametersAndMultiplicities();
}
// We can infer the parameter types for Lambdas given as parameters (now that we know which function to use).
if (success) {
TypeInference.storeInferredTypeParametersInFunctionExpression(functionExpression, state, processorSupport, foundFunction);
// Get the return type information
// Pair<CoreInstance, CoreInstance> result = FunctionExpression.resolveFunctionGenericReturnTypeAndMultiplicity(functionExpression, context, processorSupport);
// result.getOne();
GenericType returnGenericType = (GenericType) org.finos.legend.pure.m3.navigation.generictype.GenericType.makeTypeArgumentAsConcreteAsPossible(foundFunctionType._returnType(), state.getTypeInferenceContext().getTypeParameterToGenericType(), state.getTypeInferenceContext().getMultiplicityParameterToMultiplicity(), processorSupport);
Multiplicity returnMultiplicity = (Multiplicity) org.finos.legend.pure.m3.navigation.multiplicity.Multiplicity.makeMultiplicityAsConcreteAsPossible(foundFunctionType._returnMultiplicity(), state.getTypeInferenceContext().getMultiplicityParameterToMultiplicity());
if (!org.finos.legend.pure.m3.navigation.generictype.GenericType.isGenericTypeConcrete(returnGenericType, processorSupport) && !state.getTypeInferenceContext().isTop(org.finos.legend.pure.m3.navigation.generictype.GenericType.getTypeParameterName(returnGenericType, processorSupport))) {
throw new PureCompilationException(functionExpression.getSourceInformation(), "The system is not capable of inferring the return type of the function '" + functionExpression.getValueForMetaPropertyToOne(M3Properties.func).getValueForMetaPropertyToOne(M3Properties.functionName).getName() + "'. Check your signatures!");
}
// Update the type
GenericType genericTypeCopy = (GenericType) org.finos.legend.pure.m3.navigation.generictype.GenericType.copyGenericTypeAsInferredGenericType(returnGenericType, functionExpression.getSourceInformation(), processorSupport);
functionExpression._genericType(genericTypeCopy);
// Update the multiplicity
Multiplicity returnMultiplicityCopy = (Multiplicity) org.finos.legend.pure.m3.navigation.multiplicity.Multiplicity.copyMultiplicity(returnMultiplicity, functionExpression.getSourceInformation(), processorSupport);
functionExpression._multiplicity(returnMultiplicityCopy);
} else {
// Inference failed...
FunctionType functionType = (FunctionType) processorSupport.function_getFunctionType(foundFunction);
GenericType returnGenericType = functionType._returnType();
GenericType genericTypeCopy = (GenericType) org.finos.legend.pure.m3.navigation.generictype.GenericType.copyGenericTypeAsInferredGenericType(returnGenericType, functionExpression.getSourceInformation(), processorSupport);
functionExpression._genericType(genericTypeCopy);
Multiplicity returnMultiplicity = functionType._returnMultiplicity();
Multiplicity returnMultiplicityCopy = (Multiplicity) org.finos.legend.pure.m3.navigation.multiplicity.Multiplicity.copyMultiplicity(returnMultiplicity, functionExpression.getSourceInformation(), processorSupport);
functionExpression._multiplicity(returnMultiplicityCopy);
}
if (null == functionName) {
finalFunction = foundFunction;
} else if (!success) {
someInferenceFailed = true;
} else {
Function<?> bestMatch = FunctionExpressionMatcher.getBestFunctionMatch(foundFunctions, parametersValues, functionName, functionExpression.getSourceInformation(), false, processorSupport);
if (bestMatch == foundFunction) {
finalFunction = foundFunction;
}
}
if (null != finalFunction) {
break;
}
// Clean up before re-trying
if (1 < foundFunctions.size()) {
for (ValueSpecification parameterValue : parametersValues) {
cleanProcess(parameterValue, state, repository, context, processorSupport);
}
inferenceSuccess = firstPassTypeInference(functionExpression, parametersValues, state, matcher, repository, context, processorSupport);
}
}
if (null != finalFunction) {
finalFunction._applications(Lists.immutable.<FunctionExpression>withAll(finalFunction._applications()).newWith(functionExpression));
// Update the function in the function expression in the reverse
if ("new_Class_1__String_1__KeyExpression_MANY__T_1_".equals(finalFunction.getName()) || "new_Class_1__String_1__T_1_".equals(finalFunction.getName())) {
this.addTraceForKeyExpressions(functionExpression, processorSupport);
}
if ("copy_T_1__String_1__KeyExpression_MANY__T_1_".equals(finalFunction.getName()) || "copy_T_1__String_1__T_1_".equals(finalFunction.getName())) {
this.addTraceForKeyExpressions(functionExpression, processorSupport);
}
if ("letFunction_String_1__T_m__T_m_".equals(finalFunction.getName())) {
try {
state.getVariableContext().getParent().registerValue(((InstanceValue) parametersValues.get(0))._valuesCoreInstance().toList().get(0).getName(), parametersValues.get(1));
} catch (VariableNameConflictException e) {
throw new PureCompilationException(functionExpression.getSourceInformation(), e.getMessage());
}
}
} else if (!someInferenceFailed) {
throwNoMatchException(functionExpression, state, processorSupport);
}
observer.unShiftTab();
observer.finishedProcessingFunctionExpression(functionExpression);
state.popTypeInferenceContext();
}
use of org.finos.legend.pure.m3.coreinstance.meta.pure.metamodel.type.Enum in project legend-pure by finos.
the class AbstractTestIncrementalCompilation method test3.
@Test
public void test3() {
FastList<String> processed = FastList.newList();
FastList<String> notProcessed = FastList.newList();
processed.add("start__Any_MANY_");
notProcessed.add("myFunc__Any_MANY_");
RuntimeVerifier.verifyOperationIsStable(new RuntimeTestScriptBuilder().createInMemorySource("sourceId1.pure", "Enum my::Gender\n" + "{\n" + " MALE, FEMALE\n" + "}\n" + "\n" + "Class my::Person\n" + "{\n" + " firstName : String[0..1];\n" + " lastName : String[0..1];\n" + " gender : my::Gender[0..1];\n" + "}").createInMemorySource("sourceId2.pure", "function myFunc():Any[*]\n" + "{\n" + " let set = \n" + " [\n" + " ^my::Person(firstName = 'Marie', lastName='Random', gender = my::Gender.FEMALE),\n" + " ^my::Person(firstName = 'John', lastName='Doe', gender = my::Gender.MALE)\n" + " ];\n" + " $set->filter(p|$p.gender == my::Gender.FEMALE).lastName;\n" + "}").createInMemorySource("sourceId3.pure", "function start():Any[*]\n" + "{\n" + " assert( myFunc() == 'Random', |'');\n" + "}").executeFunction("start():Any[*]"), new RuntimeTestScriptBuilder().updateSource("sourceId1.pure", "Enum my::Gender\n" + "{\n" + " FEMALE\n" + "}\n" + "\n" + "Class my::Person\n" + "{\n" + " firstName : String[0..1];\n" + " lastName : String[0];\n" + " gender : my::Gender[0..1];\n" + "}\n").compileWithExpectedCompileFailureAndAssertions("Multiplicity Error: [1] is not compatible with [0]", "sourceId2.pure", 5, 48, FastList.newListWith("start__Any_MANY_", "myFunc__Any_MANY_"), FastList.<String>newList(), FastList.newListWith("my::Person, my::Gender")).updateSource("sourceId1.pure", "Enum my::Gender\n" + "{\n" + " MALE, FEMALE\n" + "}\n" + "\n" + "Class my::Person\n" + "{\n" + " firstName : String[0..1];\n" + " lastName : String[0..1];\n" + " gender : my::Gender[0..1];\n" + "}").executeFunction("start():Any[*]"), this.runtime, this.functionExecution, this.getAdditionalVerifiers());
}
use of org.finos.legend.pure.m3.coreinstance.meta.pure.metamodel.type.Enum in project legend-pure by finos.
the class TestPureRuntimeGraph method testPureRuntimeChangeEnumeration.
@Test
public void testPureRuntimeChangeEnumeration() {
String source = "Class EntityWithLocations\n" + "{\n" + " locations : Location[*];\n" + " locationsByType(types:GeographicEntityType[*])\n" + " {\n" + " $this.locations->filter(l | $types->exists(type | is($l.type, $type)))\n" + " }:Location[*];\n" + "}\n" + "Class Location\n" + "{\n" + " type : GeographicEntityType[1];\n" + "}\n";
String enumSource = "Enum GeographicEntityType\n" + "{\n" + " CITY,\n" + " COUNTRY\n" + "}";
String enumSource2 = "Enum GeographicEntityType\n" + "{\n" + " CITY,\n" + " COUNTRY,\n" + " REGION\n" + "}";
RuntimeVerifier.verifyOperationIsStable(new RuntimeTestScriptBuilder().createInMemorySource("source1.pure", source).createInMemorySource("source2.pure", enumSource).createInMemorySource("userId.pure", "function test():Boolean[1]{print(#{EntityWithLocations{locationsByType(GeographicEntityType.CITY)}}#,0);true;}").compile(), new RuntimeTestScriptBuilder().updateSource("source2.pure", enumSource2).compile().updateSource("source2.pure", enumSource).compile(), this.runtime, this.functionExecution, Lists.fixedSize.<FunctionExecutionStateVerifier>of());
}
use of org.finos.legend.pure.m3.coreinstance.meta.pure.metamodel.type.Enum in project legend-pure by finos.
the class TestPureRuntimeGraph method testPureRuntimeAddEnumVar.
@Test
public void testPureRuntimeAddEnumVar() {
String source = "Class EntityWithLocations\n" + "{\n" + " locations : Location[*];\n" + " locationsByType(types:GeographicEntityType[*])\n" + " {\n" + " $this.locations->filter(l | $types->exists(type | is($l.type, $type)))\n" + " }:Location[*];\n" + "}\n" + "Class Location\n" + "{\n" + " type : GeographicEntityType[1];\n" + "}\n";
String enumSource = "Enum GeographicEntityType\n" + "{\n" + " CITY,\n" + " COUNTRY\n" + "}";
RuntimeVerifier.verifyOperationIsStable(new RuntimeTestScriptBuilder().createInMemorySource("source1.pure", source).createInMemorySource("source2.pure", enumSource).createInMemorySource("userId.pure", "function test():Boolean[1]{print(#{EntityWithLocations{locationsByType(GeographicEntityType.CITY)}}#,0);true;}").compile(), new RuntimeTestScriptBuilder().updateSource("userId.pure", "function test():Boolean[1]{let x = GeographicEntityType.CITY; print(#{EntityWithLocations{locationsByType($x)}}#,0);true;}").compile().updateSource("userId.pure", "function test():Boolean[1]{print(#{EntityWithLocations{locationsByType(GeographicEntityType.CITY)}}#,0);true;}").compile(), this.runtime, this.functionExecution, Lists.fixedSize.<FunctionExecutionStateVerifier>of());
}
Aggregations