509510511512513514515516517518519
if (var == null) { var = new Variable(ref); current.variables.put(ref.getName(), var); } if (var.initialized < 0) { var.initialized = ref.start(); } } else { operations.push(Operation.ASSIGN); el.traverse(this); operations.pop();