diff options
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; |