let yyact = [|
(fun _ -> failwith "parser")
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 1 : 'options) in
let _2 = (Parsing.peek_val __caml_parser_env 0 : 'states) in
Obj.repr(
# 112 "src/aorai/yaparser.mly"
(
List.iter
(fun(key, ids) ->
match key with
"init" ->
List.iter
(fun id ->
try
(Hashtbl.find observed_states id).init <- True
with
Not_found ->
Aorai_option.abort "Error: no state '%s'\n" id)
ids
| "accept" ->
List.iter
(fun id -> try
(Hashtbl.find observed_states id).acceptation <- True
with Not_found ->
Aorai_option.abort "no state '%s'\n" id) ids
| "deterministic" -> Aorai_option.Deterministic.set true;
| oth -> Aorai_option.abort "unknown option '%s'\n" oth
) _1;
let states=
Hashtbl.fold
(fun _ st l ->
if st.acceptation=Undefined or st.init=Undefined then
begin
Aorai_option.abort
"Error: the state '%s' is used but never defined.\n" st.name
end;
st::l)
observed_states []
in
(try
Hashtbl.iter
(fun _ st -> if st.init=True then raise Exit) observed_states;
Aorai_option.abort "Automaton does not declare an initial state"
with Exit -> ());
if Hashtbl.length prefetched_states >0 then
begin
let r = Hashtbl.fold
(fun s n _ ->
s^"Error: the state '"^n^"' is used but never defined.\n")
prefetched_states
""
in
Aorai_option.abort "%s" r
end;
(states, _2)
)
# 456 "src/aorai/yaparser.ml"
: Promelaast.parsed_automaton))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 1 : 'options) in
let _2 = (Parsing.peek_val __caml_parser_env 0 : 'option) in
Obj.repr(
# 166 "src/aorai/yaparser.mly"
( _1@[_2] )
# 464 "src/aorai/yaparser.ml"
: 'options))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 0 : 'option) in
Obj.repr(
# 167 "src/aorai/yaparser.mly"
( [_1] )
# 471 "src/aorai/yaparser.ml"
: 'options))
; (fun __caml_parser_env ->
let _2 = (Parsing.peek_val __caml_parser_env 2 : string) in
let _3 = (Parsing.peek_val __caml_parser_env 1 : 'opt_identifiers) in
Obj.repr(
# 171 "src/aorai/yaparser.mly"
( (_2, _3) )
# 479 "src/aorai/yaparser.ml"
: 'option))
; (fun __caml_parser_env ->
Obj.repr(
# 175 "src/aorai/yaparser.mly"
( [] )
# 485 "src/aorai/yaparser.ml"
: 'opt_identifiers))
; (fun __caml_parser_env ->
let _2 = (Parsing.peek_val __caml_parser_env 0 : 'id_list) in
Obj.repr(
# 176 "src/aorai/yaparser.mly"
( _2 )
# 492 "src/aorai/yaparser.ml"
: 'opt_identifiers))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 2 : 'id_list) in
let _3 = (Parsing.peek_val __caml_parser_env 0 : string) in
Obj.repr(
# 180 "src/aorai/yaparser.mly"
( _1@[_3] )
# 500 "src/aorai/yaparser.ml"
: 'id_list))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 0 : string) in
Obj.repr(
# 181 "src/aorai/yaparser.mly"
( [_1] )
# 507 "src/aorai/yaparser.ml"
: 'id_list))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 1 : 'states) in
let _2 = (Parsing.peek_val __caml_parser_env 0 : 'state) in
Obj.repr(
# 185 "src/aorai/yaparser.mly"
( _1@_2 )
# 515 "src/aorai/yaparser.ml"
: 'states))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 0 : 'state) in
Obj.repr(
# 186 "src/aorai/yaparser.mly"
( _1 )
# 522 "src/aorai/yaparser.ml"
: 'states))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 3 : string) in
let _3 = (Parsing.peek_val __caml_parser_env 1 : 'transitions) in
Obj.repr(
# 190 "src/aorai/yaparser.mly"
(
let start_state = fetch_and_create_state _1 in
let (_, transitions) =
List.fold_left
(fun (otherwise, transitions) (cross,stop_state) ->
if otherwise then
Aorai_option.abort
"'other' directive in definition of %s transitions is not the last one" start_state.name
else begin
let trans =
{ start=start_state; stop=stop_state;
cross=cross; numt=(-1) }::transitions
in
let otherwise =
match cross with
| Otherwise -> true
| Seq _ -> false
in otherwise, trans
end)
(false,[]) _3
in
List.rev transitions
)
# 553 "src/aorai/yaparser.ml"
: 'state))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 2 : 'transitions) in
let _3 = (Parsing.peek_val __caml_parser_env 0 : 'transition) in
Obj.repr(
# 216 "src/aorai/yaparser.mly"
( _1@[_3] )
# 561 "src/aorai/yaparser.ml"
: 'transitions))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 0 : 'transition) in
Obj.repr(
# 217 "src/aorai/yaparser.mly"
( [_1] )
# 568 "src/aorai/yaparser.ml"
: 'transitions))
; (fun __caml_parser_env ->
let _2 = (Parsing.peek_val __caml_parser_env 3 : 'seq_elt) in
let _5 = (Parsing.peek_val __caml_parser_env 0 : string) in
Obj.repr(
# 223 "src/aorai/yaparser.mly"
( (Seq _2, prefetch_and_create_state _5) )
# 576 "src/aorai/yaparser.ml"
: 'transition))
; (fun __caml_parser_env ->
let _3 = (Parsing.peek_val __caml_parser_env 0 : string) in
Obj.repr(
# 224 "src/aorai/yaparser.mly"
((Otherwise, prefetch_and_create_state _3) )
# 583 "src/aorai/yaparser.ml"
: 'transition))
; (fun __caml_parser_env ->
let _2 = (Parsing.peek_val __caml_parser_env 0 : string) in
Obj.repr(
# 225 "src/aorai/yaparser.mly"
( (Seq (to_seq PTrue), prefetch_and_create_state _2) )
# 590 "src/aorai/yaparser.ml"
: 'transition))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 0 : 'seq_elt) in
Obj.repr(
# 229 "src/aorai/yaparser.mly"
( _1 )
# 597 "src/aorai/yaparser.ml"
: 'non_empty_seq))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 2 : 'seq_elt) in
let _3 = (Parsing.peek_val __caml_parser_env 0 : 'seq) in
Obj.repr(
# 230 "src/aorai/yaparser.mly"
( _1 @ _3 )
# 605 "src/aorai/yaparser.ml"
: 'non_empty_seq))
; (fun __caml_parser_env ->
Obj.repr(
# 234 "src/aorai/yaparser.mly"
( [] )
# 611 "src/aorai/yaparser.ml"
: 'seq))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 0 : 'non_empty_seq) in
Obj.repr(
# 235 "src/aorai/yaparser.mly"
( _1 )
# 618 "src/aorai/yaparser.ml"
: 'seq))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 0 : 'single_cond) in
Obj.repr(
# 239 "src/aorai/yaparser.mly"
( to_seq _1 )
# 625 "src/aorai/yaparser.ml"
: 'guard))
; (fun __caml_parser_env ->
let _2 = (Parsing.peek_val __caml_parser_env 1 : 'non_empty_seq) in
Obj.repr(
# 240 "src/aorai/yaparser.mly"
( _2 )
# 632 "src/aorai/yaparser.ml"
: 'guard))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 5 : string) in
let _2 = (Parsing.peek_val __caml_parser_env 4 : 'pre_cond) in
let _4 = (Parsing.peek_val __caml_parser_env 2 : 'seq) in
let _6 = (Parsing.peek_val __caml_parser_env 0 : 'post_cond) in
Obj.repr(
# 242 "src/aorai/yaparser.mly"
( let pre_cond =
match _2 with
| Behavior b -> PCall(_1,Some b)
| Pre c -> PAnd (PCall(_1,None), c)
in
let post_cond =
match _6 with
| None -> PReturn _1
| Some c -> PAnd (PReturn _1,c)
in
(to_seq pre_cond) @ _4 @ to_seq post_cond
)
# 653 "src/aorai/yaparser.ml"
: 'guard))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 4 : string) in
let _3 = (Parsing.peek_val __caml_parser_env 2 : 'non_empty_seq) in
let _5 = (Parsing.peek_val __caml_parser_env 0 : 'post_cond) in
Obj.repr(
# 255 "src/aorai/yaparser.mly"
( let post_cond =
match _5 with
| None -> PReturn _1
| Some c -> PAnd (PReturn _1,c)
in
(to_seq (PCall (_1, None))) @ _3 @ to_seq post_cond
)
# 668 "src/aorai/yaparser.ml"
: 'guard))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 3 : string) in
let _4 = (Parsing.peek_val __caml_parser_env 0 : 'post_cond) in
Obj.repr(
# 263 "src/aorai/yaparser.mly"
( let post_cond =
match _4 with
| None -> PReturn _1
| Some c -> PAnd (PReturn _1,c)
in
(to_seq (PCall (_1, None))) @ to_seq post_cond
)
# 682 "src/aorai/yaparser.ml"
: 'guard))
; (fun __caml_parser_env ->
let _2 = (Parsing.peek_val __caml_parser_env 0 : string) in
Obj.repr(
# 273 "src/aorai/yaparser.mly"
( Behavior _2 )
# 689 "src/aorai/yaparser.ml"
: 'pre_cond))
; (fun __caml_parser_env ->
let _2 = (Parsing.peek_val __caml_parser_env 1 : 'single_cond) in
Obj.repr(
# 274 "src/aorai/yaparser.mly"
( Pre _2 )
# 696 "src/aorai/yaparser.ml"
: 'pre_cond))
; (fun __caml_parser_env ->
Obj.repr(
# 278 "src/aorai/yaparser.mly"
( None )
# 702 "src/aorai/yaparser.ml"
: 'post_cond))
; (fun __caml_parser_env ->
let _2 = (Parsing.peek_val __caml_parser_env 1 : 'single_cond) in
Obj.repr(
# 279 "src/aorai/yaparser.mly"
( Some _2 )
# 709 "src/aorai/yaparser.ml"
: 'post_cond))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 1 : 'guard) in
let _2 = (Parsing.peek_val __caml_parser_env 0 : 'repetition) in
Obj.repr(
# 283 "src/aorai/yaparser.mly"
(
let min, max = _2 in
match _1 with
| [ s ] when Data_for_aorai.is_single s ->
[ { s with min_rep = min; max_rep = max } ]
| l ->
if is_no_repet (min,max) then
l
else [ { condition = None; nested = l; min_rep = min; max_rep = max } ]
)
# 726 "src/aorai/yaparser.ml"
: 'seq_elt))
; (fun __caml_parser_env ->
Obj.repr(
# 297 "src/aorai/yaparser.mly"
( Some Data_for_aorai.cst_one, Some Data_for_aorai.cst_one )
# 732 "src/aorai/yaparser.ml"
: 'repetition))
; (fun __caml_parser_env ->
Obj.repr(
# 298 "src/aorai/yaparser.mly"
( Some Data_for_aorai.cst_one, None)
# 738 "src/aorai/yaparser.ml"
: 'repetition))
; (fun __caml_parser_env ->
Obj.repr(
# 299 "src/aorai/yaparser.mly"
( None, None )
# 744 "src/aorai/yaparser.ml"
: 'repetition))
; (fun __caml_parser_env ->
Obj.repr(
# 300 "src/aorai/yaparser.mly"
( None, Some Data_for_aorai.cst_one )
# 750 "src/aorai/yaparser.ml"
: 'repetition))
; (fun __caml_parser_env ->
let _2 = (Parsing.peek_val __caml_parser_env 3 : 'arith_relation) in
let _4 = (Parsing.peek_val __caml_parser_env 1 : 'arith_relation) in
Obj.repr(
# 301 "src/aorai/yaparser.mly"
( Some _2, Some _4 )
# 758 "src/aorai/yaparser.ml"
: 'repetition))
; (fun __caml_parser_env ->
let _2 = (Parsing.peek_val __caml_parser_env 1 : 'arith_relation) in
Obj.repr(
# 302 "src/aorai/yaparser.mly"
( Some _2, Some _2 )
# 765 "src/aorai/yaparser.ml"
: 'repetition))
; (fun __caml_parser_env ->
let _2 = (Parsing.peek_val __caml_parser_env 2 : 'arith_relation) in
Obj.repr(
# 303 "src/aorai/yaparser.mly"
( Some _2, None )
# 772 "src/aorai/yaparser.ml"
: 'repetition))
; (fun __caml_parser_env ->
let _3 = (Parsing.peek_val __caml_parser_env 1 : 'arith_relation) in
Obj.repr(
# 304 "src/aorai/yaparser.mly"
( None, Some _3 )
# 779 "src/aorai/yaparser.ml"
: 'repetition))
; (fun __caml_parser_env ->
let _3 = (Parsing.peek_val __caml_parser_env 1 : string) in
Obj.repr(
# 308 "src/aorai/yaparser.mly"
( POr (PCall (_3,None), PReturn _3) )
# 786 "src/aorai/yaparser.ml"
: 'single_cond))
; (fun __caml_parser_env ->
let _3 = (Parsing.peek_val __caml_parser_env 1 : string) in
Obj.repr(
# 309 "src/aorai/yaparser.mly"
( PCall (_3,None) )
# 793 "src/aorai/yaparser.ml"
: 'single_cond))
; (fun __caml_parser_env ->
let _3 = (Parsing.peek_val __caml_parser_env 1 : string) in
Obj.repr(
# 310 "src/aorai/yaparser.mly"
( PReturn _3 )
# 800 "src/aorai/yaparser.ml"
: 'single_cond))
; (fun __caml_parser_env ->
Obj.repr(
# 311 "src/aorai/yaparser.mly"
( PTrue )
# 806 "src/aorai/yaparser.ml"
: 'single_cond))
; (fun __caml_parser_env ->
Obj.repr(
# 312 "src/aorai/yaparser.mly"
( PFalse )
# 812 "src/aorai/yaparser.ml"
: 'single_cond))
; (fun __caml_parser_env ->
let _2 = (Parsing.peek_val __caml_parser_env 0 : 'single_cond) in
Obj.repr(
# 313 "src/aorai/yaparser.mly"
( PNot _2 )
# 819 "src/aorai/yaparser.ml"
: 'single_cond))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 2 : 'single_cond) in
let _3 = (Parsing.peek_val __caml_parser_env 0 : 'single_cond) in
Obj.repr(
# 314 "src/aorai/yaparser.mly"
( PAnd (_1,_3) )
# 827 "src/aorai/yaparser.ml"
: 'single_cond))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 2 : 'single_cond) in
let _3 = (Parsing.peek_val __caml_parser_env 0 : 'single_cond) in
Obj.repr(
# 315 "src/aorai/yaparser.mly"
( POr (_1,_3) )
# 835 "src/aorai/yaparser.ml"
: 'single_cond))
; (fun __caml_parser_env ->
let _2 = (Parsing.peek_val __caml_parser_env 1 : 'single_cond) in
Obj.repr(
# 316 "src/aorai/yaparser.mly"
( _2 )
# 842 "src/aorai/yaparser.ml"
: 'single_cond))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 0 : 'logic_relation) in
Obj.repr(
# 317 "src/aorai/yaparser.mly"
( _1 )
# 849 "src/aorai/yaparser.ml"
: 'single_cond))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 2 : 'arith_relation) in
let _3 = (Parsing.peek_val __caml_parser_env 0 : 'arith_relation) in
Obj.repr(
# 321 "src/aorai/yaparser.mly"
( PRel(Eq, _1, _3) )
# 857 "src/aorai/yaparser.ml"
: 'logic_relation))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 2 : 'arith_relation) in
let _3 = (Parsing.peek_val __caml_parser_env 0 : 'arith_relation) in
Obj.repr(
# 322 "src/aorai/yaparser.mly"
( PRel(Lt, _1, _3) )
# 865 "src/aorai/yaparser.ml"
: 'logic_relation))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 2 : 'arith_relation) in
let _3 = (Parsing.peek_val __caml_parser_env 0 : 'arith_relation) in
Obj.repr(
# 323 "src/aorai/yaparser.mly"
( PRel(Gt, _1, _3) )
# 873 "src/aorai/yaparser.ml"
: 'logic_relation))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 2 : 'arith_relation) in
let _3 = (Parsing.peek_val __caml_parser_env 0 : 'arith_relation) in
Obj.repr(
# 324 "src/aorai/yaparser.mly"
( PRel(Le, _1, _3) )
# 881 "src/aorai/yaparser.ml"
: 'logic_relation))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 2 : 'arith_relation) in
let _3 = (Parsing.peek_val __caml_parser_env 0 : 'arith_relation) in
Obj.repr(
# 325 "src/aorai/yaparser.mly"
( PRel(Ge, _1, _3) )
# 889 "src/aorai/yaparser.ml"
: 'logic_relation))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 2 : 'arith_relation) in
let _3 = (Parsing.peek_val __caml_parser_env 0 : 'arith_relation) in
Obj.repr(
# 326 "src/aorai/yaparser.mly"
( PRel(Neq, _1, _3) )
# 897 "src/aorai/yaparser.ml"
: 'logic_relation))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 0 : 'arith_relation) in
Obj.repr(
# 327 "src/aorai/yaparser.mly"
( PRel (Neq, _1, PCst(IntConstant "0")) )
# 904 "src/aorai/yaparser.ml"
: 'logic_relation))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 2 : 'arith_relation_mul) in
let _3 = (Parsing.peek_val __caml_parser_env 0 : 'arith_relation) in
Obj.repr(
# 331 "src/aorai/yaparser.mly"
( PBinop(Badd,_1,_3) )
# 912 "src/aorai/yaparser.ml"
: 'arith_relation))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 2 : 'arith_relation_mul) in
let _3 = (Parsing.peek_val __caml_parser_env 0 : 'arith_relation) in
Obj.repr(
# 332 "src/aorai/yaparser.mly"
( PBinop(Bsub,_1,_3) )
# 920 "src/aorai/yaparser.ml"
: 'arith_relation))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 0 : 'arith_relation_mul) in
Obj.repr(
# 333 "src/aorai/yaparser.mly"
( _1 )
# 927 "src/aorai/yaparser.ml"
: 'arith_relation))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 2 : 'arith_relation_mul) in
let _3 = (Parsing.peek_val __caml_parser_env 0 : 'access_or_const) in
Obj.repr(
# 337 "src/aorai/yaparser.mly"
( PBinop(Bdiv,_1,_3) )
# 935 "src/aorai/yaparser.ml"
: 'arith_relation_mul))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 2 : 'arith_relation_mul) in
let _3 = (Parsing.peek_val __caml_parser_env 0 : 'access_or_const) in
Obj.repr(
# 338 "src/aorai/yaparser.mly"
( PBinop(Bmul, _1, _3) )
# 943 "src/aorai/yaparser.ml"
: 'arith_relation_mul))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 2 : 'arith_relation_mul) in
let _3 = (Parsing.peek_val __caml_parser_env 0 : 'access_or_const) in
Obj.repr(
# 339 "src/aorai/yaparser.mly"
( PBinop(Bmod, _1, _3) )
# 951 "src/aorai/yaparser.ml"
: 'arith_relation_mul))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 0 : 'access_or_const) in
Obj.repr(
# 340 "src/aorai/yaparser.mly"
( _1 )
# 958 "src/aorai/yaparser.ml"
: 'arith_relation_mul))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 0 : string) in
Obj.repr(
# 345 "src/aorai/yaparser.mly"
( PCst (IntConstant _1) )
# 965 "src/aorai/yaparser.ml"
: 'access_or_const))
; (fun __caml_parser_env ->
let _2 = (Parsing.peek_val __caml_parser_env 0 : string) in
Obj.repr(
# 346 "src/aorai/yaparser.mly"
( PUnop (Uminus, PCst (IntConstant _2)) )
# 972 "src/aorai/yaparser.ml"
: 'access_or_const))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 0 : 'access) in
Obj.repr(
# 347 "src/aorai/yaparser.mly"
( _1 )
# 979 "src/aorai/yaparser.ml"
: 'access_or_const))
; (fun __caml_parser_env ->
let _2 = (Parsing.peek_val __caml_parser_env 1 : 'arith_relation) in
Obj.repr(
# 348 "src/aorai/yaparser.mly"
( _2 )
# 986 "src/aorai/yaparser.ml"
: 'access_or_const))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 2 : 'access) in
let _3 = (Parsing.peek_val __caml_parser_env 0 : string) in
Obj.repr(
# 353 "src/aorai/yaparser.mly"
( PField(_1,_3) )
# 994 "src/aorai/yaparser.ml"
: 'access))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 3 : 'access) in
let _3 = (Parsing.peek_val __caml_parser_env 1 : 'access_or_const) in
Obj.repr(
# 354 "src/aorai/yaparser.mly"
( PArrget(_1,_3) )
# 1002 "src/aorai/yaparser.ml"
: 'access))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 0 : 'access_leaf) in
Obj.repr(
# 355 "src/aorai/yaparser.mly"
(_1)
# 1009 "src/aorai/yaparser.ml"
: 'access))
; (fun __caml_parser_env ->
let _2 = (Parsing.peek_val __caml_parser_env 0 : 'access) in
Obj.repr(
# 359 "src/aorai/yaparser.mly"
( PUnop (Ustar,_2) )
# 1016 "src/aorai/yaparser.ml"
: 'access_leaf))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 4 : string) in
let _5 = (Parsing.peek_val __caml_parser_env 0 : string) in
Obj.repr(
# 360 "src/aorai/yaparser.mly"
( PPrm(_1,_5) )
# 1024 "src/aorai/yaparser.ml"
: 'access_leaf))
; (fun __caml_parser_env ->
let _1 = (Parsing.peek_val __caml_parser_env 0 : string) in
Obj.repr(
# 361 "src/aorai/yaparser.mly"
( PVar _1 )
# 1031 "src/aorai/yaparser.ml"
: 'access_leaf))
; (fun __caml_parser_env ->
let _2 = (Parsing.peek_val __caml_parser_env 1 : 'access) in
Obj.repr(
# 362 "src/aorai/yaparser.mly"
( _2 )
# 1038 "src/aorai/yaparser.ml"
: 'access_leaf))
; (fun __caml_parser_env -> raise (Parsing.YYexit (Parsing.peek_val __caml_parser_env 0)))
|]