ABPE is a pilot implementation of automata-based programming engine. AbpeObx examples demonstrate the following files:
'Data' files provide only type information for Records, derived from A.Data type, and a set of numbers for States and Outputs code procedures;
'Code' files provide only code procedures for 'Data' files;
'Schema' files provide 'Data' records connected in schemes. The schemes can be implemented in 'Schema' program modules (AddModule), Data instance pointers, (AddPtr) and schemes text files (AddFile).
The Abpe engine performs AbpeExamples execution. AbpeRunner implements Services-based runtime.
The 'Data' file consists of 2 sets of numbers defined in the type names, the 'HelloStates_0_1' RECORD (A.OnlyStates) prescribes the 'Code' file to have two state-connected routines for Hello type:
PROCEDURE sss0* (VAR t: D.Hello; IN e: A.Event; VAR y: A.State);
PROCEDURE sss1* (VAR t: D.Hello; IN e: A.Event; VAR y: A.State);
The 'HelloOutputs_1_2' RECORD (A.OnlyOutputs) prescribes the 'Code' file to have two output-generating routines for Hello type:
PROCEDURE zzz1* (VAR t: D.Hello; y: A.State);
PROCEDURE zzz2* (VAR t: D.Hello; y: A.State);