arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-10 03:10:44 +00:00
Code Issues Packages Projects Releases Wiki Activity

Implement TypeInfererLet::getLetConstraints()

Browse Source
This commit is contained in:
Johanna Stuber 2021-01-31 17:41:27 +01:00
parent e31cb5efeb
commit 622851aaaa
1 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/main/java/edu/kit/typicalc/model/TypeInfererLet.java
View File

@ -33,10 +33,18 @@ public class TypeInfererLet extends TypeInferer {
* C := { αi = σ(αi) | σ defined for αi }
*
* @return the constraints needed in the outer inference
* @throws IllegalStateException if the method is called despite missing mgu
*/
public List<Constraint> getLetConstraints() {
return new ArrayList<>();
// TODO
if (this.getMGU().isEmpty()) {
throw new IllegalStateException("getLetConstraints() should never be called when no mgu was found");
}
List<Constraint> letConstraints = new ArrayList<>();
for (Substitution substitution : this.getMGU().get()) {
Constraint constraint = new Constraint(substitution.getVariable(), substitution.getType());
letConstraints.add(constraint);
}
return letConstraints;
}
}