@optave/codegraph 3.13.0 → 3.15.0

package/dist/ast-analysis/rules/b2.js

@@ -0,0 +1,240 @@
+import { makeDataflowRules } from '../shared.js';
+// ─── Kotlin ───────────────────────────────────────────────────────────────────
+//
+// Kotlin function_declaration wraps params in `function_value_parameters`.
+// The name is a `simple_identifier` direct child (found via findChild in extractor).
+// call_expression: first child is simple_identifier OR navigation_expression (method call).
+// navigation_expression: acts as member access for `obj.method()`.
+// Field names for call function/args are NOT standard named fields in tree-sitter-kotlin,
+// so we leave callFunctionField/callArgsField at defaults — childForFieldName returns null
+// gracefully and the analysis falls back to skipping arg tracking.
+function getKotlinParamListNode(funcNode) {
+    for (const child of funcNode.namedChildren) {
+        if (child.type === 'function_value_parameters')
+            return child;
+    }
+    return null;
+}
+function extractKotlinParamName(node) {
+    if (node.type !== 'parameter')
+        return null;
+    const nameNode = node.childForFieldName('name');
+    if (nameNode)
+        return [nameNode.text];
+    // Fallback: find simple_identifier among named children
+    for (const child of node.namedChildren) {
+        if (child.type === 'simple_identifier')
+            return [child.text];
+    }
+    return null;
+}
+export const dataflowKotlin = makeDataflowRules({
+    functionNodes: new Set(['function_declaration']),
+    nameField: 'name',
+    getParamListNode: getKotlinParamListNode,
+    paramWrapperTypes: new Set(['parameter']),
+    extractParamName: extractKotlinParamName,
+    returnNode: 'return_statement',
+    callNode: 'call_expression',
+    // tree-sitter-kotlin does not expose standard named fields for call function/args;
+    // defaults ('function'/'arguments') will return null gracefully.
+    memberNode: 'navigation_expression',
+    // Field names for navigation_expression object/property also lack standard names;
+    // defaults will return null gracefully.
+});
+// ─── Swift ────────────────────────────────────────────────────────────────────
+//
+// Swift function_declaration: name is `simple_identifier`, params in child node.
+// The extractor uses findChild(node, 'simple_identifier') for the function name.
+// Swift's tree-sitter grammar wraps params in a `parameter` or `parameters` node.
+// call_expression: first child is simple_identifier or navigation_expression.
+// navigation_expression: obj.method() — last child is navigation_suffix > simple_identifier.
+function getSwiftParamListNode(funcNode) {
+    // Look for parameter_clause or parameters as a direct child
+    for (let i = 0; i < funcNode.childCount; i++) {
+        const child = funcNode.child(i);
+        if (!child)
+            continue;
+        if (child.type === 'parameter_clause' || child.type === 'parameters')
+            return child;
+    }
+    return null;
+}
+function extractSwiftParamName(node) {
+    if (node.type === 'parameter') {
+        // Swift parameters have internal label + external label; use internal name
+        // The `name` field in tree-sitter-swift is the internal parameter name
+        const nameNode = node.childForFieldName('name') ?? node.childForFieldName('internal_name');
+        if (nameNode)
+            return [nameNode.text];
+        // Fallback: find simple_identifier
+        for (const child of node.namedChildren) {
+            if (child.type === 'simple_identifier')
+                return [child.text];
+        }
+    }
+    return null;
+}
+export const dataflowSwift = makeDataflowRules({
+    functionNodes: new Set(['function_declaration']),
+    nameField: 'name',
+    getParamListNode: getSwiftParamListNode,
+    paramWrapperTypes: new Set(['parameter']),
+    extractParamName: extractSwiftParamName,
+    returnNode: 'return_statement',
+    callNode: 'call_expression',
+    // tree-sitter-swift call_expression: function is first child, args follow.
+    // No standard named fields — leave defaults to return null gracefully.
+    memberNode: 'navigation_expression',
+    // navigation_expression field names are non-standard in tree-sitter-swift.
+});
+// ─── Scala ────────────────────────────────────────────────────────────────────
+//
+// Scala function_definition: `node.childForFieldName('name')` for the name (confirmed
+// in extractor). Parameters are via findChild(funcNode, 'parameters') (no named field).
+// call_expression: `childForFieldName('function')` confirmed in extractor line 146.
+// field_expression: `childForFieldName('value')` = object, `childForFieldName('field')` = property.
+// val_definition / var_definition: `childForFieldName('pattern')` = name side.
+function getScalaParamListNode(funcNode) {
+    // Scala parameters list is a direct child; extractor uses findChild(funcNode, 'parameters')
+    for (let i = 0; i < funcNode.childCount; i++) {
+        const child = funcNode.child(i);
+        if (child?.type === 'parameters')
+            return child;
+    }
+    return null;
+}
+function extractScalaParamName(node) {
+    if (node.type !== 'parameter')
+        return null;
+    // Extractor uses findChild(param, 'identifier')
+    for (const child of node.namedChildren) {
+        if (child.type === 'identifier')
+            return [child.text];
+    }
+    return null;
+}
+export const dataflowScala = makeDataflowRules({
+    functionNodes: new Set(['function_definition']),
+    nameField: 'name',
+    getParamListNode: getScalaParamListNode,
+    paramWrapperTypes: new Set(['parameter']),
+    extractParamName: extractScalaParamName,
+    returnNode: 'return_expression',
+    varDeclaratorNodes: new Set(['val_definition', 'var_definition']),
+    varNameField: 'pattern',
+    callNode: 'call_expression',
+    callFunctionField: 'function',
+    callArgsField: 'arguments',
+    memberNode: 'field_expression',
+    memberObjectField: 'value',
+    memberPropertyField: 'field',
+});
+// ─── Dart ─────────────────────────────────────────────────────────────────────
+//
+// Dart uses `function_signature` for top-level functions and `method_signature`
+// for class methods (both confirmed in extractor). The extractor uses
+// `childForFieldName('name')` for the function name on both node types.
+// Dart call: `selector` node with `argument_part` — the extractor uses this.
+// There is no standard `call_expression` node type in tree-sitter-dart.
+// We use `function_signature` as the primary function node type.
+// Parameters: `childForFieldName('parameters')` on function_signature (confirmed in extractor).
+function extractDartParamName(node) {
+    // Dart: parameter types include 'formal_parameter', 'named_formal_parameter',
+    // 'optional_formal_parameter', and bare 'identifier'
+    if (node.type === 'formal_parameter' ||
+        node.type === 'optional_formal_parameter' ||
+        node.type === 'named_formal_parameter') {
+        const nameNode = node.childForFieldName('name');
+        if (nameNode)
+            return [nameNode.text];
+        // Fallback: last identifier child is usually the name
+        let lastName = null;
+        for (const child of node.namedChildren) {
+            if (child.type === 'identifier')
+                lastName = child.text;
+        }
+        if (lastName)
+            return [lastName];
+    }
+    if (node.type === 'identifier')
+        return [node.text];
+    return null;
+}
+export const dataflowDart = makeDataflowRules({
+    functionNodes: new Set(['function_signature', 'method_signature']),
+    nameField: 'name',
+    paramListField: 'parameters',
+    paramWrapperTypes: new Set([
+        'formal_parameter',
+        'optional_formal_parameter',
+        'named_formal_parameter',
+    ]),
+    extractParamName: extractDartParamName,
+    returnNode: 'return_statement',
+    callNode: 'call_expression',
+    // tree-sitter-dart does not have standard named fields for calls;
+    // the extractor uses `selector` nodes instead. Leave defaults.
+});
+// ─── Groovy ───────────────────────────────────────────────────────────────────
+//
+// Groovy has multiple function node types (method_definition/declaration,
+// constructor_definition/declaration, function_definition/declaration).
+// Params: `childForFieldName('parameters')` with fallback to findChild('formal_parameters')
+// (confirmed in extractor extractGroovyParams, line 334).
+// call_expression: `childForFieldName('function')` confirmed in extractor line 299.
+// field_expression: `childForFieldName('argument')` = object (confirmed in extractor line 303),
+// `childForFieldName('field')` = property.
+function getGroovyParamListNode(funcNode) {
+    const byField = funcNode.childForFieldName('parameters');
+    if (byField)
+        return byField;
+    // Fallback: search for formal_parameters child
+    for (let i = 0; i < funcNode.childCount; i++) {
+        const child = funcNode.child(i);
+        if (child?.type === 'formal_parameters')
+            return child;
+    }
+    return null;
+}
+function extractGroovyParamName(node) {
+    if (node.type === 'formal_parameter' || node.type === 'parameter') {
+        const nameNode = node.childForFieldName('name');
+        if (nameNode)
+            return [nameNode.text];
+        // Fallback: first identifier child
+        for (const child of node.namedChildren) {
+            if (child.type === 'identifier')
+                return [child.text];
+        }
+    }
+    return null;
+}
+export const dataflowGroovy = makeDataflowRules({
+    functionNodes: new Set([
+        'method_definition',
+        'method_declaration',
+        'constructor_definition',
+        'constructor_declaration',
+        'function_definition',
+        'function_declaration',
+    ]),
+    nameField: 'name',
+    getParamListNode: getGroovyParamListNode,
+    paramWrapperTypes: new Set(['formal_parameter', 'parameter']),
+    extractParamName: extractGroovyParamName,
+    returnNode: 'return_statement',
+    varDeclaratorNode: 'variable_declarator',
+    callNodes: new Set([
+        'call_expression',
+        'function_call',
+        'juxt_function_call',
+        'method_invocation',
+    ]),
+    callFunctionField: 'function',
+    callArgsField: 'arguments',
+    memberNode: 'field_expression',
+    memberObjectField: 'argument',
+    memberPropertyField: 'field',
+});
+//# sourceMappingURL=b2.js.map

package/dist/ast-analysis/rules/b2.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"b2.js","sourceRoot":"","sources":["../../../src/ast-analysis/rules/b2.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAEjD,iFAAiF;AACjF,EAAE;AACF,2EAA2E;AAC3E,qFAAqF;AACrF,4FAA4F;AAC5F,mEAAmE;AACnE,0FAA0F;AAC1F,2FAA2F;AAC3F,mEAAmE;AAEnE,SAAS,sBAAsB,CAAC,QAAwB;IACtD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC;QAC3C,IAAI,KAAK,CAAC,IAAI,KAAK,2BAA2B;YAAE,OAAO,KAAK,CAAC;IAC/D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAoB;IAClD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,QAAQ;QAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACrC,wDAAwD;IACxD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACvC,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB;YAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,MAAM,cAAc,GAAwB,iBAAiB,CAAC;IACnE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,sBAAsB,CAAC,CAAC;IAChD,SAAS,EAAE,MAAM;IAEjB,gBAAgB,EAAE,sBAAsB;IACxC,iBAAiB,EAAE,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;IACzC,gBAAgB,EAAE,sBAAsB;IAExC,UAAU,EAAE,kBAAkB;IAE9B,QAAQ,EAAE,iBAAiB;IAC3B,mFAAmF;IACnF,iEAAiE;IAEjE,UAAU,EAAE,uBAAuB;IACnC,kFAAkF;IAClF,wCAAwC;CACzC,CAAC,CAAC;AAEH,iFAAiF;AACjF,EAAE;AACF,iFAAiF;AACjF,iFAAiF;AACjF,kFAAkF;AAClF,8EAA8E;AAC9E,6FAA6F;AAE7F,SAAS,qBAAqB,CAAC,QAAwB;IACrD,4DAA4D;IAC5D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,IAAI,KAAK,CAAC,IAAI,KAAK,kBAAkB,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO,KAAK,CAAC;IACrF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAoB;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,2EAA2E;QAC3E,uEAAuE;QACvE,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,iBAAiB,CAAC,eAAe,CAAC,CAAC;QAC3F,IAAI,QAAQ;YAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACrC,mCAAmC;QACnC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvC,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB;gBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAAwB,iBAAiB,CAAC;IAClE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,sBAAsB,CAAC,CAAC;IAChD,SAAS,EAAE,MAAM;IAEjB,gBAAgB,EAAE,qBAAqB;IACvC,iBAAiB,EAAE,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;IACzC,gBAAgB,EAAE,qBAAqB;IAEvC,UAAU,EAAE,kBAAkB;IAE9B,QAAQ,EAAE,iBAAiB;IAC3B,2EAA2E;IAC3E,uEAAuE;IAEvE,UAAU,EAAE,uBAAuB;IACnC,2EAA2E;CAC5E,CAAC,CAAC;AAEH,iFAAiF;AACjF,EAAE;AACF,sFAAsF;AACtF,wFAAwF;AACxF,oFAAoF;AACpF,oGAAoG;AACpG,+EAA+E;AAE/E,SAAS,qBAAqB,CAAC,QAAwB;IACrD,4FAA4F;IAC5F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,KAAK,EAAE,IAAI,KAAK,YAAY;YAAE,OAAO,KAAK,CAAC;IACjD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAoB;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC3C,gDAAgD;IAChD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACvC,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAAwB,iBAAiB,CAAC;IAClE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,qBAAqB,CAAC,CAAC;IAC/C,SAAS,EAAE,MAAM;IAEjB,gBAAgB,EAAE,qBAAqB;IACvC,iBAAiB,EAAE,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;IACzC,gBAAgB,EAAE,qBAAqB;IAEvC,UAAU,EAAE,mBAAmB;IAE/B,kBAAkB,EAAE,IAAI,GAAG,CAAC,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAC;IACjE,YAAY,EAAE,SAAS;IAEvB,QAAQ,EAAE,iBAAiB;IAC3B,iBAAiB,EAAE,UAAU;IAC7B,aAAa,EAAE,WAAW;IAE1B,UAAU,EAAE,kBAAkB;IAC9B,iBAAiB,EAAE,OAAO;IAC1B,mBAAmB,EAAE,OAAO;CAC7B,CAAC,CAAC;AAEH,iFAAiF;AACjF,EAAE;AACF,gFAAgF;AAChF,sEAAsE;AACtE,wEAAwE;AACxE,6EAA6E;AAC7E,wEAAwE;AACxE,iEAAiE;AACjE,gGAAgG;AAEhG,SAAS,oBAAoB,CAAC,IAAoB;IAChD,8EAA8E;IAC9E,qDAAqD;IACrD,IACE,IAAI,CAAC,IAAI,KAAK,kBAAkB;QAChC,IAAI,CAAC,IAAI,KAAK,2BAA2B;QACzC,IAAI,CAAC,IAAI,KAAK,wBAAwB,EACtC,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,QAAQ;YAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACrC,sDAAsD;QACtD,IAAI,QAAQ,GAAkB,IAAI,CAAC;QACnC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvC,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;gBAAE,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC;QACzD,CAAC;QACD,IAAI,QAAQ;YAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAClC,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAwB,iBAAiB,CAAC;IACjE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,oBAAoB,EAAE,kBAAkB,CAAC,CAAC;IAClE,SAAS,EAAE,MAAM;IAEjB,cAAc,EAAE,YAAY;IAC5B,iBAAiB,EAAE,IAAI,GAAG,CAAC;QACzB,kBAAkB;QAClB,2BAA2B;QAC3B,wBAAwB;KACzB,CAAC;IACF,gBAAgB,EAAE,oBAAoB;IAEtC,UAAU,EAAE,kBAAkB;IAE9B,QAAQ,EAAE,iBAAiB;IAC3B,kEAAkE;IAClE,+DAA+D;CAChE,CAAC,CAAC;AAEH,iFAAiF;AACjF,EAAE;AACF,0EAA0E;AAC1E,wEAAwE;AACxE,4FAA4F;AAC5F,0DAA0D;AAC1D,oFAAoF;AACpF,gGAAgG;AAChG,2CAA2C;AAE3C,SAAS,sBAAsB,CAAC,QAAwB;IACtD,MAAM,OAAO,GAAG,QAAQ,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;IACzD,IAAI,OAAO;QAAE,OAAO,OAAO,CAAC;IAC5B,+CAA+C;IAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,KAAK,EAAE,IAAI,KAAK,mBAAmB;YAAE,OAAO,KAAK,CAAC;IACxD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAoB;IAClD,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClE,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,QAAQ;YAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACrC,mCAAmC;QACnC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvC,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;gBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,MAAM,cAAc,GAAwB,iBAAiB,CAAC;IACnE,aAAa,EAAE,IAAI,GAAG,CAAC;QACrB,mBAAmB;QACnB,oBAAoB;QACpB,wBAAwB;QACxB,yBAAyB;QACzB,qBAAqB;QACrB,sBAAsB;KACvB,CAAC;IACF,SAAS,EAAE,MAAM;IAEjB,gBAAgB,EAAE,sBAAsB;IACxC,iBAAiB,EAAE,IAAI,GAAG,CAAC,CAAC,kBAAkB,EAAE,WAAW,CAAC,CAAC;IAC7D,gBAAgB,EAAE,sBAAsB;IAExC,UAAU,EAAE,kBAAkB;IAE9B,iBAAiB,EAAE,qBAAqB;IAExC,SAAS,EAAE,IAAI,GAAG,CAAC;QACjB,iBAAiB;QACjB,eAAe;QACf,oBAAoB;QACpB,mBAAmB;KACpB,CAAC;IACF,iBAAiB,EAAE,UAAU;IAC7B,aAAa,EAAE,WAAW;IAE1B,UAAU,EAAE,kBAAkB;IAC9B,iBAAiB,EAAE,UAAU;IAC7B,mBAAmB,EAAE,OAAO;CAC7B,CAAC,CAAC"}

package/dist/ast-analysis/rules/b3.d.ts

@@ -0,0 +1,6 @@
+import type { DataflowRulesConfig } from '../../types.js';
+export declare const dataflowLua: DataflowRulesConfig;
+export declare const dataflowR: DataflowRulesConfig;
+export declare const dataflowJulia: DataflowRulesConfig;
+export declare const dataflowBash: DataflowRulesConfig;
+//# sourceMappingURL=b3.d.ts.map

package/dist/ast-analysis/rules/b3.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"b3.d.ts","sourceRoot":"","sources":["../../../src/ast-analysis/rules/b3.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAa1D,eAAO,MAAM,WAAW,EAAE,mBAiBxB,CAAC;AAeH,eAAO,MAAM,SAAS,EAAE,mBA4BtB,CAAC;AAeH,eAAO,MAAM,aAAa,EAAE,mBAmB1B,CAAC;AAUH,eAAO,MAAM,YAAY,EAAE,mBASzB,CAAC"}

package/dist/ast-analysis/rules/b3.js

@@ -0,0 +1,105 @@
+import { makeDataflowRules } from '../shared.js';
+// ─── Lua ──────────────────────────────────────────────────────────────────────
+//
+// Lua function_declaration: name via `childForFieldName('name')` (confirmed in extractor line 47).
+// The name node may be `method_index_expression`, `dot_index_expression`, or `identifier`.
+// Parameters: `childForFieldName('parameters')` (confirmed in extractor line 89) — returns
+// a node containing `identifier` children directly (no wrapper type).
+// function_call: name via `childForFieldName('name')` (confirmed in extractor line 132).
+// dot_index_expression: table=`childForFieldName('table')`, field=`childForFieldName('field')`.
+// method_index_expression: table=`childForFieldName('table')`, method=`childForFieldName('method')`.
+export const dataflowLua = makeDataflowRules({
+    functionNodes: new Set(['function_declaration']),
+    nameField: 'name',
+    paramListField: 'parameters',
+    // Lua params are bare identifier children in the param list — no wrapper type
+    paramIdentifier: 'identifier',
+    returnNode: 'return_statement',
+    callNode: 'function_call',
+    callFunctionField: 'name',
+    callArgsField: 'arguments',
+    memberNode: 'dot_index_expression',
+    memberObjectField: 'table',
+    memberPropertyField: 'field',
+});
+// ─── R ────────────────────────────────────────────────────────────────────────
+//
+// R functions are defined as: `name <- function_definition` (binary_operator with `<-`).
+// The extractor handles this as binary_operator + function_definition on the RHS.
+// There is no standalone function declaration node — `function_definition` is always
+// an RHS expression. The parent `binary_operator` is the true "function node".
+// R does NOT have an explicit `return` statement keyword that always appears —
+// `return()` is a regular function call. Set returnNode: null.
+// call node: `call` (confirmed in extractor handleCall line 111).
+// The call node's first child (not a named field) is the function expression.
+// Parameters: findChild(funcDef, 'parameters') on function_definition (extractor line 88).
+// Each parameter is a `parameter` node with `childForFieldName('name')` or identifier child.
+export const dataflowR = makeDataflowRules({
+    // R functions are the `binary_operator` node where RHS is `function_definition`.
+    // We track the binary_operator as a function scope, but the param list lives
+    // inside the nested `function_definition` child. This is best-effort: the
+    // unified dataflow walker will find `binary_operator` nodes but may not locate
+    // the param list via the standard field walk. Most analysis benefit comes from
+    // variable tracking and call arg flows.
+    // Use function_definition directly: the walker will enter it as function scope.
+    functionNodes: new Set(['function_definition']),
+    // R function_definition has no 'name' field — the name comes from the enclosing
+    // binary_operator's LHS. The nameExtractor is not needed here since the
+    // extractor handles name resolution; the dataflow visitor just needs to find
+    // the function scope boundary.
+    nameField: 'name',
+    paramListField: 'parameters',
+    paramWrapperTypes: new Set(['parameter']),
+    returnNode: null, // R uses return() as a function call, not a statement
+    callNode: 'call',
+    // R `call` node has the function as its first child (not a named field).
+    // Leaving callFunctionField at default 'function' — childForFieldName will
+    // return null, and the analysis falls back to skipping the callee name.
+    assignmentNode: 'binary_operator',
+    assignLeftField: 'left',
+    assignRightField: 'right',
+});
+// ─── Julia ────────────────────────────────────────────────────────────────────
+//
+// Julia function_definition: extractor uses a `signature` child → `call_expression`
+// to find the function name + params (complex nesting). The function node type
+// is `function_definition` (confirmed in extractor line 41).
+// The params are inside the signature's call_expression's argument_list.
+// For dataflow purposes, we just mark function_definition as the scope boundary.
+// Params are inside function_definition → signature → call_expression → argument_list.
+// Since there's no direct param list field on function_definition, use getParamListNode.
+// call_expression: `node.child(0)` for function name (confirmed in extractor handleCall line 387).
+// Julia has explicit `return_statement` (confirmed in extractor comment: "Julia has explicit return").
+// variable assignment: `assignment` node (confirmed in extractor handleAssignment line 158).
+export const dataflowJulia = makeDataflowRules({
+    functionNodes: new Set(['function_definition']),
+    nameField: 'name',
+    // Julia params are buried deep: function_definition → signature → call_expression → argument_list.
+    // No direct named field on function_definition for params. Leave param extraction
+    // to best-effort: getParamListNode returns null (default), so params will be skipped
+    // gracefully. The primary value is function scope tracking and call arg flows.
+    paramListField: 'parameters',
+    returnNode: 'return_statement',
+    assignmentNode: 'assignment',
+    assignLeftField: 'left',
+    assignRightField: 'right',
+    callNode: 'call_expression',
+    // Julia call_expression: first child is the function (no named field 'function').
+    // Leave callFunctionField at default — will return null gracefully.
+});
+// ─── Bash ─────────────────────────────────────────────────────────────────────
+//
+// Bash function_definition: name via `childForFieldName('name')` (confirmed in extractor line 42).
+// Bash has no typed parameters or return values.
+// command: `command_name` child (extractor handleBashCommand line 55).
+// No param lists, no return nodes, no variable declarators in the conventional sense.
+// Minimal config — primarily useful for function scope tracking and call edges.
+export const dataflowBash = makeDataflowRules({
+    functionNodes: new Set(['function_definition']),
+    nameField: 'name',
+    returnNode: null, // Bash has no explicit return statement node (return is a command)
+    callNode: 'command',
+    // Bash `command` node: function name is in `command_name` child (not a named field).
+    // Leave callFunctionField at default — will return null gracefully.
+});
+//# sourceMappingURL=b3.js.map

package/dist/ast-analysis/rules/b3.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"b3.js","sourceRoot":"","sources":["../../../src/ast-analysis/rules/b3.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAEjD,iFAAiF;AACjF,EAAE;AACF,mGAAmG;AACnG,2FAA2F;AAC3F,2FAA2F;AAC3F,sEAAsE;AACtE,yFAAyF;AACzF,gGAAgG;AAChG,qGAAqG;AAErG,MAAM,CAAC,MAAM,WAAW,GAAwB,iBAAiB,CAAC;IAChE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,sBAAsB,CAAC,CAAC;IAChD,SAAS,EAAE,MAAM;IAEjB,cAAc,EAAE,YAAY;IAC5B,8EAA8E;IAC9E,eAAe,EAAE,YAAY;IAE7B,UAAU,EAAE,kBAAkB;IAE9B,QAAQ,EAAE,eAAe;IACzB,iBAAiB,EAAE,MAAM;IACzB,aAAa,EAAE,WAAW;IAE1B,UAAU,EAAE,sBAAsB;IAClC,iBAAiB,EAAE,OAAO;IAC1B,mBAAmB,EAAE,OAAO;CAC7B,CAAC,CAAC;AAEH,iFAAiF;AACjF,EAAE;AACF,yFAAyF;AACzF,kFAAkF;AAClF,qFAAqF;AACrF,+EAA+E;AAC/E,+EAA+E;AAC/E,+DAA+D;AAC/D,kEAAkE;AAClE,8EAA8E;AAC9E,2FAA2F;AAC3F,6FAA6F;AAE7F,MAAM,CAAC,MAAM,SAAS,GAAwB,iBAAiB,CAAC;IAC9D,iFAAiF;IACjF,6EAA6E;IAC7E,0EAA0E;IAC1E,+EAA+E;IAC/E,+EAA+E;IAC/E,wCAAwC;IACxC,gFAAgF;IAChF,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,qBAAqB,CAAC,CAAC;IAC/C,gFAAgF;IAChF,wEAAwE;IACxE,6EAA6E;IAC7E,+BAA+B;IAC/B,SAAS,EAAE,MAAM;IAEjB,cAAc,EAAE,YAAY;IAC5B,iBAAiB,EAAE,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;IAEzC,UAAU,EAAE,IAAI,EAAE,sDAAsD;IAExE,QAAQ,EAAE,MAAM;IAChB,yEAAyE;IACzE,2EAA2E;IAC3E,wEAAwE;IAExE,cAAc,EAAE,iBAAiB;IACjC,eAAe,EAAE,MAAM;IACvB,gBAAgB,EAAE,OAAO;CAC1B,CAAC,CAAC;AAEH,iFAAiF;AACjF,EAAE;AACF,oFAAoF;AACpF,+EAA+E;AAC/E,6DAA6D;AAC7D,yEAAyE;AACzE,iFAAiF;AACjF,uFAAuF;AACvF,yFAAyF;AACzF,mGAAmG;AACnG,uGAAuG;AACvG,6FAA6F;AAE7F,MAAM,CAAC,MAAM,aAAa,GAAwB,iBAAiB,CAAC;IAClE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,qBAAqB,CAAC,CAAC;IAC/C,SAAS,EAAE,MAAM;IAEjB,mGAAmG;IACnG,kFAAkF;IAClF,qFAAqF;IACrF,+EAA+E;IAC/E,cAAc,EAAE,YAAY;IAE5B,UAAU,EAAE,kBAAkB;IAE9B,cAAc,EAAE,YAAY;IAC5B,eAAe,EAAE,MAAM;IACvB,gBAAgB,EAAE,OAAO;IAEzB,QAAQ,EAAE,iBAAiB;IAC3B,kFAAkF;IAClF,oEAAoE;CACrE,CAAC,CAAC;AAEH,iFAAiF;AACjF,EAAE;AACF,mGAAmG;AACnG,iDAAiD;AACjD,uEAAuE;AACvE,sFAAsF;AACtF,gFAAgF;AAEhF,MAAM,CAAC,MAAM,YAAY,GAAwB,iBAAiB,CAAC;IACjE,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,qBAAqB,CAAC,CAAC;IAC/C,SAAS,EAAE,MAAM;IAEjB,UAAU,EAAE,IAAI,EAAE,mEAAmE;IAErF,QAAQ,EAAE,SAAS;IACnB,qFAAqF;IACrF,oEAAoE;CACrE,CAAC,CAAC"}

package/dist/ast-analysis/rules/b4.d.ts

@@ -0,0 +1,9 @@
+import type { DataflowRulesConfig } from '../../types.js';
+export declare const dataflowHaskell: DataflowRulesConfig;
+export declare const dataflowOCaml: DataflowRulesConfig;
+export declare const dataflowFSharp: DataflowRulesConfig;
+export declare const dataflowGleam: DataflowRulesConfig;
+export declare const dataflowElixir: DataflowRulesConfig;
+export declare const dataflowErlang: DataflowRulesConfig;
+export declare const dataflowClojure: DataflowRulesConfig;
+//# sourceMappingURL=b4.d.ts.map

package/dist/ast-analysis/rules/b4.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"b4.d.ts","sourceRoot":"","sources":["../../../src/ast-analysis/rules/b4.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAkB,MAAM,gBAAgB,CAAC;AAoC1E,eAAO,MAAM,eAAe,EAAE,mBAa5B,CAAC;AAqCH,eAAO,MAAM,aAAa,EAAE,mBAiB1B,CAAC;AA+BH,eAAO,MAAM,cAAc,EAAE,mBAe3B,CAAC;AAuBH,eAAO,MAAM,aAAa,EAAE,mBAgB1B,CAAC;AA4CH,eAAO,MAAM,cAAc,EAAE,mBAc3B,CAAC;AA8CH,eAAO,MAAM,cAAc,EAAE,mBAW3B,CAAC;AA2DH,eAAO,MAAM,eAAe,EAAE,mBAe5B,CAAC"}