diff options
author | 2020-04-28 20:43:04 +0200 | |
---|---|---|
committer | 2020-04-28 20:43:04 +0200 | |
commit | 8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe (patch) | |
tree | d525bef75519f364d637e0779f8e63d4199dee31 /Application/org.eclipse.viatra.solver.language/.launch/Launch Runtime Eclipse.launch | |
parent | check expressions are mapped to WF constraints (diff) | |
download | VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.gz VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.zst VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.zip |
initial commit
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/.launch/Launch Runtime Eclipse.launch')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/.launch/Launch Runtime Eclipse.launch | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/.launch/Launch Runtime Eclipse.launch b/Application/org.eclipse.viatra.solver.language/.launch/Launch Runtime Eclipse.launch new file mode 100644 index 00000000..c50bf17e --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/.launch/Launch Runtime Eclipse.launch | |||
@@ -0,0 +1,34 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8" standalone="no"?> | ||
2 | <launchConfiguration type="org.eclipse.pde.ui.RuntimeWorkbench"> | ||
3 | <booleanAttribute key="append.args" value="true"/> | ||
4 | <booleanAttribute key="askclear" value="true"/> | ||
5 | <booleanAttribute key="automaticAdd" value="true"/> | ||
6 | <booleanAttribute key="automaticValidate" value="false"/> | ||
7 | <stringAttribute key="bad_container_name" value="/org.eclipse.viatra.solver.language/.launch/"/> | ||
8 | <stringAttribute key="bootstrap" value=""/> | ||
9 | <stringAttribute key="checked" value="[NONE]"/> | ||
10 | <booleanAttribute key="clearConfig" value="false"/> | ||
11 | <booleanAttribute key="clearws" value="false"/> | ||
12 | <booleanAttribute key="clearwslog" value="false"/> | ||
13 | <stringAttribute key="configLocation" value="${workspace_loc}/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse"/> | ||
14 | <booleanAttribute key="default" value="true"/> | ||
15 | <booleanAttribute key="includeOptional" value="true"/> | ||
16 | <stringAttribute key="location" value="${workspace_loc}/../runtime-EclipseXtext"/> | ||
17 | <listAttribute key="org.eclipse.debug.ui.favoriteGroups"> | ||
18 | <listEntry value="org.eclipse.debug.ui.launchGroup.debug"/> | ||
19 | <listEntry value="org.eclipse.debug.ui.launchGroup.run"/> | ||
20 | </listAttribute> | ||
21 | <stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/> | ||
22 | <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-os ${target.os} -ws ${target.ws} -arch ${target.arch} -nl ${target.nl}"/> | ||
23 | <stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.pde.ui.workbenchClasspathProvider"/> | ||
24 | <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xms40m -Xmx512m"/> | ||
25 | <stringAttribute key="pde.version" value="3.3"/> | ||
26 | <stringAttribute key="product" value="org.eclipse.platform.ide"/> | ||
27 | <booleanAttribute key="show_selected_only" value="false"/> | ||
28 | <stringAttribute key="templateConfig" value="${target_home}/configuration/config.ini"/> | ||
29 | <booleanAttribute key="tracing" value="false"/> | ||
30 | <booleanAttribute key="useDefaultConfig" value="true"/> | ||
31 | <booleanAttribute key="useDefaultConfigArea" value="true"/> | ||
32 | <booleanAttribute key="useProduct" value="true"/> | ||
33 | <booleanAttribute key="usefeatures" value="false"/> | ||
34 | </launchConfiguration> | ||