From d696b12acb0d764f493f3757a4db8bb7f3593df1 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sun, 28 Mar 2021 09:49:27 +0200 Subject: vhdl-parse_psl: minor reformating --- src/vhdl/vhdl-parse_psl.adb | 19 +++++++++---------- 1 file changed, 9 insertions(+), 10 deletions(-) (limited to 'src') diff --git a/src/vhdl/vhdl-parse_psl.adb b/src/vhdl/vhdl-parse_psl.adb index b453423f4..d54924212 100644 --- a/src/vhdl/vhdl-parse_psl.adb +++ b/src/vhdl/vhdl-parse_psl.adb @@ -66,17 +66,16 @@ package body Vhdl.Parse_Psl is end if; end Parse_Number; - procedure Check_Positive_Count(N : Node) is - Low : Uns32; - High : Uns32; + procedure Check_Positive_Count (N : Node) + is + Low : constant Uns32 := Get_Value (Get_Low_Bound (N)); + High : constant Uns32 := Get_Value (Get_High_Bound (N)); begin - Low := Get_Value(Get_Low_Bound(N)); - High := Get_Value(Get_High_Bound(N)); - if Low >= High then - Error_Msg_Parse ( - "Low bound of range must be lower than High bound," & - " actual range is:" & - Uns32'Image(Low) & " to" & Uns32'Image(High)); + if Low > High then + Error_Msg_Parse + ("Low bound of range must be lower than High bound," & + " actual range is:" & + Uns32'Image (Low) & " to" & Uns32'Image (High)); end if; end Check_Positive_Count; -- cgit v1.2.3