aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2019-10-21 20:09:18 +0200
committerTristan Gingold <tgingold@free.fr>2019-10-21 20:09:18 +0200
commit9c4519e0c72187f95b6a91e95564ee6a1f45efc7 (patch)
tree7f83d02ac45203ddb990a3b33346f791be2a13f8 /src/vhdl
parent92c75a0cbf315abe01b25b60f064941b3fadd80a (diff)
downloadghdl-9c4519e0c72187f95b6a91e95564ee6a1f45efc7.tar.gz
ghdl-9c4519e0c72187f95b6a91e95564ee6a1f45efc7.tar.bz2
ghdl-9c4519e0c72187f95b6a91e95564ee6a1f45efc7.zip
psl: add active state.
Diffstat (limited to 'src/vhdl')
-rw-r--r--src/vhdl/vhdl-prints.adb7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-prints.adb b/src/vhdl/vhdl-prints.adb
index 0ed2d8f31..88ae34fe6 100644
--- a/src/vhdl/vhdl-prints.adb
+++ b/src/vhdl/vhdl-prints.adb
@@ -3570,6 +3570,13 @@ package body Vhdl.Prints is
Disp_State (Get_Start_State (N));
OOB.Put (", final: ");
Disp_State (Get_Final_State (N));
+ OOB.Put (", active: ");
+ S := Get_Active_State (N);
+ if S = No_State then
+ OOB.Put ("-");
+ else
+ Disp_State (S);
+ end if;
OOB.New_Line;
S := Get_First_State (N);