From 212268f54c947f4360a7d0e5b45faa97f76a4a9d Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 21 Jun 2014 21:24:15 +0200
Subject: Add psl cover directive (ticket19).

---
 parse.adb | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

(limited to 'parse.adb')

diff --git a/parse.adb b/parse.adb
index a6351d84b..df8ce384e 100644
--- a/parse.adb
+++ b/parse.adb
@@ -5640,7 +5640,16 @@ package body Parse is
    is
       Res : Iir;
    begin
-      Res := Create_Iir (Iir_Kind_Psl_Assert_Statement);
+      case Current_Token is
+         when Tok_Psl_Assert =>
+            Res := Create_Iir (Iir_Kind_Psl_Assert_Statement);
+         when Tok_Psl_Cover =>
+            Res := Create_Iir (Iir_Kind_Psl_Cover_Statement);
+         when others =>
+            raise Internal_Error;
+      end case;
+
+      --  Scan extended PSL tokens.
       Scanner.Flag_Psl := True;
 
       --  Skip 'assert'
@@ -5791,7 +5800,8 @@ package body Parse is
               | Tok_Psl_Endpoint =>
                Postponed_Not_Allowed;
                Stmt := Parse_Psl_Declaration;
-            when Tok_Psl_Assert =>
+            when Tok_Psl_Assert
+              | Tok_Psl_Cover =>
                Postponed_Not_Allowed;
                Stmt := Parse_Psl_Assert_Statement;
             when others =>
-- 
cgit v1.2.3