C# Class TestAuthoringScope, VisualFStar

Inheritance: AuthoringScope

Mostrar archivo Open project: YaccConstructor/VisualFStar Class Usage Examples

Public Methods

Method	Description
GetDataTipText ( int line, int col, TextSpan, &span ) : string
GetDeclarations ( IVsTextView view, int line, int col, TokenInfo info, ParseReason reason ) : Declarations,
GetMethods ( int line, int col, string name ) : Methods,
Goto ( VSConstants cmd, IVsTextView textView, int line, int col, TextSpan, &span ) : string

Method Details

GetDataTipText() public method

public GetDataTipText ( int line, int col, TextSpan, &span ) : string
line	int
col	int
span	TextSpan,
return	string

GetDeclarations() public method

public GetDeclarations ( IVsTextView view, int line, int col, TokenInfo info, ParseReason reason ) : Declarations,
view	IVsTextView
line	int
col	int
info	TokenInfo
reason	ParseReason
return	Declarations,

GetMethods() public method

public GetMethods ( int line, int col, string name ) : Methods,
line	int
col	int
name	string
return	Methods,

Goto() public method

public Goto ( VSConstants cmd, IVsTextView textView, int line, int col, TextSpan, &span ) : string
cmd	VSConstants
textView	IVsTextView
line	int
col	int
span	TextSpan,
return	string