Go to the first, previous, next, last section, table of contents.
With our current tools, typical use consists of the following steps.
-
Writing a trait, into a file `foo.lsl',
and a Larch/C++ behavioral interface specification,
into a file `foo.h' (or `foo.lh').
-
Checking the trait using lsl.
lsl foo.lsl
-
Checking the Larch/C++ specification.
lcpp foo.h
-
Think, perhaps use the Larch Prover (LP) to debug,
revise, and repeat until satisfied.
After writing the specifications, if you do not have C++ code already written,
one would typically write header files and C++ code for what was specified.
Go to the first, previous, next, last section, table of contents.