C# Class TestAuthoringScope, VisualFStar

Inheritance: AuthoringScope
Afficher le fichier Open project: YaccConstructor/VisualFStar Class Usage Examples

Méthodes publiques

Méthode 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 méthode

public GetDataTipText ( int line, int col, TextSpan, &span ) : string
line int
col int
span TextSpan,
Résultat string

GetDeclarations() public méthode

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

GetMethods() public méthode

public GetMethods ( int line, int col, string name ) : Methods,
line int
col int
name string
Résultat Methods,

Goto() public méthode

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