001    package toolbus.tifs;
002    
003    import java.util.Iterator;
004    
005    import aterm.ATerm;
006    import aterm.ATermAppl;
007    
008    public class Eval extends Communication{
009            
010            public Eval(ATerm t){
011                    super(t);
012            }
013            
014            public String getResultType(){
015                    ATermAppl resultTerm = (ATermAppl) getRepresentation().getArgument(1);
016                    return resultTerm.getAFun().getName();
017            }
018            
019            public String toString(){
020                    StringBuilder buf = new StringBuilder();
021                    buf.append("eval(");
022                    buf.append(getName());
023                    Iterator<String> iter = fetchArgumentIterator();
024                    if(iter.hasNext()){
025                            buf.append('(');
026                            while(iter.hasNext()){
027                                    buf.append(iter.next());
028                                    if(iter.hasNext()){
029                                            buf.append(',');
030                                    }
031                            }
032                            buf.append(')');
033                    }
034                    buf.append(',');
035                    buf.append(getResultType());
036                    buf.append(')');
037                    return buf.toString();
038            }
039    }