Skip to content

(READ ONLY MIRROR) Standalone version of the Rodin Event-B parser and AST, published to Maven Central

Notifications You must be signed in to change notification settings

hhu-stups/rodin-ast

Repository files navigation

Rodin B AST

This repository contains a standalone version of the Rodin AST. It is used within the ProB tool.

Almost all files in this repository are taken unmodified from the rodincore/org.eventb.core.ast project. Only two files from the original sources have been modified:

  • .gitignore
  • src/org/eventb/internal/core/ast/ASTPlugin.java

We also added the following files to support the Maven Central build/upload process:

  • .gitlab-ci.yml
  • README.md
  • build.gradle
  • gradle
  • gradlew
  • gradlew.bat
  • gradle.properties.enc
  • pubring.gpg.enc
  • secring.gpg.enc
  • settings.gradle
  • update_sources.sh

How to update this project to a new Rodin version

First, remove any local changes in your clone of this repo, to avoid possible conflicts or other issues:

$ git restore --staged --worktree . # DELETES ALL LOCAL CHANGES!

In a different directory, clone the rodincore repo (if you haven't already):

$ cd /some/work/directory
$ git clone "https://git.code.sf.net/p/rodin-b-sharp/rodincore" rodin-b-sharp-rodincore
$ cd rodin-b-sharp-rodincore

Check out the desired Rodin release, for example:

$ git switch --detach RodinCore/3.3

In this repo, run the update_sources.sh script and pass the path of the source org.eventb.core.ast project:

$ cd .../rodin_eventb_ast
$ ./update_sources.sh /some/work/directory/rodin-b-sharp-rodincore/org.eventb.core.ast

Update the version number in build.gradle to the appropriate version with a SNAPSHOT suffix, for example:

project.version = "3.3.0-SNAPSHOT"

Add the version change and commit and push everything:

$ git add build.gradle
$ git commit -m "Update to Rodin 3.3 sources"
$ git push

Once you have confirmed that the new snapshot works, you can remove the -SNAPSHOT suffix and make a proper release to Maven Central.

About

(READ ONLY MIRROR) Standalone version of the Rodin Event-B parser and AST, published to Maven Central

Resources

Stars

Watchers

Forks

Languages