GRSExportExport Method (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.

Namespace: de.unika.ipd.grGen.libGr
Assembly: libGr (in libGr.dll) Version: GrGen.NET 8.0beta

Syntax

public static void Export(
	INamedGraph graph,
	StreamWriter writer,
	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.
writer: Type: System.IOStreamWriter
The stream writer to export to.
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

Reference

GRSExport Class

Export Overload

de.unika.ipd.grGen.libGr Namespace