tree
Class sum

java.lang.Object
  |
  +--oops.parser.GoalAdapter
        |
        +--tree.sum

public class sum
extends oops.parser.GoalAdapter

Goal class for the sum rule.

Author:
Bernd Kuehl, Bernd.Kuehl@informatik.uni-osnabrueck.de, Axel-Tobias Schreiner, axel@informatik.uni-osnabrueck.de, Jan Kraneis, jkraneis@informatik.uni-osnabrueck.de

Field Summary
protected  build op
          A tree.build object
 
Fields inherited from class oops.parser.GoalAdapter
result
 
Constructor Summary
sum()
           
 
Method Summary
 void shift(oops.parser.Goal sender, java.lang.Object node)
          shift method stores the value of the subtree
 void shift(oops.parser.Lit lit, java.lang.Object node)
          shift method stores the value of the actually recognized Lit
 
Methods inherited from class oops.parser.GoalAdapter
reduce, shift
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

op

protected build op
A tree.build object
Constructor Detail

sum

public sum()
Method Detail

shift

public void shift(oops.parser.Goal sender,
                  java.lang.Object node)
shift method stores the value of the subtree
Overrides:
shift in class oops.parser.GoalAdapter

shift

public void shift(oops.parser.Lit lit,
                  java.lang.Object node)
shift method stores the value of the actually recognized Lit
Overrides:
shift in class oops.parser.GoalAdapter