diff options
author | MichalMoskal <unknown> | 2010-10-26 01:36:21 +0000 |
---|---|---|
committer | MichalMoskal <unknown> | 2010-10-26 01:36:21 +0000 |
commit | 5be38f0e3d45ff6172b98c29bebe95c0005f3697 (patch) | |
tree | 6984564afbc6383081039f10f0b7f0e53ac79c0a /Source/ModelViewer/DataModel.cs | |
parent | 75b3f5be7c13f16560bf831e140a0d46f885902c (diff) |
More work on the generic namer
Diffstat (limited to 'Source/ModelViewer/DataModel.cs')
-rw-r--r-- | Source/ModelViewer/DataModel.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/ModelViewer/DataModel.cs b/Source/ModelViewer/DataModel.cs index de0121e9..c2ffdf4b 100644 --- a/Source/ModelViewer/DataModel.cs +++ b/Source/ModelViewer/DataModel.cs @@ -167,6 +167,8 @@ namespace Microsoft.Boogie.ModelViewer public static IEnumerable<T> Singleton<T>(T e) { yield return e; }
+ public static IEnumerable<T> Concat1<T>(this IEnumerable<T> s, T e) { return s.Concat(Singleton(e)); }
+
public static IEnumerable<T> Map<S, T>(this IEnumerable<S> inp, Func<S, T> conv)
{
foreach (var s in inp) yield return conv(s);
|