![]() | GRSExport Class |
Namespace: de.unika.ipd.grGen.libGr
public class GRSExport : IDisposable
The GRSExport type exposes the following members.
Name | Description | |
---|---|---|
![]() | GRSExport(StreamWriter) | Initializes a new instance of the GRSExport class |
![]() | GRSExport(String) | Initializes a new instance of the GRSExport class |
Name | Description | |
---|---|---|
![]() ![]() | AddSubgraphAsNeeded | |
![]() | Dispose | |
![]() ![]() | EmitAttribute |
Emits the attribute value as code
for an attribute of the given type with the given value into the stream writer
Main graph context is needed to get access to the graph -> env dictionary.
|
![]() ![]() | EmitAttributeValue |
Type needed for enum, otherwise null ok.
Graph needed for node/edge, otherwise null ok.
Main graph context needed to get access to the graph -> env dictionary for subgraph.
|
![]() ![]() | EmitObjectCreation | |
![]() ![]() | EmitSubgraphAttributes | |
![]() ![]() | Export(INamedGraph, StreamWriter) |
Exports the given graph to the file given by the stream writer in grs format.
Any errors will be reported by exception.
|
![]() ![]() | Export(INamedGraph, String) |
Exports the given graph to a GRS file with the given filename.
Any errors will be reported by exception.
|
![]() | Export(INamedGraph, Boolean, DictionaryString, DictionaryString, String) | |
![]() ![]() | Export(INamedGraph, StreamWriter, Boolean, DictionaryString, DictionaryString, String) |
Exports the given graph to the file given by the stream writer in grs format.
Any errors will be reported by exception.
|
![]() ![]() | Export(INamedGraph, String, Boolean, DictionaryString, DictionaryString, String) |
Exports the given graph to a GRS file with the given filename.
Any errors will be reported by exception.
|
![]() ![]() | ExportSingleGraph | |
![]() ![]() | ExportYouMustCloseStreamWriter |
Exports the given graph to the file given by the stream writer in grs format.
Any errors will be reported by exception.
Returns the graph export context of the main graph.
|
![]() ![]() | IsGraphUsedInAttribute |