aboutsummaryrefslogtreecommitdiff
path: root/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/InstantiationSet.java
diff options
context:
space:
mode:
Diffstat (limited to 'javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/InstantiationSet.java')
-rw-r--r--javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/InstantiationSet.java68
1 files changed, 68 insertions, 0 deletions
diff --git a/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/InstantiationSet.java b/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/InstantiationSet.java
new file mode 100644
index 000000000..e0bfe3e88
--- /dev/null
+++ b/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/InstantiationSet.java
@@ -0,0 +1,68 @@
+package com.github.javaparser.symbolsolver.resolution.typeinference;
+
+import com.github.javaparser.resolution.types.ResolvedType;
+
+import java.util.LinkedList;
+import java.util.List;
+
+/**
+ * @author Federico Tomassetti
+ */
+public class InstantiationSet {
+
+ private List<Instantiation> instantiations;
+
+ public boolean allInferenceVariablesAreResolved(BoundSet boundSet) {
+ throw new UnsupportedOperationException();
+ }
+
+ public static InstantiationSet empty() {
+ return EMPTY;
+ }
+
+ private static final InstantiationSet EMPTY = new InstantiationSet();
+
+ private InstantiationSet() {
+ instantiations = new LinkedList<>();
+ }
+
+ public InstantiationSet withInstantiation(Instantiation instantiation) {
+ InstantiationSet newInstance = new InstantiationSet();
+ newInstance.instantiations.addAll(this.instantiations);
+ newInstance.instantiations.add(instantiation);
+ return newInstance;
+ }
+
+ public boolean isEmpty() {
+ return instantiations.isEmpty();
+ }
+
+ @Override
+ public boolean equals(Object o) {
+ if (this == o) return true;
+ if (o == null || getClass() != o.getClass()) return false;
+
+ InstantiationSet that = (InstantiationSet) o;
+
+ return instantiations.equals(that.instantiations);
+ }
+
+ @Override
+ public int hashCode() {
+ return instantiations.hashCode();
+ }
+
+ @Override
+ public String toString() {
+ return "InstantiationSet{" +
+ "instantiations=" + instantiations +
+ '}';
+ }
+
+ public ResolvedType apply(ResolvedType type) {
+ for (Instantiation instantiation : instantiations) {
+ type = type.replaceTypeVariables(instantiation.getInferenceVariable().getTypeParameterDeclaration(), instantiation.getProperType());
+ }
+ return type;
+ }
+}