|
public static ParseFromFiles ( string files, bool infersorts = true ) : |
||
| files | string | given source files |
| infersorts | bool | if false sort inference is omitted |
| Résultat | ||
public static FastPgm ParseFromFiles(string[] files, bool infersorts = true)
{
if (files == null)
throw new ArgumentNullException("files");
if (files.Length == 0)
throw new ArgumentException("must be nonempty", "files");
var pgm = FastPgmParser.ParseFiles(files);
if (infersorts)
pgm.Typecheck();
return pgm;
}
