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 -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
toOutputStream
(ReactiveSystem<PureBigraph> system, OutputStream outputStream) Redirects the result of an encoding to an output stream.toString
(ReactiveSystem<PureBigraph> system) Returns the result of a reactive system encoding as string.static String
-
Field Details
-
LINE_SEP
-
-
Constructor Details
-
BigMcTransformator
public BigMcTransformator()
-
-
Method Details
-
toString
Description copied from interface:ReactiveSystemPrettyPrinter
Returns the result of a reactive system encoding as string.- Specified by:
toString
in interfaceReactiveSystemPrettyPrinter<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 interfaceReactiveSystemPrettyPrinter<PureBigraph,
ReactiveSystem<PureBigraph>> - Parameters:
system
- the reactive system being encodedoutputStream
- the output stream where the result shall be written to- Throws:
IOException
- because of the stream
-
toString
-