Click or drag to resize

PorterExport Method (INamedGraph, ListString)

Exports the given named graph to a file with the given filename. The format is determined by the file extension. Currently available are: .grs/.grsi or .gxl or .xmi. 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 8.0beta
Syntax
C#
Copy
public static void Export(
	INamedGraph graph,
	List<string> filenameParameters
)

Parameters

graph
Type: de.unika.ipd.grGen.libGrINamedGraph
The named graph to export. The .grs/.grsi exporter is exporting the names/including the names; import will return a named graph again. The .gxl exporter is exporting without the names, which is equivalent of calling the non-named graph export. The .xmi exporter is using the names as xmi ids.
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).
See Also