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

Handle multiple type assumptions with same var

Browse Source
This commit is contained in:
Moritz Dieing 2021-02-10 10:11:17 +01:00
parent 23be70b57c
commit 44f862512d
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/main/java/edu/kit/typicalc/view/main/TypeAssumptionsArea.java
View File

@ -101,13 +101,15 @@ public class TypeAssumptionsArea extends Dialog implements LocaleChangeObserver
}
/**
* Returns the current type assumptions.
* Returns the current type assumptions. If multiple type assumptions contain the same variable only the
* oldest type assumption is returned. All other type assumptions are being ignored.
*
* @return the current type assumptions as mappings from a variable to a type
*/
protected Map<String, String> getTypeAssumptions() {
return fields.stream()
.collect(Collectors.toMap(TypeAssumptionField::getVariable, TypeAssumptionField::getType));
.collect(Collectors.toMap(TypeAssumptionField::getVariable, TypeAssumptionField::getType,
(existing, replacement) -> existing));
}
@Override