You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Tree: fbcf55aa63

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'fbcf55aa63'

${ noResults }

prism-accumulation/prism-examples/leader

History

Joachim Klein fbcf55aa63 GUI renderers/editors: Move from static allocation to allocation on first use Currently, most of the Setting classes construct a SettingRenderer and SettingEditor statically, for use in the GUI. When running PRISM from the command-line (PrismCL), we make sure to run Java in headless mode and generally those calls then don't matter. If there are problems with the AWT configuration, there can be exceptions even for PrismCL. So, here, we switch from static allocation on class loading to static allocation on first use of getSettingsEditor() and getSettingsRenderer().		9 years ago
..
asynchronous	Few more fixes in examples re new semantics.	15 years ago
synchronous	GUI renderers/editors: Move from static allocation to allocation on first use	9 years ago