F# Compiler Guide
FSharp.Compiler.EditorServices Namespace
| Type/Module | Description |
|
Provides assembly content. |
|
|
Assembly content type. |
|
|
Represents type, module, member, function or value in a compiled assembly. |
|
|
|
|
|
|
|
|
Represents a set of declarations in F# source code, with information attached ready for display by an editor. Returned by GetDeclarations. |
|
|
Represents a declaration in F# source code, with information attached ready for display by an editor. Returned by GetDeclarations. |
|
|
Thread safe wrapper over `IAssemblyContentCache`. |
|
|
|
|
|
Represents the type of a single method parameter |
|
|
Represents a symbol in an external (non F#) assembly |
|
|
Represents a type in an external (non F#) assembly. |
|
|
Represents the reason why the GetDeclarationLocation operation failed. |
|
|
Represents the result of the GetDeclarationLocation operation. |
|
|
|
|
|
Assembly content cache. |
|
|
|
|
|
Insert open namespace context. |
|
|
Helper data structure representing a symbol, suitable for implementing unresolved identifiers resolution code fixes. |
|
|
Capture information about an interface in ASTs |
|
|
|
|
|
Entity lookup type. |
|
|
`ShortIdent` with a flag indicating if it's resolved in some scope. |
|
|
Represents a group of methods (or other items) returned by GetMethods. |
|
|
Represents one method (or other item) in a method group. The item may represent either a method or a single, non-overloaded item such as union case or a named function value. |
|
|
Represents one parameter for one method (or other item) in a group. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Represents an item to be displayed in the navigation bar |
|
|
Indicates a kind of item to show in an F# navigation bar |
|
|
Represents result of 'GetNavigationItems' operation - this contains all the members and currently selected indices. First level correspond to types & modules and second level are methods etc. |
|
|
Represents top-level declarations (that should be in the type drop-down) with nested declarations (that can be shown in the member drop-down) |
|
|
Where open statements should be added. |
|
|
Represents the locations relevant to activating parameter info in an IDE |
|
|
Operations querying the entire syntax tree |
|
|
Qualified long name. |
|
|
|
|
Methods for cheaply and inaccurately parsing F#.
These methods are very old and are mostly to do with extracting "long identifier islands"
A.B.C
from F# source code, an approach taken from pre-F# VS samples for implementing intellisense.
This code should really no longer be needed since the language service has access to
parsed F# source code ASTs. However, the long identifiers are still passed back to GetDeclarations and friends in the
F# Compiler Service and it's annoyingly hard to remove their use completely.
In general it is unlikely much progress will be made by fixing this code - it will be better to
extract more information from the F# ASTs.
It's also surprising how hard even the job of getting long identifier islands can be. For example the code
below is inaccurate for long identifier chains involving ``...`` identifiers. And there are special cases
for active pattern names and so on.
|
|
|
|
|
|
Kind of lexical scope. |
|
|
|
|
|
A kind that determines what range in a source's text is semantically classified as after type-checking. |
|
|
Provides a read only view to iterate over the semantic classification contents. |
|
|
An array of `ShortIdent`. |
|
|
|
|
|
|
|
|
A single tool tip display element |
|
|
A single data tip display element |
|
|
Information for building a tool tip box. |
|
|
Represents the location of a tupled argument, which can optionally be a named argument. |
|
|
|
|
|
|
|
|
|
|
|
Represent an Xml documentation block in source code |
|
|
|
|
|
|