summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2020-04-28 17:27:15 +1000
committerJed Barber <jjbarber@y7mail.com>2020-04-28 17:27:15 +1000
commit0114d6d0701f5678fae802622351e71129657080 (patch)
treececcfec4571c9d3856aa67a44d9111a01406058f
parent8ff5f7f854b450c787db21a44c0d1fa0ee9d6917 (diff)
Inline pragmas added
-rw-r--r--src/directed_graphs.ads18
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);