diagrams as images for javadoc

fujaba · Apr 6, 2018 · 59ba12a · 59ba12a
1 parent 56425e9
commit 59ba12a
Show file tree

Hide file tree

Showing 17 changed files with 1,111 additions and 1,113 deletions.
diff --git a/doc/GroupAccountMultiUserYaml.html b/doc/GroupAccountMultiUserYaml.html
@@ -21,7 +21,7 @@
 </style>
 </head>
 <body>
-<p>Storyboard <a href='.././src/test/java/org/sdmlib/test/examples/groupaccount/GroupAccountTests.java' type='text/x-java'>GroupAccountMultiUserYaml</a></p>
+<p>Storyboard <a href='./src/test/java/org/sdmlib/test/examples/groupaccount/GroupAccountTests.java' type='text/x-java'>GroupAccountMultiUserYaml</a></p>
 <p>Start: create a party data structure and store it with YamlIdMap</p>
 <script>
    var json = {
@@ -87,13 +87,59 @@
    json["options"]={"canvasid":"canvasGroupAccountMultiUserYaml2", "display":"svg", "fontsize":10,"bar":true};   var g = new Graph(json);
    g.layout(100,100);
 </script>
-<p><a name = 'step_1'>Step 1: add component listener and log changes in yaml format</a></p><p><a name = 'step_2'>Step 2: load changes into second model, continuously. </a></p><p><a name = 'step_3'>Step 3: check isomorphism</a></p><p>Check: match {Lectures Done 0.0 0.0=Lectures Done 0.0 0.0, Albert 0.0 0.0=Albert 0.0 0.0, Nathalie 0.0 0.0=Nathalie 0.0 0.0}</p>
+<p><a name = 'step_1'>Step 1: add component listener and log changes in yaml format</a></p><pre>- p1: 	Party
+  partyName: 	&quot;Lectures Done&quot;
+  partyName.time: 	2018-04-04T23:45:19.962.albert
+- p1: 	Party
+  share: 	0.0
+  share.time: 	2018-04-04T23:45:19.969.albert
+- p1: 	Party
+  total: 	0.0
+  total.time: 	2018-04-04T23:45:19.969.albert
+- albert.p2: 	Person
+  name: 	Albert
+  name.time: 	2018-04-04T23:45:19.971.albert
+- albert.p2: 	Person
+  saldo: 	0.0
+  saldo.time: 	2018-04-04T23:45:19.971.albert
+- albert.p2: 	Person
+  total: 	0.0
+  total.time: 	2018-04-04T23:45:19.971.albert
+- albert.p2: 	Person
+  party: 	p1
+  party.time: 	2018-04-04T23:45:19.972.albert
+- p1: 	Party
+- p1: 	Party
+  guests: 	albert.p2
+  guests.albert.p2.time: 	2018-04-04T23:45:37.148.albert
+- albert.p2: 	Person
+- albert.p3: 	Person
+  name: 	Nathalie
+  name.time: 	2018-04-04T23:46:20.479.albert
+- albert.p3: 	Person
+  saldo: 	0.0
+  saldo.time: 	2018-04-04T23:46:20.480.albert
+- albert.p3: 	Person
+  total: 	0.0
+  total.time: 	2018-04-04T23:46:20.480.albert
+- albert.p3: 	Person
+  party: 	p1
+  party.time: 	2018-04-04T23:46:20.480.albert
+- p1: 	Party
+- p1: 	Party
+  guests: 	albert.p3
+  guests.albert.p3.time: 	2018-04-04T23:46:20.480.albert
+- albert.p3: 	Person
+</pre>
+<p><a name = 'step_2'>Step 2: load changes into second model, continuously. </a></p><p><a name = 'step_3'>Step 3: check isomorphism</a></p><p>Check: match {Lectures Done 0.0 0.0=Lectures Done 0.0 0.0, Albert 0.0 0.0=Albert 0.0 0.0, Nathalie 0.0 0.0=Nathalie 0.0 0.0}</p>
 <p><a name = 'step_4'>Step 4: deal with link removal</a></p><pre>- albert.p3: 	Person
   party.remove: 	p1
-  party.remove.time: 	2018-03-22T15:06:08.311.albert
+  party.remove.time: 	2018-04-04T23:46:20.496.albert
 - p1: 	Party
   guests.remove: 	albert.p3
-</pre><p>Check: match {Lectures Done 0.0 0.0=Lectures Done 0.0 0.0, Albert 0.0 0.0=Albert 0.0 0.0}</p>
+  guests.remove.albert.p3.time: 	2018-04-04T23:46:20.496.albert
+</pre>
+<p>Check: match {Lectures Done 0.0 0.0=Lectures Done 0.0 0.0, Albert 0.0 0.0=Albert 0.0 0.0}</p>
 <p>original model</p>
 <script>
    var json = {
@@ -134,7 +180,7 @@
       }
    ]
 }   ;
-   json["options"]={"canvasid":"canvasGroupAccountMultiUserYaml11", "display":"svg", "fontsize":10,"bar":true};   var g = new Graph(json);
+   json["options"]={"canvasid":"canvasGroupAccountMultiUserYaml12", "display":"svg", "fontsize":10,"bar":true};   var g = new Graph(json);
    g.layout(100,100);
 </script>
 <p>cloned model</p>
@@ -177,12 +223,13 @@
       }
    ]
 }   ;
-   json["options"]={"canvasid":"canvasGroupAccountMultiUserYaml13", "display":"svg", "fontsize":10,"bar":true};   var g = new Graph(json);
+   json["options"]={"canvasid":"canvasGroupAccountMultiUserYaml14", "display":"svg", "fontsize":10,"bar":true};   var g = new Graph(json);
    g.layout(100,100);
 </script>
 <p><a name = 'step_5'>Step 5: deal with object removal</a></p><pre>- albert.p3: 	Person.remove
-  Person.remove.time: 	2018-03-22T15:06:08.315.albert
-</pre><p>Check: match {Lectures Done 0.0 0.0=Lectures Done 0.0 0.0, Albert 0.0 0.0=Albert 0.0 0.0}</p>
+  Person.remove.time: 	2018-04-04T23:46:20.519.albert
+</pre>
+<p>Check: match {Lectures Done 0.0 0.0=Lectures Done 0.0 0.0, Albert 0.0 0.0=Albert 0.0 0.0}</p>
 <p>Check: orig idmap has removed natanull</p>
 <p>original model</p>
 <script>
@@ -224,7 +271,7 @@
       }
    ]
 }   ;
-   json["options"]={"canvasid":"canvasGroupAccountMultiUserYaml19", "display":"svg", "fontsize":10,"bar":true};   var g = new Graph(json);
+   json["options"]={"canvasid":"canvasGroupAccountMultiUserYaml20", "display":"svg", "fontsize":10,"bar":true};   var g = new Graph(json);
    g.layout(100,100);
 </script>
 <p>cloned model</p>
@@ -267,27 +314,29 @@
       }
    ]
 }   ;
-   json["options"]={"canvasid":"canvasGroupAccountMultiUserYaml21", "display":"svg", "fontsize":10,"bar":true};   var g = new Graph(json);
+   json["options"]={"canvasid":"canvasGroupAccountMultiUserYaml22", "display":"svg", "fontsize":10,"bar":true};   var g = new Graph(json);
    g.layout(100,100);
 </script>
 <p><a name = 'step_6'>Step 6: add objects after removal</a></p><pre>- albert.p3: 	Person.remove
-  Person.remove.time: 	2018-03-22T15:06:08.315.albert
+  Person.remove.time: 	2018-04-04T23:46:20.519.albert
 - albert.p4: 	Person
   saldo: 	0.0
-  saldo.time: 	2018-03-22T15:06:08.319.albert
+  saldo.time: 	2018-04-04T23:46:20.530.albert
 - albert.p4: 	Person
   total: 	0.0
-  total.time: 	2018-03-22T15:06:08.320.albert
+  total.time: 	2018-04-04T23:46:20.530.albert
 - albert.p4: 	Person
   party: 	p1
-  party.time: 	2018-03-22T15:06:08.320.albert
+  party.time: 	2018-04-04T23:46:20.530.albert
 - p1: 	Party
 - p1: 	Party
   guests: 	albert.p4
+  guests.albert.p4.time: 	2018-04-04T23:46:20.530.albert
 - albert.p4: 	Person
 - albert.p4: 	Person
   name: 	Ann
-  name.time: 	2018-03-22T15:06:08.320.albert
+  name.time: 	2018-04-04T23:46:20.531.albert
 </pre>
+
 </body>
 </html>