tree
Class product

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

public class product
extends oops.parser.GoalAdapter

Goal class for the product 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

Inner Class Summary
static class product.div
          Inner class implements tree building for division
static class product.mul
          Inner class implements tree building for multiplication
 
Fields inherited from class oops.parser.GoalAdapter
result
 
Constructor Summary
product()
           
 
Method Summary
 void shift(oops.parser.Goal sender, java.lang.Object node)
          shift method stores the value of the subtree
 
Methods inherited from class oops.parser.GoalAdapter
reduce, shift, shift
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

product

public product()
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