package abstrasy;
import abstrasy.externals.AExtClonable;
import abstrasy.interpreter.InterpreterException;
import abstrasy.interpreter.StdErrors;
import java.util.HashMap;
import java.util.Iterator;
/**
* 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 Interface implements AExtClonable {
//
// source code
//
private Node bodyIx=null;
//
// liste des abstracts
//
private HashMap<String,Long> map=new HashMap<String,Long>();
public Interface() {
}
public static final Interface createInterface() throws Exception {
Interface ix=new Interface();
return ix;
}
public void loadBodyIx(Node myIfaceNode,Node bodyIx) throws Exception {
this.bodyIx = bodyIx;
Heap.push();
Node old_iface = INTERFACE.swap(myIfaceNode);
Node r=bodyIx.exec(true);
INTERFACE.restore(old_iface);
Heap.pull();
if (r != null)
throw new InterpreterException(StdErrors.Void_return_results);
}
public Node getBodyIx() {
return bodyIx;
}
public void declare(String symbole,long qtype){
map.put(symbole,qtype);
}
public void require(String symbole,Node slot) throws InterpreterException {
if(slot==null)
throw new InterpreterException(StdErrors.Internal_error);
Long qtype=map.get(symbole);
if(qtype==null)
throw new InterpreterException(StdErrors.Symbol_not_defined);
slot.requireNodeType(qtype.longValue());
}
public void require(Node delegable) throws InterpreterException {
Iterator<String> items=map.keySet().iterator();
while(items.hasNext()){
String symbole=items.next();
long qtype=map.get(symbole);
Node slot=Node.VDelegable.getSlot(delegable, symbole,qtype);
if(slot==null)
throw new InterpreterException(StdErrors.extend(StdErrors.Symbol_required,symbole+" : "+Node.QTypeToString(qtype)));
}
}
public boolean isImplements(String symbole,Node slot) {
if(slot==null)
return false;
Long qtype=map.get(symbole);
if(qtype==null)
return false;
return slot.isNodeType(qtype.longValue());
}
public boolean isImplements(Node delegable) {
Iterator<String> items=map.keySet().iterator();
while(items.hasNext()){
String symbole=items.next();
long qtype=map.get(symbole);
Node slot=Node.VDelegable.getSlot(delegable,symbole);
if(slot==null)
return false;
if(!slot.isNodeType(qtype))
return false;
}
return true;
}
public boolean equals(Interface a){
if(a==null) return false;
if(a.map.size()!=map.size()) return false;
Iterator<String> items=map.keySet().iterator();
while(items.hasNext()){
String symbole=items.next();
long qtype=map.get(symbole);
Long aqtype=a.map.get(symbole);
if(aqtype==null) return false;
if(aqtype.longValue()!=qtype) return false;
}
return true;
}
public void imports(Interface fromI){
Iterator<String> items=fromI.map.keySet().iterator();
while(items.hasNext()){
String symbole=items.next();
long qtype=fromI.map.get(symbole);
declare(symbole,qtype);
}
}
@Override
public Object clone_my_self(Bivalence bival) {
Interface ni=new Interface();
//
// La liste des abstracts est copiée et non clonée
//
ni.map=map;
ni.bodyIx=bodyIx;
return ni;
}
}