public class ValueLogSourceLocationEqualityDecider
extends java.lang.Object
Constructor and Description |
---|
ValueLogSourceLocationEqualityDecider(java.util.Map<SourceLocation,java.util.Set<SourceLocation>> tajsLocation2jalangiLocation,
FlowGraph flowGraph) |
Modifier and Type | Method and Description |
---|---|
boolean |
areEqual(dk.au.cs.casa.jer.entries.SourceLocation jalangiLocation,
SourceLocation realTajslocation) |
java.util.Set<Pair<dk.au.cs.casa.jer.entries.SourceLocation,SourceLocation>> |
getEqualities() |
public ValueLogSourceLocationEqualityDecider(java.util.Map<SourceLocation,java.util.Set<SourceLocation>> tajsLocation2jalangiLocation, FlowGraph flowGraph)
public boolean areEqual(dk.au.cs.casa.jer.entries.SourceLocation jalangiLocation, SourceLocation realTajslocation)
public java.util.Set<Pair<dk.au.cs.casa.jer.entries.SourceLocation,SourceLocation>> getEqualities()
Copyright © 2009-2019 Aarhus University