Skip to content

TamiFlexEclipsePlugin

Jump to bottom Edit New page
Eric Bodden edited this page Mar 27, 2015 · 2 revisions

The TamiFlex Eclipse plugin allows users to play-out and play-in directly from within Eclipse. After having installed the plugin you will see Options Play-Out and Play-In in addition to Run and Debug.

Further, the plugin allows users to open and browse log files. The user can click directly on log-file elements such as methods and classes, and jump to the respective elements in the code.

The Plugin also exports an API to other plugins that allows those plugins to see which log files have already been produced.

Installation

Use the regular Eclipse update mechanism, pointing Eclipse to this update site:

https://github.com/secure-software-engineering/tamiflex/wiki/updatesite/

Found a mistake or omission in our documentation? Help us by editing this Wiki! You only need to be logged into your Github account!

Add a custom sidebar

Clone this wiki locally