package abstrasy.pcfx;
import abstrasy.Hash;
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_is__match extends PCFx {
public PCFx_is__match() {
}
/**
* eval
*
* @param startAt Node
* @return Node
* @throws Exception
* @todo Implémenter cette méthode abstrasy.PCFx
*/
private final static long CAST = Node.TYPE_CLIST | Node.VTYPE_METAEXPRESSION;
public Node eval(Node startAt) throws Exception {
/* forme : (match? a b)
* 0 1 2
*/
startAt.isGoodArgsCnt(3);
Node a = startAt.getSubNode(1, CAST);
Node b = startAt.getSubNode(2, a.getQType());
boolean force_enc = (a.isQuoted() || a.getType() == Node.TYPE_LAZY);
Hash r = new Hash();
/*
* Attention, si l'unification n'est pas valide, retourner une liste vide...
*/
boolean res = PCFx_unify.unify_symbol(a, b, r, force_enc);
return new Node(res ? Node.TRUE: Node.FALSE);
}
}