Demeter/Java version 0.8
Copyright (c) 1999 Northeastern University
Reading project file program.prj...
Running the generator...
Parsing program.cd...
Building hashtable of classes...
Adding generic visitors:
 PrintVisitor CopyVisitor SubgraphVisitor EqualVisitor DisplayVisitor TraceVisitor UniversalVisitor
Marking not-parsed classes...
Marking visitor classes...
Expanding parameterized classes...
Converting repetition classes...
Filling in part names...
Setting inheritance links...
Saving expanded CD to gen/program.xcd...
Reading behavior files:
 program.beh
Filling in visitor names...
Marking derived parts...
Making generic visitor behavior files...
Reading behavior files:
 gen/UniversalVisitor.beh gen/PrintVisitor.beh gen/CopyVisitor.beh gen/SubgraphVisitor.beh gen/EqualVisitor.beh gen/DisplayVisitor.beh gen/TraceVisitor.beh
Building cyclic class graph...
Converting adaptive methods...
Building visitor tables...
Expanding universal traversal...
Expanding static traversals...
  Computing traversal graph for toAll...  generating traversal methods...
  Computing traversal graph for toAllQuantities...  generating traversal methods...
  Computing traversal graph for __trav_sum2...  generating traversal methods...
Adding Enumeration thingies to Repetition classes
Adding Subtraversal class.
Generating core aspect code to gen...
Generating grammar to gen/Parser.jj...
Done.
Running the weaver...
Running the compiler...
Running the test...
Print input: with concrete syntax
<ShoeOrder>id="f56" style="s"<color>Black</color><size>"9 1/2"</size><width>aa</width><stores>a 3 b 5 c 7 d 1</stores></ShoeOrder>
Display input: no concrete syntax
: ShoeOrder  (
	<id>  : String "f56" 
	<style>  : String "s" 
	<color>  : Ident "Black"
	<size>  : String "9 1/2" 
	<width> : Width  (
		<w> : AA  ( ) )
	<stores> : Store_List  {
		<first> : Nonempty_Store_List  (
			<it> : Store  (
				<name>  : Ident "a"
				<howManySuchShoes> : Quantity  (
					<number>  : Number "3" ) )
			<next> : Nonempty_Store_List  (
				<it> : Store  (
					<name>  : Ident "b"
					<howManySuchShoes> : Quantity  (
						<number>  : Number "5" ) )
				<next> : Nonempty_Store_List  (
					<it> : Store  (
						<name>  : Ident "c"
						<howManySuchShoes> : Quantity  (
							<number>  : Number "7" ) )
					<next> : Nonempty_Store_List  (
						<it> : Store  (
							<name>  : Ident "d"
							<howManySuchShoes> : Quantity  (
								<number>  : Number "1" ) ) ) ) ) ) } )
Show effect of TraceVisitor: where have we been?
before ShoeOrder
 before -> ShoeOrder, id, String 
  after -> ShoeOrder, id, String 
 before -> ShoeOrder, style, String 
  after -> ShoeOrder, style, String 
 before -> ShoeOrder, color, Ident 
  after -> ShoeOrder, color, Ident 
 before -> ShoeOrder, size, String 
  after -> ShoeOrder, size, String 
 before -> ShoeOrder, width, Width 
  before Width
   before -> Width, w, W 
    before W
     before AA
      after AA
     after W
    after -> Width, w, W 
   after Width
  after -> ShoeOrder, width, Width 
 before -> ShoeOrder, stores, Store_List 
  before Store_List
   before -> Store_List, first, Nonempty_Store_List 
    before Nonempty_Store_List
     before -> Nonempty_Store_List, it, Store 
      before Store
       before -> Store, name, Ident 
        after -> Store, name, Ident 
       before -> Store, howManySuchShoes, Quantity 
        before Quantity
         before -> Quantity, number, Number 
          after -> Quantity, number, Number 
         after Quantity
        after -> Store, howManySuchShoes, Quantity 
       after Store
      after -> Nonempty_Store_List, it, Store 
     before -> Nonempty_Store_List, next, Nonempty_Store_List 
      before Nonempty_Store_List
       before -> Nonempty_Store_List, it, Store 
        before Store
         before -> Store, name, Ident 
          after -> Store, name, Ident 
         before -> Store, howManySuchShoes, Quantity 
          before Quantity
           before -> Quantity, number, Number 
            after -> Quantity, number, Number 
           after Quantity
          after -> Store, howManySuchShoes, Quantity 
         after Store
        after -> Nonempty_Store_List, it, Store 
       before -> Nonempty_Store_List, next, Nonempty_Store_List 
        before Nonempty_Store_List
         before -> Nonempty_Store_List, it, Store 
          before Store
           before -> Store, name, Ident 
            after -> Store, name, Ident 
           before -> Store, howManySuchShoes, Quantity 
            before Quantity
             before -> Quantity, number, Number 
              after -> Quantity, number, Number 
             after Quantity
            after -> Store, howManySuchShoes, Quantity 
           after Store
          after -> Nonempty_Store_List, it, Store 
         before -> Nonempty_Store_List, next, Nonempty_Store_List 
          before Nonempty_Store_List
           before -> Nonempty_Store_List, it, Store 
            before Store
             before -> Store, name, Ident 
              after -> Store, name, Ident 
             before -> Store, howManySuchShoes, Quantity 
              before Quantity
               before -> Quantity, number, Number 
                after -> Quantity, number, Number 
               after Quantity
              after -> Store, howManySuchShoes, Quantity 
             after Store
            after -> Nonempty_Store_List, it, Store 
           after Nonempty_Store_List
          after -> Nonempty_Store_List, next, Nonempty_Store_List 
         after Nonempty_Store_List
        after -> Nonempty_Store_List, next, Nonempty_Store_List 
       after Nonempty_Store_List
      after -> Nonempty_Store_List, next, Nonempty_Store_List 
     after Nonempty_Store_List
    after -> Store_List, first, Nonempty_Store_List 
   after Store_List
  after -> ShoeOrder, stores, Store_List 
 after ShoeOrder


ShoeOrder@2125f0
Copyed object

: ShoeOrder  (
	<id>  : String "f56" 
	<style>  : String "s" 
	<color>  : Ident "Black"
	<size>  : String "9 1/2" 
	<width> : Width  (
		<w> : AA  ( ) )
	<stores> : Store_List  {
		<first> : Nonempty_Store_List  (
			<it> : Store  (
				<name>  : Ident "a"
				<howManySuchShoes> : Quantity  (
					<number>  : Number "3" ) )
			<next> : Nonempty_Store_List  (
				<it> : Store  (
					<name>  : Ident "b"
					<howManySuchShoes> : Quantity  (
						<number>  : Number "5" ) )
				<next> : Nonempty_Store_List  (
					<it> : Store  (
						<name>  : Ident "c"
						<howManySuchShoes> : Quantity  (
							<number>  : Number "7" ) )
					<next> : Nonempty_Store_List  (
						<it> : Store  (
							<name>  : Ident "d"
							<howManySuchShoes> : Quantity  (
								<number>  : Number "1" ) ) ) ) ) ) } )
Is the copy the same as the original?
true

Total
sum 0
sum 3
sum 8
sum 15
16
Total with debugging
before ShoeOrder
 before -> ShoeOrder, stores, Store_List 
  before Store_List
   before -> Store_List, first, Nonempty_Store_List 
    before Nonempty_Store_List
     before -> Nonempty_Store_List, it, Store 
      before Store
       before -> Store, howManySuchShoes, Quantity 
sum 0
        before Quantity
         after Quantity
        after -> Store, howManySuchShoes, Quantity 
       after Store
      after -> Nonempty_Store_List, it, Store 
     before -> Nonempty_Store_List, next, Nonempty_Store_List 
      before Nonempty_Store_List
       before -> Nonempty_Store_List, it, Store 
        before Store
         before -> Store, howManySuchShoes, Quantity 
sum 3
          before Quantity
           after Quantity
          after -> Store, howManySuchShoes, Quantity 
         after Store
        after -> Nonempty_Store_List, it, Store 
       before -> Nonempty_Store_List, next, Nonempty_Store_List 
        before Nonempty_Store_List
         before -> Nonempty_Store_List, it, Store 
          before Store
           before -> Store, howManySuchShoes, Quantity 
sum 8
            before Quantity
             after Quantity
            after -> Store, howManySuchShoes, Quantity 
           after Store
          after -> Nonempty_Store_List, it, Store 
         before -> Nonempty_Store_List, next, Nonempty_Store_List 
          before Nonempty_Store_List
           before -> Nonempty_Store_List, it, Store 
            before Store
             before -> Store, howManySuchShoes, Quantity 
sum 15
              before Quantity
               after Quantity
              after -> Store, howManySuchShoes, Quantity 
             after Store
            after -> Nonempty_Store_List, it, Store 
           after Nonempty_Store_List
          after -> Nonempty_Store_List, next, Nonempty_Store_List 
         after Nonempty_Store_List
        after -> Nonempty_Store_List, next, Nonempty_Store_List 
       after Nonempty_Store_List
      after -> Nonempty_Store_List, next, Nonempty_Store_List 
     after Nonempty_Store_List
    after -> Store_List, first, Nonempty_Store_List 
   after Store_List
  after -> ShoeOrder, stores, Store_List 
 after ShoeOrder
16