Package org.bigraphs.framework.converter.bigmc

Class BigMcTransformator

java.lang.Object

org.bigraphs.framework.converter.bigmc.BigMcTransformator

All Implemented Interfaces:

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

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

Implementation of ReactiveSystemPrettyPrinter for the transformation of pure EMOF-based bigraphs to BigMC's term language. The whole bigraphical reactive system is encoded.

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
BigMcTransformator()

Method Summary

Modifier and Type	Method	Description
void	toOutputStream(ReactiveSystem<PureBigraph> 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

BigMcTransformator

public BigMcTransformator()

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<PureBigraph> 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)