softwarelanguageslab / maf

Static Analysis Framework for Modular Analyses
Other
13 stars 12 forks source link

Unclear toString definitions hamper result interpretation and debugging #10

Closed jevdplas closed 3 years ago

jevdplas commented 3 years ago

Currently, Scala-AM contains a lot of different classes and traits, representing values, environments, pointers, ... (Almost) all of these classes implement a toString method, allowing structured output (e.g. a lambda is printed as (lambda (...) ...) ). However, the toString definitions of other internal structures are not very structured. Hence, printed output is/may be difficult to interpret and use (for example, for debugging purposes).

Therefore, we should make a clear string representation of all components, so that is is easier to interpret the output.