C# Class VisualFStar.FStarLanguageService

Inheritance: Microsoft.VisualStudio.Package.LanguageService

显示文件 Open project: YaccConstructor/VisualFStar Class Usage Examples

Public Methods

Method	Description
CreateSource ( IVsTextLines buffer ) : Microsoft.VisualStudio.Package.Source
FStarLanguageService ( ) : System
GetFormatFilterList ( ) : string
GetLanguagePreferences ( ) : Microsoft.VisualStudio.Package.LanguagePreferences
GetScanner ( IVsTextLines buffer ) : IScanner
ParseSource ( Microsoft.VisualStudio.Package.ParseRequest req ) : Microsoft.VisualStudio.Package.AuthoringScope

Method Details

CreateSource() public method

public CreateSource ( IVsTextLines buffer ) : Microsoft.VisualStudio.Package.Source
buffer	IVsTextLines
return	Microsoft.VisualStudio.Package.Source

FStarLanguageService() public method

public FStarLanguageService ( ) : System
return	System

GetFormatFilterList() public method

public GetFormatFilterList ( ) : string
return	string

GetLanguagePreferences() public method

public GetLanguagePreferences ( ) : Microsoft.VisualStudio.Package.LanguagePreferences
return	Microsoft.VisualStudio.Package.LanguagePreferences

GetScanner() public method

public GetScanner ( IVsTextLines buffer ) : IScanner
buffer	IVsTextLines
return	IScanner

ParseSource() public method

public ParseSource ( Microsoft.VisualStudio.Package.ParseRequest req ) : Microsoft.VisualStudio.Package.AuthoringScope
req	Microsoft.VisualStudio.Package.ParseRequest
return	Microsoft.VisualStudio.Package.AuthoringScope