// first GenVoca example: part of P2
// container class implementations
(
realms
  ( ds = ( bintree (ds),  // binary tree
	   dlist (ds),   // unordered doubly linked list
	   odlist (ds)   // key-ordered list
	 ),
    mem = (transient, persistent))
compositions
  ( ex1 = conceptual(bintree(heap(transient))))
restrictions
  ( bintree (c) (c) (c) (c) )
,
// second GenVoca example: P2 (modified for Demeter/Java)
realms
  ( ds = ( list (mem),    // linked list
	   vector (mem), // Java vector
	   array (mem),  // Java array
	   hashtable(mem), // Java hashtable
	   preorder (ds),  // preorder traversal
	   postorder (ds), // postorder traversal
	   printable (ds), // create print function
	   comparable (ds),// generate comparison function
	   copyable (ds),  // generate copy function
	   displayable(ds),// generate display function
	   parsable(ds),   // generate parse function
	   ordered (ds)    // elements are ordered (key not shown) 
         ),
    mem = (transient, persistent))
compositions
  ( ex1 = parsable(printable(preorder(vector(transient))))
    // the collection is implemented as a vector with a preorder traversal
    // methods as well as code for printing (visitor) and parsing
    ,
    default = parsable(displayable(copyable(comparable(
	      printable(preorder(list(transient)))))))
    // the default setting used by Demeter/Java for collection classes
  )
restrictions
  ( vector (c) (c) (c) (c) )

)