public class ValueLogLocationInformation
Log files from the value logger uses slightly different source location than TAJS for some syntactic constructs. This class contains information for mapping between the two domains.
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Copyright © 2009-2019 Aarhus University