001    package toolbus.atom;
002    
003    import toolbus.State;
004    import toolbus.TBTermFactory;
005    import toolbus.parsercup.PositionInformation;
006    import toolbus.process.ProcessExpression;
007    
008    /**
009     * @author paulk, Jul 24, 2002
010     */
011    public class Delta extends Atom{
012            
013            public Delta(TBTermFactory tbfactory, PositionInformation posInfo){
014                    super(tbfactory, posInfo);
015            }
016    
017            public ProcessExpression copy(){
018                    Atom a = new Delta(tbfactory, getPosInfo());
019                    a.copyAtomAttributes(this);
020                    return a;
021            }
022            
023            public State getFirst(){
024                    State deltaState = new State();
025                    deltaState.addElement(this);
026                    return deltaState;
027            }
028            
029            public boolean execute(){
030                    return false;
031            }
032            
033    }