hphp/hack/src/server/serverCommandTypesUtils.ml

   1 open ServerCommandTypes
   2
   3 let debug_describe_t : type a. a t -> string = function
   4   | STATUS                   _ -> "STATUS"
   5   | STATUS_SINGLE            _ -> "STATUS_SINGLE"
   6   | INFER_TYPE               _ -> "INFER_TYPE"
   7   | INFER_TYPE_BATCH         _ -> "INFER_TYPE_BATCH"
   8   | TYPED_AST                _ -> "TYPED_AST"
   9   | IDE_HOVER                _ -> "IDE_HOVER"
  10   | DOCBLOCK_AT              _ -> "DOCBLOCK_AT"
  11   | LOCATE_SYMBOL            _ -> "LOCATE_SYMBOL"
  12   | DOCBLOCK_FOR_SYMBOL      _ -> "DOCBLOCK_FOR_SYMBOL"
  13   | IDE_SIGNATURE_HELP       _ -> "SIGNATURE_HELP"
  14   | COVERAGE_LEVELS          _ -> "COVERAGE_LEVELS"
  15   | AUTOCOMPLETE             _ -> "AUTOCOMPLETE"
  16   | IDENTIFY_FUNCTION        _ -> "IDENTIFY_FUNCTION"
  17   | METHOD_JUMP              _ -> "METHOD_JUMP"
  18   | METHOD_JUMP_BATCH        _ -> "METHOD_JUMP_BATCH"
  19   | FIND_REFS                _ -> "FIND_REFS"
  20   | IDE_FIND_REFS            _ -> "IDE_FIND_REFS"
  21   | IDE_HIGHLIGHT_REFS       _ -> "IDE_HIGHLIGHT_REFS"
  22   | REFACTOR                 _ -> "REFACTOR"
  23   | IDE_REFACTOR             _ -> "IDE_REFACTOR"
  24   | DUMP_SYMBOL_INFO         _ -> "DUMP_SYMBOL_INFO"
  25   | REMOVE_DEAD_FIXMES       _ -> "REMOVE_DEAD_FIXMES"
  26   | REWRITE_LAMBDA_PARAMETERS _ -> "REWRITE_LAMBDA_PARAMETERS"
  27   | SEARCH                   _ -> "SEARCH"
  28   | COVERAGE_COUNTS          _ -> "COVERAGE_COUNTS"
  29   | LINT                     _ -> "LINT"
  30   | LINT_STDIN               _ -> "LINT_STDIN"
  31   | LINT_ALL                 _ -> "LINT_ALL"
  32   | LINT_XCONTROLLER         _ -> "LINT_XCONTROLLER"
  33   | CREATE_CHECKPOINT        _ -> "CREATE_CHECKPOINT"
  34   | RETRIEVE_CHECKPOINT      _ -> "RETRIEVE_CHECKPOINT"
  35   | DELETE_CHECKPOINT        _ -> "DELETE_CHECKPOINT"
  36   | IN_MEMORY_DEP_TABLE_SIZE   -> "IN_MEMORY_DEP_TABLE_SIZE"
  37   | SAVE_STATE               _ -> "SAVE_STATE"
  38   | STATS                      -> "STATS"
  39   | FORMAT                   _ -> "FORMAT"
  40   | AI_QUERY                 _ -> "AI_QUERY"
  41   | DUMP_FULL_FIDELITY_PARSE _ -> "DUMP_FULL_FIDELITY_PARSE"
  42   | OPEN_FILE                _ -> "OPEN_FILE"
  43   | CLOSE_FILE               _ -> "CLOSE_FILE"
  44   | EDIT_FILE                _ -> "EDIT_FILE"
  45   | IDE_AUTOCOMPLETE         _ -> "IDE_AUTOCOMPLETE"
  46   | IDE_FFP_AUTOCOMPLETE     _ -> "IDE_FFP_AUTOCOMPLETE"
  47   | DISCONNECT                 -> "DISCONNECT"
  48   | SUBSCRIBE_DIAGNOSTIC     _ -> "SUBSCRIBE_DIAGNOSTIC"
  49   | UNSUBSCRIBE_DIAGNOSTIC   _ -> "UNSUBSCRIBE_DIAGNOSTIC"
  50   | OUTLINE                  _ -> "OUTLINE"
  51   | IDE_IDLE                   -> "IDE_IDLE"
  52   | RAGE                       -> "RAGE"
  53   | DYNAMIC_VIEW             _ -> "DYNAMIC_VIEW"
  54   | CST_SEARCH               _ -> "CST_SEARCH"
  55   | NO_PRECHECKED_FILES        -> "NO_PRECHECKED_FILES"
  56   | GEN_HOT_CLASSES          _ -> "GEN_HOT_CLASSES"
  57   | FUN_DEPS_BATCH           _ -> "FUN_DEPS_BATCH"
  58   | FUN_IS_LOCALLABLE_BATCH  _ -> "FUN_IS_LOCALLABLE_BATCH"
  59   | LIST_FILES_WITH_ERRORS     -> "LIST_FILES_WITH_ERRORS"
  60   | FILE_DEPENDENCIES        _ -> "FILE_DEPENDENCIES"
  61   | IDENTIFY_TYPES           _ -> "IDENTIFY_TYPES"
  62   | EXTRACT_STANDALONE     _ -> "EXTRACT_STANDALONE"
  63
  64 let debug_describe_cmd : type a. a command -> string = function
  65   | Rpc rpc -> debug_describe_t rpc
  66   | Debug -> "Debug"
  67
  68 let source_tree_of_file_input file_input =
  69   match file_input with
  70   | ServerCommandTypes.FileName filename ->
  71     Full_fidelity_source_text.from_file (Relative_path.create_detect_prefix filename)
  72   | ServerCommandTypes.FileContent content ->
  73     Full_fidelity_source_text.make Relative_path.default content