Package org.bigraphs.framework.visualization

Class ReactionGraphExporter<B extends Bigraph<? extends Signature<?>>>

java.lang.Object

org.bigraphs.framework.visualization.ReactionGraphExporter<B>

All Implemented Interfaces:

BigraphGraphicsExporter<ReactionGraph<?>>

public class ReactionGraphExporter<B extends Bigraph<? extends Signature<?>>>
extends Object
implements BigraphGraphicsExporter<ReactionGraph<?>>

A graphics exporter for reaction graphs.

Author:

Dominik Grzelak

Constructor Summary

Constructors

Constructor	Description
ReactionGraphExporter(ReactiveSystem<B> reactiveSystem)	Constructor requires the BRS that is being model checking.

Method Summary

Modifier and Type	Method	Description
void	toPNG(ReactionGraph<?> bReactionGraph, File file)	Exports a reaction graph as a PNG file.
BigraphGraphicsExporter<ReactionGraph<?>>	with(GraphicalFeatureSupplier<?> supplier)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ReactionGraphExporter

public ReactionGraphExporter(ReactiveSystem<B> reactiveSystem)

Constructor requires the BRS that is being model checking.

Parameters:

reactiveSystem - the system that is being model checked

Method Details

toPNG

public void toPNG(ReactionGraph<?> bReactionGraph,
 File file)
           throws IOException

Exports a reaction graph as a PNG file. The reaction graph is the result of the model checking process over the reactive system passed to the constructor of this graphics exporter.

Specified by:

toPNG in interface BigraphGraphicsExporter<B extends Bigraph<? extends Signature<?>>>

Parameters:

bReactionGraph - the result of model checking the BRS that was passed to the constructor

file - the filename

Throws:

IOException

with

public BigraphGraphicsExporter<ReactionGraph<?>> with(GraphicalFeatureSupplier<?> supplier)

Specified by:

with in interface BigraphGraphicsExporter<B extends Bigraph<? extends Signature<?>>>