diff options
| author |  Uko Kokņevičs | 2024-08-25 17:56:34 +0800 |
|---|---|---|
| committer | Uko Kokņevičs | 2024-08-25 17:56:34 +0800 |
| commit | 97b4f889cd2c3a692da98e681016414587ebf204 (patch) | |
| tree | be3285c61a1e2ebb6da01506e8c793bb3afab482 /checker | |
| parent | Added array access. (diff) | |
| download | orang-97b4f889cd2c3a692da98e681016414587ebf204.tar.gz orang-97b4f889cd2c3a692da98e681016414587ebf204.tar.xz orang-97b4f889cd2c3a692da98e681016414587ebf204.zip | |
Diffstat (limited to 'checker')
| -rw-r--r-- | checker/src/main/java/lv/enes/orang/checker/Checker.java | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/checker/src/main/java/lv/enes/orang/checker/Checker.java b/checker/src/main/java/lv/enes/orang/checker/Checker.java index 1c7303e..f035e41 100644 --- a/checker/src/main/java/lv/enes/orang/checker/Checker.java +++ b/checker/src/main/java/lv/enes/orang/checker/Checker.java | |||
| @@ -141,6 +141,15 @@ public class Checker implements ExpressionVisitor<Void, CheckerException>, State | |||
| 141 | } | 141 | } |
| 142 | 142 | ||
| 143 | @Override | 143 | @Override |
| 144 | public Void visitMap(MapExpression expr) throws CheckerException { | ||
| 145 | for (var entry : expr.entries()) { | ||
| 146 | visit(entry.from()); | ||
| 147 | visit(entry.to()); | ||
| 148 | } | ||
| 149 | return null; | ||
| 150 | } | ||
| 151 | |||
| 152 | @Override | ||
| 144 | public Checker visitProgram(Program program) throws CheckerException { | 153 | public Checker visitProgram(Program program) throws CheckerException { |
| 145 | var checker = this; | 154 | var checker = this; |
| 146 | for (var stmt : program.statements()) { | 155 | for (var stmt : program.statements()) { |