Source file `options.ml`

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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
type target_lang =
  | Michelson
  | MichelsonStorage
  | Whyml
  | Javascript
  | Markdown
  | BindingsJs
  | BindingsTs
[@@deriving show {with_path = false}]

exception UnknownTarget of string

let string_to_target_lang = function
  | "michelson"         -> Michelson
  | "michelson-storage" -> MichelsonStorage
  | "whyml"             -> Whyml
  | "javascript"        -> Javascript
  | "markdown"          -> Markdown
  | "bindings-js"       -> BindingsJs
  | "bindings-ts"       -> BindingsTs
  | v                   -> raise (UnknownTarget v)

let version = "1.2.13"
let url = "https://archetype-lang.org/"

let target = ref (Michelson : target_lang)

let quiet = ref false
let with_init_caller = ref true

let opt_json    = ref false
let opt_rjson   = ref false
let opt_pt      = ref false
let opt_extpt   = ref false
let opt_ext     = ref false
let opt_ast     = ref false
let opt_mdl     = ref false
let opt_omdl    = ref false
let opt_typed   = ref false
let opt_ir      = ref false
let opt_dir     = ref false
let opt_mic     = ref false
let opt_mici    = ref false
let opt_all_parenthesis = ref false
let opt_m     = ref false
let opt_raw   = ref false
let opt_raw_whytree = ref false
let opt_raw_ir = ref false
let opt_raw_michelson = ref false
let opt_caller = ref "$CALLER_ADDRESS"
let opt_decomp = ref false
let opt_trace = ref false
let opt_metadata_uri = ref ""
let opt_metadata_storage = ref ""
let opt_with_metadata = ref false
let opt_expr : (string option) ref = ref (None : string option)
let opt_entrypoint : (string option) ref = ref (None : string option)
let opt_type : (string option) ref = ref (None : string option)
let opt_with_contract = ref false
let opt_code_only = ref false
let opt_expr_only = ref false
let opt_init = ref ""
let opt_no_js_header = ref false
let opt_sdir = ref false
let opt_test_mode = ref false
let opt_get_storage_values = ref false
let opt_with_parameters = ref false
let opt_show_entries = ref false
let opt_out = ref ""

let opt_property_focused = ref ""

let opt_event_well_address = ref "KT1AHVF5m8XaWPQCGgfAsZ9eSJJZ7WVGV2hE" (* mainnet address *)

let opt_vids : (string list) ref = ref []
let add_vids s =
  opt_vids := s::!opt_vids

type lsp_kind =
  | Errors
  | Outline
[@@deriving yojson, show {with_path = false}]

exception UnknownLspKind of string

let string_to_kind k =
  match k with
  | "errors" -> Errors
  | "outline" -> Outline
  | v -> raise (UnknownLspKind v)

let opt_lsp_kind = ref (None : lsp_kind option)

type service_kind =
  | GetProperties
[@@deriving yojson, show {with_path = false}]

exception UnknownServiceKind of string

let string_to_service_kind k =
  match k with
  | "get_properties" -> GetProperties
  | v -> raise (UnknownServiceKind v)

let opt_service_kind = ref (None : service_kind option)

type language =
  | Typescript
  | Javascript

let language_to_string = function
  | Typescript -> "typescript"
  | Javascript -> "javascript"