package abstrasy.pcfx;
import abstrasy.Heap;
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_if extends PCFx {
public PCFx_if() {
}
/**
* eval
*
* @param startAt Node
* @return Node
* @throws Exception
* @todo Implémenter cette méthode abstrasy.PCFx
*/
private final long argsValuable = Node.VTYPE_VALUABLE;
private final static void _clear_closure_(Heap closure){ if (closure.isLoaded()) closure.clear(); }
private final static Node evalSection(Heap local, Node thenode) throws Exception {
if (thenode != null && thenode.isLazy()) {
_clear_closure_(local);
return thenode.exec(true);
}
return thenode;
}
public Node eval(Node startAt) throws Exception {
/**
* formes: (if {...} then ...)
* (if {...} then ... else ...)
* (if {...} then ... elif {...} then ...)
* (if {...} then ... elif {...} then ... ...)
*
*/
// longueur de l'expression...
int size=startAt.size();
// position initilale du lecteur dans l'expression...
int pos = 0;
// préparer le heap local pour le traitement...
Heap.push();
Heap local = Heap.current();
// résultat de l'expression sélectionnée...
Node res = null;
// condition d'arrêt d'analyse...
boolean continuer = true;
while (continuer) {
/**
* vérification élémentaire de la syntaxe
*/
startAt.isGoodArgsLength(false, pos + 4);
/*
* forme attendue à ce stade:
* - (if {...} then ...
* - ou elif {...} then ...
*
* then est donc toujours présent à pos+2.
*/
startAt.requirePCode(pos + 2, PCoder.PC_THEN);
/**
* Etablir le résultat du test...
*/
if (Node.isTrueEquivalent(evalSection(local, startAt.getSubNode(pos + 1, Node.TYPE_LAZY)))) {
/*
* Condition vérifiée:
* ==================
* On évalue l'élément de conséquence, puis on termine...
*/
res = evalSection(local, startAt.getSubNode(pos+3, argsValuable)); // evaluation paresseuse des symboles...
continuer=false;
}
else{
/*
* Condition non vérifiée:
* ======================
* On avance la position du lecteur vers le début de la partie suivante (donc 4 positions plus loin).
* S'il y a encore des élément on continue le traitement, sinon on arrêt là.
* Si on continue le traitement, on peut s'attendre à, au minimum 2 éléments supplémentaires: else ...
* Si le pcode suivant est else, on évalue directement la conséquence.
* Si c'est autre chose, il doit s'agir de elif, sinon il y a une erreur de syntaxe.
* S'il s'agit de elif, on recommence le processus à partir du début...
*/
pos+=4;
if(pos<size){
Node pcnode=startAt.getSubNode(pos, Node.TYPE_PCODE);
if(pcnode.isPCode(PCoder.PC_ELSE)){
startAt.isGoodArgsCnt(pos+2);
res = evalSection(local, startAt.getSubNode(pos+1, argsValuable)); // evaluation paresseuse des symboles...
continuer=false;
}
else if(!pcnode.isPCode(PCoder.PC_ELIF)){
throw new InterpreterException(StdErrors.extend(StdErrors.Syntax_error, "\'" + PCoder.getReserved(PCoder.PC_ELSE) + "\' or \'" + PCoder.getReserved(PCoder.PC_ELIF) + "\' expected"));
}
}
else{
continuer=false;
}
}
}
Heap.pull();
return res;
}
}