| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/C/Lyx/src/ (Lyx Textverarbeitung ©) Datei vom 26.9.1998 mit Größe 512 B |
|
Quellcode-Bibliothek ADTSL.launch Sprache: XML |
|||||||||
|
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<launchConfiguration type="org.overture.ide.vdmsl.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="ADTSL"/> <stringAttribute key="vdm_launch_config_expression" value="DEFAULT`TestTrees()"/> <booleanAttribute key="vdm_launch_config_static_method" value="true"/> <stringAttribute key="vdm_launch_config_default" value="DEFAULT"/> <stringAttribute key="vdm_launch_config_method" value="TestTrees()"/> <stringAttribute key="vdm_launch_config_module" value="DEFAULT"/> </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.0Bemerkung: (vorverarbeitet) ¤*Bot Zugriff |
|
