diff options
author | 20001LastOrder <boqi.chen@mail.mcgill.ca> | 2019-08-18 13:31:21 -0400 |
---|---|---|
committer | 20001LastOrder <boqi.chen@mail.mcgill.ca> | 2019-08-18 13:31:21 -0400 |
commit | e3a840bfc6d55e1d95537a42476bece873e2611a (patch) | |
tree | a9e7d5118d22346f0f8ce2867622d7b0b68fd2b9 | |
parent | Initial implementation of TCC1 metric (diff) | |
download | VIATRA-Generator-e3a840bfc6d55e1d95537a42476bece873e2611a.tar.gz VIATRA-Generator-e3a840bfc6d55e1d95537a42476bece873e2611a.tar.zst VIATRA-Generator-e3a840bfc6d55e1d95537a42476bece873e2611a.zip |
modifty patterns for ecore
-rw-r--r-- | Metrics/Metrics-Calculation/SocialNetwork_plugin/queries/queries/Ecore.vql | 20 | ||||
-rw-r--r-- | Metrics/Metrics-Calculation/SocialNetwork_plugin/queries/queries/ecore_pattern.vql | 9 |
2 files changed, 0 insertions, 29 deletions
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/queries/queries/Ecore.vql b/Metrics/Metrics-Calculation/SocialNetwork_plugin/queries/queries/Ecore.vql index 315e7d34..9ddb64c9 100644 --- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/queries/queries/Ecore.vql +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/queries/queries/Ecore.vql | |||
@@ -31,23 +31,3 @@ pattern nonSymmetricOpposite(a:EReference, b:EReference) { | |||
31 | pattern superTypes(c1:EClass, c2:EClass){ | 31 | pattern superTypes(c1:EClass, c2:EClass){ |
32 | EClass.eSuperTypes(c1,c2); | 32 | EClass.eSuperTypes(c1,c2); |
33 | } | 33 | } |
34 | |||
35 | @Constraint(severity="error", message="error", key = {c}) | ||
36 | pattern moreThenFiveSuperTypes(c: EClass){ | ||
37 | find superTypes(c1, s1); | ||
38 | find superTypes(c1, s2); | ||
39 | find superTypes(c1, s3); | ||
40 | find superTypes(c1, s4); | ||
41 | find superTypes(c1, s5); | ||
42 | s1 != s2; | ||
43 | s1 != s3; | ||
44 | s1 != s4; | ||
45 | s1 != s5; | ||
46 | s2 != s3; | ||
47 | s2 != s4; | ||
48 | s2 != s5; | ||
49 | s3 != s4; | ||
50 | s3 != s5; | ||
51 | s4 != s5; | ||
52 | } | ||
53 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/queries/queries/ecore_pattern.vql b/Metrics/Metrics-Calculation/SocialNetwork_plugin/queries/queries/ecore_pattern.vql deleted file mode 100644 index 7e51dc69..00000000 --- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/queries/queries/ecore_pattern.vql +++ /dev/null | |||
@@ -1,9 +0,0 @@ | |||
1 | package queries | ||
2 | import epackage "http://www.eclipse.org/emf/2002/Ecore" | ||
3 | |||
4 | |||
5 | @Constraint(severity="error", message="error", key = {c}) | ||
6 | pattern moreThenFiveSuperTypes(c: EClass){ | ||
7 | m == count EClass.eSuperTypes(c,_); | ||
8 | check(m >= 5); | ||
9 | } \ No newline at end of file | ||