ResourceGap/API_model.hs at master · DFranzen/ResourceGap · GitHub

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
module API_model where

import JST0P_context
import JST0P_types
import JST0_type_aux

init_context :: ContextAn
init_context = let
  (ps,ts) = apis
  g = JST0P_context.empty_empty
  in var_set_path_list g ps ts

apis :: ([Path],[(TypeAn,FieldType)])
apis = lp2pl api_pairs

api_pairs :: [(Path,TypeP)]
api_pairs = [
  (["navigator","geolocation","getLocation"],
   JST0P_Function
     objectP_empty
     [JST0P_Function objectP_empty [JST0P_Int] (I 0) JST0P_None (I 0),
      JST0P_Function objectP_empty [JST0P_Int] (I 0) JST0P_None (I 0)]
     (I 0)
     JST0P_None
     (I 0) ),
  (["document","addEventListener"],
   JST0P_Function
     objectP_empty
     [JST0P_String "",
      JST0P_Function objectP_empty [] (I 0) JST0P_None (I 0)]
     (I 0)
     JST0P_None
     (I 0)),
  (["document","getElementByID"],
   JST0P_Function objectP_empty [JST0P_String ""] (I 0) objectP_empty (I 0))
  ]

lp2pl :: [(Path,TypeP)] -> ([Path],[(TypeAn,FieldType)])
lp2pl [] = ([],[])
lp2pl (p:ps) = let
  (ss,ts) = lp2pl ps
  (s,t) = p
  in (s:ss,((t,I 0),Definite):ts)