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.version_of_string $1 }
30 | TEXT { false, EU.obj_of_string $1 }
34 | TEXT { false, EU.name_of_string $1 }
38 | OP REL ver olds news CP {
39 false, {ET.x = false; ET.v = $3; ET.o = $4; ET.n = $5}
45 | obj objs { $1 :: $2 }
50 | name names { $1 :: $2 }
55 | role roles { $1 :: $2 }
59 | OP VER version CP { $3 }
63 | OP OLD objs CP { $3 }
67 | OP NEW names CP { $3 }
71 | OP BASE roles CP { $3 }
75 | ROLES SC OP TOP base ver olds news CP EOF {
76 {ET.m = false; ET.r = $5; ET.s = $6; ET.t = $7; ET.w = $8}