1--  PSL - Operator priorities
2--  Copyright (C) 2002-2016 Tristan Gingold
3--
4--  This program is free software: you can redistribute it and/or modify
5--  it under the terms of the GNU General Public License as published by
6--  the Free Software Foundation, either version 2 of the License, or
7--  (at your option) any later version.
8--
9--  This program is distributed in the hope that it will be useful,
10--  but WITHOUT ANY WARRANTY; without even the implied warranty of
11--  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12--  GNU General Public License for more details.
13--
14--  You should have received a copy of the GNU General Public License
15--  along with this program.  If not, see <gnu.org/licenses>.
16
17package PSL.Priorities is
18   --  Operator priorities, defined by PSL1.1 4.2.3.2
19   type Priority is
20     (
21      Prio_Lowest,
22
23      --  always, never, G
24      Prio_FL_Invariance,
25
26      --  ->, <->
27      Prio_Bool_Imp,
28
29      --  |->, |=>
30      Prio_Seq_Imp,
31
32      --  U, W, until*, before*
33      Prio_FL_Bounding,
34
35      --  next*, eventually!, X, X!, F
36      Prio_FL_Occurence,
37
38      --  abort
39      Prio_FL_Abort,
40
41      --  ( )
42      Prio_FL_Paren,
43
44      --  ;
45      Prio_Seq_Concat,
46
47      --  :
48      Prio_Seq_Fusion,
49
50      --  |
51      Prio_Seq_Or,
52
53      --  &, &&
54      Prio_Seq_And,
55
56      --  within
57      Prio_Seq_Within,
58
59      --  [*], [+], [=], [->]
60      Prio_SERE_Repeat,
61
62      --  { }
63      Prio_SERE_Brace,
64
65      --  @
66      Prio_Clock_Event,
67
68      --  !
69      Prio_Strong,
70
71      --  union
72      Prio_Union,
73
74      --  !
75      Prio_Bool_Not,
76
77      Prio_HDL
78     );
79end PSL.Priorities;
80