Function ParseProgram parses an Abacus program from the list of strings sL that are the lines of an Abacus file. If a syntax error occurs, error messages are written to ostr. The result is an Abacus program, i.e., an array of Abacus instructions where branch and jump instructions refer to indices of this array. For the syntax of the expected Abacus program, see the comments of function ParseProgramFromFile.

Function ParseAbacusProgramFromFile parses an Abacus program from the contents of the file with the given filename, and writes error messages to the output TextWriter ostr. In addition to the Abacus instructions, the file may also contain in a header before the values of the parameters of the Abacus computer. In total, the following syntax is assumed:

• "//" denotes the beginning of a comment that ends with the line
• "#const MemSize n" defines the size of the main memory to words
• "#const CacheSize n" defines the size of the data cache in words
• "#const BlockSize n" defines the size of cache blocks in words
• "#const SetAssoc n" defines the set associativity of the cache
• lines holding an instruction must have the following form with an optional label l:

  l: instr p1,...,pn // comment

The result is an Abacus program, i.e., an array of Abacus instructions where branch and jump instructions refer to indices of this array.

parsing a MiniC declaration from a stream

parsing a MiniC declaration from a string

parsing a MiniC expression from a stream where types are determined according to the given declaration of variables

parsing a MiniC expression from a string where types are determined according to the given declaration of variables

parsing a program from a file (errors are written to output stream optOstr, if that is not None).

ParseMiniCFromStream parses a MiniC program from a given input stream instr (errors are written to output stream optOstr, if that is not None).

ParseMiniCFromString parses a MiniC program from a given string s (errors are written to output stream optOstr, if that is not None).

parsing a MiniC expression from a stream where Cnat is used for all numeric types

parsing a MiniC expression from a string where Cnat is used for all numeric types

PrintAbacusProgram prints an Abacus program p to output stream ostr with an indentation string indent and additional comments cmt.

PrintCmdProg prints a CmdType program to TextWriter ostr.