 | GRGExport Methods |
The GRGExport type exposes the following members.
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