package abstrasy.pcfx;
import abstrasy.Hash;
import abstrasy.Node;
import abstrasy.interpreter.InterpreterException;
import java.util.ArrayList;
/**
* 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_unify extends PCFx {
public PCFx_unify() {
}
/**
* 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 : (unify 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...
*/
if (!unify_symbol(a, b, r, force_enc)) {
r = new Hash();
}
/*
* Post-traitepment de r.
*/
if (force_enc) {
ArrayList<Node> kn=r.keys_nodes();
for (int i = 0; i < kn.size(); i++)
r.store(kn.get(i), Node.quoteEncoded_encode(r.ref(kn.get(i))));
}
return Node.createHash(r);
}
private final static boolean symbol_exists(Node s, Hash r) throws InterpreterException {
return r.hasKey(s);
}
private final static Node symbol_value(Node s, Hash r) throws InterpreterException {
return r.ref(s);
}
private final static void symbol_addValue(Node s, Node v, Hash r) throws Exception {
r.store(s,v.secure());
}
private final static boolean isRSymbol(Node a, boolean force_enc){
return (force_enc ? a.getQType() == Node.TYPE_SYMBOL: a.getQType() == Node.TYPE_QSYMBOL) && a.getSymbol().getStr().charAt(0)=='?';
}
/*
* utilisé aussi par match? !!!
*/
final static boolean unify_symbol(Node a, Node b, Hash r, boolean force_enc) throws Exception {
boolean valide = true;
// il s'agit d'un élément atome (unaire)...
boolean a_symbol = isRSymbol(a,force_enc);
boolean b_symbol = isRSymbol(b,force_enc);
if(a_symbol && b_symbol){
return false;
}
else if (a_symbol) {
a=a.deref().letQuoted(true);
if(symbol_exists(a,r) && !Node.equalsNodes(symbol_value(a,r),b)) return false;
if(!symbol_exists(a,r)) symbol_addValue(a,b,r);
}
else if (b_symbol) {
b=b.deref().letQuoted(true);
if(symbol_exists(b,r) && !Node.equalsNodes(symbol_value(b,r),a)) return false;
if(!symbol_exists(b,r)) symbol_addValue(b,a,r);
}
else if (a.hasChilds() && a.getQType() == b.getQType() && a.size() == b.size()) {
// liste ou expression similaire: même type, faisant partie du CAST et de même longueur...
for (int i = 0; i < a.size(); i++) {
// traiter récursivement chaque sous-éléments...
valide = unify_symbol(a.elementAt(i), b.elementAt(i), r, force_enc);
if (!valide)
return valide;
}
}
else {
// éléments unaires doivent être de valeurs equivalentes.
valide = Node.equalsNodes(a, b);
}
return valide;
}
}