diff options
Diffstat (limited to 'Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints')
8 files changed, 636 insertions, 0 deletions
diff --git a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/ConsecutiveClosesWithoutReopenConstraint0.java b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/ConsecutiveClosesWithoutReopenConstraint0.java new file mode 100644 index 00000000..1c5e8b0a --- /dev/null +++ b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/ConsecutiveClosesWithoutReopenConstraint0.java | |||
@@ -0,0 +1,79 @@ | |||
1 | /** | ||
2 | Generated from platform:/resource/github-graph/queries/queries/github.vql | ||
3 | */ | ||
4 | package constraints.github; | ||
5 | |||
6 | import java.util.HashMap; | ||
7 | import java.util.HashSet; | ||
8 | import java.util.List; | ||
9 | import java.util.Map; | ||
10 | import java.util.Set; | ||
11 | import java.util.Arrays; | ||
12 | |||
13 | import org.eclipse.viatra.addon.validation.core.api.Severity; | ||
14 | import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification; | ||
15 | import org.eclipse.viatra.query.runtime.api.IPatternMatch; | ||
16 | import org.eclipse.viatra.query.runtime.api.IQuerySpecification; | ||
17 | import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher; | ||
18 | |||
19 | import queries.ConsecutiveClosesWithoutReopen; | ||
20 | |||
21 | public class ConsecutiveClosesWithoutReopenConstraint0 implements IConstraintSpecification { | ||
22 | |||
23 | private ConsecutiveClosesWithoutReopen querySpecification; | ||
24 | |||
25 | public ConsecutiveClosesWithoutReopenConstraint0() { | ||
26 | querySpecification = ConsecutiveClosesWithoutReopen.instance(); | ||
27 | } | ||
28 | |||
29 | @Override | ||
30 | public String getMessageFormat() { | ||
31 | return "error"; | ||
32 | } | ||
33 | |||
34 | |||
35 | @Override | ||
36 | public Map<String,Object> getKeyObjects(IPatternMatch signature) { | ||
37 | Map<String,Object> map = new HashMap<>(); | ||
38 | map.put("i",signature.get("i")); | ||
39 | return map; | ||
40 | } | ||
41 | |||
42 | @Override | ||
43 | public List<String> getKeyNames() { | ||
44 | List<String> keyNames = Arrays.asList( | ||
45 | "i" | ||
46 | ); | ||
47 | return keyNames; | ||
48 | } | ||
49 | |||
50 | @Override | ||
51 | public List<String> getPropertyNames() { | ||
52 | List<String> propertyNames = Arrays.asList( | ||
53 | ); | ||
54 | return propertyNames; | ||
55 | } | ||
56 | |||
57 | @Override | ||
58 | public Set<List<String>> getSymmetricPropertyNames() { | ||
59 | Set<List<String>> symmetricPropertyNamesSet = new HashSet<>(); | ||
60 | return symmetricPropertyNamesSet; | ||
61 | } | ||
62 | |||
63 | @Override | ||
64 | public Set<List<String>> getSymmetricKeyNames() { | ||
65 | Set<List<String>> symmetricKeyNamesSet = new HashSet<>(); | ||
66 | return symmetricKeyNamesSet; | ||
67 | } | ||
68 | |||
69 | @Override | ||
70 | public Severity getSeverity() { | ||
71 | return Severity.ERROR; | ||
72 | } | ||
73 | |||
74 | @Override | ||
75 | public IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>> getQuerySpecification() { | ||
76 | return querySpecification; | ||
77 | } | ||
78 | |||
79 | } | ||
diff --git a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/ConsecutiveReopensWithoutCloseConstraint0.java b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/ConsecutiveReopensWithoutCloseConstraint0.java new file mode 100644 index 00000000..fe0a0155 --- /dev/null +++ b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/ConsecutiveReopensWithoutCloseConstraint0.java | |||
@@ -0,0 +1,79 @@ | |||
1 | /** | ||
2 | Generated from platform:/resource/github-graph/queries/queries/github.vql | ||
3 | */ | ||
4 | package constraints.github; | ||
5 | |||
6 | import java.util.HashMap; | ||
7 | import java.util.HashSet; | ||
8 | import java.util.List; | ||
9 | import java.util.Map; | ||
10 | import java.util.Set; | ||
11 | import java.util.Arrays; | ||
12 | |||
13 | import org.eclipse.viatra.addon.validation.core.api.Severity; | ||
14 | import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification; | ||
15 | import org.eclipse.viatra.query.runtime.api.IPatternMatch; | ||
16 | import org.eclipse.viatra.query.runtime.api.IQuerySpecification; | ||
17 | import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher; | ||
18 | |||
19 | import queries.ConsecutiveReopensWithoutClose; | ||
20 | |||
21 | public class ConsecutiveReopensWithoutCloseConstraint0 implements IConstraintSpecification { | ||
22 | |||
23 | private ConsecutiveReopensWithoutClose querySpecification; | ||
24 | |||
25 | public ConsecutiveReopensWithoutCloseConstraint0() { | ||
26 | querySpecification = ConsecutiveReopensWithoutClose.instance(); | ||
27 | } | ||
28 | |||
29 | @Override | ||
30 | public String getMessageFormat() { | ||
31 | return "error"; | ||
32 | } | ||
33 | |||
34 | |||
35 | @Override | ||
36 | public Map<String,Object> getKeyObjects(IPatternMatch signature) { | ||
37 | Map<String,Object> map = new HashMap<>(); | ||
38 | map.put("i",signature.get("i")); | ||
39 | return map; | ||
40 | } | ||
41 | |||
42 | @Override | ||
43 | public List<String> getKeyNames() { | ||
44 | List<String> keyNames = Arrays.asList( | ||
45 | "i" | ||
46 | ); | ||
47 | return keyNames; | ||
48 | } | ||
49 | |||
50 | @Override | ||
51 | public List<String> getPropertyNames() { | ||
52 | List<String> propertyNames = Arrays.asList( | ||
53 | ); | ||
54 | return propertyNames; | ||
55 | } | ||
56 | |||
57 | @Override | ||
58 | public Set<List<String>> getSymmetricPropertyNames() { | ||
59 | Set<List<String>> symmetricPropertyNamesSet = new HashSet<>(); | ||
60 | return symmetricPropertyNamesSet; | ||
61 | } | ||
62 | |||
63 | @Override | ||
64 | public Set<List<String>> getSymmetricKeyNames() { | ||
65 | Set<List<String>> symmetricKeyNamesSet = new HashSet<>(); | ||
66 | return symmetricKeyNamesSet; | ||
67 | } | ||
68 | |||
69 | @Override | ||
70 | public Severity getSeverity() { | ||
71 | return Severity.ERROR; | ||
72 | } | ||
73 | |||
74 | @Override | ||
75 | public IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>> getQuerySpecification() { | ||
76 | return querySpecification; | ||
77 | } | ||
78 | |||
79 | } | ||
diff --git a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/ConsecutiveSubWithoutUnSubConstraint0.java b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/ConsecutiveSubWithoutUnSubConstraint0.java new file mode 100644 index 00000000..38713eb5 --- /dev/null +++ b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/ConsecutiveSubWithoutUnSubConstraint0.java | |||
@@ -0,0 +1,81 @@ | |||
1 | /** | ||
2 | Generated from platform:/resource/github-graph/queries/queries/github.vql | ||
3 | */ | ||
4 | package constraints.github; | ||
5 | |||
6 | //import java.util.HashMap; | ||
7 | //import java.util.HashSet; | ||
8 | //import java.util.List; | ||
9 | //import java.util.Map; | ||
10 | //import java.util.Set; | ||
11 | //import java.util.Arrays; | ||
12 | // | ||
13 | //import org.eclipse.viatra.addon.validation.core.api.Severity; | ||
14 | //import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification; | ||
15 | //import org.eclipse.viatra.query.runtime.api.IPatternMatch; | ||
16 | //import org.eclipse.viatra.query.runtime.api.IQuerySpecification; | ||
17 | //import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher; | ||
18 | // | ||
19 | //import queries.ConsecutiveSubWithoutUnSub; | ||
20 | |||
21 | public class ConsecutiveSubWithoutUnSubConstraint0 {//implements IConstraintSpecification { | ||
22 | |||
23 | // private ConsecutiveSubWithoutUnSub querySpecification; | ||
24 | // | ||
25 | // public ConsecutiveSubWithoutUnSubConstraint0() { | ||
26 | // querySpecification = ConsecutiveSubWithoutUnSub.instance(); | ||
27 | // } | ||
28 | // | ||
29 | // @Override | ||
30 | // public String getMessageFormat() { | ||
31 | // return "error"; | ||
32 | // } | ||
33 | // | ||
34 | // | ||
35 | // @Override | ||
36 | // public Map<String,Object> getKeyObjects(IPatternMatch signature) { | ||
37 | // Map<String,Object> map = new HashMap<>(); | ||
38 | // map.put("i",signature.get("i")); | ||
39 | // map.put("u",signature.get("u")); | ||
40 | // return map; | ||
41 | // } | ||
42 | // | ||
43 | // @Override | ||
44 | // public List<String> getKeyNames() { | ||
45 | // List<String> keyNames = Arrays.asList( | ||
46 | // "i", | ||
47 | // "u" | ||
48 | // ); | ||
49 | // return keyNames; | ||
50 | // } | ||
51 | // | ||
52 | // @Override | ||
53 | // public List<String> getPropertyNames() { | ||
54 | // List<String> propertyNames = Arrays.asList( | ||
55 | // ); | ||
56 | // return propertyNames; | ||
57 | // } | ||
58 | // | ||
59 | // @Override | ||
60 | // public Set<List<String>> getSymmetricPropertyNames() { | ||
61 | // Set<List<String>> symmetricPropertyNamesSet = new HashSet<>(); | ||
62 | // return symmetricPropertyNamesSet; | ||
63 | // } | ||
64 | // | ||
65 | // @Override | ||
66 | // public Set<List<String>> getSymmetricKeyNames() { | ||
67 | // Set<List<String>> symmetricKeyNamesSet = new HashSet<>(); | ||
68 | // return symmetricKeyNamesSet; | ||
69 | // } | ||
70 | // | ||
71 | // @Override | ||
72 | // public Severity getSeverity() { | ||
73 | // return Severity.ERROR; | ||
74 | // } | ||
75 | // | ||
76 | // @Override | ||
77 | // public IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>> getQuerySpecification() { | ||
78 | // return querySpecification; | ||
79 | // } | ||
80 | |||
81 | } | ||
diff --git a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/ConsecutiveUnSubWithoutSubConstraint0.java b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/ConsecutiveUnSubWithoutSubConstraint0.java new file mode 100644 index 00000000..c8eacf14 --- /dev/null +++ b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/ConsecutiveUnSubWithoutSubConstraint0.java | |||
@@ -0,0 +1,81 @@ | |||
1 | /** | ||
2 | Generated from platform:/resource/github-graph/queries/queries/github.vql | ||
3 | */ | ||
4 | package constraints.github; | ||
5 | |||
6 | import java.util.HashMap; | ||
7 | import java.util.HashSet; | ||
8 | import java.util.List; | ||
9 | import java.util.Map; | ||
10 | import java.util.Set; | ||
11 | import java.util.Arrays; | ||
12 | |||
13 | import org.eclipse.viatra.addon.validation.core.api.Severity; | ||
14 | import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification; | ||
15 | import org.eclipse.viatra.query.runtime.api.IPatternMatch; | ||
16 | import org.eclipse.viatra.query.runtime.api.IQuerySpecification; | ||
17 | import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher; | ||
18 | |||
19 | import queries.ConsecutiveUnSubWithoutSub; | ||
20 | |||
21 | public class ConsecutiveUnSubWithoutSubConstraint0 implements IConstraintSpecification { | ||
22 | |||
23 | private ConsecutiveUnSubWithoutSub querySpecification; | ||
24 | |||
25 | public ConsecutiveUnSubWithoutSubConstraint0() { | ||
26 | querySpecification = ConsecutiveUnSubWithoutSub.instance(); | ||
27 | } | ||
28 | |||
29 | @Override | ||
30 | public String getMessageFormat() { | ||
31 | return "error"; | ||
32 | } | ||
33 | |||
34 | |||
35 | @Override | ||
36 | public Map<String,Object> getKeyObjects(IPatternMatch signature) { | ||
37 | Map<String,Object> map = new HashMap<>(); | ||
38 | map.put("i",signature.get("i")); | ||
39 | map.put("u",signature.get("u")); | ||
40 | return map; | ||
41 | } | ||
42 | |||
43 | @Override | ||
44 | public List<String> getKeyNames() { | ||
45 | List<String> keyNames = Arrays.asList( | ||
46 | "i", | ||
47 | "u" | ||
48 | ); | ||
49 | return keyNames; | ||
50 | } | ||
51 | |||
52 | @Override | ||
53 | public List<String> getPropertyNames() { | ||
54 | List<String> propertyNames = Arrays.asList( | ||
55 | ); | ||
56 | return propertyNames; | ||
57 | } | ||
58 | |||
59 | @Override | ||
60 | public Set<List<String>> getSymmetricPropertyNames() { | ||
61 | Set<List<String>> symmetricPropertyNamesSet = new HashSet<>(); | ||
62 | return symmetricPropertyNamesSet; | ||
63 | } | ||
64 | |||
65 | @Override | ||
66 | public Set<List<String>> getSymmetricKeyNames() { | ||
67 | Set<List<String>> symmetricKeyNamesSet = new HashSet<>(); | ||
68 | return symmetricKeyNamesSet; | ||
69 | } | ||
70 | |||
71 | @Override | ||
72 | public Severity getSeverity() { | ||
73 | return Severity.ERROR; | ||
74 | } | ||
75 | |||
76 | @Override | ||
77 | public IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>> getQuerySpecification() { | ||
78 | return querySpecification; | ||
79 | } | ||
80 | |||
81 | } | ||
diff --git a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/LoopInParentConstraint0.java b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/LoopInParentConstraint0.java new file mode 100644 index 00000000..ec653a89 --- /dev/null +++ b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/LoopInParentConstraint0.java | |||
@@ -0,0 +1,79 @@ | |||
1 | /** | ||
2 | Generated from platform:/resource/github-graph/queries/queries/github.vql | ||
3 | */ | ||
4 | package constraints.github; | ||
5 | |||
6 | import java.util.HashMap; | ||
7 | import java.util.HashSet; | ||
8 | import java.util.List; | ||
9 | import java.util.Map; | ||
10 | import java.util.Set; | ||
11 | import java.util.Arrays; | ||
12 | |||
13 | import org.eclipse.viatra.addon.validation.core.api.Severity; | ||
14 | import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification; | ||
15 | import org.eclipse.viatra.query.runtime.api.IPatternMatch; | ||
16 | import org.eclipse.viatra.query.runtime.api.IQuerySpecification; | ||
17 | import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher; | ||
18 | |||
19 | import queries.LoopInParent; | ||
20 | |||
21 | public class LoopInParentConstraint0 implements IConstraintSpecification { | ||
22 | |||
23 | private LoopInParent querySpecification; | ||
24 | |||
25 | public LoopInParentConstraint0() { | ||
26 | querySpecification = LoopInParent.instance(); | ||
27 | } | ||
28 | |||
29 | @Override | ||
30 | public String getMessageFormat() { | ||
31 | return "error"; | ||
32 | } | ||
33 | |||
34 | |||
35 | @Override | ||
36 | public Map<String,Object> getKeyObjects(IPatternMatch signature) { | ||
37 | Map<String,Object> map = new HashMap<>(); | ||
38 | map.put("a",signature.get("a")); | ||
39 | return map; | ||
40 | } | ||
41 | |||
42 | @Override | ||
43 | public List<String> getKeyNames() { | ||
44 | List<String> keyNames = Arrays.asList( | ||
45 | "a" | ||
46 | ); | ||
47 | return keyNames; | ||
48 | } | ||
49 | |||
50 | @Override | ||
51 | public List<String> getPropertyNames() { | ||
52 | List<String> propertyNames = Arrays.asList( | ||
53 | ); | ||
54 | return propertyNames; | ||
55 | } | ||
56 | |||
57 | @Override | ||
58 | public Set<List<String>> getSymmetricPropertyNames() { | ||
59 | Set<List<String>> symmetricPropertyNamesSet = new HashSet<>(); | ||
60 | return symmetricPropertyNamesSet; | ||
61 | } | ||
62 | |||
63 | @Override | ||
64 | public Set<List<String>> getSymmetricKeyNames() { | ||
65 | Set<List<String>> symmetricKeyNamesSet = new HashSet<>(); | ||
66 | return symmetricKeyNamesSet; | ||
67 | } | ||
68 | |||
69 | @Override | ||
70 | public Severity getSeverity() { | ||
71 | return Severity.ERROR; | ||
72 | } | ||
73 | |||
74 | @Override | ||
75 | public IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>> getQuerySpecification() { | ||
76 | return querySpecification; | ||
77 | } | ||
78 | |||
79 | } | ||
diff --git a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/MergedIssueWithoutPrConstraint0.java b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/MergedIssueWithoutPrConstraint0.java new file mode 100644 index 00000000..4c7fba76 --- /dev/null +++ b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/MergedIssueWithoutPrConstraint0.java | |||
@@ -0,0 +1,79 @@ | |||
1 | /** | ||
2 | Generated from platform:/resource/github-graph/queries/queries/github.vql | ||
3 | */ | ||
4 | package constraints.github; | ||
5 | // | ||
6 | //import java.util.HashMap; | ||
7 | //import java.util.HashSet; | ||
8 | //import java.util.List; | ||
9 | //import java.util.Map; | ||
10 | //import java.util.Set; | ||
11 | //import java.util.Arrays; | ||
12 | // | ||
13 | //import org.eclipse.viatra.addon.validation.core.api.Severity; | ||
14 | //import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification; | ||
15 | //import org.eclipse.viatra.query.runtime.api.IPatternMatch; | ||
16 | //import org.eclipse.viatra.query.runtime.api.IQuerySpecification; | ||
17 | //import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher; | ||
18 | // | ||
19 | //import queries.MergedIssueWithoutPr; | ||
20 | |||
21 | public class MergedIssueWithoutPrConstraint0 {//implements IConstraintSpecification { | ||
22 | |||
23 | // private MergedIssueWithoutPr querySpecification; | ||
24 | // | ||
25 | // public MergedIssueWithoutPrConstraint0() { | ||
26 | // querySpecification = MergedIssueWithoutPr.instance(); | ||
27 | // } | ||
28 | // | ||
29 | // @Override | ||
30 | // public String getMessageFormat() { | ||
31 | // return "error"; | ||
32 | // } | ||
33 | // | ||
34 | // | ||
35 | // @Override | ||
36 | // public Map<String,Object> getKeyObjects(IPatternMatch signature) { | ||
37 | // Map<String,Object> map = new HashMap<>(); | ||
38 | // map.put("i",signature.get("i")); | ||
39 | // return map; | ||
40 | // } | ||
41 | // | ||
42 | // @Override | ||
43 | // public List<String> getKeyNames() { | ||
44 | // List<String> keyNames = Arrays.asList( | ||
45 | // "i" | ||
46 | // ); | ||
47 | // return keyNames; | ||
48 | // } | ||
49 | // | ||
50 | // @Override | ||
51 | // public List<String> getPropertyNames() { | ||
52 | // List<String> propertyNames = Arrays.asList( | ||
53 | // ); | ||
54 | // return propertyNames; | ||
55 | // } | ||
56 | // | ||
57 | // @Override | ||
58 | // public Set<List<String>> getSymmetricPropertyNames() { | ||
59 | // Set<List<String>> symmetricPropertyNamesSet = new HashSet<>(); | ||
60 | // return symmetricPropertyNamesSet; | ||
61 | // } | ||
62 | // | ||
63 | // @Override | ||
64 | // public Set<List<String>> getSymmetricKeyNames() { | ||
65 | // Set<List<String>> symmetricKeyNamesSet = new HashSet<>(); | ||
66 | // return symmetricKeyNamesSet; | ||
67 | // } | ||
68 | // | ||
69 | // @Override | ||
70 | // public Severity getSeverity() { | ||
71 | // return Severity.ERROR; | ||
72 | // } | ||
73 | // | ||
74 | // @Override | ||
75 | // public IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>> getQuerySpecification() { | ||
76 | // return querySpecification; | ||
77 | // } | ||
78 | |||
79 | } | ||
diff --git a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/NoCommitterConstraint0.java b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/NoCommitterConstraint0.java new file mode 100644 index 00000000..0c2d413f --- /dev/null +++ b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/NoCommitterConstraint0.java | |||
@@ -0,0 +1,79 @@ | |||
1 | ///** | ||
2 | //Generated from platform:/resource/github-graph/queries/queries/github.vql | ||
3 | //*/ | ||
4 | package constraints.github; | ||
5 | |||
6 | import java.util.HashMap; | ||
7 | import java.util.HashSet; | ||
8 | import java.util.List; | ||
9 | import java.util.Map; | ||
10 | import java.util.Set; | ||
11 | import java.util.Arrays; | ||
12 | |||
13 | import org.eclipse.viatra.addon.validation.core.api.Severity; | ||
14 | import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification; | ||
15 | import org.eclipse.viatra.query.runtime.api.IPatternMatch; | ||
16 | import org.eclipse.viatra.query.runtime.api.IQuerySpecification; | ||
17 | import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher; | ||
18 | |||
19 | import queries.NoCommitter; | ||
20 | |||
21 | public class NoCommitterConstraint0 implements IConstraintSpecification { | ||
22 | |||
23 | private NoCommitter querySpecification; | ||
24 | |||
25 | public NoCommitterConstraint0() { | ||
26 | querySpecification = NoCommitter.instance(); | ||
27 | } | ||
28 | |||
29 | @Override | ||
30 | public String getMessageFormat() { | ||
31 | return "error"; | ||
32 | } | ||
33 | |||
34 | |||
35 | @Override | ||
36 | public Map<String,Object> getKeyObjects(IPatternMatch signature) { | ||
37 | Map<String,Object> map = new HashMap<>(); | ||
38 | map.put("c",signature.get("c")); | ||
39 | return map; | ||
40 | } | ||
41 | |||
42 | @Override | ||
43 | public List<String> getKeyNames() { | ||
44 | List<String> keyNames = Arrays.asList( | ||
45 | "c" | ||
46 | ); | ||
47 | return keyNames; | ||
48 | } | ||
49 | |||
50 | @Override | ||
51 | public List<String> getPropertyNames() { | ||
52 | List<String> propertyNames = Arrays.asList( | ||
53 | ); | ||
54 | return propertyNames; | ||
55 | } | ||
56 | |||
57 | @Override | ||
58 | public Set<List<String>> getSymmetricPropertyNames() { | ||
59 | Set<List<String>> symmetricPropertyNamesSet = new HashSet<>(); | ||
60 | return symmetricPropertyNamesSet; | ||
61 | } | ||
62 | |||
63 | @Override | ||
64 | public Set<List<String>> getSymmetricKeyNames() { | ||
65 | Set<List<String>> symmetricKeyNamesSet = new HashSet<>(); | ||
66 | return symmetricKeyNamesSet; | ||
67 | } | ||
68 | |||
69 | @Override | ||
70 | public Severity getSeverity() { | ||
71 | return Severity.ERROR; | ||
72 | } | ||
73 | |||
74 | @Override | ||
75 | public IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>> getQuerySpecification() { | ||
76 | return querySpecification; | ||
77 | } | ||
78 | |||
79 | } | ||
diff --git a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/NoUserConstraint0.java b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/NoUserConstraint0.java new file mode 100644 index 00000000..331d0e64 --- /dev/null +++ b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/NoUserConstraint0.java | |||
@@ -0,0 +1,79 @@ | |||
1 | /** | ||
2 | Generated from platform:/resource/github-graph/queries/queries/github.vql | ||
3 | */ | ||
4 | package constraints.github; | ||
5 | |||
6 | import java.util.HashMap; | ||
7 | import java.util.HashSet; | ||
8 | import java.util.List; | ||
9 | import java.util.Map; | ||
10 | import java.util.Set; | ||
11 | import java.util.Arrays; | ||
12 | |||
13 | import org.eclipse.viatra.addon.validation.core.api.Severity; | ||
14 | import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification; | ||
15 | import org.eclipse.viatra.query.runtime.api.IPatternMatch; | ||
16 | import org.eclipse.viatra.query.runtime.api.IQuerySpecification; | ||
17 | import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher; | ||
18 | |||
19 | import queries.NoUser; | ||
20 | |||
21 | public class NoUserConstraint0 implements IConstraintSpecification { | ||
22 | |||
23 | private NoUser querySpecification; | ||
24 | |||
25 | public NoUserConstraint0() { | ||
26 | querySpecification = NoUser.instance(); | ||
27 | } | ||
28 | |||
29 | @Override | ||
30 | public String getMessageFormat() { | ||
31 | return "error"; | ||
32 | } | ||
33 | |||
34 | |||
35 | @Override | ||
36 | public Map<String,Object> getKeyObjects(IPatternMatch signature) { | ||
37 | Map<String,Object> map = new HashMap<>(); | ||
38 | map.put("e",signature.get("e")); | ||
39 | return map; | ||
40 | } | ||
41 | |||
42 | @Override | ||
43 | public List<String> getKeyNames() { | ||
44 | List<String> keyNames = Arrays.asList( | ||
45 | "e" | ||
46 | ); | ||
47 | return keyNames; | ||
48 | } | ||
49 | |||
50 | @Override | ||
51 | public List<String> getPropertyNames() { | ||
52 | List<String> propertyNames = Arrays.asList( | ||
53 | ); | ||
54 | return propertyNames; | ||
55 | } | ||
56 | |||
57 | @Override | ||
58 | public Set<List<String>> getSymmetricPropertyNames() { | ||
59 | Set<List<String>> symmetricPropertyNamesSet = new HashSet<>(); | ||
60 | return symmetricPropertyNamesSet; | ||
61 | } | ||
62 | |||
63 | @Override | ||
64 | public Set<List<String>> getSymmetricKeyNames() { | ||
65 | Set<List<String>> symmetricKeyNamesSet = new HashSet<>(); | ||
66 | return symmetricKeyNamesSet; | ||
67 | } | ||
68 | |||
69 | @Override | ||
70 | public Severity getSeverity() { | ||
71 | return Severity.ERROR; | ||
72 | } | ||
73 | |||
74 | @Override | ||
75 | public IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>> getQuerySpecification() { | ||
76 | return querySpecification; | ||
77 | } | ||
78 | |||
79 | } | ||