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

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

Syntax

public static void Export(
	INamedGraph graph,
	string exportFilename,
	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.
exportFilename: Type: SystemString
The filename for the exported file.
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