diff options
| author |  MichalMoskal <unknown> | 2010-11-03 02:11:29 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-11-03 02:11:29 +0000 |
| commit | 70ce39a7b9ecec3232841e9689f7d5622a9c13f1 (patch) | |
| tree | 26caf38391b074654101a59396b65d9184f59062 /Source/ModelViewer/BaseProvider.cs | |
| parent | 930c874ea09664128d62adda16d0200d930b49cc (diff) | |
Rework canonical name computation
Sort fields inteligently (allow for override as well)
Diffstat (limited to 'Source/ModelViewer/BaseProvider.cs')
| -rw-r--r-- | Source/ModelViewer/BaseProvider.cs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Source/ModelViewer/BaseProvider.cs b/Source/ModelViewer/BaseProvider.cs index 247021a0..096bb35a 100644 --- a/Source/ModelViewer/BaseProvider.cs +++ b/Source/ModelViewer/BaseProvider.cs @@ -27,6 +27,11 @@ namespace Microsoft.Boogie.ModelViewer.Base {
yield return new TopState("TOP", GetStateNodes(m));
}
+
+ public IEnumerable<string> SortFields(IEnumerable<string> fields)
+ {
+ return Namer.DefaultSortFields(fields);
+ }
}
public class StateNode : DisplayNode
|