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

// class dictionary
(@
import java.util.*;
@)
Container = "(" 
  <contents> List(Item) <capacity> Capacity ")".
Item : Container | Simple.
List(S) ~ {S}.
Simple =  <name> Ident <w> Weight.
Capacity = <i> int.
Weight = <i> int.


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

Main = .