2 ||M|| This file is part of HELM, an Hypertextual, Electronic
3 ||A|| Library of Mathematics, developed at the Computer Science
4 ||T|| Department, University of Bologna, Italy.
6 ||T|| HELM is free software; you can redistribute it and/or
7 ||A|| modify it under the terms of the GNU General Public License
8 \ / version 2 or (at your option) any later version.
9 \ / This software is distributed as is, NO WARRANTY.
10 V_______________________________________________________________ */
13 module EU = RolesUtils
14 module ET = RolesTypes
17 %token EOF SC OP CP VER OLD NEW REL BASE TOP ROLES
21 %type <RolesTypes.status> status
26 | TEXT { EU.stage_of_string $1 }
30 | TEXT { EU.oobj_of_string $1 }
34 | TEXT { EU.nobj_of_string $1 }
38 | OP REL ver olds news CP {
39 {ET.rb = false; ET.rx = false; ET.rs = $3; ET.ro = $4; ET.rn = $5}
45 | oobj oobjs { $1 :: $2 }
50 | nobj nobjs { $1 :: $2 }
55 | robj robjs { $1 :: $2 }
59 | OP VER stage CP { $3 }
63 | OP OLD oobjs CP { $3 }
67 | OP NEW nobjs CP { $3 }
71 | OP BASE robjs CP { $3 }
75 | ROLES SC OP TOP base ver olds news CP EOF {
76 {ET.sm = false; ET.sr = $5; ET.ss = $6; ET.so = $7; ET.sn = $8}