diff options
author | Jed Barber <jjbarber@y7mail.com> | 2020-04-28 17:27:15 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2020-04-28 17:27:15 +1000 |
commit | 0114d6d0701f5678fae802622351e71129657080 (patch) | |
tree | ceccfec4571c9d3856aa67a44d9111a01406058f | |
parent | 8ff5f7f854b450c787db21a44c0d1fa0ee9d6917 (diff) |
Inline pragmas added
-rw-r--r-- | src/directed_graphs.ads | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/src/directed_graphs.ads b/src/directed_graphs.ads index 873a793..854bf8e 100644 --- a/src/directed_graphs.ads +++ b/src/directed_graphs.ads @@ -587,7 +587,23 @@ package Directed_Graphs is private - -- Put Inline Pragmas here + pragma Inline (Append_Label); + pragma Inline (Assign); + pragma Inline (Context); + pragma Inline (Copy); + pragma Inline (Degree); + pragma Inline (Delete_Label); + pragma Inline (Element); + pragma Inline (Has_Element); + pragma Inline (Has_Label); + pragma Inline (Has_Labeled_Edge); + pragma Inline (Has_Neighbor); + pragma Inline (Is_Empty); + pragma Inline (Label); + pragma Inline (Labeled_Context); + pragma Inline (Move); + pragma Inline (Replace_Label); + pragma Inline (To_Cursor); |