diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-08-28 05:56:34 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:41:36 -0400 |
commit | 4c34e22d23197ca6b03827a24e9339f88f82df5f (patch) | |
tree | 96450d132cc4bd6be7127a9bd11716e932bf3507 /Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/ViolationCheck.java | |
parent | Pre-realisticBranchCreation Commit (diff) | |
download | VIATRA-Generator-4c34e22d23197ca6b03827a24e9339f88f82df5f.tar.gz VIATRA-Generator-4c34e22d23197ca6b03827a24e9339f88f82df5f.tar.zst VIATRA-Generator-4c34e22d23197ca6b03827a24e9339f88f82df5f.zip |
VAMPIRE: integrate local Vampire executeable #32
Diffstat (limited to 'Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/ViolationCheck.java')
-rw-r--r-- | Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/ViolationCheck.java | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/ViolationCheck.java b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/ViolationCheck.java new file mode 100644 index 00000000..7eb3ec77 --- /dev/null +++ b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/ViolationCheck.java | |||
@@ -0,0 +1,34 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator.validation; | ||
2 | |||
3 | import ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator.app.Domain; | ||
4 | import java.util.ArrayList; | ||
5 | import java.util.Map; | ||
6 | import org.eclipse.emf.ecore.EObject; | ||
7 | |||
8 | @SuppressWarnings("all") | ||
9 | public class ViolationCheck { | ||
10 | /** | ||
11 | * Return the total number of violations | ||
12 | */ | ||
13 | public static int calculateViolationCounts(final EObject root, final Domain d) { | ||
14 | throw new Error("Unresolved compilation problems:" | ||
15 | + "\nThe method loadConstraints(String) from the type ViolationCheck refers to the missing type IConstraintSpecification" | ||
16 | + "\nThe constructor ConstraintCollection(List<IConstraintSpecification>, BaseGeneratedPatternGroup) refers to the missing type IConstraintSpecification"); | ||
17 | } | ||
18 | |||
19 | /** | ||
20 | * return a map contain the count for each type of violation | ||
21 | */ | ||
22 | public static Map<String, Integer> violationMaps(final EObject root) { | ||
23 | throw new Error("Unresolved compilation problems:" | ||
24 | + "\nThe method loadConstraints(String) from the type ViolationCheck refers to the missing type IConstraintSpecification" | ||
25 | + "\nThe constructor ConstraintCollection(List<IConstraintSpecification>, BaseGeneratedPatternGroup) refers to the missing type IConstraintSpecification"); | ||
26 | } | ||
27 | |||
28 | public static /* ArrayList<IConstraintSpecification> */Object loadConstraints(final String packageName) { | ||
29 | throw new Error("Unresolved compilation problems:" | ||
30 | + "\nIConstraintSpecification cannot be resolved to a type." | ||
31 | + "\nIConstraintSpecification cannot be resolved to a type." | ||
32 | + "\nThe method or field IConstraintSpecification is undefined"); | ||
33 | } | ||
34 | } | ||