diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/models20.diversity-calculator/xtend-gen/hu/bme/mit/inf/dslreasoner/diversitycalculator/PatternWithMatches.java')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/models20.diversity-calculator/xtend-gen/hu/bme/mit/inf/dslreasoner/diversitycalculator/PatternWithMatches.java | 72 |
1 files changed, 72 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/xtend-gen/hu/bme/mit/inf/dslreasoner/diversitycalculator/PatternWithMatches.java b/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/xtend-gen/hu/bme/mit/inf/dslreasoner/diversitycalculator/PatternWithMatches.java new file mode 100644 index 00000000..201269fd --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/xtend-gen/hu/bme/mit/inf/dslreasoner/diversitycalculator/PatternWithMatches.java | |||
@@ -0,0 +1,72 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.diversitycalculator; | ||
2 | |||
3 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement; | ||
4 | import java.util.List; | ||
5 | import org.eclipse.xtend.lib.annotations.Data; | ||
6 | import org.eclipse.xtext.xbase.lib.Pure; | ||
7 | import org.eclipse.xtext.xbase.lib.util.ToStringBuilder; | ||
8 | |||
9 | @Data | ||
10 | @SuppressWarnings("all") | ||
11 | public class PatternWithMatches { | ||
12 | private final String name; | ||
13 | |||
14 | private final List<List<DefinedElement>> matches; | ||
15 | |||
16 | public PatternWithMatches(final String name, final List<List<DefinedElement>> matches) { | ||
17 | super(); | ||
18 | this.name = name; | ||
19 | this.matches = matches; | ||
20 | } | ||
21 | |||
22 | @Override | ||
23 | @Pure | ||
24 | public int hashCode() { | ||
25 | final int prime = 31; | ||
26 | int result = 1; | ||
27 | result = prime * result + ((this.name== null) ? 0 : this.name.hashCode()); | ||
28 | return prime * result + ((this.matches== null) ? 0 : this.matches.hashCode()); | ||
29 | } | ||
30 | |||
31 | @Override | ||
32 | @Pure | ||
33 | public boolean equals(final Object obj) { | ||
34 | if (this == obj) | ||
35 | return true; | ||
36 | if (obj == null) | ||
37 | return false; | ||
38 | if (getClass() != obj.getClass()) | ||
39 | return false; | ||
40 | PatternWithMatches other = (PatternWithMatches) obj; | ||
41 | if (this.name == null) { | ||
42 | if (other.name != null) | ||
43 | return false; | ||
44 | } else if (!this.name.equals(other.name)) | ||
45 | return false; | ||
46 | if (this.matches == null) { | ||
47 | if (other.matches != null) | ||
48 | return false; | ||
49 | } else if (!this.matches.equals(other.matches)) | ||
50 | return false; | ||
51 | return true; | ||
52 | } | ||
53 | |||
54 | @Override | ||
55 | @Pure | ||
56 | public String toString() { | ||
57 | ToStringBuilder b = new ToStringBuilder(this); | ||
58 | b.add("name", this.name); | ||
59 | b.add("matches", this.matches); | ||
60 | return b.toString(); | ||
61 | } | ||
62 | |||
63 | @Pure | ||
64 | public String getName() { | ||
65 | return this.name; | ||
66 | } | ||
67 | |||
68 | @Pure | ||
69 | public List<List<DefinedElement>> getMatches() { | ||
70 | return this.matches; | ||
71 | } | ||
72 | } | ||