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