Utility class for creating, finding, and parsing log files.
Monitor that performs soundness testing.
Domain-mapper between the source locations of TAJS and the value logger log files.
Decision procedure for deciding if a TAJS and log-entry source location are equal.
Exception for situations where there is something wrong with a log file.
Exception signalling that one or more soundness checks failed.
Copyright © 2009-2018 Aarhus University