dk.brics.tajs.blendedanalysis.dynamic

Class JalangiRefinerUtilities

java.lang.Object

dk.brics.tajs.blendedanalysis.dynamic.JalangiRefinerUtilities

public class JalangiRefinerUtilities
extends java.lang.Object

Compare Jalangi value logs with TAJS values for blended analysis.

Constructor Summary

Constructors

Constructor and Description
JalangiRefinerUtilities()

Method Summary

Modifier and Type	Method and Description
Value	convertValueDescriptionToTAJSValue(dk.au.cs.casa.jer.entries.ValueDescription valueDescription, Value soundDefault)
java.util.Set<dk.au.cs.casa.jer.entries.CallEntry>	getCallEntriesAtSourceLocation(SourceLocation sourceLocation)
Value	getCodeFromDynamicCodeEntryAtSourceLocation(SourceLocation sl)
dk.au.cs.casa.jer.entries.ValueDescriptionVisitor<Value>	getConvertLogValuesToTAJSValuesVisitor(Value soundDefault)
<E> java.util.Set<E>	getEntriesFromMap(java.util.Map<SourceLocation,java.util.Set<E>> map, SourceLocation sourceLocation, int columnOffset)
java.util.Set<dk.au.cs.casa.jer.entries.VariableOrPropertyEntry>	getVarOrPropEntriesAtSourceLocation(SourceLocation sourceLocation, int columnOffset)
boolean	hasDynamicCodeEntriesAtSourceLocation(SourceLocation sl)
boolean	isHostEnvironmentSource(SourceLocation sourceLocation)
boolean	isReachable(AbstractNode n)
boolean	isTAJSVariableNotJalangiVariable(java.lang.String varname)
Value	meetWithUnboxing(Value jalangi, Value tajs)
void	setSolverInterface(GenericSolver.SolverInterface c)
boolean	valueDescriptionMatchesValue(dk.au.cs.casa.jer.entries.ValueDescription valueDescription, Value tajsValue)

Methods inherited from class java.lang.Object

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

Constructor Detail

JalangiRefinerUtilities

public JalangiRefinerUtilities()

Method Detail

convertValueDescriptionToTAJSValue

public Value convertValueDescriptionToTAJSValue(dk.au.cs.casa.jer.entries.ValueDescription valueDescription,
                                                Value soundDefault)

getCallEntriesAtSourceLocation

public java.util.Set<dk.au.cs.casa.jer.entries.CallEntry> getCallEntriesAtSourceLocation(SourceLocation sourceLocation)

getCodeFromDynamicCodeEntryAtSourceLocation

public Value getCodeFromDynamicCodeEntryAtSourceLocation(SourceLocation sl)

getConvertLogValuesToTAJSValuesVisitor

public dk.au.cs.casa.jer.entries.ValueDescriptionVisitor<Value> getConvertLogValuesToTAJSValuesVisitor(Value soundDefault)

getEntriesFromMap

public <E> java.util.Set<E> getEntriesFromMap(java.util.Map<SourceLocation,java.util.Set<E>> map,
                                              SourceLocation sourceLocation,
                                              int columnOffset)

getVarOrPropEntriesAtSourceLocation

public java.util.Set<dk.au.cs.casa.jer.entries.VariableOrPropertyEntry> getVarOrPropEntriesAtSourceLocation(SourceLocation sourceLocation,
                                                                                                            int columnOffset)

hasDynamicCodeEntriesAtSourceLocation

public boolean hasDynamicCodeEntriesAtSourceLocation(SourceLocation sl)

isHostEnvironmentSource

public boolean isHostEnvironmentSource(SourceLocation sourceLocation)

isReachable

public boolean isReachable(AbstractNode n)

isTAJSVariableNotJalangiVariable

public boolean isTAJSVariableNotJalangiVariable(java.lang.String varname)

meetWithUnboxing

public Value meetWithUnboxing(Value jalangi,
                              Value tajs)

setSolverInterface

public void setSolverInterface(GenericSolver.SolverInterface c)

valueDescriptionMatchesValue

public boolean valueDescriptionMatchesValue(dk.au.cs.casa.jer.entries.ValueDescription valueDescription,
                                            Value tajsValue)