diff options
Diffstat (limited to 'subprojects/viatra-runtime-matchers/src/main/java/tools/refinery/viatra/runtime/matchers/planning/operations/PApply.java')
-rw-r--r-- | subprojects/viatra-runtime-matchers/src/main/java/tools/refinery/viatra/runtime/matchers/planning/operations/PApply.java | 94 |
1 files changed, 94 insertions, 0 deletions
diff --git a/subprojects/viatra-runtime-matchers/src/main/java/tools/refinery/viatra/runtime/matchers/planning/operations/PApply.java b/subprojects/viatra-runtime-matchers/src/main/java/tools/refinery/viatra/runtime/matchers/planning/operations/PApply.java new file mode 100644 index 00000000..2c285b54 --- /dev/null +++ b/subprojects/viatra-runtime-matchers/src/main/java/tools/refinery/viatra/runtime/matchers/planning/operations/PApply.java | |||
@@ -0,0 +1,94 @@ | |||
1 | /******************************************************************************* | ||
2 | * Copyright (c) 2010-2014, Bergmann Gabor, Istvan Rath and Daniel Varro | ||
3 | * This program and the accompanying materials are made available under the | ||
4 | * terms of the Eclipse Public License v. 2.0 which is available at | ||
5 | * http://www.eclipse.org/legal/epl-v20.html. | ||
6 | * | ||
7 | * SPDX-License-Identifier: EPL-2.0 | ||
8 | *******************************************************************************/ | ||
9 | package tools.refinery.viatra.runtime.matchers.planning.operations; | ||
10 | |||
11 | import java.util.Collections; | ||
12 | import java.util.Set; | ||
13 | |||
14 | import tools.refinery.viatra.runtime.matchers.planning.SubPlan; | ||
15 | import tools.refinery.viatra.runtime.matchers.psystem.PConstraint; | ||
16 | import tools.refinery.viatra.runtime.matchers.util.Preconditions; | ||
17 | |||
18 | /** | ||
19 | * Represents a constraint application on a single parent SubPlan. | ||
20 | * <p> Either a "selection" filter operation according to a deferred PConstraint (or transform in case of eval/aggregate), or | ||
21 | * alternatively a shorthand for PJoin + a PEnumerate on the right input for an enumerable PConstraint. | ||
22 | * | ||
23 | * <p> <b>WARNING</b>: if there are coinciding variables in the variable tuple of the enumerable constraint, | ||
24 | * it is the responsibility of the compiler to check them for equality. | ||
25 | * | ||
26 | * @author Bergmann Gabor | ||
27 | * | ||
28 | */ | ||
29 | public class PApply extends POperation { | ||
30 | |||
31 | private PConstraint pConstraint; | ||
32 | |||
33 | public PApply(PConstraint pConstraint) { | ||
34 | super(); | ||
35 | this.pConstraint = pConstraint; | ||
36 | } | ||
37 | public PConstraint getPConstraint() { | ||
38 | return pConstraint; | ||
39 | } | ||
40 | |||
41 | @Override | ||
42 | public String getShortName() { | ||
43 | return String.format("APPLY_%s", pConstraint.toString()); | ||
44 | } | ||
45 | |||
46 | @Override | ||
47 | public Set<? extends PConstraint> getDeltaConstraints() { | ||
48 | return Collections.singleton(pConstraint); | ||
49 | } | ||
50 | |||
51 | @Override | ||
52 | public int numParentSubPlans() { | ||
53 | return 1; | ||
54 | } | ||
55 | |||
56 | @Override | ||
57 | public void checkConsistency(SubPlan subPlan) { | ||
58 | super.checkConsistency(subPlan); | ||
59 | for (SubPlan parentPlan : subPlan.getParentPlans()) | ||
60 | Preconditions.checkArgument(!parentPlan.getAllEnforcedConstraints().contains(pConstraint), | ||
61 | "Double-checking constraint %s", pConstraint); | ||
62 | // TODO obtain context? | ||
63 | //if (pConstraint instanceof DeferredPConstraint) | ||
64 | // Preconditions.checkArgument(((DeferredPConstraint) pConstraint).isReadyAt(subPlan, context)) | ||
65 | } | ||
66 | |||
67 | @Override | ||
68 | public int hashCode() { | ||
69 | final int prime = 31; | ||
70 | int result = 1; | ||
71 | result = prime | ||
72 | * result | ||
73 | + ((pConstraint == null) ? 0 : pConstraint | ||
74 | .hashCode()); | ||
75 | return result; | ||
76 | } | ||
77 | @Override | ||
78 | public boolean equals(Object obj) { | ||
79 | if (this == obj) | ||
80 | return true; | ||
81 | if (obj == null) | ||
82 | return false; | ||
83 | if (!(obj instanceof PApply)) | ||
84 | return false; | ||
85 | PApply other = (PApply) obj; | ||
86 | if (pConstraint == null) { | ||
87 | if (other.pConstraint != null) | ||
88 | return false; | ||
89 | } else if (!pConstraint.equals(other.pConstraint)) | ||
90 | return false; | ||
91 | return true; | ||
92 | } | ||
93 | |||
94 | } | ||