C# Class VisualFStar.FStarSource

Inheritance: Microsoft.VisualStudio.Package.Source

显示文件 Open project: YaccConstructor/VisualFStar

Public Methods

Method	Description
FStarSource ( Microsoft.VisualStudio.Package.LanguageService service, IVsTextLines textLines, Microsoft.VisualStudio.Package.Colorizer colorizer ) : System
GetCommentFormat ( ) : Microsoft.VisualStudio.Package.CommentInfo
OnIdle ( bool isPeriodic ) : void

Method Details

FStarSource() public method

public FStarSource ( Microsoft.VisualStudio.Package.LanguageService service, IVsTextLines textLines, Microsoft.VisualStudio.Package.Colorizer colorizer ) : System
service	Microsoft.VisualStudio.Package.LanguageService
textLines	IVsTextLines
colorizer	Microsoft.VisualStudio.Package.Colorizer
return	System

GetCommentFormat() public method

public GetCommentFormat ( ) : Microsoft.VisualStudio.Package.CommentInfo
return	Microsoft.VisualStudio.Package.CommentInfo

OnIdle() public method

public OnIdle ( bool isPeriodic ) : void
isPeriodic	bool
return	void