nitrix/klang
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

check whether the body of a function guarantees a return value and throw an exception if not

Browse Source
This commit is contained in:
nitrix
2020-02-03 22:36:24 +01:00
parent 7c56f401ac
commit 6f0a3754bd
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/main/java/de/hsrm/compiler/Klang/ContextAnalysis.java
View File

@@ -488,6 +488,8 @@ public class ContextAnalysis extends KlangBaseVisitor<Node> {
@Override @Override
public Node visitFunctionDef(KlangParser.FunctionDefContext ctx) { public Node visitFunctionDef(KlangParser.FunctionDefContext ctx) {
String name = ctx.funcName.getText(); String name = ctx.funcName.getText();
int line = ctx.start.getLine();
int col = ctx.start.getCharPositionInLine();
Type returnType = Type.getByName(ctx.returnType.type().getText()); Type returnType = Type.getByName(ctx.returnType.type().getText());
this.currentDeclaredReturnType = returnType; this.currentDeclaredReturnType = returnType;
@@ -509,9 +511,12 @@ public class ContextAnalysis extends KlangBaseVisitor<Node> {
this.vars.put(param.name, var); this.vars.put(param.name, var);
} }
// Visit the block, make sure the types are matching // Visit the block, make sure that a return value is guaranteed
Node block = this.visit(ctx.braced_block()); Node block = this.visit(ctx.braced_block());
block.type.combine(returnType); if (block.type == null) {
String error = "Function " + name +" has to return something of type " + returnType.getName() +".";
throw new RuntimeException(Helper.getErrorPrefix(line, col) + error);
}
FunctionDefinition result = new FunctionDefinition(name, params, (Block) block); FunctionDefinition result = new FunctionDefinition(name, params, (Block) block);
result.type = returnType; result.type = returnType;