class LogEntrySoundnessTester
extends java.lang.Object
implements dk.au.cs.casa.jer.entries.EntryVisitor<java.lang.Void>
Modifier and Type | Class and Description |
---|---|
(package private) class |
LogEntrySoundnessTester.ValueCheck |
Modifier and Type | Field and Description |
---|---|
GenericSolver.SolverInterface |
c |
Constructor and Description |
---|
LogEntrySoundnessTester(java.util.Map<Pair<SourceLocation,java.lang.String>,java.util.Set<Value>> type_map,
java.util.Map<java.lang.Class<? extends AbstractNode>,java.util.Map<SourceLocation,java.util.Set<AbstractNode>>> loc2nodes,
java.util.Set<SoundnessCheck> checks,
ValueLogSourceLocationEqualityDecider equalityDecider,
ValueLogLocationInformation valueLogLocationInformation,
java.util.Set<SourceLocation> domObjectAllocationSites,
GenericSolver.SolverInterface c) |
Modifier and Type | Method and Description |
---|---|
(package private) boolean |
isAbstractValueSound(dk.au.cs.casa.jer.entries.ValueDescription concreteValue,
Value abstractValue) |
void |
test(java.util.Set<dk.au.cs.casa.jer.entries.IEntry> entries) |
java.lang.Void |
visit(dk.au.cs.casa.jer.entries.CallEntry e) |
java.lang.Void |
visit(dk.au.cs.casa.jer.entries.DynamicCodeEntry e) |
java.lang.Void |
visit(dk.au.cs.casa.jer.entries.FunctionEntry e) |
java.lang.Void |
visit(dk.au.cs.casa.jer.entries.FunctionExitEntry e) |
java.lang.Void |
visit(dk.au.cs.casa.jer.entries.VariableOrPropertyEntry e) |
public final GenericSolver.SolverInterface c
public LogEntrySoundnessTester(java.util.Map<Pair<SourceLocation,java.lang.String>,java.util.Set<Value>> type_map, java.util.Map<java.lang.Class<? extends AbstractNode>,java.util.Map<SourceLocation,java.util.Set<AbstractNode>>> loc2nodes, java.util.Set<SoundnessCheck> checks, ValueLogSourceLocationEqualityDecider equalityDecider, ValueLogLocationInformation valueLogLocationInformation, java.util.Set<SourceLocation> domObjectAllocationSites, GenericSolver.SolverInterface c)
boolean isAbstractValueSound(dk.au.cs.casa.jer.entries.ValueDescription concreteValue, Value abstractValue)
public void test(java.util.Set<dk.au.cs.casa.jer.entries.IEntry> entries)
public java.lang.Void visit(dk.au.cs.casa.jer.entries.CallEntry e)
visit
in interface dk.au.cs.casa.jer.entries.EntryVisitor<java.lang.Void>
public java.lang.Void visit(dk.au.cs.casa.jer.entries.DynamicCodeEntry e)
visit
in interface dk.au.cs.casa.jer.entries.EntryVisitor<java.lang.Void>
public java.lang.Void visit(dk.au.cs.casa.jer.entries.FunctionEntry e)
visit
in interface dk.au.cs.casa.jer.entries.EntryVisitor<java.lang.Void>
public java.lang.Void visit(dk.au.cs.casa.jer.entries.FunctionExitEntry e)
visit
in interface dk.au.cs.casa.jer.entries.EntryVisitor<java.lang.Void>
public java.lang.Void visit(dk.au.cs.casa.jer.entries.VariableOrPropertyEntry e)
visit
in interface dk.au.cs.casa.jer.entries.EntryVisitor<java.lang.Void>
Copyright © 2009-2019 Aarhus University