Restricted Semantics Eclipse Plug-In (RSEP)

An Eclipse Plug-In that provides an infrastructure for Restricted Semantics and a sample implementation of Graph Semantics.

Project Details

Coming soon...

Installation

Just add this site (http://wwwiti.cs.uni-magdeburg.de/iti_db/research/rsep/) to your update site repository.

Please refer to the Eclipse documentation for further details.

Download

Source Code

The source code is available on GitHub.

Screenshots

Click to enlarge...
We select a restricted semantics on variable y
We select a restricted semantics on variable y.
Updates of y are marked
Updates of y are marked.
Access to x are marked
Access to x are marked.
For methods only MethodInvocation semantics are available
For methods only MethodInvocation semantics are available.