Warning!<\/strong><\/p>Prerequisite<\/strong><\/p>\n For this tutorial you will need the package API (fr.inria.plasma.packages) in its latest version<\/a><\/strong> or import Plasma Lab in its latest version<\/strong><\/a> as a library. This jar contains interface and shared class that you will have to implement and\/or use.<\/p>\n You will also need the Java Simple Plugin Framework. Their web site is here<\/a><\/strong> but you can download it on our artifactory repository here<\/a><\/strong>.<\/p>\n Our plugin’s javadoc is here<\/strong><\/a>.<\/p>\n <\/div><\/p>\n Error!<\/strong><\/p>PLASMA Lab beta 1.1.9<\/strong><\/p>\n PLASMA Lab’s plugin architecture has been improved for our newest version<\/strong>. While the global mechanism and purpose stay similar to the previous versions, this tutorial is invalid since version 1.1.9.<\/div>\n A plugin is build around three main interfaces: Factory, Simulator and Checker<\/strong><\/a>.<\/p>\n A package also has to implement a State and Identifier interface respectively to represent a state of the model and elements of a state.<\/p>\n The API also comes with concrete classes to represent results and parser errors. These class can be found in the fr.inria.plasma.package.shared package.<\/p>\n Important!<\/strong><\/p> Download the sources of this tutorial<\/strong><\/a>.<\/div>\n First thing is to implement the Factory interface. For the purpose of this tutorial we will only uses one class for the Factory, Simulator and Checker interface.<\/p>\n The important thing to note here is the @PluginImplementation<\/em> annotation. This annotation will tell the Java Simple Plugin Framework where to find the class it is looking for.<\/p>\n Important!<\/strong><\/p> }<\/div>\n Then we have to implement functions of the Factory interface. These three functions shouldn’t need too much explanation, they will be used by the Graphical User Interface to display information about this plugin.<\/p>\n Important!<\/strong><\/p><\/p>\n @Override <\/div>\n As said previously, the main purpose of the Factory interface is to provide a way of accessing to a Simulator and a Checker without knowing them. This is done by implementing the next two methods.<\/p>\n Important!<\/strong><\/p> <\/div>\n In this example we return this<\/em> because the DummyPlugin class implements the Simulator and Checker interface. In a real plugin, we will create new instances of out Simulator and Checker classes and return them.<\/p>\n And that’s it for the Factory!<\/p>\n The Simulator interface uses two main methods, newTrace() and nextState().<\/p>\n Our dummy model language is a succession of “+” and “-“. Starting from 0 it will add or remove one to the current value. For instance the model “+++–” will produce the trace “0 1 2 3 2 1”.<\/p>\n Important!<\/strong><\/p><\/p>\n @Override state = new DummyState(0, 0); FileReader fr = null; <\/div>\n Important!<\/strong><\/p><\/p>\n @Override <\/div>\n There are others methods in this interface but they should not be a problem to implement. We will only take a look a the newTrace(int stepcount, double steptime)<\/em> function. This method is called when Plasma Lab is set to the simulate<\/em> mode and will generate a trace of a length equals to stepcount.<\/p>\n Important!<\/strong><\/p><\/p>\n @Override <\/div>\n At this point you should be able to run simulation of your model with Plasma Lab!<\/p>\n Notice<\/strong><\/p>Coming soon.<\/div>\nStructure<\/h3>\n
\n
\n
\nFactory<\/h3>\n
\n@PluginImplementation
\npublic class DummyPlugin implements Factory, Checker, Simulator{<\/p>\n
\npublic String getPackageName() {
\nreturn “Dummy plugin”;
\n}
\n@Override
\npublic String getPackageDescription() {
\nreturn “Plugin for the tutorial”;
\n}
\n@Override
\npublic String[] getExtensions() {
\nreturn new String[]{“.dummy”};
\n}<\/p>\n
\n@Override
\npublic Simulator createNewSimulator() {
\nreturn this;
\n}
\n@Override
\npublic Checker createNewChecker() {
\nreturn this;
\n}<\/p>\n
\nSimulator<\/h3>\n
\n
\npublic void newTrace() {
\ntrace = new ArrayList();
\nidentifiers = new HashMap();
\nidentifiers.put(“#”, new DummyId(“#”, 0));
\nidentifiers.put(“X”, new DummyId(“X”, 1));<\/p>\n
\ntrace.add(state);<\/p>\n
\ntry {
\nfr = new FileReader(model);
\n} catch (FileNotFoundException e) {
\ne.printStackTrace();
\n}
\nbr = new BufferedReader(fr);
\n}<\/p>\n\n
\npublic State nextState() {
\ntry {
\nint c = br.read();
\nif(c==-1)
\nreturn state;
\nelse{
\ndouble currentV = state.getAtPos(1);
\ndouble currentT = state.getAtPos(0);
\nif(c==’+’){
\nreturn new DummyState(currentT+1, currentV+1);
\n}
\nelse if(c==’-‘){
\nreturn new DummyState(currentT+1, currentV-1);
\n}
\n}
\n} catch (IOException e) {}
\nreturn state;
\n}<\/p>\n
\npublic void newTrace(int stepcount, double steptime) {
\nnewTrace();
\nfor(int i=1; i State next = nextState();
\ntrace.add(next);
\nstate = next;
\n}
\n}<\/p>\n
\nChecker<\/h3>\n
\nDeployment<\/h3>\n
\n
![\"\"](\"https:\/\/project.inria.fr\/plasma-lab\/files\/2013\/02\/plugin1-300x145.png\" "\\"plugin1\\"")
<\/a><\/p>\n\n
![\"\"](\"https:\/\/project.inria.fr\/plasma-lab\/files\/2013\/02\/plugin2-300x145.png\" "\\"plugin2\\"")
<\/a><\/p>\n\n
![\"\"](\"https:\/\/project.inria.fr\/plasma-lab\/files\/2013\/02\/plugin3-300x163.png\" "\\"plugin3\\"")
<\/a><\/p>","protected":false},"excerpt":{"rendered":"