public class AbstractConcreteValueComparator
extends java.lang.Object
TODO this class could use a thorough re-implementation (GitHub #415)
Constructor and Description |
---|
AbstractConcreteValueComparator(java.util.Set<java.lang.String> canonicalNamesForBuiltins,
ValueLogSourceLocationEqualityDecider equalityDecider,
java.util.Set<SourceLocation> domObjectAllocationSites,
ValueLogLocationInformation valueLogLocationInformation,
java.util.function.Predicate<SourceLocation> isHostEnvironmentSource) |
Modifier and Type | Method and Description |
---|---|
boolean |
isAbstractValueSound(dk.au.cs.casa.jer.entries.ValueDescription concreteValue,
Value abstractValue) |
public AbstractConcreteValueComparator(java.util.Set<java.lang.String> canonicalNamesForBuiltins, ValueLogSourceLocationEqualityDecider equalityDecider, java.util.Set<SourceLocation> domObjectAllocationSites, ValueLogLocationInformation valueLogLocationInformation, java.util.function.Predicate<SourceLocation> isHostEnvironmentSource)
public boolean isAbstractValueSound(dk.au.cs.casa.jer.entries.ValueDescription concreteValue, Value abstractValue)
Copyright © 2009-2019 Aarhus University