package abstrasy.pcfx;
import abstrasy.Heap;
import abstrasy.Interpreter;
import abstrasy.Node;
import abstrasy.PCoder;
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_foreach_perm extends PCFx {
private static final class Permut {
private int[] s = null;
private int p = 0;
private Node[] l = null;
Permut(Node[] l) {
if(l!=null){
this.l = l;
this.s = new int[l.length];
this.p = 0;
}
}
boolean hasNext() {
if (l==null) { return false; }
if (p == 0) {
p++;
return true;
}
while (p < s.length) {
if (s[p] < p) {
int q = (p % 2) == 0 ? 0: s[p];
//
Node t = l[p];
l[p] = l[q];
l[q] = t;
//
s[p]++;
p = 1;
return true;
}
else {
s[p] = 0;
p++;
}
}
return false;
}
Node[] getNext(){
return l;
}
}
public PCFx_foreach_perm() {
}
private final static void _clear_closure_(Heap closure){ if (closure.isLoaded()) closure.clear(); }
/**
* eval
*
* @param startAt Node
* @return Node
* @throws Exception
* @todo Implémenter cette méthode abstrasy.PCFx
*/
public Node eval(Node startAt) throws Exception {
/*
* forme (foreach-perm [liste] do{...})
* (foreach-perm [liste] list{...})
*/
int i = 1;
startAt.isGoodArgsCnt(4);
Node rnode = null;
Node xnode = null;
Node lNode = startAt.getSubNode(i++, Node.TYPE_CLIST);
/**
* foreach-perm ne supporte que la liste comme argument entrant.
*
* Il faut, en effet, connaître le nombre d'éléments pour envisager
* toutes les permutations possibles.
*/
Permut permut = new Permut(lNode.getArray());
Node btype = startAt.getSubNode(i++, Node.TYPE_PCODE);
Node enode = startAt.getSubNode(i++, Node.TYPE_LAZY);
Interpreter interpreter = Interpreter.mySelf();
boolean oldCanLoop = interpreter.isCanLoop();
boolean oldInLoop = interpreter.isInLoop();
interpreter.setCanLoop(true);
interpreter.setInLoop(true);
try {
if (btype.isPCode(PCoder.PC_DO)) {
/**
* (foreach-perm [liste] do {...})
*/
Node argv;
Heap.push(); // nouvel espace local pour argv (exclusivment)
Heap argv_h = Heap.current(); // optimisation du 09/03/2012
Heap.push(); // nouvel espace local
Heap local = Heap.current();
/*
* 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 (interpreter.isCanIterate() && permut.hasNext() && xnode==null) {
_clear_closure_(local);
argv = Node.createCList();
argv.setArray(permut.getNext());
argv_h.put(PCoder.ARGV, argv);
xnode = enode.exec(true);
}
Heap.pull(); // supprimer l'espace local...
Heap.pull(); // supprimer l'espace argv...
}
else if (btype.isPCode(PCoder.PC_LIST)) {
/**
* (foreach-perm [liste] list{...})
*/
Node argv;
xnode = Node.createCList();
Heap.push(); // nouvel espace local pour argv (exclusivment)
Heap argv_h = Heap.current(); // optimisation du 09/03/2012
Heap.push(); // nouvel espace local
Heap local = Heap.current();
while (interpreter.isCanIterate() && permut.hasNext()) {
_clear_closure_(local);
argv = Node.createCList();
argv.setArray(permut.getNext());
argv_h.put(PCoder.ARGV, argv);
rnode = enode.exec(true);
if (rnode != null)
xnode.addElement(rnode.secure());
}
Heap.pull(); // supprimer l'espace local...
Heap.pull(); // supprimer l'espace de noms argv...
}
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;
}
}