diff options
| author |  MichalMoskal <unknown> | 2011-01-27 23:59:43 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-01-27 23:59:43 +0000 |
| commit | 8508e992ff124e76576bf316ae302b259f5cc85f (patch) | |
| tree | 2202ae671360b3baddb8a39fcd112757072d9534 /Source | |
| parent | 050bceedbfabfe18e269e30791be8996a81307b3 (diff) | |
Display integers in decimal and hexadecimal in tooltip
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/ModelViewer/VccProvider.cs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Source/ModelViewer/VccProvider.cs b/Source/ModelViewer/VccProvider.cs index 0573de6b..8726a444 100644 --- a/Source/ModelViewer/VccProvider.cs +++ b/Source/ModelViewer/VccProvider.cs @@ -1116,7 +1116,12 @@ namespace Microsoft.Boogie.ModelViewer.Vcc get
{
var sb = new StringBuilder();
- sb.AppendFormat("Type: {0}\n", vm.TypeName(tp));
+ sb.AppendFormat("Type: {0}\n", vm.TypeName(tp));
+ var i = element as Model.Integer;
+ if (i != null) {
+ var n = System.Numerics.BigInteger.Parse(i.Numeral);
+ sb.AppendFormat("Value: {0} (0x{1:x})\n", n, n);
+ }
return sb.ToString();
}
}
|