C# Class Microsoft.Fast.Parser

Provides methods to parse fast programs.
Afficher le fichier Open project: AutomataDotNet/Automata

Méthodes publiques

Méthode Description
ParseFromFile ( string file, bool infersorts = true ) : FastPgm

Parses a fast program from a given file. Throws FastParseException when parsing fails.

ParseFromFiles ( string files, bool infersorts = true ) : FastPgm

Parses a fast program from multiple files. Throws FastParseException when parsing fails.

ParseFromStream ( Stream source, bool infersorts = true ) : FastPgm

Parses a fast program from a stream. Throws FastParseException when parsing fails.

ParseFromString ( string source, bool infersorts = true ) : FastPgm

Parses a fast program from text. Throws FastParseException when parsing fails.

Method Details

ParseFromFile() public static méthode

Parses a fast program from a given file. Throws FastParseException when parsing fails.
public static ParseFromFile ( string file, bool infersorts = true ) : FastPgm
file string given source file
infersorts bool if false sort inference is omitted
Résultat Microsoft.Fast.AST.FastPgm

ParseFromFiles() public static méthode

Parses a fast program from multiple files. Throws FastParseException when parsing fails.
public static ParseFromFiles ( string files, bool infersorts = true ) : FastPgm
files string given source files
infersorts bool if false sort inference is omitted
Résultat Microsoft.Fast.AST.FastPgm

ParseFromStream() public static méthode

Parses a fast program from a stream. Throws FastParseException when parsing fails.
public static ParseFromStream ( Stream source, bool infersorts = true ) : FastPgm
source Stream given source stream
infersorts bool if false sort inference is omitted
Résultat Microsoft.Fast.AST.FastPgm

ParseFromString() public static méthode

Parses a fast program from text. Throws FastParseException when parsing fails.
public static ParseFromString ( string source, bool infersorts = true ) : FastPgm
source string given source string
infersorts bool if false sort inference is omitted
Résultat Microsoft.Fast.AST.FastPgm