FilesExpand file tree

 master

/

debug_event.ml

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

34 lines (32 loc) · 1.38 KB

 master

/

debug_event.ml

Top

File metadata and controls

• Code
• Blame

34 lines (32 loc) · 1.38 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

type saved_state_info = {

filename : string;

(** During server initialization, there are files that need to be

* rechecked due to them being "dirtied" in various ways - already

* dirtied VCS working directory, modified while parsing FASTs or

* loading saved states, and build targetes that are not tracked. *)

dirty_files : Relative_path.Set.t;

changed_while_parsing : Relative_path.Set.t;

build_targets : Relative_path.Set.t;

}

(** The debug port on the server emits a sequence of significant events. *)

type event =

| Loaded_saved_state of saved_state_info * ServerGlobalState.t

(** The state name of the fresh VCS state. *)

| Fresh_vcs_state of string

(** Run a typecheck.

* TODO: This needs a lot more stuff in it, but is not yet implemented.

* Useful as an event for now for unit testing. *)

| Typecheck

| HandleServerCommand : 'a ServerCommandTypes.command -> event

(** List of files whose disk contents have changed. *)

| Disk_files_modified of Relative_path.S.t list

| Stop_recording

let to_string e = match e with

| Loaded_saved_state _ -> "Loaded_saved_state"

| Fresh_vcs_state _ -> "Fresh_vcs_state"

| Typecheck -> "Typecheck"

| HandleServerCommand cmd ->

Printf.sprintf "(HandleServerCommand %s)"

(ServerCommandTypesUtils.debug_describe_cmd cmd)

| Disk_files_modified _ -> "Disk_files_modified"

| Stop_recording -> "Stop_recording"