Problem

I created a new project in a fresh Rodin installation and added a new context to it.
As an example I used the array context from http://wiki.event-b.org/index.php/TextEditor_EBNF.
When I try to safe I get the error message displayed below.
I get the a similar error on opening an exiting context or machine file, created with the rodin editor.

Environment:

• Rodin 3.4 for linux (rodin-3.4.0.201802230927-6980ca1-linux.gtk.x86_64)
• OpenJDK 8 (8.u162)
• Camille nightly (3.2.0.201803161304)
• no additional plugins

Error message:

Save Failed Couldn't add in target because its parent hasn't been merged yet: MERGING LEFT DELETE org.eclipse.emf.compare.internal.spec.ReferenceChangeSpec{reference=BinaryOperator.left,value=IdentifierExpression@71135794 n,parentMatch=org.eclipse.emf.compare.internal.spec.MatchSpec{left=<null>,right=BelongPredicate@35451ba6 http://emf.eventb.org/models/core/formulas::BelongPredicate::array.axm1._OuTcwDHhEeiosJ6emmGu5g,origin=<null>,#differences=2,#submatches=0},match of value=org.eclipse.emf.compare.internal.spec.MatchSpec{left=<null>,right=IdentifierExpression@71135794 n,origin=<null>,#differences=0,#submatches=0}}

This project looks really nice and I hope someone can help me to get it to run.
If you need additional information I'll be happy to provide them.
Yours,
Benedikt

Saving in Camille tries to ignore (i.e. preserve) iUML-B state-machines (even though they appear to have been deleted because there is no text representation). However, a transition's source/target references have an eOpposite relation with States incoming/outgoing references. Only the incoming/outgoing references are preserved; the source/target references are deleted resulting in an invalid model.

Before saving with Camille:

After saving a change in Camille:

Looking with Rose editor reveals missing properties source and target:

The model can be repaired by deleting and re-writing the incoming/outgoing properties of the states. (which automatically updates the source/target properties since they are eOpposite).

N.b. there are other eOpposite relationships in e.g. Class diagrams etc.

It seems that camille is not able to parse operators (of theory modules) with more than 1 argument.
For example, camille can not parse the seqAppend(s, e) operator:

initially requested by Bosch

If Rodin finds an error using Rodin editor, the line is shown at the row "location". Using Camille editor, it says "unknown" instead.

I'd like to disable the replacement of ASCII symbols like |> to the Unicode version ▷. I personally strongly dislike an editor replacing my text.

As a sidenote, while I would be perfecly happy using the ASCII symbols as they are, I think a better approach here would be to use a font like Fira Code.

I had an invariant in a model (mc2 from http://deploy-eprints.ecs.soton.ac.uk/152/3/pomc_paper.zip)

∀i,s·(s∈open ∧ i∈INVARIANTS\invs_to_verify[{s}] ⇒ s ↦ i ∈ truth)

Camille replaced \in by ∈ and I got

∀i,s·(s∈open ∧ i∈INVARIANTS∈vs_to_verify[{s}] ⇒ s ↦ i ∈ truth)

Instead, they are attached to the last line of a file

The camille context menu does not appear in Rodin for Mac. I'm using OS X 10.11.3, Java 8 Build 73, tested in Rodin 3.2 and 3.1, Camille v 3.2.0.201511181037

The overriding simbol "<+" In mac version becomes , in Linux version becomes ∃

Just type a relational override operator, Camille generates an existential quantifier instead?

Initially requested by Bosch

see http://bscw.cs.ncl.ac.uk/bscw/bscw.cgi/d100429/DEPLOY_082_1th_ReportToolReq.pdf

Hallo,

hier ist ein Minimal-Beispiel für den Bug.
Ändert man in der Maschine mac den gesehenen Context von Ctx1 auf Ctx2 tritt der Fehler auf:

Im Struktur-Editor sieht man dann das Problem.
Statt Ctx1 durch Ctx2 zu ersetzen hat Camille Ctx2 einfach hinzugefügt beim Speichern.

Error occurs during installing using maven

ERROR] Internal error: java.lang.RuntimeException: Failed to load p2 repository with ID 'targetRepository2' from location http://rodin-b-sharp.sourceforge.net/core-updates: No repository found at http://rodin-b-sharp.sourceforge.net/core-updates. -> [Help 1]
org.apache.maven.InternalErrorException: Internal error: java.lang.RuntimeException: Failed to load p2 repository with ID 'targetRepository2' from location http://rodin-b-sharp.sourceforge.net/core-updates
	at org.apache.maven.DefaultMaven.execute(DefaultMaven.java:168)
	at org.apache.maven.cli.MavenCli.execute(MavenCli.java:537)
	at org.apache.maven.cli.MavenCli.doMain(MavenCli.java:196)
	at org.apache.maven.cli.MavenCli.main(MavenCli.java:141)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.lang.reflect.Method.invoke(Method.java:622)
	at org.codehaus.plexus.classworlds.launcher.Launcher.launchEnhanced(Launcher.java:289)
	at org.codehaus.plexus.classworlds.launcher.Launcher.launch(Launcher.java:229)
	at org.codehaus.plexus.classworlds.launcher.Launcher.mainWithExitCode(Launcher.java:415)
	at org.codehaus.plexus.classworlds.launcher.Launcher.main(Launcher.java:356)
Caused by: java.lang.RuntimeException: Failed to load p2 repository with ID 'targetRepository2' from location http://rodin-b-sharp.sourceforge.net/core-updates
	at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.loadMetadataRepository(TargetPlatformFactoryImpl.java:301)
	at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.gatherExternalInstallableUnits(TargetPlatformFactoryImpl.java:269)
	at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.createTargetPlatform(TargetPlatformFactoryImpl.java:174)
	at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.createTargetPlatform(TargetPlatformFactoryImpl.java:126)
	at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.createTargetPlatform(TargetPlatformFactoryImpl.java:1)
	at org.eclipse.tycho.p2.manager.ReactorRepositoryManagerImpl.computePreliminaryTargetPlatform(ReactorRepositoryManagerImpl.java:82)
	at org.eclipse.tycho.p2.resolver.P2DependencyResolver.computePreliminaryTargetPlatform(P2DependencyResolver.java:215)
	at org.eclipse.tycho.core.resolver.DefaultTychoResolver.resolveProject(DefaultTychoResolver.java:99)
	at org.eclipse.tycho.core.maven.TychoMavenLifecycleParticipant.afterProjectsRead(TychoMavenLifecycleParticipant.java:75)
	at org.apache.maven.DefaultMaven.doExecute(DefaultMaven.java:274)
	at org.apache.maven.DefaultMaven.execute(DefaultMaven.java:156)
	... 11 more