informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems
Apache License 2.0
4 stars 0 forks source link

Extract logical units from source code #87

Closed shonfeder closed 3 years ago

shonfeder commented 3 years ago

Currently we are only extracting logical units from md files. We must also extract logical units from source files.

Eventually, we'd like a robust way of associating logical units with segments of code, by using annotations on the source code AST (via macros or annotations in comments). But for immediate needs, it will suffice to get line numbers out of the artifacts.