001    package toolbus.tifs;
002    
003    import java.util.Iterator;
004    
005    import aterm.ATerm;
006    
007    public class Do extends Communication{
008            
009            public Do(ATerm t){
010                    super(t);
011            }
012            
013            public String toString(){
014                    StringBuilder buf = new StringBuilder();
015                    buf.append("do(");
016                    buf.append(getName());
017                    Iterator<String> iter = fetchArgumentIterator();
018                    if(iter.hasNext()){
019                            buf.append('(');
020                            while(iter.hasNext()){
021                                    buf.append(iter.next());
022                                    if(iter.hasNext()){
023                                            buf.append(',');
024                                    }
025                            }
026                            buf.append(')');
027                    }
028                    buf.append(')');
029                    return buf.toString();
030            }
031    }