Documentation of class Trace