Searched refs:Psl_Info_Acc (Results 1 – 4 of 4) sorted by relevance
432 Info : constant Psl_Info_Acc := Get_Info (Stmt);525 Info : constant Psl_Info_Acc := Get_Info (Stmt);1809 Info : constant Psl_Info_Acc := Get_Info (Stmt);
1197 subtype Psl_Info_Acc is Ortho_Info_Acc (Kind_Psl_Directive); subtype
2024 Info : constant Psl_Info_Acc := Get_Info (Decl);
4528 Info : constant Psl_Info_Acc := Get_Info (Expr);