diff options
| author | Tristan Gingold <tgingold@free.fr> | 2021-08-30 21:36:05 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2021-08-30 21:36:05 +0200 |
| commit | 09192336035599d542d3a6bc149a7b477bb68ed3 (patch) | |
| tree | 574bb27543878d3e4af546718efeb971aeb7e3b7 /src/psl/psl-subsets.ads | |
| parent | 852f4310b717765360f5d3bf575d40af5769f70d (diff) | |
| download | ghdl-09192336035599d542d3a6bc149a7b477bb68ed3.tar.gz ghdl-09192336035599d542d3a6bc149a7b477bb68ed3.tar.bz2 ghdl-09192336035599d542d3a6bc149a7b477bb68ed3.zip | |
trans-chap9.adb: handle async_abort, sync_abort. Fix #1654
Diffstat (limited to 'src/psl/psl-subsets.ads')
| -rw-r--r-- | src/psl/psl-subsets.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/psl/psl-subsets.ads b/src/psl/psl-subsets.ads index 50aeba6d4..472c4579b 100644 --- a/src/psl/psl-subsets.ads +++ b/src/psl/psl-subsets.ads @@ -36,4 +36,9 @@ package PSL.Subsets is -- All other operators not mentioned above are supported in the simple -- subset without restriction. procedure Check_Simple (N : Node); + + -- Return True iff N is an async abort. + -- True for N_Async_Abort, False for N_Sync_Abort. + -- Here we also decide for N_Abort. + function Is_Async_Abort (N : Node) return Boolean; end PSL.Subsets; |