public static class IAnalysisLatticeElement.MergeResult
extends java.lang.Object
Constructor and Description |
---|
MergeResult(java.lang.String diff)
Constructs a new merge result.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getDiff()
Returns a description of the abstract state difference,
or null if not available.
|
Copyright © 2009-2019 Aarhus University