ProB for Rodin: Difference between revisions

Revision as of 11:03, 31 October 2014

Because the UI components provided by the ProB Java API are based on web technologies, we were able create a simple plugin for the Rodin 3 tool that provides the user with all of the functionality of ProB within Rodin. The plugin uses views with embedded Eclipse SWT browsers to access the user interface components that are shipped with the ProB Java API library.

Revision as of 14:52, 30 October 2014 (view source) Lukas Ladenberger (talk \| contribs) No edit summary ← Older edit		Revision as of 11:03, 31 October 2014 (view source) Michael Leuschel (talk \| contribs) No edit summary Newer edit →
Line 1:		Line 1:
	[[Category:Components]]		[[Category:Components]]
	Because the UI components provided by the [[ProB Java API]] are based on web technologies, we were able create a simple plugin for the Rodin 3 tool that provides the user with all of the functionality of ProB within Rodin. The plugin uses views with embedded Eclipse SWT browsers to access the user interface components that are shipped in the [[ProB Java API]] library.		Because the UI components provided by the [[ProB Java API]] are based on web technologies, we were able create a simple plugin for the Rodin 3 tool that provides the user with all of the functionality of ProB within Rodin. The plugin uses views with embedded Eclipse SWT browsers to access the user interface components that are shipped with the [[ProB Java API]] library.