Compare commits
1 Commits
until
...
add-right-
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
8251a3608c |
@@ -39,8 +39,9 @@ restcmp -> EQU addexpr
|
|||||||
| .
|
| .
|
||||||
|
|
||||||
addexpr -> multexpr restadd .
|
addexpr -> multexpr restadd .
|
||||||
restadd -> ADD multexpr restadd
|
restadd -> ADD addexpr
|
||||||
| SUB multexpr restadd | .
|
| SUB addexpr
|
||||||
|
| .
|
||||||
|
|
||||||
multexpr -> prefixexpr restmult .
|
multexpr -> prefixexpr restmult .
|
||||||
restmult -> MUL prefixexpr restmult
|
restmult -> MUL prefixexpr restmult
|
||||||
|
|||||||
@@ -1,10 +1,3 @@
|
|||||||
var i = 0
|
|
||||||
|
|
||||||
fun main() =
|
fun main() =
|
||||||
until i >= 10 do
|
3 - 2 - 1
|
||||||
putint(i),
|
|
||||||
i = i + 1
|
|
||||||
end,
|
|
||||||
0
|
|
||||||
|
|
||||||
fun putint(n)
|
|
||||||
@@ -57,10 +57,6 @@ public record Token(Report.Location location, Symbol symbol, String lexeme) impl
|
|||||||
* Kljucna beseda {@code while}.
|
* Kljucna beseda {@code while}.
|
||||||
*/
|
*/
|
||||||
WHILE,
|
WHILE,
|
||||||
/**
|
|
||||||
* Kljucna beseda {@code until}.
|
|
||||||
*/
|
|
||||||
UNTIL,
|
|
||||||
/**
|
/**
|
||||||
* Kljucna beseda {@code do}.
|
* Kljucna beseda {@code do}.
|
||||||
*/
|
*/
|
||||||
|
|||||||
@@ -315,7 +315,6 @@ public class LexAn implements AutoCloseable {
|
|||||||
case "then" -> Token.Symbol.THEN;
|
case "then" -> Token.Symbol.THEN;
|
||||||
case "else" -> Token.Symbol.ELSE;
|
case "else" -> Token.Symbol.ELSE;
|
||||||
case "while" -> Token.Symbol.WHILE;
|
case "while" -> Token.Symbol.WHILE;
|
||||||
case "until" -> Token.Symbol.UNTIL;
|
|
||||||
case "do" -> Token.Symbol.DO;
|
case "do" -> Token.Symbol.DO;
|
||||||
case "let" -> Token.Symbol.LET;
|
case "let" -> Token.Symbol.LET;
|
||||||
case "in" -> Token.Symbol.IN;
|
case "in" -> Token.Symbol.IN;
|
||||||
|
|||||||
@@ -227,21 +227,6 @@ public class SynAn implements AutoCloseable {
|
|||||||
return whileStmt;
|
return whileStmt;
|
||||||
}
|
}
|
||||||
|
|
||||||
case UNTIL: {
|
|
||||||
// statement -> until expression do statements end
|
|
||||||
Token untilT = check(Token.Symbol.UNTIL);
|
|
||||||
AST.Expr cond = parseExpression();
|
|
||||||
check(Token.Symbol.DO);
|
|
||||||
List<AST.Stmt> stmts = parseStatements();
|
|
||||||
Token end = check(Token.Symbol.END);
|
|
||||||
|
|
||||||
AST.Expr negCond = new AST.UnExpr(AST.UnExpr.Oper.NOT, cond);
|
|
||||||
|
|
||||||
AST.WhileStmt whileStmt = new AST.WhileStmt(negCond, stmts);
|
|
||||||
attrLoc.put(whileStmt, new Report.Location(untilT, end));
|
|
||||||
return whileStmt;
|
|
||||||
}
|
|
||||||
|
|
||||||
case LET: {
|
case LET: {
|
||||||
// statement -> let definition reststmtdefs in statements end
|
// statement -> let definition reststmtdefs in statements end
|
||||||
Token let = check(Token.Symbol.LET);
|
Token let = check(Token.Symbol.LET);
|
||||||
@@ -555,20 +540,20 @@ public class SynAn implements AutoCloseable {
|
|||||||
Token token = lexAn.peekToken();
|
Token token = lexAn.peekToken();
|
||||||
switch (token.symbol()) {
|
switch (token.symbol()) {
|
||||||
case ADD: {
|
case ADD: {
|
||||||
// restadd -> ADD multexpr restadd
|
// restadd -> ADD addexpr
|
||||||
check(Token.Symbol.ADD);
|
check(Token.Symbol.ADD);
|
||||||
AST.Expr right = parseMultiplicationExpression();
|
AST.Expr right = parseAdditionExpression();
|
||||||
AST.Expr binExpr = new AST.BinExpr(AST.BinExpr.Oper.ADD, left, right);
|
AST.Expr binExpr = new AST.BinExpr(AST.BinExpr.Oper.ADD, left, right);
|
||||||
attrLoc.put(binExpr, new Report.Location(attrLoc.get(left), attrLoc.get(right)));
|
attrLoc.put(binExpr, new Report.Location(attrLoc.get(left), attrLoc.get(right)));
|
||||||
return parseRestAdditionExpressions(binExpr);
|
return binExpr;
|
||||||
}
|
}
|
||||||
case SUB: {
|
case SUB: {
|
||||||
// restadd -> SUB multexpr restadd
|
// restadd -> ADD addexpr
|
||||||
check(Token.Symbol.SUB);
|
check(Token.Symbol.SUB);
|
||||||
AST.Expr right = parseMultiplicationExpression();
|
AST.Expr right = parseAdditionExpression();
|
||||||
AST.Expr binExpr = new AST.BinExpr(AST.BinExpr.Oper.SUB, left, right);
|
AST.Expr binExpr = new AST.BinExpr(AST.BinExpr.Oper.SUB, left, right);
|
||||||
attrLoc.put(binExpr, new Report.Location(attrLoc.get(left), attrLoc.get(right)));
|
attrLoc.put(binExpr, new Report.Location(attrLoc.get(left), attrLoc.get(right)));
|
||||||
return parseRestAdditionExpressions(binExpr);
|
return binExpr;
|
||||||
}
|
}
|
||||||
|
|
||||||
default:
|
default:
|
||||||
|
|||||||
Reference in New Issue
Block a user