Api
Fixtype of program APIs
This is a product type introduced by fty::defprod.
Fields
- inputs — funparam-list
- output — type
The API of a Leo program is its main function.
Since there is just one main function with a known name (i.e. main),
the relevant information about it, which may vary across programs,
consists of:
- The list of parameters of the main function.
Each consists of a name, type, and sort.
- The output type of the main function.
We capture this information into a data structure of this fixtype.
Note that this data structure is a ``subset'' of fundecl,
in the sense that it includes two of its components.
This will be extended to consist of multiple
externally callable functions.
Subtopics
- Api-fix
- Fixing function for api structures.
- Make-api
- Basic constructor macro for api structures.
- Api-equiv
- Basic equivalence relation for api structures.
- Change-api
- Modifying constructor for api structures.
- Api->inputs
- Get the inputs field from a api.
- Api->output
- Get the output field from a api.
- Apip
- Recognizer for api structures.
