1 The Basic Libraries

This document contains documentation of the basic libraries of the Mjølner System. It is a programmer's guide. The purpose is to provide the necessary information to the users of the libraries. The facilities are documented by means of the BETA interfaces and examples of how to use the facilities.

This document includes the documentation on the following libraries of the Mjølner System:

• betaenv.bet contains the most basic library of the Mjølner System. It contains patterns describing character, integer, streams, exceptions, etc. as well as control patterns and input/output patterns. Most (if not all) BETA programs will use betaenv, either directly or indirectly.
• math.bet contains an interface to standard real functions in BETA. The library contains patterns for mathematical functions: trigonometric, hyperbolic, exponential and logarithmic, floating point manipulation, power, miscellaneous constants.
• numberio.bet contains patterns to be used for reading numbers from any input stream, and for writing any number to any output stream. The patterns are able to read and write all numeric types of the BETA language.
• formatio.bet contains two patterns for making formatted input and output on any stream.
• random.bet contains an elaborate random generator system, containing random generators with many different statistical properties.
• regexp.bet contains facilities for working with regular expressions in text strings.
• file.bet contains the general interface into files, residing on some file system.
• directory.bet contains the general interface into directories on hierarchical file system.
• systemEnv defines the experimental concurrency system for BETA. SystemEnv contain three closely related libraries: basicsystemenv.bet, systemenv.bet, and timehandler.bet.
• repStream.bet contains the definition of a special type of repetitions that has stream-like operations.
• external.bet contains the various facilities for enabling BETA programs to interface to external languages, like C and Pascal.