Skip to content

Commit f52b495

Browse files
committed
Adapt rules following libadalang API change
1 parent 563905f commit f52b495

File tree

3 files changed

+3
-3
lines changed

3 files changed

+3
-3
lines changed

lkql_checker/share/lkql/exception_propagation_from_callbacks.lkql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -124,6 +124,6 @@ fun exception_propagation_from_callbacks(node, callbacks=[]) =
124124
match subp
125125
| SubpBody => subp
126126
| GenericSubpInstantiation =>
127-
subp.p_designated_subp().p_body_part_for_decl()
127+
subp.p_designated_generic_decl().p_body_part_for_decl()
128128
| * => subp.p_body_part_for_decl())
129129
}

lkql_checker/share/lkql/kp/KP-R410-028.lkql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -27,4 +27,4 @@ fun kp_r410_028(node) =
2727
when check_subp(decl))
2828
|
2929
inst@GenericSubpInstantiation
30-
when check_subp(inst.p_designated_subp()))
30+
when check_subp(inst.p_designated_generic_decl().f_subp_decl))

lkql_checker/share/lkql/stdlib.lkql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -384,7 +384,7 @@ fun ultimate_designated_generic_subp(subp_inst) =
384384
|" Given a node representing an instantiation of a generic subprogram,
385385
|" return that non-instantiated subprogram after resolving all renamings.
386386
{
387-
val inst = subp_inst.p_designated_subp();
387+
val inst = subp_inst.p_designated_generic_decl();
388388
val aliased = ultimate_subprogram_alias(inst);
389389
aliased.p_get_uninstantiated_node()
390390
}

0 commit comments

Comments
 (0)