Skip to content
Snippets Groups Projects
Normal view Permalink
PUSH.launch 1.01 KiB
Newer Older
Nikolaus Huber's avatar
added LaunchConfig and properties file
Nikolaus Huber committed
1 2 3 4 5 6 7 8 9 10 11 12 
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
<listEntry value="/edu.kit.ipd.descartes.adaptation/src/edu/kit/ipd/descartes/adaptation/AdaptationControl.java"/>
</listAttribute>
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
<listEntry value="1"/>
</listAttribute>
<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
<listEntry value="org.eclipse.debug.ui.launchGroup.run"/>
</listAttribute>
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="edu.kit.ipd.descartes.adaptation.AdaptationControl"/>
Nikolaus Huber's avatar
renamed files  
Nikolaus Huber committed
13 
<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="../Examples/SEAMS_Case_Study/push.properties"/>
Nikolaus Huber's avatar
added LaunchConfig and properties file
Nikolaus Huber committed
14 15 16 
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="edu.kit.ipd.descartes.adaptation"/>
<stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-enableassertions"/>
</launchConfiguration>