diff options
| author |  MichalMoskal <unknown> | 2010-10-26 01:36:43 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-10-26 01:36:43 +0000 |
| commit | dcd2453328f448dca66745701038e85563d72bb4 (patch) | |
| tree | 00c909213cda3b35f43d3a3ae6c7c09f8433b26a /Source/ModelViewer/BaseProvider.cs | |
| parent | 757d0aaeff6ba2782c056f4b7d231e021a2b0a79 (diff) | |
Introduce distinction between canonical element name and its aliases
Diffstat (limited to 'Source/ModelViewer/BaseProvider.cs')
| -rw-r--r-- | Source/ModelViewer/BaseProvider.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/ModelViewer/BaseProvider.cs b/Source/ModelViewer/BaseProvider.cs index 6418bc7a..247021a0 100644 --- a/Source/ModelViewer/BaseProvider.cs +++ b/Source/ModelViewer/BaseProvider.cs @@ -38,7 +38,7 @@ namespace Microsoft.Boogie.ModelViewer.Base state = s;
}
- public override IEnumerable<string> Values
+ public override IEnumerable<string> Aliases
{
get { foreach (var v in state.Variables) yield return v; }
}
@@ -62,7 +62,7 @@ namespace Microsoft.Boogie.ModelViewer.Base this.elt = elt;
}
- public override IEnumerable<string> Values
+ public override IEnumerable<string> Aliases
{
get
{
|