dk.brics.tajs.solver

Class IAnalysisLatticeElement.MergeResult

java.lang.Object

dk.brics.tajs.solver.IAnalysisLatticeElement.MergeResult

Enclosing interface:

IAnalysisLatticeElement<StateType extends IState<StateType,ContextType,CallEdgeType>,ContextType extends IContext<ContextType>,CallEdgeType extends ICallEdge<StateType>>

public static class IAnalysisLatticeElement.MergeResult
extends java.lang.Object

Result from IAnalysisLatticeElement.propagate(IState, BlockAndContext, boolean).

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
java.lang.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

MergeResult

public MergeResult(java.lang.String diff)

Constructs a new merge result.

Method Detail

getDiff

public java.lang.String getDiff()

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