Skip to content
Snippets Groups Projects
Commit 39a5f31b authored by Simon Barner's avatar Simon Barner
Browse files

Merge branch '3835-submodules' into 'master' 

3835 submodules

See merge request !13
parents c88ea31f e9c134b2
No related branches found
No related tags found
1 merge request!133835 submodules
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 137 additions and 502 deletions
.gitmodules
+ 4
− 0
View file @ 39a5f31b
......@@ -2,3 +2,7 @@
path = org.fortiss.af3.rcp.application/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.rcp.help/.settings"]
path = org.fortiss.af3.rcp.help/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
.settings @ d117b3db
Subproject commit d117b3db1742a745f515d2b6c52cc9a02e57c299
org.fortiss.af3.rcp.application/.settings/org.eclipse.core.resources.prefs deleted 100644 → 0
+ 0
− 5
View file @ c88ea31f
eclipse.preferences.version=1
encoding//html/external_tools.html=UTF-8
encoding//model/conti.ecorediag=UTF-8
encoding//uml/exploration.ecorediag=UTF-8
encoding/<project>=US-ASCII
org.fortiss.af3.rcp.application/.settings/org.eclipse.jdt.ui.prefs deleted 100644 → 0
+ 0
− 58
View file @ c88ea31f
eclipse.preferences.version=1
editor_save_participant_org.eclipse.jdt.ui.postsavelistener.cleanup=true
formatter_profile=_fortiss
formatter_settings_version=12
org.eclipse.jdt.ui.javadoc=true
org.eclipse.jdt.ui.text.custom_code_templates=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?><templates><template autoinsert\="false" context\="gettercomment_context" deleted\="false" description\="Comment for getter method" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.gettercomment" name\="gettercomment">/** Returns ${bare_field_name}. */</template><template autoinsert\="false" context\="settercomment_context" deleted\="false" description\="Comment for setter method" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.settercomment" name\="settercomment">/** Sets ${bare_field_name}. */</template><template autoinsert\="true" context\="constructorcomment_context" deleted\="false" description\="Comment for created constructors" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.constructorcomment" name\="constructorcomment">/**\n * ${tags}\n */</template><template autoinsert\="false" context\="filecomment_context" deleted\="false" description\="Comment for created Java files" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.filecomment" name\="filecomment">/*-------------------------------------------------------------------------+\n| Copyright ${year} fortiss GmbH |\n| |\n| Licensed under the Apache License, Version 2.0 (the "License"); |\n| you may not use this file except in compliance with the License. |\n| You may obtain a copy of the License at |\n| |\n| http\://www.apache.org/licenses/LICENSE-2.0 |\n| |\n| Unless required by applicable law or agreed to in writing, software |\n| distributed under the License is distributed on an "AS IS" BASIS, |\n| WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |\n| See the License for the specific language governing permissions and |\n| limitations under the License. |\n+--------------------------------------------------------------------------*/</template><template autoinsert\="false" context\="typecomment_context" deleted\="false" description\="Comment for created types" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.typecomment" name\="typecomment">/**\n * \n * @author ${user}\n*/</template><template autoinsert\="false" context\="fieldcomment_context" deleted\="false" description\="Comment for fields" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.fieldcomment" name\="fieldcomment">\n/** */</template><template autoinsert\="true" context\="methodcomment_context" deleted\="false" description\="Comment for non-overriding methods" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.methodcomment" name\="methodcomment">/**\n * ${tags}\n */</template><template autoinsert\="false" context\="overridecomment_context" deleted\="false" description\="Comment for overriding methods" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.overridecomment" name\="overridecomment">/** {@inheritDoc} */</template><template autoinsert\="true" context\="delegatecomment_context" deleted\="false" description\="Comment for delegate methods" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.delegatecomment" name\="delegatecomment">/**\n * ${tags}\n * ${see_to_target}\n */</template><template autoinsert\="true" context\="newtype_context" deleted\="false" description\="Newly created files" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.newtype" name\="newtype">${filecomment}\n${package_declaration}\n\n${typecomment}\n${type_declaration}</template><template autoinsert\="true" context\="classbody_context" deleted\="false" description\="Code in new class type bodies" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.classbody" name\="classbody">\n</template><template autoinsert\="true" context\="interfacebody_context" deleted\="false" description\="Code in new interface type bodies" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.interfacebody" name\="interfacebody">\n</template><template autoinsert\="true" context\="enumbody_context" deleted\="false" description\="Code in new enum type bodies" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.enumbody" name\="enumbody">\n</template><template autoinsert\="true" context\="annotationbody_context" deleted\="false" description\="Code in new annotation type bodies" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.annotationbody" name\="annotationbody">\n</template><template autoinsert\="true" context\="catchblock_context" deleted\="false" description\="Code in new catch blocks" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.catchblock" name\="catchblock">// ${todo} Auto-generated catch block\n${exception_var}.printStackTrace();</template><template autoinsert\="true" context\="methodbody_context" deleted\="false" description\="Code in created method stubs" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.methodbody" name\="methodbody">// ${todo} Auto-generated method stub\n${body_statement}</template><template autoinsert\="true" context\="constructorbody_context" deleted\="false" description\="Code in created constructor stubs" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.constructorbody" name\="constructorbody">${body_statement}\n// ${todo} Auto-generated constructor stub</template><template autoinsert\="true" context\="getterbody_context" deleted\="false" description\="Code in created getters" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.getterbody" name\="getterbody">return ${field};</template><template autoinsert\="true" context\="setterbody_context" deleted\="false" description\="Code in created setters" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.setterbody" name\="setterbody">${field} \= ${param};</template><template autoinsert\="true" context\="gettercomment_context" deleted\="false" description\="Comment for getter function" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.gettercomment" name\="gettercomment">/**\n * @return the ${bare_field_name}\n */</template><template autoinsert\="true" context\="settercomment_context" deleted\="false" description\="Comment for setter function" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.settercomment" name\="settercomment">/**\n * @param ${param} the ${bare_field_name} to set\n */</template><template autoinsert\="true" context\="constructorcomment_context" deleted\="false" description\="Comment for created constructors" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.constructorcomment" name\="constructorcomment">/**\n * ${tags}\n */</template><template autoinsert\="true" context\="filecomment_context" deleted\="false" description\="Comment for created JavaScript files" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.filecomment" name\="filecomment">/**\n * \n */</template><template autoinsert\="true" context\="typecomment_context" deleted\="false" description\="Comment for created types" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.typecomment" name\="typecomment">/**\n * @author ${user}\n *\n * ${tags}\n */</template><template autoinsert\="true" context\="fieldcomment_context" deleted\="false" description\="Comment for vars" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.fieldcomment" name\="fieldcomment">/**\n * \n */</template><template autoinsert\="true" context\="methodcomment_context" deleted\="false" description\="Comment for non-overriding function" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.methodcomment" name\="methodcomment">/**\n * ${tags}\n */</template><template autoinsert\="true" context\="overridecomment_context" deleted\="false" description\="Comment for overriding functions" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.overridecomment" name\="overridecomment">/* (non-JSDoc)\n * ${see_to_overridden}\n */</template><template autoinsert\="true" context\="delegatecomment_context" deleted\="false" description\="Comment for delegate functions" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.delegatecomment" name\="delegatecomment">/**\n * ${tags}\n * ${see_to_target}\n */</template><template autoinsert\="true" context\="newtype_context" deleted\="false" description\="Newly created files" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.newtype" name\="newtype">${filecomment}\n${package_declaration}\n\n${typecomment}\n${type_declaration}</template><template autoinsert\="true" context\="classbody_context" deleted\="false" description\="Code in new class type bodies" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.classbody" name\="classbody">\n</template><template autoinsert\="true" context\="catchblock_context" deleted\="false" description\="Code in new catch blocks" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.catchblock" name\="catchblock">// ${todo} Auto-generated catch block\n${exception_var}.printStackTrace();</template><template autoinsert\="true" context\="methodbody_context" deleted\="false" description\="Code in created function stubs" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.methodbody" name\="methodbody">// ${todo} Auto-generated function stub\n${body_statement}</template><template autoinsert\="true" context\="constructorbody_context" deleted\="false" description\="Code in created constructor stubs" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.constructorbody" name\="constructorbody">${body_statement}\n// ${todo} Auto-generated constructor stub</template><template autoinsert\="true" context\="getterbody_context" deleted\="false" description\="Code in created getters" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.getterbody" name\="getterbody">return ${field};</template><template autoinsert\="true" context\="setterbody_context" deleted\="false" description\="Code in created setters" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.setterbody" name\="setterbody">${field} \= ${param};</template></templates>
sp_cleanup.add_default_serial_version_id=true
sp_cleanup.add_generated_serial_version_id=false
sp_cleanup.add_missing_annotations=true
sp_cleanup.add_missing_deprecated_annotations=true
sp_cleanup.add_missing_methods=false
sp_cleanup.add_missing_nls_tags=false
sp_cleanup.add_missing_override_annotations=true
sp_cleanup.add_missing_override_annotations_interface_methods=true
sp_cleanup.add_serial_version_id=false
sp_cleanup.always_use_blocks=true
sp_cleanup.always_use_parentheses_in_expressions=false
sp_cleanup.always_use_this_for_non_static_field_access=false
sp_cleanup.always_use_this_for_non_static_method_access=false
sp_cleanup.convert_to_enhanced_for_loop=false
sp_cleanup.correct_indentation=false
sp_cleanup.format_source_code=true
sp_cleanup.format_source_code_changes_only=false
sp_cleanup.make_local_variable_final=false
sp_cleanup.make_parameters_final=false
sp_cleanup.make_private_fields_final=true
sp_cleanup.make_type_abstract_if_missing_method=false
sp_cleanup.make_variable_declarations_final=true
sp_cleanup.never_use_blocks=false
sp_cleanup.never_use_parentheses_in_expressions=true
sp_cleanup.on_save_use_additional_actions=false
sp_cleanup.organize_imports=true
sp_cleanup.qualify_static_field_accesses_with_declaring_class=false
sp_cleanup.qualify_static_member_accesses_through_instances_with_declaring_class=true
sp_cleanup.qualify_static_member_accesses_through_subtypes_with_declaring_class=true
sp_cleanup.qualify_static_member_accesses_with_declaring_class=false
sp_cleanup.qualify_static_method_accesses_with_declaring_class=false
sp_cleanup.remove_private_constructors=true
sp_cleanup.remove_trailing_whitespaces=false
sp_cleanup.remove_trailing_whitespaces_all=true
sp_cleanup.remove_trailing_whitespaces_ignore_empty=false
sp_cleanup.remove_unnecessary_casts=true
sp_cleanup.remove_unnecessary_nls_tags=false
sp_cleanup.remove_unused_imports=false
sp_cleanup.remove_unused_local_variables=false
sp_cleanup.remove_unused_private_fields=true
sp_cleanup.remove_unused_private_members=false
sp_cleanup.remove_unused_private_methods=true
sp_cleanup.remove_unused_private_types=true
sp_cleanup.sort_members=false
sp_cleanup.sort_members_all=false
sp_cleanup.use_blocks=false
sp_cleanup.use_blocks_only_for_return_and_throw=false
sp_cleanup.use_parentheses_in_expressions=false
sp_cleanup.use_this_for_non_static_field_access=false
sp_cleanup.use_this_for_non_static_field_access_only_if_necessary=true
sp_cleanup.use_this_for_non_static_method_access=false
sp_cleanup.use_this_for_non_static_method_access_only_if_necessary=true
org.fortiss.af3.rcp.application/.settings/org.eclipse.m2e.core.prefs deleted 100644 → 0
+ 0
− 4
View file @ c88ea31f
activeProfiles=
eclipse.preferences.version=1
resolveWorkspaceProjects=true
version=1
org.fortiss.af3.rcp.application/META-INF/MANIFEST.MF
+ 2
− 3
View file @ 39a5f31b
......@@ -19,7 +19,8 @@ Export-Package: org.fortiss.af3.rcp.application;
org.osgi.framework",
org.fortiss.af3.rcp.application.example,
test.org.fortiss.af3.rcp.application
Require-Bundle: eu.fbk.af3.tools.diagram.ui;bundle-version="2.15.0",
Require-Bundle: org.fortiss.af3.rcp.help;bundle-version="2.15.0",
eu.fbk.af3.tools.diagram.ui;bundle-version="2.15.0",
org.fortiss.af3.cosimulation.ui;bundle-version="2.15.0",
org.fortiss.af3.exploration.ui;bundle-version="2.15.0",
org.fortiss.af3.mira.ui;bundle-version="2.15.0",
......@@ -51,8 +52,6 @@ Require-Bundle: eu.fbk.af3.tools.diagram.ui;bundle-version="2.15.0",
org.eclipse.equinox.http.registry,
org.eclipse.equinox.http.servlet,
org.eclipse.equinox.p2.director,
org.eclipse.help.ui;bundle-version="4.1.500",
org.eclipse.help.webapp;bundle-version="3.9.500",
org.eclipse.osgi.services,
org.eclipse.swtbot.eclipse.finder;bundle-version="2.0.5";resolution:=optional,
org.eclipse.swtbot.forms.finder;bundle-version="2.0.5";resolution:=optional,
......
org.fortiss.af3.rcp.application/build.properties
+ 1
− 4
View file @ 39a5f31b
......@@ -10,7 +10,4 @@ bin.includes = plugin.xml,\
splash.bmp,\
html/,\
plugin_customization.ini,\
toc.xml,\
test-data/,\
intro/,\
introdata.xml
test-data/
org.fortiss.af3.rcp.application/html/.ratings
+ 1
− 53
View file @ 39a5f31b
MIRA.aspects.html e761406ccf2f1caec8b1744999283aa51cc7f27a RED
MIRA.export_report.html fbd97dff764cff59e647a79f7cd62cd897cf55b4 RED
MIRA.glossary.html f0f4ff9b771d96001bdac388b88590716581c573 RED
MIRA.requirement_source.html 5fc52fcd8527b0b0c1418b88a9a51affc641aaa2 RED
MIRA.requirements.html 52acaf28bddc12f3bd30b08fcf52785e5414042e RED
MIRA.requirements_analysis.html d8a27745b2db24883e473f4a819337d4268cb261 RED
MIRA.what_is_MIRA.html 3b6528f3da42ff9dc142251243e8340307540740 RED
MSC.html 96f052975c78e6d4a985347893c31ab3d6ccc2f1 RED
analyses_new.html 728ce1a3036f16fe7abd5a648e69376973833857 RED
assume_guarantee_reasoning.html f7fd9713180146bc867214f05070e2b0a3693985 RED
beagle_java_deployment.html 8ba70c9b06c3313f3d732bcdb43e8cc15fe193a1 RED
bound_check.html 0e375630065dbee1463d9efa3484289534cf34b1 RED
code_generation.html 8d3b9847eed8693bbc0c23a0dc5f8be2f118714b RED
code_specification.html 6abb0c1e49b2545e5b3d81444481689ca5bbd611 RED
component_architecture.html 5a01c22bbfb55839ef8d05e5850a926173f9452c RED
cosimulation_with_af3.html a2daa6bb9a39083cf2498df26df54572f69c38da RED
data_dictionary.html b3ae064896c7617b7adff889d129802c7832438b RED
dse_perspective.html f050d9fa27d2c20ce5dc14e56b37184676bda4c6 RED
efficient_deployment.html f51b3cf4a6dc9e172cdbe50c2703a13414d0f3cc RED
external_tools.html 49d87b1873ffd6c5132aafd7238464a565742a55 RED
getting_started.html 856f0f694a2bdf70519703acda8dcd90657808da RED
hierarchical_state_automaton.html cebd924f514cd50f229c7745e173f76bd0c0038b RED
library.html 4dcbc369f70cc5ba943404da07e15955df65b3fc RED
loading_standard_examples.html a2693477f0afb902f2899d12b3166f01378f6d8d RED
manual_deployment.html 91f2636b00d59253f7007864d4e0ebdd0b713dad RED
mcdc.html e2c759d71cf926540a34cae6b5c65e3899dd7e36 GREEN
mode_automaton.html dc395eab03cb6920580f54e317c3d203e64cb496 RED
model_checking_with_af3.html e856030ffeaab17a2f69da94ea76b8b369c30297 RED
model_element_attributes.html b9b78c89164cad7dfa13e0df1f3beb5f58a3f1e3 RED
model_markers_view.html 9b555dfff011f385fdde640f81ddfe0e5b5edf40 RED
model_testing.html 1337b89d2933f98c3ce76fb70a5e2f96c34c8613 RED
non_determinism_analysis.html 6358a070d69a95bea3b521b2fad248cb002d7d2f RED
ocra_contracts.html 83d86a87bfb7c8253b6396267a26bd9a65e86714 RED
operatorpanels.html a5343a0ad3a8421da55bf809e831b61d968c5623 RED
operatorpanels_advanced.html f48da6255d25f04cf83e5c181bfeba5c537bcfd4 RED
platform_architecture.html 2ff796afc0a14a259ad9a20ec59648b79941786b RED
process.html 85b2291750c54d14d06aada3803c2cc9fbf6b2fd RED
process_constraints.html a41f194d6100c4f4000f59aaf5bd8b54b7df06c9 RED
process_constraints_definition.html b176d4e6070e292abe1cfd38920f2f7bc6bb7ed1 RED
process_definition.html e8ad097c1bab232f067b4fc614a8389245b7e89c RED
process_usage.html cb2acbc3b8200c452d4de3aebc91a5bcdd49d9a6 RED
reachability_analysis.html 23ac6175d49bb9536f51c8359b10807303757c86 RED
refactoring.html cdfd1f78f6cb543ad3643eecf8f7c5f5130fe9b6 RED
refinement.html da2696e355081a2c1f4baac4629b9e2dd621a9d4 RED
refinement_testing.html 3c1ba760015bf4d12bad1567d65d913255416437 RED
safety.html 5f7d5b677b31bc916ec2c62d82b44502c0705a2d RED
safety_cases.html 50f3f6f97c8fa23f1790924333897ce1d0073e96 GREEN
scheduling.html 94646464662c1745795ab1954dfcc5f469fdaee7 RED
simulation_with_af3.html 36223384af0af325642fe1dce007aecafa62843f RED
state_automaton.html 5850977b2e0f2b760e15340ee8eca319ec16c71f RED
technical_architecture_generation.html 0c7f91e00071c4f4883164532b1b38ebbd1f265c RED
tipsAndTricks.html 6eef4c172b9f40ec52010e28050f256cad969f36 RED
tl_specification.html 2bbc810ab72c9826a60c9486781d1282ca93de41 RED
documentation.html f56a860735bf1f8daa23b155d7364950da24da60 RED
org.fortiss.af3.rcp.application/html/developer/.ratings deleted 100644 → 0
+ 0
− 1
View file @ c88ea31f
documentation.html f56a860735bf1f8daa23b155d7364950da24da60 RED
org.fortiss.af3.rcp.application/plugin.xml
+ 0
− 7
View file @ 39a5f31b
......@@ -209,13 +209,6 @@
name="Exit">
</command>
</extension>
<extension
point="org.eclipse.help.toc">
<toc
file="toc.xml"
primary="true">
</toc>
</extension>
<extension
point="org.fortiss.tooling.kernel.ui.contextMenuContribution">
<contextMenuContribution
......
org.fortiss.af3.rcp.application/plugin_customization.ini
+ 1
− 1
View file @ 39a5f31b
......@@ -6,4 +6,4 @@ org.eclipse.ui.intro/INTRO_THEME = org.eclipse.ui.intro.universal.slate
org.eclipse.ui.intro.universal/INTRO_ROOT_PAGES = overview,tutorials,samples,whatsnew, webresources
org.eclipse.ui.intro.universal/INTRO_DATA=product:introData.xml
org.eclipse.help.base/help_home=\
/org.fortiss.af3.rcp.application/html/getting_started.html
/org.fortiss.af3.rcp.help/html/getting_started.html
org.fortiss.af3.rcp.help/.classpath 0 → 100644
+ 10
− 0
View file @ 39a5f31b
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11">
<attributes>
<attribute name="module" value="true"/>
</attributes>
</classpathentry>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="output" path="build"/>
</classpath>
org.fortiss.af3.rcp.help/.project 0 → 100644
+ 44
− 0
View file @ 39a5f31b
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>org.fortiss.af3.rcp.help</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
<buildCommand>
<name>org.eclipse.jdt.core.javabuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.pde.ManifestBuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.pde.SchemaBuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.systemfocus.tooling.codereview.builder.CodeReviewBuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.systemfocus.tooling.codereview.builder.RemoveWarningsBuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.systemfocus.tooling.codereview.builder.GuidelinesCheckBuilder</name>
<arguments>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.eclipse.pde.PluginNature</nature>
<nature>org.eclipse.jdt.core.javanature</nature>
<nature>org.eclipse.systemfocus.tooling.codereview.nature.CodeReviewNature</nature>
</natures>
</projectDescription>
.settings @ d117b3db
Subproject commit d117b3db1742a745f515d2b6c52cc9a02e57c299
org.fortiss.af3.rcp.help/META-INF/MANIFEST.MF 0 → 100644
+ 12
− 0
View file @ 39a5f31b
Manifest-Version: 1.0
Automatic-Module-Name: org.fortiss.af3.rcp.help
Bundle-ManifestVersion: 2
Bundle-Name: AF3 Online Help
Bundle-SymbolicName: org.fortiss.af3.rcp.help;singleton:=true
Bundle-Version: 2.15.0.qualifier
Bundle-Vendor: fortiss GmbH
Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-ActivationPolicy: lazy
Require-Bundle: org.eclipse.help.ui;bundle-version="4.1.500",
org.eclipse.help.webapp;bundle-version="3.9.500"
org.fortiss.af3.rcp.help/build.properties 0 → 100644
+ 7
− 0
View file @ 39a5f31b
# (c) 2019 fortiss GmbH
bin.includes = plugin.xml,\
META-INF/,\
.,\
html/,\
toc.xml
org.fortiss.af3.rcp.help/html/.ratings 0 → 100644
+ 53
− 0
View file @ 39a5f31b
MIRA.aspects.html e761406ccf2f1caec8b1744999283aa51cc7f27a RED
MIRA.export_report.html fbd97dff764cff59e647a79f7cd62cd897cf55b4 RED
MIRA.glossary.html f0f4ff9b771d96001bdac388b88590716581c573 RED
MIRA.requirement_source.html 5fc52fcd8527b0b0c1418b88a9a51affc641aaa2 RED
MIRA.requirements.html 52acaf28bddc12f3bd30b08fcf52785e5414042e RED
MIRA.requirements_analysis.html d8a27745b2db24883e473f4a819337d4268cb261 RED
MIRA.what_is_MIRA.html 3b6528f3da42ff9dc142251243e8340307540740 RED
MSC.html 96f052975c78e6d4a985347893c31ab3d6ccc2f1 RED
analyses_new.html 728ce1a3036f16fe7abd5a648e69376973833857 RED
assume_guarantee_reasoning.html f7fd9713180146bc867214f05070e2b0a3693985 RED
beagle_java_deployment.html 8ba70c9b06c3313f3d732bcdb43e8cc15fe193a1 RED
bound_check.html 0e375630065dbee1463d9efa3484289534cf34b1 RED
code_generation.html 8d3b9847eed8693bbc0c23a0dc5f8be2f118714b RED
code_specification.html 6abb0c1e49b2545e5b3d81444481689ca5bbd611 RED
component_architecture.html 5a01c22bbfb55839ef8d05e5850a926173f9452c RED
cosimulation_with_af3.html a2daa6bb9a39083cf2498df26df54572f69c38da RED
data_dictionary.html b3ae064896c7617b7adff889d129802c7832438b RED
dse_perspective.html f050d9fa27d2c20ce5dc14e56b37184676bda4c6 RED
efficient_deployment.html f51b3cf4a6dc9e172cdbe50c2703a13414d0f3cc RED
external_tools.html 49d87b1873ffd6c5132aafd7238464a565742a55 RED
getting_started.html 856f0f694a2bdf70519703acda8dcd90657808da RED
hierarchical_state_automaton.html cebd924f514cd50f229c7745e173f76bd0c0038b RED
library.html 4dcbc369f70cc5ba943404da07e15955df65b3fc RED
loading_standard_examples.html a2693477f0afb902f2899d12b3166f01378f6d8d RED
manual_deployment.html 91f2636b00d59253f7007864d4e0ebdd0b713dad RED
mcdc.html e2c759d71cf926540a34cae6b5c65e3899dd7e36 GREEN
mode_automaton.html dc395eab03cb6920580f54e317c3d203e64cb496 RED
model_checking_with_af3.html e856030ffeaab17a2f69da94ea76b8b369c30297 RED
model_element_attributes.html b9b78c89164cad7dfa13e0df1f3beb5f58a3f1e3 RED
model_markers_view.html 9b555dfff011f385fdde640f81ddfe0e5b5edf40 RED
model_testing.html 1337b89d2933f98c3ce76fb70a5e2f96c34c8613 RED
non_determinism_analysis.html 6358a070d69a95bea3b521b2fad248cb002d7d2f RED
ocra_contracts.html 83d86a87bfb7c8253b6396267a26bd9a65e86714 RED
operatorpanels.html a5343a0ad3a8421da55bf809e831b61d968c5623 RED
operatorpanels_advanced.html f48da6255d25f04cf83e5c181bfeba5c537bcfd4 RED
platform_architecture.html 2ff796afc0a14a259ad9a20ec59648b79941786b RED
process.html 85b2291750c54d14d06aada3803c2cc9fbf6b2fd RED
process_constraints.html a41f194d6100c4f4000f59aaf5bd8b54b7df06c9 RED
process_constraints_definition.html b176d4e6070e292abe1cfd38920f2f7bc6bb7ed1 RED
process_definition.html e8ad097c1bab232f067b4fc614a8389245b7e89c RED
process_usage.html cb2acbc3b8200c452d4de3aebc91a5bcdd49d9a6 RED
reachability_analysis.html 23ac6175d49bb9536f51c8359b10807303757c86 RED
refactoring.html cdfd1f78f6cb543ad3643eecf8f7c5f5130fe9b6 RED
refinement.html da2696e355081a2c1f4baac4629b9e2dd621a9d4 RED
refinement_testing.html 3c1ba760015bf4d12bad1567d65d913255416437 RED
safety.html 5f7d5b677b31bc916ec2c62d82b44502c0705a2d RED
safety_cases.html 50f3f6f97c8fa23f1790924333897ce1d0073e96 GREEN
scheduling.html 94646464662c1745795ab1954dfcc5f469fdaee7 RED
simulation_with_af3.html 36223384af0af325642fe1dce007aecafa62843f RED
state_automaton.html 5850977b2e0f2b760e15340ee8eca319ec16c71f RED
technical_architecture_generation.html 0c7f91e00071c4f4883164532b1b38ebbd1f265c RED
tipsAndTricks.html 6eef4c172b9f40ec52010e28050f256cad969f36 RED
tl_specification.html 2bbc810ab72c9826a60c9486781d1282ca93de41 RED
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment