001 package toolbus.tifs; 002 003 import java.util.Iterator; 004 005 import aterm.ATerm; 006 007 public class Event extends Communication{ 008 009 public Event(ATerm t){ 010 super(t); 011 } 012 013 public String toString(){ 014 StringBuilder buf = new StringBuilder(); 015 buf.append("event("); 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 }