PorterExport Method (IGraph, ListString)

Exports the given graph to a file with the given filename. The format is determined by the file extension. Currently available is: .gxl; the format .grs/.grsi needs the named graph export. Optionally suffixed by .gz; in this case they are saved gzipped. Any errors will be reported by exception.

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

Syntax

Copy

public static void Export(
	IGraph graph,
	List<string> filenameParameters
)

Parameters

graph: Type: de.unika.ipd.grGen.libGrIGraph
The graph to export.
filenameParameters: Type: System.Collections.GenericListString
The names of the files to be exported. The first must be a filename, the following may be used for giving export parameters (in fact currently no exporter supports multiple files).

Reference

Porter Class

Export Overload

de.unika.ipd.grGen.libGr Namespace

PorterAddLanguageSpecificTextSet("LST68921FEA_0?cpp=::|nu=.");Export Method (IGraph, ListAddLanguageSpecificTextSet("LST68921FEA_1?cs=&lt;|vb=(Of |cpp=&lt;|fs=&lt;'|nu=(");StringAddLanguageSpecificTextSet("LST68921FEA_2?cs=&gt;|vb=)|cpp=&gt;|fs=&gt;|nu=)");)

Parameters

Reference

PorterExport Method (IGraph, ListString)