i21023/JavaTXCompilerInJavaTX
2
0
Fork 0
forked from JavaTX/JavaCompilerCore
Code Pull Requests Activity

Änderung an der Constraint Erstellung für LambdaExpressions

Browse Source
This commit is contained in:
JanUlrich 2015-03-11 12:39:08 +01:00
parent 3b258c3880
commit 7f2d64e73b
2 changed files with 21 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
doc/documentation.md
View File

@ -40,6 +40,17 @@ Die einzusetzenden Generischen Variablen werden erst beim Einsetzen eines Typs g
* 5. Alle Unbekannten TPHs herausfiltern (von den Pairs nur TA2)
* 6. Alle unbekannten TPHs + Pairs als GenericTypeInsertPoint deklarieren.
## Lambda Ausdrücke und FunN
### Erstellen der Typconstraints für einen Lambda Ausdruck
* Return-Type des Lambda Ausdrucks: retT
* Parameter Typen: pT1 ... pTN
* Für jeden Typ einen TPH generieren
* für Return Typ: TPH R
* für Parameter Typen: TPH P1 ... TPH PN
* Es gilt:
* TPH R < retT
* pTN < TPH PN
## Ablauf Typinferenz:
1. Parsen

27
src/de/dhbwstuttgart/syntaxtree/statement/LambdaExpression.java
View File

@ -152,27 +152,20 @@ public class LambdaExpression extends Expr{
//ArgumentAssumptions + assumptions ergeben die Assumptions für die Statements innerhalb des Lambda-Bodys:
ret.add(method_body.TYPEStmt(ArgumentAssumptions.add(assumptions))); //Es gibt die LambdaExpression nur mit einem Block als Method Body, nicht mit einer einzelnen Expression
//TODO: OderConstraint erstellen mit normalem Typ und ? extemds/super Type
//Die Typen innerhalb von FunN anpassen:
Vector<Type> superParamTypes = new Vector<>();
//Die Constraints für ParameterTypen und Ret Typ erstellen:
Vector<Type> tphParamTypes = new Vector<>();
for(Type pT : paramTypes){
if(pT instanceof ObjectType){
superParamTypes.add(new SuperWildcardType(pT.getOffset(), (ObjectType) pT));
}else{ //pT ist weder Void noch ein ObjectType (TPH, GTV, RefType)
superParamTypes.add(pT);
}
TypePlaceholder tph = TypePlaceholder.fresh(this);
tphParamTypes.add(tph);
// PN < TPH PN
ret.add(new SingleConstraint(tph.TYPE(assumptions, this), pT.TYPE(assumptions, this)));
}
Type retType = method_body.getType();
Type extRetType = retType;
if(!(retType instanceof de.dhbwstuttgart.syntaxtree.type.Void)){
if(retType instanceof ObjectType){
extRetType = new ExtendsWildcardType(retType.getOffset(), (ObjectType) retType);
}else{ //retType ist weder Void noch ein ObjectType (TPH, GTV, RefType)
extRetType = retType;
}
}
Type tphRetType = TypePlaceholder.fresh(this);
// PN < TPH PN
ret.add(new SingleConstraint(retType.TYPE(assumptions, this), tphRetType.TYPE(assumptions, this)));
ret.add(new SingleConstraint(new FunN(extRetType, superParamTypes).TYPE(assumptions, this),this.getType().TYPE(assumptions, this)));
ret.add(new SingleConstraint(new FunN(tphRetType, tphParamTypes).TYPE(assumptions, this),this.getType().TYPE(assumptions, this)));
return ret;
}