diff options
Diffstat (limited to 'Metrics/Metrics-Calculation/RealisticRunner/ecore.vsconfig')
-rw-r--r-- | Metrics/Metrics-Calculation/RealisticRunner/ecore.vsconfig | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/Metrics/Metrics-Calculation/RealisticRunner/ecore.vsconfig b/Metrics/Metrics-Calculation/RealisticRunner/ecore.vsconfig new file mode 100644 index 00000000..a5c7e7b4 --- /dev/null +++ b/Metrics/Metrics-Calculation/RealisticRunner/ecore.vsconfig | |||
@@ -0,0 +1,50 @@ | |||
1 | import viatra "./queries/Ecore.vql" | ||
2 | import epackage "http://www.eclipse.org/emf/2002/Ecore" | ||
3 | |||
4 | // Copy this for different model sizes | ||
5 | generate { | ||
6 | metamodel = {package ecore excluding{EClassifier.instanceClass, EClassifier.defaultValue, | ||
7 | EEnumLiteral.instance, EStructuralFeature.defaultValue, EStructuralFeature.changeable, | ||
8 | EStructuralFeature.derived, ENamedElement.name, EClass.interface, EClass.abstract, EClassifier.instanceTypeName, | ||
9 | EClassifier.instanceClassName, EPackage.nsPrefix, EPackage.nsURI, | ||
10 | EAttribute.iD, EDataType.serializable, EEnumLiteral.literal, EEnumLiteral.value, | ||
11 | EReference.resolveProxies, EReference.container, EReference.containment, EStringToStringMapEntry.key, | ||
12 | EStringToStringMapEntry.value, EStructuralFeature.defaultValueLiteral, EStructuralFeature.transient, | ||
13 | EStructuralFeature.unsettable, EStructuralFeature.volatile, ETypedElement.lowerBound, | ||
14 | ETypedElement.many, ETypedElement.ordered, ETypedElement.required, ETypedElement.unique,ETypedElement.upperBound, | ||
15 | // cannot generate eFactoryInstance | ||
16 | EPackage.eFactoryInstance, | ||
17 | //Derived edges | ||
18 | EClass.eAllSuperTypes, EClass.eAllAttributes, EClass.eAllReferences, EClass.eAllContainments, EClass.eAllGenericSuperTypes, | ||
19 | EClass. eAllOperations, EClass.eAllStructuralFeatures, EClass.eAttributes, EClass.eIDAttribute, EClass.eReferences, | ||
20 | EAttribute.eAttributeType, EGenericType.eRawType, EReference.eReferenceType, | ||
21 | //Generic Types | ||
22 | EClass.eGenericSuperTypes, ETypedElement.eGenericType, EOperation.eGenericExceptions, EObject, EAnnotation, EModelElement.eAnnotations, EAnnotation.details, EAnnotation.contents, EAnnotation.references, EAnnotation.source, EAnnotation.eModelElement | ||
23 | |||
24 | }} | ||
25 | partial-model = { "inputs/ecore.xmi"} | ||
26 | constraints = { package queries } | ||
27 | |||
28 | |||
29 | solver = ViatraSolver | ||
30 | |||
31 | //median run time | ||
32 | scope = { | ||
33 | #node = 30 // (warm-up: 10) 30, 50, 80, 100, 120 .... | ||
34 | } | ||
35 | |||
36 | number = 1 | ||
37 | runs = 100 | ||
38 | config = { | ||
39 | log-level = none, | ||
40 | "optional-wf" = "false", | ||
41 | "realistic-guidance" = "Composite", | ||
42 | "allow-must-violations" = "false", | ||
43 | "domain" = "Ecore", | ||
44 | "scopePropagator" = "typeHierarchy" | ||
45 | } | ||
46 | |||
47 | debug = "none" | ||
48 | statistics = "statistics/Ecore/warmup.csv" //give different set up different filenames | ||
49 | output = "dummyout/" | ||
50 | } | ||