tree
Class term.minus

java.lang.Object
  |
  +--oops.parser.GoalAdapter
        |
        +--tree.term.minus
Enclosing class:
term

public static class term.minus
extends oops.parser.GoalAdapter

Inner class implements unary minus


Fields inherited from class oops.parser.GoalAdapter
result
 
Constructor Summary
term.minus()
           
 
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)
          does nothing
 
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
 

Constructor Detail

term.minus

public term.minus()
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)
does nothing
Overrides:
shift in class oops.parser.GoalAdapter