From 135ea99b65359d878fe0c9dbc5c20a213db7379c Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Tue, 8 Oct 2024 17:32:23 +0100 Subject: [PATCH] KE2: Add more dbscheme comments --- java/ql/lib/config/semmlecode.dbscheme | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/java/ql/lib/config/semmlecode.dbscheme b/java/ql/lib/config/semmlecode.dbscheme index e3af6cffcc3..186df68ece5 100644 --- a/java/ql/lib/config/semmlecode.dbscheme +++ b/java/ql/lib/config/semmlecode.dbscheme @@ -790,10 +790,26 @@ typeArgs( int parentid: @classorinterfaceorcallable ref ); +/** + * This holds if `memberid` is a parameterised instantiation of a + * generic type; i.e. if `typeArgs(_, _, memberid)` holds. + * + * Note that despite the general `@member ref` type, it is only + * populated for `@reftype`s. + */ isParameterized( int memberid: @member ref ); +/** + * This holds if `memberid` is the raw instantiation of a + * generic type; i.e. if `classes_or_interfaces(memberid, _, _, sourceid)` + * holds (where `memberid != sourceid`) and typeArgs(_, _, memberid)` + * doesn't hold. + * + * Note that despite the general `@member ref` type, it is only + * populated for `@reftype`s. + */ isRaw( int memberid: @member ref );