package abstrasy.pcfx;
import abstrasy.Heap;
import abstrasy.Interpreter;
import abstrasy.Node;
import abstrasy.PCoder;
import abstrasy.StaticHeap;
import abstrasy.interpreter.InterpreterException;
import abstrasy.interpreter.StdErrors;
/**
* 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_until extends PCFx {
public PCFx_until() {
}
private final static void _clear_closure_(Heap closure){ if (closure.isLoaded()) closure.clear(); }
private final static Node evalSectionX(Heap closure, Node thenode) throws Exception {
_clear_closure_(closure);
return thenode.exec(true);
}
final private static boolean xPC_ConditionX(abstrasy.Heap closure, Node cnode) throws Exception {
return Node.isTrueEquivalent(evalSectionX(closure, cnode));
}
public Node eval(Node startAt) throws Exception {
Node tcode = startAt.getSubNode(2, Node.TYPE_PCODE);
Node cnode = startAt.getSubNode(1, Node.TYPE_LAZY);
Node enode = startAt.getSubNode(3, Node.TYPE_LAZY);
startAt.isGoodArgsCnt(4);
Node xnode = null;
Node rnode = null;
Interpreter interpreter = Interpreter.mySelf();
StaticHeap global = interpreter.getGLOBAL();
boolean oldCanLoop = interpreter.isCanLoop();
boolean oldInLoop = interpreter.isInLoop();
interpreter.setCanLoop(true);
interpreter.setInLoop(true);
try {
if (tcode.isPCode(PCoder.PC_DO)) {
//
// closure pour le corps
abstrasy.Heap myClosure = new Heap();
global.push(myClosure);
/*
* 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.
*
*/
while (xnode==null && interpreter.isCanIterate() && !xPC_ConditionX(myClosure, cnode)) {
_clear_closure_(myClosure);
xnode = enode.exec(true);
}
global.pull();
}
else if (tcode.isPCode(PCoder.PC_LIST)) {
/**
* boucle génératrice de listes.
*
* respecte la protection des listes finale.
*
* -> résultat jamais final.
*
*/
xnode = Node.createCList();
//
// closure pour le corps
abstrasy.Heap myClosure = new Heap();
global.push(myClosure);
while (interpreter.isCanIterate() && !xPC_ConditionX(myClosure, cnode)) {
_clear_closure_(myClosure);
rnode = enode.exec(true);
if (rnode != null) xnode.addElement(rnode.secure());
}
global.pull();
}
else {
// erreur de syntaxe.
throw new InterpreterException(StdErrors.Syntax_error);
}
}
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;
}
}