https://prob.hhu.de/w/index.php?action=history&feed=atom&title=ProB_Java_API_Developer_Manual 2026-05-27T11:29:16Z Revision history for this page on the wiki MediaWiki 1.43.8 https://prob.hhu.de/w/index.php?title=ProB_Java_API_Developer_Manual&diff=4676&oldid=prev 2021-01-27T17:02:57Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 17:02, 27 January 2021</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Category:ProB Java API]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Category:ProB Java API]]</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>For developers who want to build specialized tools on top of ProB, we have prepared comprehensive documentation of the ProB Java API together with a template that enables a quick start. The documentation is available from <del style="font-weight: bold; text-decoration: none;">http</del>://<del style="font-weight: bold; text-decoration: none;">nightly</del>.<del style="font-weight: bold; text-decoration: none;">cobra</del>.<del style="font-weight: bold; text-decoration: none;">cs</del>.<del style="font-weight: bold; text-decoration: none;">uni-duesseldorf</del>.de/prob2/<del style="font-weight: bold; text-decoration: none;">developer-documentation/prob-devel</del>.<del style="font-weight: bold; text-decoration: none;">pdf, </del>the template is located at https://github.com/bendisposto/prob2_tooling_template.</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>For developers who want to build specialized tools on top of ProB, we have prepared comprehensive documentation of the ProB Java API together with a template that enables a quick start. The documentation is available from <ins style="font-weight: bold; text-decoration: none;">[https</ins>://<ins style="font-weight: bold; text-decoration: none;">www3</ins>.<ins style="font-weight: bold; text-decoration: none;">hhu</ins>.<ins style="font-weight: bold; text-decoration: none;">de/stups/handbook/prob2/prob_handbook</ins>.<ins style="font-weight: bold; text-decoration: none;">html#prob2.0 https://www3.hhu</ins>.de<ins style="font-weight: bold; text-decoration: none;">/stups/handbook</ins>/prob2/<ins style="font-weight: bold; text-decoration: none;">prob_handbook.html#prob2</ins>.<ins style="font-weight: bold; text-decoration: none;">0] </ins>the template is located at https://github.com/bendisposto/prob2_tooling_template.</div></td></tr> </table>

Michael Leuschel https://prob.hhu.de/w/index.php?title=ProB_Java_API_Developer_Manual&diff=2391&oldid=prev 2014-10-30T14:48:30Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 14:48, 30 October 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Category:ProB Java API]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Category:ProB Java API]]</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">*[[</del>ProB <del style="font-weight: bold; text-decoration: none;">2</del>.<del style="font-weight: bold; text-decoration: none;">0 Development]]</del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">For developers who want to build specialized tools on top of ProB, we have prepared comprehensive documentation of the </ins>ProB <ins style="font-weight: bold; text-decoration: none;">Java API together with a template that enables a quick start</ins>. <ins style="font-weight: bold; text-decoration: none;">The documentation is available from </ins>http://nightly.cobra.cs.uni-duesseldorf.de/prob2/<ins style="font-weight: bold; text-decoration: none;">developer-documentation</ins>/<ins style="font-weight: bold; text-decoration: none;">prob-devel</ins>.<ins style="font-weight: bold; text-decoration: none;">pdf, the template is located at </ins>https://<ins style="font-weight: bold; text-decoration: none;">github</ins>.com/<ins style="font-weight: bold; text-decoration: none;">bendisposto</ins>/<ins style="font-weight: bold; text-decoration: none;">prob2_tooling_template</ins>.</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">*[[Programmatic_Abstractions_in_the_ProB_2.0_API]]</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">*[</del>http://nightly.cobra.cs.uni-duesseldorf.de/prob2/<del style="font-weight: bold; text-decoration: none;">javadoc</del>/ <del style="font-weight: bold; text-decoration: none;">ProB 2</del>.<del style="font-weight: bold; text-decoration: none;">0 Core Javadoc]</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">*[</del>https://<del style="font-weight: bold; text-decoration: none;">docs.google</del>.com/<del style="font-weight: bold; text-decoration: none;">document</del>/<del style="font-weight: bold; text-decoration: none;">pub?id=109z3qG6_KBUqm0NC9FaEF1C6_NYCJl453wcXzbovj2Q ProB 2</del>.<del style="font-weight: bold; text-decoration: none;">0 Requirements Document] &lt;br/&gt;(if you want to comment on the Document, please use goo.gl/KS2bh)</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">*[[ProB 2.0 Tutorial]]</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">*[[Media:Extending prob.pdf|Rodin User and Developer Workshop 2012 - Tutorial Presentation]]</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">*[[Tutorial13|Rodin User and Developer Workshop 2013 - Tutorial]]</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">*[[ProB 2.0 within Rodin and a HTML Visualization Example]]</del></div></td><td colspan="2" class="diff-side-added"></td></tr> </table>

Lukas Ladenberger https://prob.hhu.de/w/index.php?title=ProB_Java_API_Developer_Manual&diff=2380&oldid=prev 2014-10-30T14:34:23Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 14:34, 30 October 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[Category:ProB Java API]]</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*[[ProB 2.0 Development]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*[[ProB 2.0 Development]]</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*[[Programmatic_Abstractions_in_the_ProB_2.0_API]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*[[Programmatic_Abstractions_in_the_ProB_2.0_API]]</div></td></tr> </table>

Lukas Ladenberger https://prob.hhu.de/w/index.php?title=ProB_Java_API_Developer_Manual&diff=2378&oldid=prev 2014-10-30T14:31:58Z

<p>Created page with &#039;*<a href="/w/index.php?title=ProB_2.0_Development" title="ProB 2.0 Development">ProB 2.0 Development</a> *<a href="/w/index.php?title=Programmatic_Abstractions_in_the_ProB_2.0_API" title="Programmatic Abstractions in the ProB 2.0 API">Programmatic_Abstractions_in_the_ProB_2.0_API</a> *[http://nightly.cobra.cs.uni-duesseldorf.de/prob2/javadoc/ ProB 2.0 Core Javadoc] *[https://docs.goo…&#039;</p> <p><b>New page</b></p><div>*[[ProB 2.0 Development]]<br /> *[[Programmatic_Abstractions_in_the_ProB_2.0_API]]<br /> *[http://nightly.cobra.cs.uni-duesseldorf.de/prob2/javadoc/ ProB 2.0 Core Javadoc]<br /> *[https://docs.google.com/document/pub?id=109z3qG6_KBUqm0NC9FaEF1C6_NYCJl453wcXzbovj2Q ProB 2.0 Requirements Document] &lt;br/&gt;(if you want to comment on the Document, please use goo.gl/KS2bh)<br /> *[[ProB 2.0 Tutorial]]<br /> <br /> *[[Media:Extending prob.pdf|Rodin User and Developer Workshop 2012 - Tutorial Presentation]]<br /> <br /> *[[Tutorial13|Rodin User and Developer Workshop 2013 - Tutorial]]<br /> <br /> *[[ProB 2.0 within Rodin and a HTML Visualization Example]]</div>

Lukas Ladenberger