1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
-- GHDL Run Time (GRT) - to_string subprograms.
-- Copyright (C) 2002 - 2019 Tristan Gingold
--
-- This program is free software: you can redistribute it and/or modify
-- it under the terms of the GNU General Public License as published by
-- the Free Software Foundation, either version 2 of the License, or
-- (at your option) any later version.
--
-- This program is distributed in the hope that it will be useful,
-- but WITHOUT ANY WARRANTY; without even the implied warranty of
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-- GNU General Public License for more details.
--
-- You should have received a copy of the GNU General Public License
-- along with this program. If not, see <gnu.org/licenses>.
--
-- As a special exception, if other files instantiate generics from this
-- unit, or you link this unit with other files to produce an executable,
-- this unit does not by itself cause the resulting executable to be
-- covered by the GNU General Public License. This exception does not
-- however invalidate any other reasons why the executable file might be
-- covered by the GNU Public License.
with Grt.Types; use Grt.Types;
with Grt.Vhdl_Types; use Grt.Vhdl_Types;
package Grt.To_Strings is
-- Write the image of N into STR padded to the right. FIRST is the index
-- of the first character, so the result is in STR (FIRST .. STR'last).
-- Requires at least 11 characters.
procedure To_String (Str : out String; First : out Natural; N : Ghdl_I32);
-- Write the image of N into STR padded to the right. FIRST is the index
-- of the first character, so the result is in STR (FIRST .. STR'last).
-- Requires at least 21 characters.
procedure To_String (Str : out String; First : out Natural; N : Ghdl_I64);
-- Write the image of N into STR. LAST is the index of the last character,
-- so the result is in STR (STR'first .. LAST).
-- Requires at least 24 characters.
-- Sign (1) + digit (1) + dot (1) + digits (15) + exp (1) + sign (1)
-- + exp_digits (4) -> 24.
procedure To_String (Str : out String; Last : out Natural; N : Ghdl_F64);
-- Write the image of N into STR using NBR_DIGITS digits after the decimal
-- point.
procedure To_String (Str : out String;
Last : out Natural;
N : Ghdl_F64;
Nbr_Digits : Ghdl_I32);
subtype String_Real_Format is String (1 .. 128);
-- Write the image of N into STR using NBR_DIGITS digits after the decimal
-- point.
procedure To_String (Str : out String_Real_Format;
Last : out Natural;
N : Ghdl_F64;
Format : Ghdl_C_String);
-- Write the image of VALUE to STR using UNIT as unit. The output is in
-- STR (FIRST .. STR'last).
subtype String_Time_Unit is String (1 .. 22);
procedure To_String (Str : out String_Time_Unit;
First : out Natural;
Value : Ghdl_I64;
Unit : Ghdl_I64);
type Value_Status is
(
Value_Ok,
Value_Err_No_Digit, -- After sign, at start, after exponent...
Value_Err_Bad_Digit,
Value_Err_Underscore,
Value_Err_Bad_Base,
Value_Err_Bad_End_Sign, -- Missing or mismatch
Value_Err_Bad_Exponent,
Value_Err_Trailing_Chars
);
subtype Value_Status_Error is Value_Status range
Value_Status'Succ (Value_Ok) .. Value_Status'Last;
type Value_I64_Result (Status : Value_Status := Value_Ok) is record
case Status is
when Value_Ok =>
Val : Ghdl_I64;
when others =>
Pos : Ghdl_Index_Type;
end case;
end record;
-- Convert S (INIT_POS .. LEN) to a signed integer.
function Value_I64 (S : Std_String_Basep;
Len : Ghdl_Index_Type;
Init_Pos : Ghdl_Index_Type) return Value_I64_Result;
type Value_F64_Result (Status : Value_Status := Value_Ok) is record
case Status is
when Value_Ok =>
Val : Ghdl_F64;
when others =>
Pos : Ghdl_Index_Type;
end case;
end record;
-- Convert S (INIT_POS .. LEN) to a floating point number.
function Value_F64 (S : Std_String_Basep;
Len : Ghdl_Index_Type;
Init_Pos : Ghdl_Index_Type) return Value_F64_Result;
-- Increase POS to skip leading whitespace characters, decrease LEN to
-- skip trailing whitespaces in string S.
procedure Remove_Whitespaces (S : Std_String_Basep;
Len : in out Ghdl_Index_Type;
Pos : in out Ghdl_Index_Type);
-- Extract position of numeric literal and unit in string STR.
-- Set IS_REAL if the unit is a real number (presence of '.').
-- Set UNIT_POS to the position of the first character of the unit name.
-- Set LIT_POS to the position of the first character of the numeric
-- literal (after whitespaces are skipped).
-- Set LIT_END to the position of the next character of the numeric lit.
procedure Ghdl_Value_Physical_Split (Str : Std_String_Basep;
Len : Ghdl_Index_Type;
Is_Real : out Boolean;
Lit_Pos : out Ghdl_Index_Type;
Lit_End : out Ghdl_Index_Type;
Unit_Pos : out Ghdl_Index_Type);
end Grt.To_Strings;
|
