diff --git a/src/core/mgmt/ocarina-options.adb b/src/core/mgmt/ocarina-options.adb index 6b02115753c81a3cde2cf63e3d88f7429d1465f8..47df61f5525a7af452828f574d2b0ab0a64c46b9 100644 --- a/src/core/mgmt/ocarina-options.adb +++ b/src/core/mgmt/ocarina-options.adb @@ -114,6 +114,15 @@ package body Ocarina.Options is Current_Annex_Action (Action) := 1; end Set_Annex_Action; + ------------------------ + -- Unset_Annex_Action -- + ------------------------ + + procedure Unset_Annex_Action (Action : Annex_Action_Kind) is + begin + Current_Annex_Action (Action) := 0; + end Unset_Annex_Action; + ---------------------- -- Get_Annex_Action -- ---------------------- diff --git a/src/core/mgmt/ocarina-options.ads b/src/core/mgmt/ocarina-options.ads index bdd3fecb408d70a526a305e9b8290ebebd0111e1..69f578d09ef31eda31ea49b66290c0c62a2ddbca 100644 --- a/src/core/mgmt/ocarina-options.ads +++ b/src/core/mgmt/ocarina-options.ads @@ -90,10 +90,25 @@ package Ocarina.Options is type Annex_Action is array (Annex_Action_Kind) of Byte; procedure Set_Annex_Action (Action : Annex_Action_Kind); + -- Mark the given annex to be handled by its corresponding parses + -- during parsing. + + procedure Unset_Annex_Action (Action : Annex_Action_Kind); + -- Unmark the given annex to be ignored during parsing + function Get_Annex_Action (Action : Annex_Action_Kind) return Byte; + -- Return 1 if the given annex has been set and 1 if it has been + -- unset. + procedure Reset_Annex_Action; + -- Unset all annexes + procedure Process_Annex_Action (Parameters : String); + -- Analyse the command line --disable-annexes=... part + function Perform_Annex_Action (Language : Name_Id) return Boolean; + -- Returns true iff the given language has a corresponding annex + -- action. private