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

FunctionType: substitute angepasst

Browse Source
This commit is contained in:
uogau 2021-01-30 09:41:56 +01:00
parent 2adc72cf74
commit aafb8ead44
1 changed files with 1 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/main/java/edu/kit/typicalc/model/type/FunctionType.java
View File

@ -41,23 +41,7 @@ public class FunctionType extends Type {
*/ */
@Override @Override
public FunctionType substitute(TypeVariable a, Type b) { public FunctionType substitute(TypeVariable a, Type b) {
boolean first = false;
boolean second = false;
if (this.parameter.contains(a)) {
first = true;
}
if (this.output.contains(a)) {
second = true;
}
if (first && second) {
return new FunctionType(parameter.substitute(a, b), output.substitute(a, b)); return new FunctionType(parameter.substitute(a, b), output.substitute(a, b));
} else if (first) {
return new FunctionType(parameter.substitute(a, b), output);
} else if (second) {
return new FunctionType(parameter, output.substitute(a, b));
} else {
return this;
}
} }
/** /**