001    package toolbus;
002    
003    import javax.swing.SwingUtilities;
004    
005    import aterm.ATerm;
006    import aterm.ATermFactory;
007    
008    abstract public class SwingTool extends AbstractTool {
009    
010        public SwingTool(ATermFactory factory) {
011            super(factory);
012        }
013    
014        public void handleIncomingTerm(final byte operation, final ATerm t) {
015            Runnable run = new Runnable() {
016                public void run() {
017                    handleTerm(operation, t);
018                }
019            };
020            SwingUtilities.invokeLater(run);
021        }
022    }