Add up-levels of relative external name to AST

Author: Bochlin

vhdl_lang/src/ast.rs

@@ -117,7 +117,9 @@ pub enum ExternalObjectClass {
 pub enum ExternalPath {
     Package(WithPos<Name>),
     Absolute(WithPos<Name>),
-    Relative(WithPos<Name>),
+
+    // usize field indicates the number of up-levels ('^')
+    Relative(WithPos<Name>, usize),
 }
 
 /// LRM 8.7 External names

vhdl_lang/src/syntax/names.rs

@@ -259,19 +259,20 @@ fn parse_inner_external_name(stream: &mut TokenStream) -> ParseResult<ExternalNa
             WithPos::from(ExternalPath::Absolute(path_name), path_pos)
         },
         Circ => {
-            // @TODO Store number of '^' ("up-levels")
             stream.expect_kind(Dot)?;
+            let mut up_levels = 1;
             while stream.skip_if_kind(Circ)? {
                 stream.expect_kind(Dot)?;
+                up_levels += 1;
             }
             let path_name = parse_name(stream)?;
             let path_pos = path_name.pos.clone().combine_into(&token);
-            WithPos::from(ExternalPath::Relative(path_name), path_pos)
+            WithPos::from(ExternalPath::Relative(path_name, up_levels), path_pos)
         },
         Identifier => {
             let path_name = parse_name_initial_token(stream, token)?;
             let path_pos = path_name.pos.clone();
-            WithPos::from(ExternalPath::Relative(path_name), path_pos)
+            WithPos::from(ExternalPath::Relative(path_name, 0), path_pos)
         }
     );
 
@@ -831,7 +832,7 @@ mod tests {
         let external_name = ExternalName {
             class: ExternalObjectClass::Signal,
             path: WithPos::new(
-                ExternalPath::Relative(code.s1("dut.foo").name()),
+                ExternalPath::Relative(code.s1("dut.foo").name(), 0),
                 code.s1("dut.foo").pos(),
             ),
             subtype: code.s1("std_logic").subtype_indication(),
@@ -848,7 +849,7 @@ mod tests {
         let external_name = ExternalName {
             class: ExternalObjectClass::Signal,
             path: WithPos::new(
-                ExternalPath::Relative(code.s1("dut.gen(0)").name()),
+                ExternalPath::Relative(code.s1("dut.gen(0)").name(), 1),
                 code.s1("^.dut.gen(0)").pos(),
             ),
             subtype: code.s1("std_logic").subtype_indication(),
@@ -865,7 +866,7 @@ mod tests {
         let external_name = ExternalName {
             class: ExternalObjectClass::Signal,
             path: WithPos::new(
-                ExternalPath::Relative(code.s1("dut.gen(0)").name()),
+                ExternalPath::Relative(code.s1("dut.gen(0)").name(), 3),
                 code.s1("^.^.^.dut.gen(0)").pos(),
             ),
             subtype: code.s1("std_logic").subtype_indication(),
@@ -922,7 +923,7 @@ mod tests {
             let external_name = ExternalName {
                 class,
                 path: WithPos::new(
-                    ExternalPath::Relative(code.s1("dut.foo").name()),
+                    ExternalPath::Relative(code.s1("dut.foo").name(), 0),
                     code.s1("dut.foo").pos(),
                 ),
                 subtype: code.s1("std_logic").subtype_indication(),