 | GRSImport Class |
Imports graphs from files in GRS format.
Implementation note: this is a boring hand written lexer and parser,
needed because the lexer/parser generated by CSharpCC that was replaced by it
fired a multitude of "LookaheadSuccess"-exceptions, wreaking havoc on performance.
Inheritance HierarchySystemObject
de.unika.ipd.grGen.libGrGRSImport
de.unika.ipd.grGen.libGrGRSImport
Namespace: de.unika.ipd.grGen.libGr
Assembly: libGr (in libGr.dll) Version: GrGen.NET 7.2
SyntaxC#
public class GRSImport
The GRSImport type exposes the following members.
Methods| Name | Description | |
|---|---|---|
  | Import(String, IBackend, IActions) |
Imports the given graph from a file with the given filename.
Any errors will be reported by exception.
|
| Import(String, IBackend, IGraphModel, IActions) |
Imports the given graph from a file with the given filename.
Any errors will be reported by exception.
|
| Import(String, String, IBackend, IActions) |
Imports the given graph from a file with the given filename.
Any errors will be reported by exception.
|
| Import(TextReader, Int64, IBackend, IGraphModel, IActions) |
Imports the given graph from the given text reader input stream.
Any errors will be reported by exception.
|
| Import(TextReader, Int64, String, IBackend, IActions) |
Imports the given graph from the given text reader input stream.
Any errors will be reported by exception.
|
| Scan | |
| TryScan |
See Also