Searched refs:Current_Public_Id (Results 1 – 1 of 1) sorted by relevance
96 Current_Public_Id : League.Strings.Universal_String := Public_Id; variable119 (Current_Public_Id, Identifier, Unwrapped);122 Current_Public_Id := Identifier;152 if Current_Public_Id.Is_Empty then153 Current_Public_Id := Identifier;156 Current_Public_Id :=158 (Current_Public_Id);160 if Current_Public_Id /= Identifier then173 Current_Public_Id :=175 (Current_Public_Id);[all …]