Method | Description | |
---|---|---|
ParseFromFile ( string file, bool infersorts = true ) : |
Parses a fast program from a given file. Throws FastParseException when parsing fails.
|
|
ParseFromFiles ( string files, bool infersorts = true ) : |
Parses a fast program from multiple files. Throws FastParseException when parsing fails.
|
|
ParseFromStream ( Stream source, bool infersorts = true ) : |
Parses a fast program from a stream. Throws FastParseException when parsing fails.
|
|
ParseFromString ( string source, bool infersorts = true ) : |
Parses a fast program from text. Throws FastParseException when parsing fails.
|
public static ParseFromFile ( string file, bool infersorts = true ) : |
||
file | string | given source file |
infersorts | bool | if false sort inference is omitted |
return |
public static ParseFromFiles ( string files, bool infersorts = true ) : |
||
files | string | given source files |
infersorts | bool | if false sort inference is omitted |
return |
public static ParseFromStream ( Stream source, bool infersorts = true ) : |
||
source | Stream | given source stream |
infersorts | bool | if false sort inference is omitted |
return |
public static ParseFromString ( string source, bool infersorts = true ) : |
||
source | string | given source string |
infersorts | bool | if false sort inference is omitted |
return |