Refactor disconnect, package body and package declaration

VHDL-LS · Jun 1, 2024 · 891e67f · 891e67f
1 parent 10cbd3d
commit 891e67f
Show file tree

Hide file tree

Showing 4 changed files with 224 additions and 99 deletions.
diff --git a/vhdl_lang/src/ast.rs b/vhdl_lang/src/ast.rs
@@ -1380,7 +1380,11 @@ pub struct ConfigurationSpecification {
 
 /// LRM 7.4 Disconnection specification
 #[derive(PartialEq, Debug, Clone)]
-pub struct DisconnectionSpecification {}
+pub struct DisconnectionSpecification {
+    pub ident: Option<WithDecl<Ident>>,
+    pub subtype_indication: Option<SubtypeIndication>,
+    pub expression: Option<WithTokenSpan<Expression>>,
+}
 
 /// LRM 3.4 Configuration declarations
 #[derive(PartialEq, Debug, Clone)]

diff --git a/vhdl_lang/src/syntax/declarative_part.rs b/vhdl_lang/src/syntax/declarative_part.rs
@@ -68,37 +68,37 @@ pub fn is_declarative_part(ctx: &mut ParsingContext) -> ParseResult<bool> {
     ))
 }
 
+pub fn is_recover_token(kind: Kind) -> bool {
+    matches!(
+        kind,
+        Type | Subtype
+            | Component
+            | Impure
+            | Pure
+            | Function
+            | Procedure
+            | Package
+            | For
+            | File
+            | Shared
+            | Constant
+            | Signal
+            | Variable
+            | Attribute
+            | View
+            | Use
+            | Alias
+            | Begin
+            | End
+            | Disconnect
+    )
+}
+
 pub fn parse_declarative_part(
     ctx: &mut ParsingContext<'_>,
 ) -> ParseResult<Vec<WithTokenSpan<Declaration>>> {
     let mut declarations: Vec<WithTokenSpan<Declaration>> = Vec::new();
 
-    fn is_recover_token(kind: Kind) -> bool {
-        matches!(
-            kind,
-            Type | Subtype
-                | Component
-                | Impure
-                | Pure
-                | Function
-                | Procedure
-                | Package
-                | For
-                | File
-                | Shared
-                | Constant
-                | Signal
-                | Variable
-                | Attribute
-                | View
-                | Use
-                | Alias
-                | Begin
-                | End
-                | Disconnect
-        )
-    }
-
     while let Some(token) = ctx.stream.peek() {
         let start_token = ctx.stream.get_current_token_id();
         match token.kind {
@@ -206,10 +206,12 @@ pub fn parse_declarative_part(
                     VHDL2008 | VHDL1993 => &[
                         Type, Subtype, Component, Impure, Pure, Function, Procedure, Package, For,
                         File, Shared, Constant, Signal, Variable, Attribute, Use, Alias,
+                        Disconnect,
                     ],
                     VHDL2019 => &[
                         Type, Subtype, Component, Impure, Pure, Function, Procedure, Package, For,
                         File, Shared, Constant, Signal, Variable, Attribute, Use, Alias, View,
+                        Disconnect,
                     ],
                 };
                 ctx.diagnostics.push(token.kinds_error(expected));
@@ -305,7 +307,7 @@ constant x: natural := 5;
                 "Expected 'type', 'subtype', 'component', 'impure', 'pure', \
                  'function', 'procedure', 'package', 'for', 'file', \
                  'shared', 'constant', 'signal', 'variable', 'attribute', \
-                 'use' or 'alias'"
+                 'use', 'alias' or 'disconnect'"
             )]
         );
     }
@@ -333,7 +335,7 @@ var not_a_var: broken;
                 "Expected 'type', 'subtype', 'component', 'impure', 'pure', \
                  'function', 'procedure', 'package', 'for', 'file', \
                  'shared', 'constant', 'signal', 'variable', 'attribute', \
-                 'use' or 'alias'",
+                 'use', 'alias' or 'disconnect'",
             )],
         );
 
@@ -351,20 +353,8 @@ var not_a_var: broken;
                 "Expected 'type', 'subtype', 'component', 'impure', 'pure', \
                  'function', 'procedure', 'package', 'for', 'file', \
                  'shared', 'constant', 'signal', 'variable', 'attribute', \
-                 'use', 'alias' or 'view'",
+                 'use', 'alias', 'view' or 'disconnect'",
             )],
         )
     }
-
-    #[test]
-    fn parse_declarative_part_with_disconnection() {
-        let code = Code::new(
-            "\
-constant foo: real := 5.1;
-disconnect my_signal : integer after 42 ms;
-signal bar: std_logic;
-",
-        );
-        code.with_stream_no_diagnostics(parse_declarative_part);
-    }
 }
diff --git a/vhdl_lang/src/syntax/design_unit.rs b/vhdl_lang/src/syntax/design_unit.rs
@@ -934,39 +934,33 @@ end entity y;
         assert_eq!(tok.pos, code.s1("context").pos());
     }
 
-    #[test]
-    fn parse_package_declaration_and_body_in_declarative_part() {
-        let code = Code::new(
-            "\
-entity ent is
-end entity;
-
-architecture arch of ent is
-  package my_pkg is
-      -- ...
-   end my_pkg;
-  package body my_pkg is
-      -- ...
-   end package body;
-begin
-end arch;
-        ",
-        );
-        let file = code.design_file();
-        let (tokens, _) = &file.design_units[1];
-        assert_eq!(tokens[0].kind, Architecture);
-        assert_eq!(tokens[5].kind, Package);
-        assert_eq!(tokens[6].kind, Identifier);
-        assert_eq!(tokens[7].kind, Is);
-        assert_eq!(tokens[8].kind, End);
-        assert_eq!(tokens[9].kind, Identifier);
-        assert_eq!(tokens[10].kind, SemiColon);
-        assert_eq!(tokens[11].kind, Package);
-        assert_eq!(tokens[12].kind, Body);
-        assert_eq!(tokens[13].kind, Identifier);
-        assert_eq!(tokens[14].kind, Is);
-        assert_eq!(tokens[15].kind, End);
-        assert_eq!(tokens[16].kind, Package);
-        assert_eq!(tokens[17].kind, Body);
-    }
+    //    #[test]
+    //    fn parse_architecture_body_with_package_decl_and_body() {
+    //        let (code, design_file) = parse_ok(
+    //            "
+    //architecture arch of ent is
+    //  package my_pkg is
+    //      -- ...
+    //   end my_pkg;
+    //  package body my_pkg is
+    //      -- ...
+    //   end package body;
+    //begin
+    //end arch;
+    //",
+    //        );
+    //
+    //assert_eq!(
+    //    code.with_stream_no_diagnostics(parse_architecture_body()),
+    //        ArchitectureBody {
+    //            span: code.token_span(),
+    //            context_clause: ContextClause::default(),
+    //            ident: code.s1("arch").decl_ident(),
+    //            entity_name: None, // TODO
+    //            begin_token : code.s1("architecture").token(),
+    //            decl : None,
+    //            statements : None,
+    //            end_ident_pos : None,
+    //        })
+    //    }
 }