aboutsummaryrefslogtreecommitdiffstats
path: root/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints
diff options
context:
space:
mode:
Diffstat (limited to 'Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints')
-rw-r--r--Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/ConsecutiveClosesWithoutReopenConstraint0.java79
-rw-r--r--Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/ConsecutiveReopensWithoutCloseConstraint0.java79
-rw-r--r--Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/ConsecutiveSubWithoutUnSubConstraint0.java81
-rw-r--r--Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/ConsecutiveUnSubWithoutSubConstraint0.java81
-rw-r--r--Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/LoopInParentConstraint0.java79
-rw-r--r--Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/MergedIssueWithoutPrConstraint0.java79
-rw-r--r--Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/NoCommitterConstraint0.java79
-rw-r--r--Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/constraints/constraints/github/NoUserConstraint0.java79
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/**
2Generated from platform:/resource/github-graph/queries/queries/github.vql
3*/
4package constraints.github;
5
6import java.util.HashMap;
7import java.util.HashSet;
8import java.util.List;
9import java.util.Map;
10import java.util.Set;
11import java.util.Arrays;
12
13import org.eclipse.viatra.addon.validation.core.api.Severity;
14import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification;
15import org.eclipse.viatra.query.runtime.api.IPatternMatch;
16import org.eclipse.viatra.query.runtime.api.IQuerySpecification;
17import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher;
18
19import queries.ConsecutiveClosesWithoutReopen;
20
21public 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/**
2Generated from platform:/resource/github-graph/queries/queries/github.vql
3*/
4package constraints.github;
5
6import java.util.HashMap;
7import java.util.HashSet;
8import java.util.List;
9import java.util.Map;
10import java.util.Set;
11import java.util.Arrays;
12
13import org.eclipse.viatra.addon.validation.core.api.Severity;
14import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification;
15import org.eclipse.viatra.query.runtime.api.IPatternMatch;
16import org.eclipse.viatra.query.runtime.api.IQuerySpecification;
17import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher;
18
19import queries.ConsecutiveReopensWithoutClose;
20
21public 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/**
2Generated from platform:/resource/github-graph/queries/queries/github.vql
3*/
4package 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
21public 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/**
2Generated from platform:/resource/github-graph/queries/queries/github.vql
3*/
4package constraints.github;
5
6import java.util.HashMap;
7import java.util.HashSet;
8import java.util.List;
9import java.util.Map;
10import java.util.Set;
11import java.util.Arrays;
12
13import org.eclipse.viatra.addon.validation.core.api.Severity;
14import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification;
15import org.eclipse.viatra.query.runtime.api.IPatternMatch;
16import org.eclipse.viatra.query.runtime.api.IQuerySpecification;
17import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher;
18
19import queries.ConsecutiveUnSubWithoutSub;
20
21public 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/**
2Generated from platform:/resource/github-graph/queries/queries/github.vql
3*/
4package constraints.github;
5
6import java.util.HashMap;
7import java.util.HashSet;
8import java.util.List;
9import java.util.Map;
10import java.util.Set;
11import java.util.Arrays;
12
13import org.eclipse.viatra.addon.validation.core.api.Severity;
14import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification;
15import org.eclipse.viatra.query.runtime.api.IPatternMatch;
16import org.eclipse.viatra.query.runtime.api.IQuerySpecification;
17import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher;
18
19import queries.LoopInParent;
20
21public 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/**
2Generated from platform:/resource/github-graph/queries/queries/github.vql
3*/
4package 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
21public 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//*/
4package constraints.github;
5
6import java.util.HashMap;
7import java.util.HashSet;
8import java.util.List;
9import java.util.Map;
10import java.util.Set;
11import java.util.Arrays;
12
13import org.eclipse.viatra.addon.validation.core.api.Severity;
14import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification;
15import org.eclipse.viatra.query.runtime.api.IPatternMatch;
16import org.eclipse.viatra.query.runtime.api.IQuerySpecification;
17import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher;
18
19import queries.NoCommitter;
20
21public 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/**
2Generated from platform:/resource/github-graph/queries/queries/github.vql
3*/
4package constraints.github;
5
6import java.util.HashMap;
7import java.util.HashSet;
8import java.util.List;
9import java.util.Map;
10import java.util.Set;
11import java.util.Arrays;
12
13import org.eclipse.viatra.addon.validation.core.api.Severity;
14import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification;
15import org.eclipse.viatra.query.runtime.api.IPatternMatch;
16import org.eclipse.viatra.query.runtime.api.IQuerySpecification;
17import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher;
18
19import queries.NoUser;
20
21public 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}
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-08 18:45:35 +0000