/compiler/2.0/Aug2011.1/src/fsharp/unittests/UnittestsGeneratedInterfaceFileToTestGotoDefinition.ReservedName.fsi
F# | 230 lines | 224 code | 6 blank | 0 comment | 0 complexity | dd00289f9b3cd500d2a12789f3770952 MD5 | raw file
Possible License(s): CC-BY-SA-3.0, Apache-2.0
- namespace TestLibrary
- module LambdaCalculus = begin
- exception LambdaFailure of string
- module Syntax = begin
- type Binder = string
- type Expression =
- | Variable of Binder
- | Lambda of (Binder * Expression)
- | Apply of (Expression * Expression)
- val stringOfExpression : Expression -> string
- end
- module Evaluation = begin
- module Environment = begin
- type Env = Map<Syntax.Binder,Syntax.Expression>
- exception EnvironmentFailure of string
- val add :
- Env ->
- Syntax.Binder ->
- Syntax.Expression -> Map<Syntax.Binder,Syntax.Expression>
- val lookup : Env -> Syntax.Binder -> Syntax.Expression
- end
- exception EvalFailure = LambdaFailure
- val eval : Environment.Env -> Syntax.Expression -> Syntax.Expression
- end
- end
- module OtherTests = begin
- type Point =
- {x: int;
- y: int;}
- val showPoint : Point -> string
- type Shape =
- class
- new : initVertices:Point list -> Shape
- member
- addFilterMap : pr:(Point -> bool) ->
- f:(Point -> Point) -> ps:Point list -> unit
- member addVertex : p:Point -> unit
- member clearVertices : unit -> unit
- member fold : f:('a -> Point -> 'a) -> acc:'a -> 'a
- member getVertices : unit -> Point list
- member map : f:(Point -> Point) -> unit
- member refold : f:('a -> Point -> 'a) -> acc:'a -> 'a
- member subsume : s:Shape -> unit
- member transpose : unit -> unit
- static member combine : s1:Shape -> s2:Shape -> Shape
- end
- end
-
- namespace Internal.Utilities
- module internal FSharpEnvironment = begin
- val DotNetBuildString : string
- val FSharpCoreLibRunningVersion : string option
- val FSharpTeamVersionNumber : string
- val FSharpBinaryMetadataFormatRevision : string
- val RegOpenKeyExW :
- System.UIntPtr * string * uint32 * int * byref<System.UIntPtr> -> uint32
- val RegQueryValueExW :
- System.UIntPtr * string * uint32 * byref<uint32> * System.IntPtr *
- byref<int> -> uint32
- val RegCloseKey : System.UIntPtr -> uint32
- module Option = begin
- val ofString : string -> string option
- end
- val maxPath : int
- val maxDataLength : int
- val KEY_WOW64_DEFAULT : int
- val KEY_WOW64_32KEY : int
- val HKEY_LOCAL_MACHINE : System.UIntPtr
- val KEY_QUERY_VALUE : int
- val REG_SZ : uint32
- val GetDefaultRegistryStringValueViaDotNet : string -> string option
- val Get32BitRegistryStringValueViaPInvoke : string -> string option
- val is32Bit : bool
- val tryRegKey : string -> string option
- val tryCurrentDomain : unit -> string option
- val tryAppConfig : string -> string option
- val BinFolderOfDefaultFSharpCompiler : string option
- end
-
- namespace Internal.Utilities.Collections
- [<StructuralEqualityAttribute (); NoComparisonAttribute ()>]
- type internal ValueStrength<'T> =
- | Strong of 'T
- | Weak of System.WeakReference
- type internal AgedLookup<'TKey,'TValue> =
- class
- new : keepStrongly:int * areSame:('TKey * 'TKey -> bool) ->
- AgedLookup<'TKey,'TValue>
- member Clear : unit -> unit
- member Put : 'TKey * 'TValue -> unit
- member Remove : key:'TKey -> unit
- member ToSeq : unit -> seq<'TKey * 'TValue>
- member TryGet : key:'TKey -> 'TValue option
- member TryGetKeyValue : key:'TKey -> ('TKey * 'TValue) option
- member TryPeekKeyValue : key:'TKey -> ('TKey * 'TValue) option
- member MostRecent : ('TKey * 'TValue) option
- end
- type internal MruCache<'TKey,'TValue> =
- class
- new : n:int * compute:('TKey -> 'TValue) * areSame:('TKey * 'TKey -> bool) *
- ?isStillValid:('TKey * 'TValue -> bool) *
- ?areSameForSubsumption:('TKey * 'TKey -> bool) *
- ?logComputedNewValue:('TKey -> unit) *
- ?logUsedCachedValue:('TKey -> unit) -> MruCache<'TKey,'TValue>
- member Clear : unit -> unit
- member Get : key:'TKey -> 'TValue
- member GetAvailable : key:'TKey -> 'TValue option
- member Remove : key:'TKey -> unit
- member SetAlternate : key:'TKey * value:'TValue -> unit
- member MostRecent : ('TKey * 'TValue) option
- end
- [<SealedAttribute ()>]
- type internal List =
- class
- static member
- GroupByFirst : l:('TKey * 'TValue) list -> ('TKey * 'TValue list) list
- when 'TKey : equality
- end
-
- namespace Microsoft.FSharp.UnitTest
- module FilesystemHelpers = begin
- val NewTempDirectory : System.String -> string
- val DoWithTempFile : string -> (string -> 'a) -> 'a
- end
-
- namespace Unittests.General
- [<NUnit.Framework.TestFixture ()>]
- type GeneralUnitTests =
- class
- new : unit -> GeneralUnitTests
- [<NUnit.Framework.Test ()>]
- member ( PublicSurfaceArea.DotNetReflection ) : unit -> unit
- end
-
- namespace Unittests.Build
- module HandyExtensions = begin
- type String with
- member MatchesPattern : p:string -> bool
- type String with
- member AssertMatchesPattern : p:string -> unit
- end
- type MyLogger =
- class
- interface Microsoft.Build.Framework.ILogger
- new : f:(string -> unit) -> MyLogger
- end
- type FauxHostObject =
- class
- interface Microsoft.Build.Framework.ITaskHost
- new : unit -> FauxHostObject
- member
- Compile : compile:System.Converter<int,int> * flags:string [] *
- sources:string [] -> int
- member Flags : string []
- member Sources : string []
- end
- [<NUnit.Framework.TestFixture ()>]
- type TheTests =
- class
- new : unit -> TheTests
- [<NUnit.Framework.Test ()>]
- member MissingToolPathError : unit -> unit
- [<NUnit.Framework.SetUp ()>]
- member Setup : unit -> unit
- [<NUnit.Framework.TearDown ()>]
- member TearDown : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestAllCombo : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestCodePage : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestDebugSymbols : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestDebugType : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestDefineConstants : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestDisabledWarnings1 : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestDisabledWarnings2 : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestDocumentationFile : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestGenerateInterfaceFile : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestKeyFile : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestNoFramework : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestOptimize : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestOtherFlags : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestOutputAssembly : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestPdbFile : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestPlatform1 : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestPlatform2 : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestPlatform3 : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestReferencePath : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestReferencePathWithSpaces : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestReferences : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestResources : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestSources : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestTailcalls : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestTargetType1 : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestTargetType2 : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestTargetType3 : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestUtf8Output : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestVersionFile : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestWin32Manifest : unit -> unit
- [<NUnit.Framework.Test ()>]
- member TestWin32Res : unit -> unit
- end
-