204205206207208209210211212213214
private boolean checkWhenFor(AWhenStm node) throws Throwable { PExp forExp = whenForExp.get(node); if (forExp != null) { Value v = forExp.apply(expEval); return (v instanceof BooleanValue && ((BooleanValue) v).value); } return false; }
215216217218219220221222223224225
private boolean checkOnceFor(AOnceStm node) throws Throwable { PExp forExp = onceForExp.get(node); if (forExp != null) { Value v = forExp.apply(expEval); return (v instanceof BooleanValue && ((BooleanValue) v).value); } return false; }