dk.brics.tajs.solver

Class IAnalysisLatticeElement.MergeResult

java.lang.Object

dk.brics.tajs.solver.IAnalysisLatticeElement.MergeResult

Enclosing interface:

IAnalysisLatticeElement<BlockStateType extends IBlockState<BlockStateType,?,CallEdgeType>,CallContextType extends ICallContext<?>,CallEdgeType extends ICallEdge<BlockStateType>>

public static class IAnalysisLatticeElement.MergeResult
extends Object

Result from IAnalysisLatticeElement.propagate(IBlockState, BasicBlock, ICallContext, boolean, boolean).

Constructor Summary

Constructors

Constructor and Description
IAnalysisLatticeElement.MergeResult(String diff) Constructs a new merge result.

Method Summary

Methods

Modifier and Type	Method and Description
String	getDiff() Returns a description of the abstract state difference, or null if not available.

Methods inherited from class java.lang.Object

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

Constructor Detail

IAnalysisLatticeElement.MergeResult

public IAnalysisLatticeElement.MergeResult(String diff)

Constructs a new merge result.

Method Detail

getDiff

public String getDiff()

Returns a description of the abstract state difference, or null if not available.