Top

Files

Fundecl

Fixtype of Leo function/transition declarations.

This is a product type introduced by fty::defprod.

Fields

annotations — annotation-list
sort — fun-sort
name — identifier
inputs — funparam-list
output — type
body — statement-list
finalizer — finalizer-option

A function or transition declaration consists of zero or more annotations, a name, zero or more parameters, an output type, and a body block.

The sort field differentiates between standard and transition functions.

If it is a transition, then it can have a finalizer.

Subtopics

Fundecl-fix: Fixing function for fundecl structures.
Make-fundecl: Basic constructor macro for fundecl structures.
Fundeclp: Recognizer for fundecl structures.
Fundecl-equiv: Basic equivalence relation for fundecl structures.
Change-fundecl: Modifying constructor for fundecl structures.
Fundecl->finalizer: Get the finalizer field from a fundecl.
Fundecl->annotations: Get the annotations field from a fundecl.
Fundecl->inputs: Get the inputs field from a fundecl.
Fundecl->sort: Get the sort field from a fundecl.
Fundecl->output: Get the output field from a fundecl.
Fundecl->name: Get the name field from a fundecl.
Fundecl->body: Get the body field from a fundecl.