From 0114d6d0701f5678fae802622351e71129657080 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Tue, 28 Apr 2020 17:27:15 +1000 Subject: Inline pragmas added --- src/directed_graphs.ads | 18 +++++++++++++++++- 1 file changed, 17 insertions(+), 1 deletion(-) 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); -- cgit