Util/VS2010/Boogie/BoogieLanguageService/Integration/IASTResolver.cs


1
2
3
4
5
6
7
8
9
10
11
12
13

using System;
using System.Collections.Generic;

namespace Demo
{
    interface IASTResolver
    {
        IList<Declaration> FindCompletions(object result, int line, int col);
        IList<Declaration> FindMembers(object result, int line, int col);
        string FindQuickInfo(object result, int line, int col);
        IList<Method> FindMethods(object result, int line, int col, string name);
    }
}