dk.brics.tajs.monitoring.soundness

Class ValueLoggerSourceLocationMapper

java.lang.Object

dk.brics.tajs.monitoring.soundness.ValueLoggerSourceLocationMapper

public class ValueLoggerSourceLocationMapper
extends java.lang.Object

Domain-mapper between the source locations of TAJS and the value logger log files.

Constructor Summary

Constructors

Constructor and Description
ValueLoggerSourceLocationMapper()

Method Summary

Modifier and Type	Method and Description
static dk.au.cs.casa.jer.entries.SourceLocation	makeLoggerSourceLocation(SourceLocation sourceLocation) Maps from a TAJS source location to a value logger source location.
static SourceLocation	makeTAJSSourceLocation(dk.au.cs.casa.jer.entries.SourceLocation sourceLocation) Maps from a value logger source location to a TAJS source location.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ValueLoggerSourceLocationMapper

public ValueLoggerSourceLocationMapper()

Method Detail

makeLoggerSourceLocation

public static dk.au.cs.casa.jer.entries.SourceLocation makeLoggerSourceLocation(SourceLocation sourceLocation)

Maps from a TAJS source location to a value logger source location.

makeTAJSSourceLocation

public static SourceLocation makeTAJSSourceLocation(dk.au.cs.casa.jer.entries.SourceLocation sourceLocation)

Maps from a value logger source location to a TAJS source location.