| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/PVS/measure_integration/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 215 B |
|
Quellcode-Bibliothek EnigmaPP.launch Sprache: XML |
|||||||||
|
<?xml version="1.0" encoding="UTF-8" standalone/launchConfiguration
<launchConfiguration type="org.overture.ide.vdmpp.debug.launchConfigurationType"> <intAttribute key="vdm_debug_session_id" value="1"/> <booleanAttribute key="vdm_launch_config_create_coverage" value="true"/> <booleanAttribute key="vdm_launch_config_enable_logging" value="false"/> <stringAttribute key="vdm_launch_config_memory_option" value=""/> <stringAttribute key="vdm_launch_config_remote_control_class" value=""/> <booleanAttribute key="vdm_launch_config_remote_debug" value="false"/> <stringAttribute key="vdm_launch_config_project" value="EnigmaPP"/> <stringAttribute key="vdm_launch_config_expression" value="new EnigmaTest().Execute <booleanAttribute key="vdm_launch_config_static_method" value="false"/> <stringAttribute key="vdm_launch_config_default" value="EnigmaTest"/> <stringAttribute key="vdm_launch_config_method" value="Execute()"/> <stringAttribute key="vdm_launch_config_module" value="EnigmaTest()"/> </launchConfiguration> ¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.13Bemerkung: (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
