Laborratte5/compiler-design-excercises
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Special-case compound assignment analysis

Browse source
This commit is contained in:
SirYwell 2025-05-10 07:14:37 +02:00
parent b9d4e06dfc
commit 837b7018b9
No known key found for this signature in database
1 changed files with 6 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/main/java/edu/kit/kastel/vads/compiler/semantic/VariableStatusAnalysis.java
View file

@ -1,5 +1,6 @@
package edu.kit.kastel.vads.compiler.semantic; package edu.kit.kastel.vads.compiler.semantic;
import edu.kit.kastel.vads.compiler.lexer.Operator;
import edu.kit.kastel.vads.compiler.parser.ast.AssignmentTree; import edu.kit.kastel.vads.compiler.parser.ast.AssignmentTree;
import edu.kit.kastel.vads.compiler.parser.ast.DeclarationTree; import edu.kit.kastel.vads.compiler.parser.ast.DeclarationTree;
import edu.kit.kastel.vads.compiler.parser.ast.IdentExpressionTree; import edu.kit.kastel.vads.compiler.parser.ast.IdentExpressionTree;
@ -23,7 +24,11 @@ class VariableStatusAnalysis implements NoOpVisitor<Namespace<VariableStatusAnal
switch (assignmentTree.lValue()) { switch (assignmentTree.lValue()) {
case LValueIdentTree(var name) -> { case LValueIdentTree(var name) -> {
VariableStatus status = data.get(name); VariableStatus status = data.get(name);
checkDeclared(name, status); if (assignmentTree.operator().type() == Operator.OperatorType.ASSIGN) {
checkDeclared(name, status);
} else {
checkInitialized(name, status);
}
if (status != VariableStatus.INITIALIZED) { if (status != VariableStatus.INITIALIZED) {
// only update when needed, reassignment is totally fine // only update when needed, reassignment is totally fine
updateStatus(data, VariableStatus.INITIALIZED, name); updateStatus(data, VariableStatus.INITIALIZED, name);