package abstrasy.pcfx;
import abstrasy.Heap;
import abstrasy.Interpreter;
import abstrasy.Node;
import abstrasy.StaticHeap;
/**
* Abstrasy Interpreter
*
* Copyright : Copyright (c) 2006-2012, Luc Bruninx.
*
* Concédée sous licence EUPL, version 1.1 uniquement (la «Licence»).
*
* Vous ne pouvez utiliser la présente oeuvre que conformément à la Licence.
* Vous pouvez obtenir une copie de la Licence à l’adresse suivante:
*
* http://www.osor.eu/eupl
*
* Sauf obligation légale ou contractuelle écrite, le logiciel distribué sous
* la Licence est distribué "en l’état", SANS GARANTIES OU CONDITIONS QUELLES
* QU’ELLES SOIENT, expresses ou implicites.
*
* Consultez la Licence pour les autorisations et les restrictions
* linguistiques spécifiques relevant de la Licence.
*
*
* @author Luc Bruninx
* @version 1.0
*/
public class PCFx_forever extends PCFx {
public PCFx_forever() {
}
private final static void _clear_closure_(Heap closure){ if (closure.isLoaded()) closure.clear(); }
public Node eval(Node startAt) throws Exception {
//System.out.println("FOREVER: "+startAt.toString());
startAt.isGoodArgsCnt(2);
Node enode = startAt.getSubNode(1, Node.TYPE_LAZY);
Interpreter interpreter = Interpreter.mySelf();
StaticHeap global = interpreter.getGLOBAL();
boolean oldCanLoop = interpreter.isCanLoop();
boolean oldInLoop = interpreter.isInLoop();
interpreter.setCanLoop(true);
interpreter.setInLoop(true);
Node xnode = null;
try {
/*
* Correction du 10 mai 2011:
* =========================
* Les boucles du type do{...} s'arrête dès qu'un résultat est retourné. Cela ne signifie
* bien entendu pas que la condition qui permet l'itération n'est pas vérifiée. Toutefois,
* comme les boucle du type do{...} ne peuvent retourner qu'un seul résultat, il est inutile
* de relancer l'itération suivante ddès qu'un résultat est fourni. Ainsi, pour permettre
* de continuer la boucle, il est possible de placer le résultat dans une variable et non de
* la retourner directement comme résultat.
*
*/
global.push();
Heap local = global.current();
while (interpreter.isCanIterate() && xnode==null) {
xnode = enode.exec(true);
_clear_closure_(local);
}
global.pull();
}
catch (Exception ex) {
interpreter.consumeBreakCode_onLoop();
interpreter.setCanLoop(oldCanLoop);
interpreter.setInLoop(oldInLoop);
throw ex;
}
interpreter.consumeBreakCode_onLoop();
interpreter.setCanLoop(oldCanLoop);
interpreter.setInLoop(oldInLoop);
return xnode;
}
}