diff options
Diffstat (limited to 'subprojects/viatra-runtime-matchers/src/main/java/tools/refinery/viatra/runtime/matchers/psystem/queries/PParameter.java')
-rw-r--r-- | subprojects/viatra-runtime-matchers/src/main/java/tools/refinery/viatra/runtime/matchers/psystem/queries/PParameter.java | 105 |
1 files changed, 0 insertions, 105 deletions
diff --git a/subprojects/viatra-runtime-matchers/src/main/java/tools/refinery/viatra/runtime/matchers/psystem/queries/PParameter.java b/subprojects/viatra-runtime-matchers/src/main/java/tools/refinery/viatra/runtime/matchers/psystem/queries/PParameter.java deleted file mode 100644 index 07165aa2..00000000 --- a/subprojects/viatra-runtime-matchers/src/main/java/tools/refinery/viatra/runtime/matchers/psystem/queries/PParameter.java +++ /dev/null | |||
@@ -1,105 +0,0 @@ | |||
1 | /******************************************************************************* | ||
2 | * Copyright (c) 2010-2014, Zoltan Ujhelyi, 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.psystem.queries; | ||
10 | |||
11 | import java.util.Objects; | ||
12 | |||
13 | import tools.refinery.viatra.runtime.matchers.context.IInputKey; | ||
14 | |||
15 | /** | ||
16 | * A descriptor for declared PQuery parameters. A parameter has a name, a declared type and a direction constraint | ||
17 | * | ||
18 | * @author Zoltan Ujhelyi | ||
19 | * | ||
20 | */ | ||
21 | public class PParameter { | ||
22 | |||
23 | private final String name; | ||
24 | private final String typeName; | ||
25 | private final IInputKey declaredUnaryType; | ||
26 | private final PParameterDirection direction; | ||
27 | |||
28 | public PParameter(String name) { | ||
29 | this(name, (String) null); | ||
30 | } | ||
31 | |||
32 | public PParameter(String name, String typeName) { | ||
33 | this(name, typeName, (IInputKey) null); | ||
34 | } | ||
35 | |||
36 | public PParameter(String name, String typeName, IInputKey declaredUnaryType) { | ||
37 | this(name, typeName, declaredUnaryType, PParameterDirection.INOUT); | ||
38 | } | ||
39 | |||
40 | /** | ||
41 | * @since 1.4 | ||
42 | */ | ||
43 | public PParameter(String name, String typeName, IInputKey declaredUnaryType, PParameterDirection direction) { | ||
44 | super(); | ||
45 | this.name = name; | ||
46 | this.typeName = typeName; | ||
47 | this.declaredUnaryType = declaredUnaryType; | ||
48 | this.direction = direction; | ||
49 | |||
50 | if (declaredUnaryType != null && declaredUnaryType.getArity() != 1) { | ||
51 | throw new IllegalArgumentException( | ||
52 | "PParameter declared type must be unary instead of " + declaredUnaryType.getPrettyPrintableName()); | ||
53 | } | ||
54 | } | ||
55 | |||
56 | /** | ||
57 | * @return the direction | ||
58 | * @since 1.4 | ||
59 | */ | ||
60 | public PParameterDirection getDirection() { | ||
61 | return direction; | ||
62 | } | ||
63 | |||
64 | /** | ||
65 | * @return the name of the parameter | ||
66 | */ | ||
67 | public String getName() { | ||
68 | return name; | ||
69 | } | ||
70 | |||
71 | /** | ||
72 | * Returns a textual representation of the declared type of the parameter | ||
73 | * | ||
74 | * @return the type description, or null if not available | ||
75 | */ | ||
76 | public String getTypeName() { | ||
77 | return typeName; | ||
78 | } | ||
79 | |||
80 | /** | ||
81 | * Yield an {@link IInputKey} representation of the type declared for this parameter. | ||
82 | * | ||
83 | * @return the unary type that was declared on this parameter in the query header, or null if not available | ||
84 | */ | ||
85 | public IInputKey getDeclaredUnaryType() { | ||
86 | return declaredUnaryType; | ||
87 | } | ||
88 | |||
89 | @Override | ||
90 | public boolean equals(Object obj) { | ||
91 | if (obj instanceof PParameter) { | ||
92 | return Objects.equals(name, ((PParameter) obj).name) | ||
93 | && Objects.equals(typeName, ((PParameter) obj).typeName) | ||
94 | && Objects.equals(declaredUnaryType, ((PParameter) obj).declaredUnaryType) | ||
95 | && Objects.equals(direction, ((PParameter) obj).direction); | ||
96 | } | ||
97 | return false; | ||
98 | } | ||
99 | |||
100 | @Override | ||
101 | public int hashCode() { | ||
102 | return Objects.hash(name, typeName, declaredUnaryType); | ||
103 | } | ||
104 | |||
105 | } | ||