 | GRGExport Class |
Exports graphs in GRG format, i.e. as GrGen rules.
Inheritance HierarchySystemObject
de.unika.ipd.grGen.libGrGRGExport
de.unika.ipd.grGen.libGrGRGExport
Namespace: de.unika.ipd.grGen.libGr
Assembly: libGr (in libGr.dll) Version: GrGen.NET 7.2
SyntaxC#
public class GRGExport : IDisposable
The GRGExport type exposes the following members.
Constructors| Name | Description | |
|---|---|---|
 | GRGExport(StreamWriter) | Initializes a new instance of the GRGExport class |
| GRGExport(String) | Initializes a new instance of the GRGExport class |
Methods| Name | Description | |
|---|---|---|
 | Dispose | |
 | EmitAttribute |
Emits the attribute value as code
for an attribute of the given type with the given value into the stream writer
|
| Export(INamedGraph) | |
| Export(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.
|
| Export(INamedGraph, String) |
Exports the given graph to a GRG file with the given filename.
Any errors will be reported by exception.
|
| ExportYouMustCloseStreamWriter |
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.
|
| ToString |
type needed for enum, otherwise null ok
graph needed for node/edge in set/map, otherwise null ok
|
See Also