ProB Java API Developer Manual: Difference between revisions

Latest revision as of 17:02, 27 January 2021

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 https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html#prob2.0 the template is located at https://github.com/bendisposto/prob2_tooling_template.

Revision as of 14:48, 30 October 2014 (view source) Lukas Ladenberger (talk \| contribs) No edit summary ← Older edit		Latest revision as of 17:02, 27 January 2021 (view source) Michael Leuschel (talk \| contribs) No edit summary
Line 1:		Line 1:
	[[Category:ProB Java API]]		[[Category:ProB Java API]]

	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 ~~http~~://~~nightly~~.~~cobra~~.cs.~~uni-duesseldorf~~.de/prob2/~~developer-documentation/prob-devel~~.~~pdf,~~ the template is located at https://github.com/bendisposto/prob2_tooling_template.		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 [https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html#prob2.0 https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html#prob2.0] the template is located at https://github.com/bendisposto/prob2_tooling_template.