|
|
|---|
|
|
|
|---|
Static checks on output files.
These check static semantic requirements on Leo output files. The checks also calculate information from the output file.
This is currently very simple, because an output file consists of, essentially, an expression.
An output file is checked in the context of the static environment of the program.