Package org.bigraphs.framework.converter.bigrapher

Class BigrapherTransformator

java.lang.Object

org.bigraphs.framework.converter.bigrapher.BigrapherTransformator

All Implemented Interfaces:

PrettyPrinter<PureBigraph>, ReactiveSystemPrettyPrinter<PureBigraph,ReactiveSystem<PureBigraph>>

public class BigrapherTransformator
extends Object
implements ReactiveSystemPrettyPrinter<PureBigraph,ReactiveSystem<PureBigraph>>

Implementation of ReactiveSystemPrettyPrinter for the transformation of pure EMOF-based bigraphs to bigraphER's specification language. The whole bigraphical reactive system is encoded. Only one agent is printed.

Code is mostly adapted from the library jLibBig to our EMOF-based bigraph structure.

Author:

Dominik Grzelak

Field Summary

Fields

Modifier and Type	Field	Description
static final String	LINE_SEP

Constructor Summary

Constructors

Constructor	Description
BigrapherTransformator()

Method Summary

Modifier and Type	Method	Description
void	toOutputStream(ReactiveSystem system, OutputStream outputStream)	Redirects the result of an encoding to an output stream.
String	toString(ReactiveSystem<PureBigraph> system)	Returns the result of a reactive system encoding as string.
static String	toString(Signature sig)

Methods inherited from class java.lang.Object

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

Field Details

LINE_SEP

public static final String LINE_SEP

Constructor Details

BigrapherTransformator

public BigrapherTransformator()

Method Details

toString

public String toString(ReactiveSystem<PureBigraph> system)

Description copied from interface: ReactiveSystemPrettyPrinter

Returns the result of a reactive system encoding as string.

Specified by:

toString in interface ReactiveSystemPrettyPrinter<PureBigraph,ReactiveSystem<PureBigraph>>

Parameters:

system - the reactive system being encoded

Returns:

toOutputStream

public void toOutputStream(ReactiveSystem system,
 OutputStream outputStream)
                    throws IOException

Description copied from interface: ReactiveSystemPrettyPrinter

Redirects the result of an encoding to an output stream.

Specified by:

toOutputStream in interface ReactiveSystemPrettyPrinter<PureBigraph,ReactiveSystem<PureBigraph>>

Parameters:

system - the reactive system being encoded

outputStream - the output stream where the result shall be written to

Throws:

IOException - because of the stream

toString

public static String toString(Signature sig)