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 }