package abstrasy.pcfx;
import abstrasy.Heap;
import abstrasy.Node;
import abstrasy.PCoder;
import abstrasy.ASymbol;
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_pattern extends PCFx {
public PCFx_pattern() {
}
/**
* eval
*
* @param startAt Node
* @return Node
* @throws Exception
* @todo Implémenter cette méthode abstrasy.PCFx
*/
public Node eval(Node startAt) throws Exception {
/**
* forme générale : (pattern ['Symbole] [external|namespace|function] {...})
* ==============
*
* formes :
* ======
*
*
* Modèles anonyme :
* ---------------
*
* (pattern external {external "..."})
* (pattern namespace {namespace {...}})
* (pattern function {function {...}})
*
*
* Modèles nommés :
* --------------
*
* (pattern 'Symbole external {external "..."}) -> (define 'Symbole (pattern external {external "..."}))
* (pattern 'Symbole namespace {namespace {...}}) -> (define 'Symbole (pattern namespace {namespace {...}}))
* (pattern 'Symbole function {function {...}}) -> (define 'Symbole (pattern function {function {...}}))
*
*
* Modèle avec contrainte d'interface générique :
* --------------------------------------------
*
* (pattern external (interface) {external "..."})
* (pattern namespace (interface) {namespace {...}})
* (pattern function (interface) {function {...}})
*
* (pattern 'Symbole external (interface) {external "..."}) -> (define 'Symbole (pattern external (interface) {external "..."}))
* (pattern 'Symbole namespace (interface) {namespace {...}}) -> (define 'Symbole (pattern namespace (interface) {namespace {...}}))
* (pattern 'Symbole function (interface) {function {...}}) -> (define 'Symbole (pattern function (interface) {function {...}}))
*
*/
int arg_o=1;
//
// type primaire attendu
//
long primaryType=Node.TYPE_NONE;
//
// symbole (nom du pattern)
//
ASymbol symbole=null;
//
// récupération du symbole s'il y en a un...
//
if(startAt.testSubNode(arg_o, Node.TYPE_QSYMBOL)){
symbole=startAt.getSubNode(arg_o++, Node.TYPE_QSYMBOL).getSymbol();
if(!symbole.isImmutable())
throw new InterpreterException(StdErrors.Immutable_symbol_required);
}
//
// body (corps du pattern : lazy)
//
Node body=null;
//
// récupération du type
//
Node arg0=startAt.getSubNode(arg_o++, Node.TYPE_PCODE);
if(arg0.isPCode(PCoder.PC_EXTERNAL)) primaryType=Node.TYPE_EXTERNAL;
else if(arg0.isPCode(PCoder.PC_NAMESPACE)) primaryType=Node.TYPE_NAMESPACE;
else if(arg0.isPCode(PCoder.PC_FUNCTION)) primaryType=Node.TYPE_FUNCTION;
else
throw new InterpreterException(StdErrors.Syntax_error);
//
// récupération de l'interface générique s'il y en a une...
//
Node iface=null;
if(startAt.testSubNode(arg_o, Node.TYPE_INTERFACE))
iface=startAt.getSubNode(arg_o++, Node.TYPE_INTERFACE);
//
// récupération du corps du pattern...
//
body=startAt.getSubNode(arg_o++, Node.TYPE_LAZY);
//
// vérification de la fin de l'expression
//
startAt.isGoodArgsCnt(arg_o);
//
// c'est parti...
//
Node pnode = Node.createPattern(primaryType,body,iface);
if(symbole!=null){
Heap.defv(symbole,pnode);
return null;
}
else
return pnode;
}
}