diff options
| author |  Uko Kokņevičs | 2024-08-24 04:18:28 +0800 |
|---|---|---|
| committer | Uko Kokņevičs | 2024-08-24 04:18:28 +0800 |
| commit | e897791330f0b36d61cd85ab5a1015d6194a35de (patch) | |
| tree | 8faa8ea7f4c9bcadbccc5af9e6f19ab0b2b1621c /checker/src | |
| parent | Added fancier tuple argument specs. (diff) | |
| download | orang-e897791330f0b36d61cd85ab5a1015d6194a35de.tar.gz orang-e897791330f0b36d61cd85ab5a1015d6194a35de.tar.xz orang-e897791330f0b36d61cd85ab5a1015d6194a35de.zip | |
Added array access.
Diffstat (limited to 'checker/src')
| -rw-r--r-- | checker/src/main/java/lv/enes/orang/checker/Checker.java | 7 |
1 files changed, 7 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 f926f59..1c7303e 100644 --- a/checker/src/main/java/lv/enes/orang/checker/Checker.java +++ b/checker/src/main/java/lv/enes/orang/checker/Checker.java | |||
| @@ -24,6 +24,13 @@ public class Checker implements ExpressionVisitor<Void, CheckerException>, State | |||
| 24 | } | 24 | } |
| 25 | 25 | ||
| 26 | @Override | 26 | @Override |
| 27 | public Void visitArrayAccess(ArrayAccessExpression arrayAccess) throws CheckerException { | ||
| 28 | visit(arrayAccess.array()); | ||
| 29 | visit(arrayAccess.index()); | ||
| 30 | return null; | ||
| 31 | } | ||
| 32 | |||
| 33 | @Override | ||
| 27 | public Void visitBoolean(BooleanLiteral expr) { | 34 | public Void visitBoolean(BooleanLiteral expr) { |
| 28 | // Always ok | 35 | // Always ok |
| 29 | return null; | 36 | return null; |