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 -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
toOutputStream
(ReactiveSystem 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
-
BigrapherTransformator
public BigrapherTransformator()
-
-
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
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
-