package abstrasy.pcfx;
import abstrasy.ASymbol;
import abstrasy.Heap;
import abstrasy.Node;
/**
* 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_eval extends PCFx {
public PCFx_eval() {
}
/**
* eval
*
* @param startAt Node
* @return Node
* @throws Exception
* @todo Implémenter cette méthode abstrasy.PCFx
*
*
* ----------------------------------------------------------------------------
* Correctif du 24 juin 2011:
* =========================
* Tout élément peut être évalué pour autant qu'il soit évaluable.
* S'il est quoté, il est rendu évaluable.
*
* (~lazy args)
* (~opérateur args)
* (~fonction args)
* (~objet args)
* ----------------------------------------------------------------------------
*/
public Node eval(Node startAt) throws Exception {
startAt.isGoodArgsLength(false,2);
int sz=startAt.size();
// premier élément sera invoqué...
Node xnode = startAt.getSubNode(1, Node.VTYPE_VALUABLE);
// lazy...
if (xnode.getQType()==Node.TYPE_LAZY) {
// le seul cas où des arguments peuvent être transmis...
Node argv=null;
if(sz>2){
// il y en a...
argv=Node.createCList();
argv.appendChildsOf(startAt, 2);
}
if(argv!=null){
Heap.push();
Heap.defv(ASymbol.SYMBOL_ARGV, argv);
}
// section lazy peut nécessiter un nouveau contexte.
Heap.push();
/**
* exécution...
*/
Node snode = xnode.exec(true);
/**
* retour...
*/
// si closure...
Heap.pull();
if(argv!=null){
// si argv...
Heap.pull();
}
return snode;
}
else{
// évaluation d'une expression (similaire à une réification)
Node enode = new Node().append(xnode);
enode.appendChildsOf(startAt, 2);
return enode.exec(false);
}
}
}