Change from FAST to path list
[hiphop-php.git] / hphp / hack / src / server / serverGoToDefinition.mli
blob0b4b12366cfaf177f19c0d02bc78aed91c4686ba
1 (*
2 * Copyright (c) Facebook, Inc. and its affiliates.
4 * This source code is licensed under the MIT license found in the
5 * LICENSE file in the "hack" directory of this source tree.
7 *)
9 (** Returns the definition of the symbol at the given position in the document.
11 This function is for interactive use only, as it may return multiple definitions
12 for the user's convenience. For example, when hovering over a constructor call,
13 it may return both the definition for the class being constructed, and the
14 `__construct` method of the class. Tooling should use
15 [ServerCommandTypes.IDENTIFY_FUNCTION] instead. *)
16 val go_quarantined :
17 ctx:Provider_context.t ->
18 entry:Provider_context.entry ->
19 line:int ->
20 column:int ->
21 ServerCommandTypes.Go_to_definition.result