(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
(org.eclipse.update.install.features=true)
uninstallFeature(feature:${artifact},featureId:default,featureVersion:default)
installFeature(feature:${artifact},featureId:default,featureVersion:default)
removeSourceBundle(bundle:${artifact})
addSourceBundle(bundle:${artifact})
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:4);
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:2);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:4);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
setProgramProperty(propName:eclipse.product,propValue:org.overture.ide.platform.product);setProgramProperty(propName:osgi.splashPath,propValue:platform${#58}/base/plugins/org.overture.ide.platform);setProgramProperty(propName:eclipse.application,propValue:org.eclipse.ui.ide.workbench);setProgramProperty(propName:DELETE.FOR.RELEASE.osgi.instance.area.default,propValue:@user.home/Documents/Overture/workspace);
setProgramProperty(propName:eclipse.product,propValue:);setProgramProperty(propName:osgi.splashPath,propValue:);setProgramProperty(propName:eclipse.application,propValue:);setProgramProperty(propName:DELETE.FOR.RELEASE.osgi.instance.area.default,propValue:);
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
addJvmArg(jvmArg:-Xmx512m);addJvmArg(jvmArg:-Dosgi.requiredJavaVersion=1.8);
removeJvmArg(jvmArg:-Xmx512m);removeJvmArg(jvmArg:-Dosgi.requiredJavaVersion=1.8);
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:2);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
setLauncherName(name:Overture)
setLauncherName()
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:1);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
cleanupzip(source:@artifact, target:${installFolder}/../);
unzip(source:@artifact, target:${installFolder}/../); chmod(targetDir:${installFolder}/../MacOS/, targetFile:Overture, permissions:755);
(org.eclipse.update.install.features=true)
addRepository(type:0,name:Overture,enabled:false,location:http${#58}//dl.bintray.com/overturetool/overturetool/);addRepository(type:1,name:Overture,enabled:false,location:http${#58}//dl.bintray.com/overturetool/overturetool/);addRepository(type:0,name:Overture Development,enabled:true,location:http${#58}//dl.bintray.com/overturetool/overturetool-development/);addRepository(type:1,name:Overture Development,enabled:true,location:http${#58}//dl.bintray.com/overturetool/overturetool-development/);addRepository(type:0,name:Overture VDM2C,enabled:true,location:http${#58}//overture.au.dk/vdm2c/master/repository/);addRepository(type:1,name:Overture VDM2C,enabled:true,location:http${#58}//overture.au.dk/vdm2c/master/repository/);addRepository(type:0,name:Overture VDM2C Development,enabled:false,location:http${#58}//overture.au.dk/vdm2c/development/repository/);addRepository(type:1,name:Overture VDM2C Development,enabled:false,location:http${#58}//overture.au.dk/vdm2c/development/repository/);addRepository(type:0,name:Overture FMI Support,enabled:true,location:http${#58}//overture.au.dk/into-cps/vdm-tool-wrapper/master/latest/);addRepository(type:1,name:Overture FMI Support,enabled:true,location:http${#58}//overture.au.dk/into-cps/vdm-tool-wrapper/master/latest/);addRepository(type:0,name:Overture FMI Support Development,enabled:false,location:http${#58}//overture.au.dk/into-cps/vdm-tool-wrapper/development/latest/);addRepository(type:1,name:Overture FMI Support Development,enabled:false,location:http${#58}//overture.au.dk/into-cps/vdm-tool-wrapper/development/latest/);addRepository(type:0,name:Overture Graphics Plugin,enabled:true,location:http${#58}//overture.au.dk/overture-graphics-plugin/master/repository/);addRepository(type:1,name:Overture Graphics Plugin,enabled:true,location:http${#58}//overture.au.dk/overture-graphics-plugin/master/repository/);addRepository(type:0,name:Neon,enabled:true,location:http${#58}//download.eclipse.org/releases/neon/);addRepository(type:1,name:Neon,enabled:true,location:http${#58}//download.eclipse.org/releases/neon/);addRepository(type:0,name:The Eclipse Project Updates,enabled:true,location:http${#58}//download.eclipse.org/eclipse/updates/4.6);addRepository(type:1,name:The Eclipse Project Updates,enabled:true,location:http${#58}//download.eclipse.org/eclipse/updates/4.6);
Overture Tools
Overture is an open source tool for the Vienna Development Method (VDM).
The tool supports different VDM dialects which include the ISO VDM-SL
standard, as well as the object-oriented extension VDM++ and the real-time
extension of that called VDM-RT.
Copyright (C) 2010 Overture contributors and others
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>.
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
addProgramArg(programArg:--launcher.library);addProgramArg(programArg:@artifact);
removeProgramArg(programArg:--launcher.library);removeProgramArg(programArg:@artifact);
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:1);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setProgramProperty(propName:org.eclipse.update.reconcile, propValue:false);
setProgramProperty(propName:org.eclipse.update.reconcile, propValue:);
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
addProgramArg(programArg:--launcher.library);addProgramArg(programArg:@artifact);
removeProgramArg(programArg:--launcher.library);removeProgramArg(programArg:@artifact);
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
setProgramProperty(propName:eclipse.product,propValue:org.overture.ide.platform.product);setProgramProperty(propName:osgi.splashPath,propValue:platform${#58}/base/plugins/org.overture.ide.platform);setProgramProperty(propName:eclipse.application,propValue:org.eclipse.ui.ide.workbench);setProgramProperty(propName:DELETE.FOR.RELEASE.osgi.instance.area.default,propValue:@user.home/Documents/Overture/workspace);
setProgramProperty(propName:eclipse.product,propValue:);setProgramProperty(propName:osgi.splashPath,propValue:);setProgramProperty(propName:eclipse.application,propValue:);setProgramProperty(propName:DELETE.FOR.RELEASE.osgi.instance.area.default,propValue:);
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
setLauncherName(name:Overture)
setLauncherName()
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:1);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:4);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:2);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setProgramProperty(propName:org.eclipse.update.reconcile, propValue:false);
setProgramProperty(propName:org.eclipse.update.reconcile, propValue:);
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:2);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:4);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
setLauncherName(name:Overture)
setLauncherName()
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
addProgramArg(programArg:--launcher.library);addProgramArg(programArg:@artifact);
removeProgramArg(programArg:--launcher.library);removeProgramArg(programArg:@artifact);
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:4);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
addJvmArg(jvmArg:-Xmx512m);addJvmArg(jvmArg:-Dosgi.requiredJavaVersion=1.8);
removeJvmArg(jvmArg:-Xmx512m);removeJvmArg(jvmArg:-Dosgi.requiredJavaVersion=1.8);
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:2);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
addProgramArg(programArg:--launcher.library);addProgramArg(programArg:@artifact);
removeProgramArg(programArg:--launcher.library);removeProgramArg(programArg:@artifact);
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
addJvmArg(jvmArg:-Xmx512m);addJvmArg(jvmArg:-Dosgi.requiredJavaVersion=1.8);addJvmArg(jvmArg:-XstartOnFirstThread);addJvmArg(jvmArg:-Dorg.eclipse.swt.internal.carbon.smallFonts);
removeJvmArg(jvmArg:-Xmx512m);removeJvmArg(jvmArg:-Dosgi.requiredJavaVersion=1.8);removeJvmArg(jvmArg:-XstartOnFirstThread);removeJvmArg(jvmArg:-Dorg.eclipse.swt.internal.carbon.smallFonts);
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:2);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
addProgramArg(programArg:-startup);addProgramArg(programArg:@artifact);
removeProgramArg(programArg:-startup);removeProgramArg(programArg:@artifact);
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setProgramProperty(propName:org.eclipse.update.reconcile, propValue:false);
setProgramProperty(propName:org.eclipse.update.reconcile, propValue:);
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
cleanupzip(source:@artifact, target:${installFolder});
unzip(source:@artifact, target:${installFolder});
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
setLauncherName(name:Overture)
setLauncherName()
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
cleanupzip(source:@artifact, target:${installFolder});
unzip(source:@artifact, target:${installFolder}); chmod(targetDir:${installFolder}, targetFile:icon.xpm, permissions:755); chmod(targetDir:${installFolder}, targetFile:Overture, permissions:755);
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:4);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
addJvmArg(jvmArg:-Xmx512m);addJvmArg(jvmArg:-Dosgi.requiredJavaVersion=1.8);
removeJvmArg(jvmArg:-Xmx512m);removeJvmArg(jvmArg:-Dosgi.requiredJavaVersion=1.8);
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
setProgramProperty(propName:eclipse.product,propValue:org.overture.ide.platform.product);setProgramProperty(propName:osgi.splashPath,propValue:platform${#58}/base/plugins/org.overture.ide.platform);setProgramProperty(propName:eclipse.application,propValue:org.eclipse.ui.ide.workbench);setProgramProperty(propName:DELETE.FOR.RELEASE.osgi.instance.area.default,propValue:@user.home/Documents/Overture/workspace);
setProgramProperty(propName:eclipse.product,propValue:);setProgramProperty(propName:osgi.splashPath,propValue:);setProgramProperty(propName:eclipse.application,propValue:);setProgramProperty(propName:DELETE.FOR.RELEASE.osgi.instance.area.default,propValue:);
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
setLauncherName(name:Overture)
setLauncherName()
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
cleanupzip(source:@artifact, target:${installFolder});
unzip(source:@artifact, target:${installFolder}); chmod(targetDir:${installFolder}, targetFile:icon.xpm, permissions:755); chmod(targetDir:${installFolder}, targetFile:Overture, permissions:755);
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
setProgramProperty(propName:eclipse.product,propValue:org.overture.ide.platform.product);setProgramProperty(propName:osgi.splashPath,propValue:platform${#58}/base/plugins/org.overture.ide.platform);setProgramProperty(propName:eclipse.application,propValue:org.eclipse.ui.ide.workbench);setProgramProperty(propName:DELETE.FOR.RELEASE.osgi.instance.area.default,propValue:@user.home/Documents/Overture/workspace);
setProgramProperty(propName:eclipse.product,propValue:);setProgramProperty(propName:osgi.splashPath,propValue:);setProgramProperty(propName:eclipse.application,propValue:);setProgramProperty(propName:DELETE.FOR.RELEASE.osgi.instance.area.default,propValue:);
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setProgramProperty(propName:org.eclipse.update.reconcile, propValue:false);
setProgramProperty(propName:org.eclipse.update.reconcile, propValue:);
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:4);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
cleanupzip(source:@artifact, target:${installFolder});
unzip(source:@artifact, target:${installFolder});
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:4);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:2);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:4);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:4);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
setProgramProperty(propName:eclipse.product,propValue:org.overture.ide.platform.product);setProgramProperty(propName:osgi.splashPath,propValue:platform${#58}/base/plugins/org.overture.ide.platform);setProgramProperty(propName:eclipse.application,propValue:org.eclipse.ui.ide.workbench);setProgramProperty(propName:DELETE.FOR.RELEASE.osgi.instance.area.default,propValue:@user.home/Documents/Overture/workspace);
setProgramProperty(propName:eclipse.product,propValue:);setProgramProperty(propName:osgi.splashPath,propValue:);setProgramProperty(propName:eclipse.application,propValue:);setProgramProperty(propName:DELETE.FOR.RELEASE.osgi.instance.area.default,propValue:);
(&(osgi.arch=x86)(osgi.os=win32)(osgi.ws=win32))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
addProgramArg(programArg:--launcher.library);addProgramArg(programArg:@artifact);
removeProgramArg(programArg:--launcher.library);removeProgramArg(programArg:@artifact);
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:1);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setProgramProperty(propName:org.eclipse.update.reconcile, propValue:false);
setProgramProperty(propName:org.eclipse.update.reconcile, propValue:);
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:4);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:2);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86_64)(osgi.os=win32)(osgi.ws=win32))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:2);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
addJvmArg(jvmArg:-Xmx512m);addJvmArg(jvmArg:-Dosgi.requiredJavaVersion=1.8);
removeJvmArg(jvmArg:-Xmx512m);removeJvmArg(jvmArg:-Dosgi.requiredJavaVersion=1.8);
(&(osgi.arch=x86_64)(osgi.os=linux)(osgi.ws=gtk))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:1);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86_64)(osgi.os=macosx)(osgi.ws=cocoa))
uninstallBundle(bundle:${artifact})
installBundle(bundle:${artifact})
setStartLevel(startLevel:2);markStarted(started: true);
setStartLevel(startLevel:-1);markStarted(started: false);
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))
(&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk))