Skip to content
Snippets Groups Projects
Commit 213de636 authored by Jens Bendisposto's avatar Jens Bendisposto
Browse files

new libs

parent d28e40f2
No related branches found
No related tags found
No related merge requests found
<?xml version="1.0" encoding="UTF-8"?> <?xml version="1.0" encoding="UTF-8"?>
<classpath> <classpath>
<classpathentry exported="true" kind="lib" path="lib/commons-lang-2.4.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/answerparser-2.4.8-SNAPSHOT.jar"/>
<classpathentry exported="true" kind="lib" path="lib/dependencies/bparser-2.4.8-SNAPSHOT.jar"/>
<classpathentry exported="true" kind="lib" path="lib/dependencies/cliparser-2.4.8-SNAPSHOT.jar"/>
<classpathentry exported="true" kind="lib" path="lib/dependencies/commons-lang-2.6.jar"/>
<classpathentry exported="true" kind="lib" path="lib/dependencies/jgrapht-0.8.3.jar"/>
<classpathentry exported="true" kind="lib" path="lib/dependencies/jsr305-1.3.9.jar"/>
<classpathentry exported="true" kind="lib" path="lib/dependencies/ltlparser-2.4.8-SNAPSHOT.jar"/>
<classpathentry exported="true" kind="lib" path="lib/dependencies/parserbase-2.4.8-SNAPSHOT.jar"/>
<classpathentry exported="true" kind="lib" path="lib/dependencies/prologlib-2.4.8-SNAPSHOT.jar"/>
<classpathentry exported="true" kind="lib" path="lib/dependencies/unicode-2.4.8-SNAPSHOT.jar"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/> <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="src"/> <classpathentry kind="src" path="src"/>
<classpathentry kind="src" path="test"/> <classpathentry kind="src" path="test"/>
<classpathentry exported="true" kind="lib" path="lib/probcliparser.jar"/>
<classpathentry kind="con" path="org.eclipse.jdt.junit.JUNIT_CONTAINER/4"/> <classpathentry kind="con" path="org.eclipse.jdt.junit.JUNIT_CONTAINER/4"/>
<classpathentry kind="output" path="bin"/> <classpathentry kind="output" path="bin"/>
</classpath> </classpath>
...@@ -5,62 +5,101 @@ Bundle-SymbolicName: de.prob.core;singleton:=true ...@@ -5,62 +5,101 @@ Bundle-SymbolicName: de.prob.core;singleton:=true
Bundle-Version: 9.2.1.qualifier Bundle-Version: 9.2.1.qualifier
Require-Bundle: org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)", Require-Bundle: org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
org.rodinp.core;bundle-version="[1.3.1,1.6.0)", org.rodinp.core;bundle-version="[1.3.1,1.6.0)",
org.eventb.core;bundle-version="[2.1.0,2.6.0)" org.eventb.core;bundle-version="[2.1.0,2.6.0)",
org.eventb.emf.core;bundle-version="2.2.4",
org.eventb.emf.persistence;bundle-version="2.4.0"
Bundle-ActivationPolicy: lazy Bundle-ActivationPolicy: lazy
Eclipse-BundleShape: dir Eclipse-BundleShape: dir
Bundle-Vendor: HHU Düsseldorf STUPS Group Bundle-Vendor: HHU Düsseldorf STUPS Group
Export-Package: de.be4.classicalb.core.parser, Export-Package: de.be4.classicalb.core.parser,
de.be4.classicalb.core.parser.analysis;x-friends:="de.prob.eventb.disprover.core", de.be4.classicalb.core.parser.analysis,
de.be4.classicalb.core.parser.analysis.prolog;x-friends:="de.prob.eventb.disprover.core", de.be4.classicalb.core.parser.analysis.checking,
de.be4.classicalb.core.parser.analysis.pragma,
de.be4.classicalb.core.parser.analysis.pragma.internal,
de.be4.classicalb.core.parser.analysis.prolog,
de.be4.classicalb.core.parser.analysis.transforming,
de.be4.classicalb.core.parser.exceptions, de.be4.classicalb.core.parser.exceptions,
de.be4.classicalb.core.parser.node;x-friends:="de.prob.eventb.disprover.core", de.be4.classicalb.core.parser.lexer,
de.be4.classicalb.core.parser.node,
de.be4.classicalb.core.parser.parser,
de.be4.classicalb.core.pragma.analysis,
de.be4.classicalb.core.pragma.lexer,
de.be4.classicalb.core.pragma.node,
de.be4.classicalb.core.preparser.analysis,
de.be4.classicalb.core.preparser.lexer,
de.be4.classicalb.core.preparser.node,
de.be4.classicalb.core.preparser.parser,
de.be4.ltl.core.ctlparser.analysis,
de.be4.ltl.core.ctlparser.lexer,
de.be4.ltl.core.ctlparser.node,
de.be4.ltl.core.ctlparser.parser,
de.be4.ltl.core.parser, de.be4.ltl.core.parser,
de.prob.core; de.be4.ltl.core.parser.analysis,
uses:="de.prob.core.domainobjects.eval, de.be4.ltl.core.parser.internal,
de.prob.parserbase, de.be4.ltl.core.parser.lexer,
org.osgi.service.prefs, de.be4.ltl.core.parser.node,
de.prob.core.domainobjects, de.be4.ltl.core.parser.parser,
de.prob.core.command, de.hhu.stups.sablecc.patch,
de.prob.exceptions", de.prob.cli,
de.prob.core.command; de.prob.cli.clipatterns,
uses:="de.prob.core.domainobjects.eval, de.prob.cliparser,
de.prob.core, de.prob.core,
org.osgi.service.prefs, de.prob.core.command,
de.prob.core.command.internal,
de.prob.core.domainobjects, de.prob.core.domainobjects,
de.prob.exceptions, de.prob.core.domainobjects.eval,
de.prob.prolog.term,
de.prob.prolog.output",
de.prob.core.domainobjects;uses:="de.prob.core,de.prob.core.command,de.prob.prolog.term",
de.prob.core.domainobjects.eval;uses:="de.prob.core,de.be4.classicalb.core.parser.node,org.eventb.core.ast",
de.prob.core.domainobjects.ltl, de.prob.core.domainobjects.ltl,
de.prob.core.prolog;uses:="de.prob.core.types,de.prob.prolog.term", de.prob.core.domainobjects.ltl.unittests,
de.prob.core.translator;uses:="de.prob.exceptions", de.prob.core.internal,
de.prob.core.langdep,
de.prob.core.prolog,
de.prob.core.sablecc.analysis,
de.prob.core.sablecc.lexer,
de.prob.core.sablecc.node,
de.prob.core.sablecc.parser,
de.prob.core.translator,
de.prob.core.types, de.prob.core.types,
de.prob.eventb.translator; de.prob.eventb.translator,
uses:="de.be4.classicalb.core.parser.node, de.prob.eventb.translator.flow,
de.prob.eventb.translator.internal, de.prob.eventb.translator.internal,
org.eventb.core.ast, de.prob.eventb.translator2,
org.eventb.core,
de.prob.prolog.output",
de.prob.exceptions, de.prob.exceptions,
de.prob.logging;uses:="org.eclipse.core.runtime", de.prob.logging,
de.prob.parser, de.prob.parser,
de.prob.parserbase;x-friends:="de.prob.ui", de.prob.parserbase,
de.prob.prolog.output;x-friends:="de.prob.eventb.disprover.core,de.prob.ui,de.prob.dmc.modelcheck", de.prob.prolog.match,
de.prob.prolog.term;x-friends:="de.prob.ui,de.prob.dmc.modelcheck", de.prob.prolog.output,
de.prob.prolog.term,
de.prob.sap.commands, de.prob.sap.commands,
de.prob.sap.exceptions, de.prob.sap.exceptions,
de.prob.sap.util,
de.prob.unicode,
de.prob.unicode.analysis,
de.prob.unicode.lexer,
de.prob.unicode.node,
javax.annotation,
javax.annotation.concurrent,
javax.annotation.meta,
org.apache.commons.lang, org.apache.commons.lang,
org.apache.commons.lang.builder, org.apache.commons.lang.builder,
org.apache.commons.lang.enums, org.apache.commons.lang.enums,
org.apache.commons.lang.exception, org.apache.commons.lang.exception,
org.apache.commons.lang.math, org.apache.commons.lang.math,
org.apache.commons.lang.mutable, org.apache.commons.lang.mutable,
org.apache.commons.lang.reflect,
org.apache.commons.lang.text, org.apache.commons.lang.text,
org.apache.commons.lang.time org.apache.commons.lang.time
Bundle-Activator: de.prob.core.internal.Activator Bundle-Activator: de.prob.core.internal.Activator
Eclipse-BuddyPolicy: registered Eclipse-BuddyPolicy: registered
Bundle-RequiredExecutionEnvironment: JavaSE-1.6 Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ClassPath: ., Bundle-ClassPath: .,
lib/probcliparser.jar, lib/dependencies/answerparser-2.4.8-SNAPSHOT.jar,
lib/dependencies/commons-lang-2.4.jar lib/dependencies/bparser-2.4.8-SNAPSHOT.jar,
lib/dependencies/cliparser-2.4.8-SNAPSHOT.jar,
lib/dependencies/commons-lang-2.6.jar,
lib/dependencies/jgrapht-0.8.3.jar,
lib/dependencies/jsr305-1.3.9.jar,
lib/dependencies/ltlparser-2.4.8-SNAPSHOT.jar,
lib/dependencies/parserbase-2.4.8-SNAPSHOT.jar,
lib/dependencies/prologlib-2.4.8-SNAPSHOT.jar,
lib/dependencies/unicode-2.4.8-SNAPSHOT.jar
...@@ -20,4 +20,5 @@ dependencies { ...@@ -20,4 +20,5 @@ dependencies {
compile group: "de.prob", name: "unicode", version: parser_version , changing: true compile group: "de.prob", name: "unicode", version: parser_version , changing: true
compile 'jgrapht:jgrapht:0.8.3' compile 'jgrapht:jgrapht:0.8.3'
compile 'commons-lang:commons-lang:2.6' compile 'commons-lang:commons-lang:2.6'
compile 'commons-codec:commons-codec:1.6'
} }
\ No newline at end of file
...@@ -3,7 +3,16 @@ output.. = bin/ ...@@ -3,7 +3,16 @@ output.. = bin/
bin.includes = META-INF/,\ bin.includes = META-INF/,\
plugin.xml,\ plugin.xml,\
.,\ .,\
lib/probcliparser.jar,\ prob/,\
lib/dependencies/commons-lang-2.4.jar,\ lib/dependencies,\
prob/ lib/dependencies/answerparser-2.4.8-SNAPSHOT.jar,\
lib/dependencies/bparser-2.4.8-SNAPSHOT.jar,\
lib/dependencies/cliparser-2.4.8-SNAPSHOT.jar,\
lib/dependencies/commons-lang-2.6.jar,\
lib/dependencies/jgrapht-0.8.3.jar,\
lib/dependencies/jsr305-1.3.9.jar,\
lib/dependencies/ltlparser-2.4.8-SNAPSHOT.jar,\
lib/dependencies/parserbase-2.4.8-SNAPSHOT.jar,\
lib/dependencies/prologlib-2.4.8-SNAPSHOT.jar,\
lib/dependencies/unicode-2.4.8-SNAPSHOT.jar
File deleted
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<?pde version="3.6"?> <?pde version="3.6"?>
<target name="prob_target" sequenceNumber="15"> <target name="prob_target" sequenceNumber="18">
<locations> <locations>
<location includeAllPlatforms="false" includeMode="planner" includeSource="true" type="InstallableUnit"> <location includeAllPlatforms="false" includeMode="planner" includeSource="true" type="InstallableUnit">
<unit id="org.eclipse.equinox.p2.extras.feature.feature.group" version="1.0.1.v20110906-1605-7A4FD4DiVOMap8cHSc6vPuny4gqO"/> <unit id="org.eclipse.equinox.p2.extras.feature.feature.group" version="1.0.1.v20110906-1605-7A4FD4DiVOMap8cHSc6vPuny4gqO"/>
...@@ -13,12 +13,12 @@ ...@@ -13,12 +13,12 @@
<unit id="org.eclipse.equinox.p2.core.feature.feature.group" version="1.0.1.v20110906-1605-8290FZ9FVKHVRKtmx3fpNuo02129"/> <unit id="org.eclipse.equinox.p2.core.feature.feature.group" version="1.0.1.v20110906-1605-8290FZ9FVKHVRKtmx3fpNuo02129"/>
<unit id="org.eclipse.equinox.p2.user.ui.feature.group" version="2.1.2.R37x_v20110815-1155-6-Bk8pYWZz0qUTX5I15GZWwbXkrl"/> <unit id="org.eclipse.equinox.p2.user.ui.feature.group" version="2.1.2.R37x_v20110815-1155-6-Bk8pYWZz0qUTX5I15GZWwbXkrl"/>
<unit id="org.eclipse.equinox.p2.rcp.feature.feature.group" version="1.0.1.v20110906-1605-782EqBqNKGVkiV-PUsgz-uny4gqO"/> <unit id="org.eclipse.equinox.p2.rcp.feature.feature.group" version="1.0.1.v20110906-1605-782EqBqNKGVkiV-PUsgz-uny4gqO"/>
<unit id="org.eventb.ide.feature.group" version="2.5.0.r14568"/> <unit id="org.eventb.ide.feature.group" version="2.5.0.r14636"/>
<unit id="fr.systerel.editor.feature.group" version="0.6.2.r14568"/> <unit id="fr.systerel.editor.feature.group" version="0.6.2.r14636"/>
<unit id="org.rodinp.feature.group" version="1.6.0.r14568"/> <unit id="org.rodinp.feature.group" version="1.6.0.r14636"/>
<unit id="org.rodinp.platform.product" version="2.5.0.r14568"/> <unit id="org.rodinp.platform.product" version="2.5.0.r14636"/>
<unit id="org.rodinp.platform.feature.group" version="2.5.0.r14568"/> <unit id="org.rodinp.platform.feature.group" version="2.5.0.r14636"/>
<unit id="org.rodinp.platform.product.root.feature.feature.group" version="2.5.0.r14568"/> <unit id="org.rodinp.platform.product.root.feature.feature.group" version="2.5.0.r14636"/>
<repository location="http://rodin-b-sharp.sourceforge.net/core-updates"/> <repository location="http://rodin-b-sharp.sourceforge.net/core-updates"/>
</location> </location>
<location includeAllPlatforms="false" includeMode="planner" includeSource="true" type="InstallableUnit"> <location includeAllPlatforms="false" includeMode="planner" includeSource="true" type="InstallableUnit">
...@@ -26,5 +26,10 @@ ...@@ -26,5 +26,10 @@
<unit id="org.eclipse.gef.sdk.feature.group" version="3.7.2.v20110927-2020-7G7W77A5WNgIRPdWXDIbNTSQPdQL"/> <unit id="org.eclipse.gef.sdk.feature.group" version="3.7.2.v20110927-2020-7G7W77A5WNgIRPdWXDIbNTSQPdQL"/>
<repository location="http://download.eclipse.org/releases/indigo/"/> <repository location="http://download.eclipse.org/releases/indigo/"/>
</location> </location>
<location includeAllPlatforms="false" includeMode="planner" includeSource="true" type="InstallableUnit">
<unit id="ac.soton.eventb.emf.core.extension.feature.feature.group" version="1.3.0.201206030057"/>
<unit id="org.eventb.emf.feature.feature.group" version="3.7.0.201204300914"/>
<repository location="http://rodin-b-sharp.sourceforge.net/updates"/>
</location>
</locations> </locations>
</target> </target>
...@@ -5,15 +5,43 @@ apply from: 'tycho_build.gradle' ...@@ -5,15 +5,43 @@ apply from: 'tycho_build.gradle'
// Local tasks // Local tasks
project(':de.prob.core') { project(':de.prob.core') {
repositories { repositories {
mavenCentral() maven {
name "cobra"
url "http://cobra.cs.uni-duesseldorf.de/artifactory/repo"
}
} }
def parser_version = '2.4.8-SNAPSHOT'
dependencies { dependencies {
compile group: 'commons-lang', name: 'commons-lang', version: '2.4' compile group: "de.prob", name: "answerparser", version: parser_version , changing: true
compile group: "de.prob", name: "bparser", version: parser_version , changing: true
compile group: "de.prob", name: "cliparser", version: parser_version , changing: true
compile group: "de.prob", name: "ltlparser", version: parser_version , changing: true
compile group: "de.prob", name: "parserbase", version: parser_version , changing: true
compile group: "de.prob", name: "prologlib", version: parser_version , changing: true
compile group: "de.prob", name: "unicode", version: parser_version , changing: true
compile 'jgrapht:jgrapht:0.8.3'
compile 'commons-lang:commons-lang:2.6'
}
} }
project(':de.prob.ui') {
repositories {
maven {
name "cobra"
url "http://cobra.cs.uni-duesseldorf.de/artifactory/repo"
}
}
dependencies {
compile 'commons-codec:commons-codec:1.6'
}
} }
......
<?xml version="1.0" encoding="UTF-8"?> <?xml version="1.0" encoding="UTF-8"?>
<classpath> <classpath>
<classpathentry exported="true" kind="lib" path="lib/dependencies/commons-codec-1.6.jar"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/> <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="src"/> <classpathentry kind="src" path="src"/>
......
...@@ -10,7 +10,9 @@ Require-Bundle: org.eclipse.ui;bundle-version="[3.5.0,4.0.0)", ...@@ -10,7 +10,9 @@ Require-Bundle: org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
de.prob.core;bundle-version="[9.2.0,9.3.0)", de.prob.core;bundle-version="[9.2.0,9.3.0)",
org.eventb.core;bundle-version="[2.1.0,2.6.0)", org.eventb.core;bundle-version="[2.1.0,2.6.0)",
org.eclipse.core.expressions;bundle-version="[3.4.101,4.0.0)", org.eclipse.core.expressions;bundle-version="[3.4.101,4.0.0)",
org.eclipse.gef;bundle-version="[3.5.0,4.0.0)" org.eclipse.gef;bundle-version="[3.5.0,4.0.0)",
org.eventb.emf.core;bundle-version="2.2.4",
org.eventb.emf.persistence;bundle-version="2.4.0"
Bundle-ActivationPolicy: lazy Bundle-ActivationPolicy: lazy
Bundle-Vendor: HHU Düsseldorf STUPS Group Bundle-Vendor: HHU Düsseldorf STUPS Group
Bundle-Activator: de.prob.ui.ProbUiPlugin Bundle-Activator: de.prob.ui.ProbUiPlugin
...@@ -18,4 +20,5 @@ Bundle-RequiredExecutionEnvironment: JavaSE-1.6 ...@@ -18,4 +20,5 @@ Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Export-Package: de.prob.ui Export-Package: de.prob.ui
Bundle-ClassPath: lib/apache_xmlrpc.jar, Bundle-ClassPath: lib/apache_xmlrpc.jar,
lib/ws_commons.jar, lib/ws_commons.jar,
lib/dependencies/commons-codec-1.6.jar,
. .
...@@ -5,4 +5,5 @@ bin.includes = META-INF/,\ ...@@ -5,4 +5,5 @@ bin.includes = META-INF/,\
plugin.xml,\ plugin.xml,\
icons/,\ icons/,\
lib/apache_xmlrpc.jar,\ lib/apache_xmlrpc.jar,\
lib/ws_commons.jar lib/ws_commons.jar,\
lib/dependencies/commons-codec-1.6.jar
...@@ -341,6 +341,10 @@ ...@@ -341,6 +341,10 @@
id="de.prob.ui.ltl.counterexampleprinthandler" id="de.prob.ui.ltl.counterexampleprinthandler"
name="CounterExample Print"> name="CounterExample Print">
</command> </command>
<command
id="de.prob.ui.newcore.export"
name="Export for new Core">
</command>
</extension> </extension>
<extension <extension
point="org.eclipse.ui.handlers"> point="org.eclipse.ui.handlers">
...@@ -717,6 +721,23 @@ ...@@ -717,6 +721,23 @@
</with> </with>
</enabledWhen> </enabledWhen>
</handler> </handler>
<handler
commandId="de.prob.ui.newcore.export">
<class
class="de.prob.ui.eventb.ExportNewCoreHandler">
</class>
<enabledWhen>
<with
variable="selection">
<iterate
operator="or">
<instanceof
value="org.eventb.core.IEventBRoot">
</instanceof>
</iterate>
</with>
</enabledWhen>
</handler>
<!-- <handler <!-- <handler
commandId="de.prob.ui.startdmc"> commandId="de.prob.ui.startdmc">
<class <class
...@@ -985,6 +1006,12 @@ ...@@ -985,6 +1006,12 @@
label="Open in ProB classic" label="Open in ProB classic"
style="push"> style="push">
</command> </command>
<command
commandId="de.prob.ui.newcore.export"
icon="icons/prob_mini_logo.gif"
label="Export for new core (experimental)"
style="push">
</command>
</menu> </menu>
<separator <separator
name="de.prob.ui.separator1" name="de.prob.ui.separator1"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment