diff options
| author | Tristan Gingold <tgingold@free.fr> | 2018-11-14 18:19:20 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2018-11-14 18:19:20 +0100 |
| commit | 4065acd8711297f5aac2c929b7a6a2259c582fef (patch) | |
| tree | a5c7988320b9deefb950b6e8b238f7e89cfa6b52 | |
| parent | ae8e6cb6bfd4626e753c72c4f9a5673501e6184d (diff) | |
| download | ghdl-4065acd8711297f5aac2c929b7a6a2259c582fef.tar.gz ghdl-4065acd8711297f5aac2c929b7a6a2259c582fef.tar.bz2 ghdl-4065acd8711297f5aac2c929b7a6a2259c582fef.zip | |
types: add Source_Coord_Type.
| -rw-r--r-- | src/types.ads | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/types.ads b/src/types.ads index 8f4ca3a60..1ab3c50c2 100644 --- a/src/types.ads +++ b/src/types.ads @@ -113,6 +113,22 @@ package Types is Location_Nil : constant Location_Type := 0; No_Location : constant Location_Type := 0; + -- Source coordinates. An expanded form of location, almost ready to be + -- printed. + -- FILE is the reference to the source file. + -- LINE_POS is the position in the source file of the first character of + -- the line. It usually comes for free but can be a little bit difficult + -- to compute if the line table is being built. + -- LINE is the line number; first line is 1 and 0 means unknown. + -- OFFSET is the index in the line; first character is 0, any character + -- (even tabulation) counts as 1 character. + type Source_Coord_Type is record + File : Source_File_Entry; + Line_Pos : Source_Ptr; + Line : Natural; + Offset : Natural; + end record; + -- PSL Node. type PSL_Node is new Int32; |