diff options
author | 2019-08-01 14:49:53 +0200 | |
---|---|---|
committer | 2019-08-01 14:49:53 +0200 | |
commit | 972baab642bd889d2c3476c0c9e17a6929e0c318 (patch) | |
tree | 8f724cb348c60e4fc45d446d8532988ed8e40748 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/.launch/Generate CftLanguage (cft) Language Infrastructure.launch | |
parent | Counting scope propagator (simpler than BasicTypeHierarchy) (diff) | |
download | VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.gz VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.zst VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.zip |
[Stochastic] Remove fault tree support for now
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/.launch/Generate CftLanguage (cft) Language Infrastructure.launch')
-rw-r--r-- | Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/.launch/Generate CftLanguage (cft) Language Infrastructure.launch | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/.launch/Generate CftLanguage (cft) Language Infrastructure.launch b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/.launch/Generate CftLanguage (cft) Language Infrastructure.launch deleted file mode 100644 index 25217aa6..00000000 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components/.launch/Generate CftLanguage (cft) Language Infrastructure.launch +++ /dev/null | |||
@@ -1,18 +0,0 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8" standalone="no"?> | ||
2 | <launchConfiguration type="org.eclipse.emf.mwe2.launch.Mwe2LaunchConfigurationType"> | ||
3 | <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS"> | ||
4 | <listEntry value="/hu.bme.mit.inf.dslreasoner.faulttree.components"/> | ||
5 | </listAttribute> | ||
6 | <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES"> | ||
7 | <listEntry value="4"/> | ||
8 | </listAttribute> | ||
9 | <listAttribute key="org.eclipse.debug.ui.favoriteGroups"> | ||
10 | <listEntry value="org.eclipse.debug.ui.launchGroup.debug"/> | ||
11 | <listEntry value="org.eclipse.debug.ui.launchGroup.run"/> | ||
12 | </listAttribute> | ||
13 | <stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${working_set:<?xml version="1.0" encoding="UTF-8"?> <resources> <item path="/hu.bme.mit.inf.dslreasoner.faulttree.components" type="4"/> <item path="/hu.bme.mit.inf.dslreasoner.faulttree.components.ide" type="4"/> <item path="/hu.bme.mit.inf.dslreasoner.faulttree.components.ui" type="4"/> ;</resources>}"/> | ||
14 | <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="org.eclipse.emf.mwe2.launch.runtime.Mwe2Launcher"/> | ||
15 | <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="hu.bme.mit.inf.dslreasoner.faulttree.components.GenerateCftLanguage"/> | ||
16 | <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="hu.bme.mit.inf.dslreasoner.faulttree.components"/> | ||
17 | <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx512m"/> | ||
18 | </launchConfiguration> | ||