// solving the capacity checking problem from hw 2
// without modifying the host
// visitor has own stack to keep track of initial value

(@
import java.util.*;
@)
Container = "(" 
  <contents> List(Item) <capacity> Capacity ")".
Item : Container | Simple.
List(S) ~ {S}.
Simple =  <name> Ident <w> Weight.
Capacity = <i> Integer.
Weight = <i> Integer.
MyStack = *extends* Stack.


CheckingVisitor = <iV> InitialVisitor <violations> Integer.
SummingVisitor = <total> Integer.
InitialVisitor = // takes care of computing initial value 
  <initial> Integer // result for communication
		    // with checking visitor
  <stack> MyStack   
  <sV> SummingVisitor. 

Main = .