Click or drag to resize

GRGExportExport Method (INamedGraph, StreamWriter)

Exports the given graph to the file given by the stream writer in grg format, i.e. as GrGen rule. Any errors will be reported by exception.

Namespace:  de.unika.ipd.grGen.libGr
Assembly:  libGr (in libGr.dll) Version: GrGen.NET 8.0beta
Syntax
C#
Copy
public static void Export(
	INamedGraph graph,
	StreamWriter writer
)

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.
See Also