001    /**
002     * @author paulk, Jul 16, 2002
003     */
004    
005    package toolbus.atom.msg;
006    
007    import toolbus.TBTermFactory;
008    import toolbus.atom.Atom;
009    import toolbus.atom.Ref;
010    import toolbus.parsercup.PositionInformation;
011    import aterm.ATerm;
012    
013    public abstract class MsgAtom extends Atom{
014            public final ATerm msg;
015            
016            public MsgAtom(ATerm msg, TBTermFactory tbfactory, PositionInformation posInfo){
017                    super(tbfactory, posInfo);
018                    this.msg = msg;
019                    setAtomArgs(new Ref[]{new Ref(msg)});
020            }
021    }