Searched refs:Tree_Or_Perm (Results 1 – 9 of 9) sorted by relevance
2623 Tree_Or_Perm : constant Perm_Or_Tree := Get_Perm_Or_Tree (N); constant2626 case Tree_Or_Perm.R is2628 return Tree_Or_Perm.Found_Permission;2631 pragma Assert (Tree_Or_Perm.Tree_Access /= null);2632 return Permission (Tree_Or_Perm.Tree_Access);
2934 Tree_Or_Perm : constant Perm_Or_Tree := Get_Perm_Or_Tree (N); constant2937 case Tree_Or_Perm.R is2939 return Tree_Or_Perm.Found_Permission;2942 pragma Assert (Tree_Or_Perm.Tree_Access /= null);2943 return Permission (Tree_Or_Perm.Tree_Access);