Click or drag to resize

GRSExportExportYouMustCloseStreamWriter Method

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.

Namespace:  de.unika.ipd.grGen.libGr
Assembly:  libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public static MainGraphExportContext ExportYouMustCloseStreamWriter(
	INamedGraph graph,
	StreamWriter sw,
	string modelPathPrefix,
	bool noNewGraph,
	Dictionary<string, Dictionary<string, string>> typesToAttributesToSkip
)

Parameters

graph
Type: de.unika.ipd.grGen.libGrINamedGraph
The graph to export. Must be a named graph.
sw
Type: System.IOStreamWriter
The stream writer of the file to export into. The stream writer is not closed automatically.
modelPathPrefix
Type: SystemString
Path to the model.
noNewGraph
Type: SystemBoolean
If true, the new graph command is not emitted.
typesToAttributesToSkip
Type: System.Collections.GenericDictionaryString, DictionaryString, String
Gives a dictionary with type names containing a dictionary with attribute names that are not to be emitted

Return Value

Type: MainGraphExportContext
See Also