1107110811091110111111121113
throw new IllegalStateException("Unexpected expression: " + expr.getClass().getName()); } } private void removeInvariants(XQExpression expr) { ExpressionProxy removed = _invarients.remove(expr); }
1115111611171118111911201121112211231124
private XQExpression hookLoopInvariant(XQExpression expr) { if(_protectHook) { expr.setLoopInvariant(true); return expr; } ExpressionProxy proxy = new ExpressionProxy(expr); proxy.setLoopInvariant(true); _invarients.put(expr, proxy); return proxy; }
1102110311041105110611071108
1110111111121113111411151116111711181119