gremlin 3.8.0 → 4.0.0-beta.2

package/build/esm/language/translator/DotNetTranslateVisitor.js

@@ -0,0 +1,820 @@
+/*
+ * Licensed to the Apache Software Foundation (ASF) under one
+ * or more contributor license agreements.  See the NOTICE file
+ * distributed with this work for additional information
+ * regarding copyright ownership.  The ASF licenses this file
+ * to you under the Apache License, Version 2.0 (the
+ * "License"); you may not use this file except in compliance
+ * with the License.  You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing,
+ * software distributed under the License is distributed on an
+ * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+ * KIND, either express or implied.  See the License for the
+ * specific language governing permissions and limitations
+ * under the License.
+ */
+// Context parameters are typed as `any` because the generated grammar files
+// require accepting arbitrary context types at runtime.
+import TranslateVisitor from './TranslateVisitor.js';
+import { TranslatorException } from './TranslatorException.js';
+// Steps whose return type needs <object, object>
+const DOUBLE_GENERIC_STEPS = new Set(['group', 'valueMap']);
+/**
+ * Converts a Gremlin traversal string into a C# source code representation.
+ * Mirrors the Java DotNetTranslateVisitor.
+ */
+export default class DotNetTranslateVisitor extends TranslateVisitor {
+    constructor(graphTraversalSourceName = 'g') {
+        super(graphTraversalSourceName);
+    }
+    processGremlinSymbol(step) {
+        return SymbolHelper.toCSharp(step);
+    }
+    getCardinalityFunctionClass() {
+        return 'CardinalityValue';
+    }
+    /**
+     * .NET enum values are capitalized but do NOT go through processGremlinSymbol,
+     * since the SymbolHelper mappings (bigdecimal→BigDecimal etc.) don't apply to enums.
+     */
+    appendExplicitNaming(txt, prefix) {
+        if (!txt.startsWith(prefix + '.')) {
+            this.sb.push(prefix);
+            this.sb.push('.');
+            this.sb.push(capitalize(txt));
+        }
+        else {
+            const parts = txt.split('.');
+            this.sb.push(parts[0]);
+            this.sb.push('.');
+            this.sb.push(capitalize(parts[1]));
+        }
+    }
+    visitTraversalGType(ctx) {
+        const parts = ctx.getText().split('.');
+        this.sb.push(this.processGremlinSymbol(parts[0]));
+        this.sb.push('.');
+        this.sb.push(this.processGremlinSymbol(parts[1].toLowerCase()));
+    }
+    visitTraversalDirection(ctx) {
+        const direction = ctx.getText().toLowerCase();
+        this.sb.push('Direction.');
+        if (direction.includes('out'))
+            this.sb.push('Out');
+        else if (direction.includes('in'))
+            this.sb.push('In');
+        else if (direction.includes('from'))
+            this.sb.push('From');
+        else if (direction.includes('to'))
+            this.sb.push('To');
+        else
+            this.sb.push('Both');
+    }
+    visitTraversalDirectionShort(ctx) {
+        this.visitTraversalDirection(ctx);
+    }
+    visitTraversalDirectionLong(ctx) {
+        this.visitTraversalDirection(ctx);
+    }
+    visitNanLiteral(_ctx) {
+        this.sb.push('Double.NaN');
+    }
+    visitInfLiteral(ctx) {
+        if (ctx.SignedInfLiteral() != null && ctx.SignedInfLiteral().getText() === '-Infinity') {
+            this.sb.push('Double.NegativeInfinity');
+        }
+        else {
+            this.sb.push('Double.PositiveInfinity');
+        }
+    }
+    visitIntegerLiteral(ctx) {
+        const integerLiteral = ctx.getText().toLowerCase();
+        const lastChar = integerLiteral[integerLiteral.length - 1];
+        if (!/[a-z]/.test(lastChar)) {
+            this.sb.push(integerLiteral);
+            return;
+        }
+        const num = integerLiteral.slice(0, -1);
+        switch (lastChar) {
+            case 'b':
+                this.sb.push('(sbyte) ');
+                this.sb.push(num);
+                break;
+            case 's':
+                this.sb.push('(short) ');
+                this.sb.push(num);
+                break;
+            case 'i':
+                this.sb.push(num);
+                break;
+            case 'l':
+                this.sb.push(integerLiteral); // keep the 'l' suffix for C#
+                break;
+            case 'n':
+                this.sb.push('BigInteger.Parse("');
+                this.sb.push(num);
+                this.sb.push('")');
+                break;
+            default:
+                this.sb.push(integerLiteral);
+        }
+    }
+    visitFloatLiteral(ctx) {
+        if (ctx.infLiteral() != null) {
+            this.visit(ctx.infLiteral());
+            return;
+        }
+        if (ctx.nanLiteral() != null) {
+            this.visit(ctx.nanLiteral());
+            return;
+        }
+        const floatLiteral = ctx.getText().toLowerCase();
+        const lastChar = floatLiteral[floatLiteral.length - 1];
+        if (!/[a-z]/.test(lastChar)) {
+            this.sb.push(floatLiteral);
+            return;
+        }
+        const num = floatLiteral.slice(0, -1);
+        switch (lastChar) {
+            case 'f':
+            case 'd':
+                this.sb.push(floatLiteral); // keep the f/d suffix for C#
+                break;
+            case 'm':
+                this.sb.push('(decimal) ');
+                this.sb.push(num);
+                break;
+            default:
+                this.sb.push(floatLiteral);
+        }
+    }
+    visitDateLiteral(ctx) {
+        const dtString = ctx.getChild(2).getText();
+        const inner = TranslateVisitor.removeFirstAndLastCharacters(dtString);
+        this.sb.push('DateTimeOffset.Parse("');
+        this.sb.push(formatDatetimeJavaStyle(inner));
+        this.sb.push('")');
+    }
+    visitGenericRangeLiteral(_ctx) {
+        throw new TranslatorException('.NET does not support range literals');
+    }
+    visitGenericSetLiteral(ctx) {
+        this.sb.push('new HashSet<object> { ');
+        const literals = ctx.genericLiteral();
+        for (let i = 0; i < literals.length; i++) {
+            this.visit(literals[i]);
+            if (i < literals.length - 1)
+                this.sb.push(', ');
+        }
+        this.sb.push(' }');
+    }
+    visitGenericCollectionLiteral(ctx) {
+        this.sb.push('new List<object> { ');
+        const literals = ctx.genericLiteral();
+        for (let i = 0; i < literals.length; i++) {
+            this.visit(literals[i]);
+            if (i < literals.length - 1)
+                this.sb.push(', ');
+        }
+        this.sb.push(' }');
+    }
+    visitGenericMapLiteral(ctx) {
+        this.sb.push('new Dictionary<object, object> {');
+        const entries = ctx.mapEntry();
+        for (let i = 0; i < entries.length; i++) {
+            this.visit(entries[i]);
+            if (i < entries.length - 1)
+                this.sb.push(', ');
+        }
+        this.sb.push('}');
+    }
+    visitMapEntry(ctx) {
+        this.sb.push('{ ');
+        this.visit(ctx.mapKey());
+        this.sb.push(', ');
+        this.visit(ctx.genericLiteral());
+        this.sb.push(' }');
+    }
+    visitMapKey(ctx) {
+        const keyIndex = (ctx.LPAREN() != null && ctx.RPAREN() != null) ? 1 : 0;
+        this.visit(ctx.getChild(keyIndex));
+    }
+    visitUuidLiteral(ctx) {
+        if (ctx.stringLiteral() == null) {
+            this.sb.push('Guid.NewGuid()');
+            return;
+        }
+        this.sb.push('Guid.Parse(');
+        this.sb.push(ctx.stringLiteral().getText());
+        this.sb.push(')');
+    }
+    visitClassType(ctx) {
+        this.sb.push('typeof(');
+        this.sb.push(ctx.getText());
+        this.sb.push(')');
+    }
+    visitTraversalStrategy(ctx) {
+        if (ctx.getChildCount() === 1) {
+            this.sb.push('new ');
+            this.sb.push(ctx.getText());
+            this.sb.push('()');
+            return;
+        }
+        const firstText = ctx.getChild(0).getText();
+        const strategyName = firstText === 'new' ? ctx.getChild(1).getText() : firstText;
+        this.sb.push('new ');
+        this.sb.push(strategyName);
+        this.sb.push('(');
+        const configs = ctx.configuration();
+        const isOptionsStrategy = ctx.children?.some((c) => c.getText() === 'OptionsStrategy');
+        if (configs.length > 0 && isOptionsStrategy) {
+            this.sb.push('new Dictionary<string, object> {');
+            for (const cfg of configs) {
+                this.sb.push('{"');
+                this.sb.push(cfg.getChild(0).getText());
+                this.sb.push('",');
+                this.visit(cfg.getChild(2));
+                this.sb.push('},');
+            }
+            this.sb.push('}');
+        }
+        else {
+            for (let ix = 0; ix < configs.length; ix++) {
+                this.visit(configs[ix]);
+                if (ix < configs.length - 1)
+                    this.sb.push(', ');
+            }
+        }
+        this.sb.push(')');
+    }
+    visitConfiguration(ctx) {
+        const key = ctx.getChild(0).getText();
+        this.sb.push(key);
+        this.sb.push(': ');
+        const startIdx = this.sb.length;
+        this.visit(ctx.getChild(2));
+        if (key === 'readPartitions') {
+            const added = this.sb.splice(startIdx);
+            this.sb.push(added.join('').replace('List<object>', 'HashSet<string>'));
+        }
+        else if (key === 'keys') {
+            const added = this.sb.splice(startIdx);
+            const joined = added.join('');
+            this.sb.push(joined.includes('HashSet<object>') ? joined.replace('HashSet<object>', 'HashSet<string>') : joined);
+        }
+    }
+    visitStringNullableArgumentVarargs(ctx) {
+        const n = ctx.getChildCount();
+        for (let ix = 0; ix < n; ix++) {
+            const child = ctx.getChild(ix);
+            if (child.constructor?.name === 'StringNullableArgumentContext') {
+                this.tryAppendCastToString_StringNullableArg(child);
+            }
+            this.visit(child);
+        }
+    }
+    // ─── handleGenerics helpers ─────────────────────────────────────────────
+    handleGenerics(ctx) {
+        const step = ctx.getChild(0).getText();
+        this.sb.push(capitalize(step));
+        this.sb.push(DOUBLE_GENERIC_STEPS.has(step) ? '<object, object>' : '<object>');
+        for (let ix = 1; ix < ctx.getChildCount(); ix++) {
+            this.visit(ctx.getChild(ix));
+        }
+    }
+    handleLongArguments(ctx) {
+        const step = ctx.getChild(0).getText();
+        this.sb.push(capitalize(step));
+        this.sb.push('<object>');
+        for (let ix = 1; ix < ctx.getChildCount(); ix++) {
+            const child = ctx.getChild(ix);
+            if (child.constructor?.name === 'IntegerArgumentContext') {
+                this.tryAppendCastToLong_IntArg(child);
+            }
+            this.visit(child);
+        }
+    }
+    // ─── Cast helpers ────────────────────────────────────────────────────────
+    tryAppendCastToLong_IntArg(ctx) {
+        if (ctx?.variable() != null)
+            this.sb.push('(long) ');
+    }
+    tryAppendCastToString_StringArg(ctx) {
+        if (ctx?.variable() != null || ctx?.stringLiteral() != null)
+            this.sb.push('(string) ');
+    }
+    tryAppendCastToString_StringNullableLit(ctx) {
+        if (ctx?.K_NULL != null && ctx.K_NULL() != null)
+            this.sb.push('(string) ');
+    }
+    tryAppendCastToString_StringNullableArg(ctx) {
+        if (ctx?.variable() != null ||
+            (ctx?.stringNullableLiteral() != null && ctx.stringNullableLiteral()?.K_NULL != null && ctx.stringNullableLiteral().K_NULL() != null)) {
+            this.sb.push('(string) ');
+        }
+    }
+    tryAppendCastToObject_GenericArg(ctx) {
+        if (ctx?.variable() != null ||
+            (ctx?.genericLiteral() != null && ctx.genericLiteral()?.nullLiteral != null && ctx.genericLiteral().nullLiteral() != null)) {
+            this.sb.push('(object) ');
+        }
+    }
+    tryAppendCastToObject_GenericLit(ctx) {
+        if (ctx?.nullLiteral != null && ctx.nullLiteral() != null)
+            this.sb.push('(object) ');
+    }
+    // ─── isCalledAsFirstStepInAnonymousTraversal ─────────────────────────────
+    isCalledAsFirstStepInAnonymousTraversal(ctx) {
+        // ctx = traversalMethod_fold_EmptyContext
+        // parent = traversalMethodContext → chainedTraversalContext → nestedTraversalContext
+        const parent = ctx.parent;
+        if (!parent)
+            return false;
+        const parentParent = parent.parent; // ChainedTraversalContext
+        if (!parentParent)
+            return false;
+        const parentParentParent = parentParent.parent; // should be NestedTraversalContext
+        if (parentParentParent?.constructor?.name !== 'NestedTraversalContext')
+            return false;
+        // Check if ctx is the first step: parentParent.child(0).child(0) === ctx
+        const firstChild = parentParent.getChild(0);
+        const firstGrandchild = firstChild?.getChild(0);
+        return firstGrandchild === ctx;
+    }
+    // ─── Source spawn method overrides ──────────────────────────────────────
+    visitTraversalSourceSpawnMethod_inject(ctx) { this.handleGenerics(ctx); }
+    visitTraversalSourceSpawnMethod_io(ctx) { this.handleGenerics(ctx); }
+    visitTraversalSourceSpawnMethod_union(ctx) { this.handleGenerics(ctx); }
+    visitTraversalSourceSpawnMethod_call_empty(ctx) { this.handleGenerics(ctx); }
+    visitTraversalSourceSpawnMethod_addV(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        for (let ix = 1; ix < ctx.getChildCount(); ix++) {
+            const child = ctx.getChild(ix);
+            if (child.constructor?.name === 'StringArgumentContext')
+                this.tryAppendCastToString_StringArg(child);
+            this.visit(child);
+        }
+    }
+    visitTraversalSourceSpawnMethod_addE(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        for (let ix = 1; ix < ctx.getChildCount(); ix++) {
+            const child = ctx.getChild(ix);
+            if (child.constructor?.name === 'StringArgumentContext')
+                this.tryAppendCastToString_StringArg(child);
+            this.visit(child);
+        }
+    }
+    visitTraversalSourceSpawnMethod_call_string(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        this.sb.push('<object>');
+        this.sb.push('((string) ');
+        this.visit(ctx.stringLiteral());
+        this.sb.push(')');
+    }
+    visitTraversalSourceSpawnMethod_call_string_map(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        this.sb.push('<object>(');
+        this.visit(ctx.stringLiteral());
+        this.sb.push(', (IDictionary<object, object>) ');
+        this.visit(ctx.genericMapArgument());
+        this.sb.push(')');
+    }
+    visitTraversalSourceSpawnMethod_call_string_traversal(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        this.sb.push('<object>(');
+        this.visit(ctx.stringLiteral());
+        this.sb.push(', (ITraversal) ');
+        this.visit(ctx.nestedTraversal());
+        this.sb.push(')');
+    }
+    visitTraversalSourceSpawnMethod_call_string_map_traversal(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        this.sb.push('<object>(');
+        this.visit(ctx.stringLiteral());
+        this.sb.push(', (IDictionary<object, object>) ');
+        this.visit(ctx.genericMapArgument());
+        this.sb.push(', (ITraversal) ');
+        this.visit(ctx.nestedTraversal());
+        this.sb.push(')');
+    }
+    visitTraversalSourceSpawnMethod_mergeV_Map(ctx) {
+        this.visit(ctx.getChild(0));
+        this.sb.push('((IDictionary<object, object>) ');
+        this.visit(ctx.genericMapNullableArgument());
+        this.sb.push(')');
+    }
+    visitTraversalSourceSpawnMethod_mergeV_Traversal(ctx) {
+        this.visit(ctx.getChild(0));
+        this.sb.push('((ITraversal) ');
+        this.visit(ctx.nestedTraversal());
+        this.sb.push(')');
+    }
+    visitTraversalSourceSpawnMethod_mergeE_Map(ctx) {
+        this.visit(ctx.getChild(0));
+        this.sb.push('((IDictionary<object, object>) ');
+        this.visit(ctx.genericMapNullableArgument());
+        this.sb.push(')');
+    }
+    visitTraversalSourceSpawnMethod_mergeE_Traversal(ctx) {
+        this.visit(ctx.getChild(0));
+        this.sb.push('((ITraversal) ');
+        this.visit(ctx.nestedTraversal());
+        this.sb.push(')');
+    }
+    // ─── Traversal method overrides — handleGenerics ─────────────────────────
+    visitTraversalMethod_asString_Scope(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_branch(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_cap(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_choose_Function(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_choose_Predicate_Traversal(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_choose_Predicate_Traversal_Traversal(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_choose_Traversal(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_choose_Traversal_Traversal(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_choose_Traversal_Traversal_Traversal(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_coalesce(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_constant(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_elementMap(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_flatMap(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_fold_Empty(ctx) {
+        if (this.isCalledAsFirstStepInAnonymousTraversal(ctx)) {
+            this.handleGenerics(ctx);
+        }
+        else {
+            this.visitChildren(ctx); // base: just output Fold()
+        }
+    }
+    visitTraversalMethod_fold_Object_BiFunction(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_group_Empty(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_groupCount_Empty(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_index(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_length_Scope(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_local(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_lTrim_Scope(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_map(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_match(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_max_Empty(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_max_Scope(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_mean_Empty(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_mean_Scope(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_min_Empty(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_min_Scope(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_optional(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_profile_Empty(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_project(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_properties(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_propertyMap(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_replace_Scope_String_String(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_rTrim_Scope(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_sack_Empty(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_select_Column(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_select_Pop_String(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_select_Pop_String_String_String(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_select_Pop_Traversal(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_select_String(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_select_String_String_String(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_select_Traversal(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_split_Scope_String(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_substring_Scope_int(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_substring_Scope_int_int(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_sum_Empty(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_sum_Scope(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_tail_Empty(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_tail_Scope(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_toLower_Scope(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_toUpper_Scope(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_tree_Empty(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_trim_Scope(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_unfold(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_union(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_value(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_valueMap_String(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_valueMap_boolean_String(ctx) { this.handleGenerics(ctx); }
+    visitTraversalMethod_values(ctx) { this.handleGenerics(ctx); }
+    // ─── Traversal method overrides — handleLongArguments ────────────────────
+    visitTraversalMethod_limit_long(ctx) { this.handleLongArguments(ctx); }
+    visitTraversalMethod_limit_Scope_long(ctx) { this.handleLongArguments(ctx); }
+    visitTraversalMethod_range_long_long(ctx) { this.handleLongArguments(ctx); }
+    visitTraversalMethod_range_Scope_long_long(ctx) { this.handleLongArguments(ctx); }
+    visitTraversalMethod_skip_long(ctx) { this.handleLongArguments(ctx); }
+    visitTraversalMethod_skip_Scope_long(ctx) { this.handleLongArguments(ctx); }
+    visitTraversalMethod_tail_long(ctx) { this.handleLongArguments(ctx); }
+    visitTraversalMethod_tail_Scope_long(ctx) { this.handleLongArguments(ctx); }
+    // ─── addV / addE (string cast) ───────────────────────────────────────────
+    visitTraversalMethod_addV_String(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        for (let ix = 1; ix < ctx.getChildCount(); ix++) {
+            const child = ctx.getChild(ix);
+            if (child.constructor?.name === 'StringArgumentContext')
+                this.tryAppendCastToString_StringArg(child);
+            this.visit(child);
+        }
+    }
+    visitTraversalMethod_addE_String(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        for (let ix = 1; ix < ctx.getChildCount(); ix++) {
+            const child = ctx.getChild(ix);
+            if (child.constructor?.name === 'StringArgumentContext')
+                this.tryAppendCastToString_StringArg(child);
+            this.visit(child);
+        }
+    }
+    // ─── call variants ───────────────────────────────────────────────────────
+    visitTraversalMethod_call_string(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        this.sb.push('<object>((string) ');
+        this.visit(ctx.stringLiteral());
+        this.sb.push(')');
+    }
+    visitTraversalMethod_call_string_map(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        this.sb.push('<object>(');
+        this.visit(ctx.stringLiteral());
+        this.sb.push(', (IDictionary<object, object>) ');
+        this.visit(ctx.genericMapArgument());
+        this.sb.push(')');
+    }
+    visitTraversalMethod_call_string_traversal(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        this.sb.push('<object>(');
+        this.visit(ctx.stringLiteral());
+        this.sb.push(', (ITraversal) ');
+        this.visit(ctx.nestedTraversal());
+        this.sb.push(')');
+    }
+    visitTraversalMethod_call_string_map_traversal(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        this.sb.push('<object>(');
+        this.visit(ctx.stringLiteral());
+        this.sb.push(', (IDictionary<object, object>) ');
+        this.visit(ctx.genericMapArgument());
+        this.sb.push(', (ITraversal) ');
+        this.visit(ctx.nestedTraversal());
+        this.sb.push(')');
+    }
+    // ─── has family ──────────────────────────────────────────────────────────
+    visitTraversalMethod_has_String_Object(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        this.sb.push('(');
+        this.tryAppendCastToString_StringNullableLit(ctx.stringNullableLiteral());
+        this.visit(ctx.stringNullableLiteral());
+        this.sb.push(', ');
+        this.tryAppendCastToObject_GenericArg(ctx.genericArgument());
+        this.visit(ctx.genericArgument());
+        this.sb.push(')');
+    }
+    visitTraversalMethod_has_String_P(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        this.sb.push('(');
+        this.tryAppendCastToString_StringNullableLit(ctx.stringNullableLiteral());
+        this.visit(ctx.stringNullableLiteral());
+        this.sb.push(', ');
+        this.visit(ctx.traversalPredicate());
+        this.sb.push(')');
+    }
+    visitTraversalMethod_has_String_String_Object(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        this.sb.push('(');
+        this.tryAppendCastToString_StringNullableArg(ctx.stringNullableArgument());
+        this.visit(ctx.stringNullableArgument());
+        this.sb.push(', ');
+        this.tryAppendCastToString_StringNullableLit(ctx.stringNullableLiteral());
+        this.visit(ctx.stringNullableLiteral());
+        this.sb.push(', ');
+        this.tryAppendCastToObject_GenericArg(ctx.genericArgument());
+        this.visit(ctx.genericArgument());
+        this.sb.push(')');
+    }
+    visitTraversalMethod_has_String_String_P(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        this.sb.push('(');
+        this.tryAppendCastToString_StringNullableArg(ctx.stringNullableArgument());
+        this.visit(ctx.stringNullableArgument());
+        this.sb.push(', ');
+        this.tryAppendCastToString_StringNullableLit(ctx.stringNullableLiteral());
+        this.visit(ctx.stringNullableLiteral());
+        this.sb.push(', ');
+        this.visit(ctx.traversalPredicate());
+        this.sb.push(')');
+    }
+    visitTraversalMethod_has_T_Object(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        this.sb.push('(');
+        this.visit(ctx.traversalT());
+        this.sb.push(', ');
+        this.tryAppendCastToObject_GenericArg(ctx.genericArgument());
+        this.visit(ctx.genericArgument());
+        this.sb.push(')');
+    }
+    visitTraversalMethod_has_T_P(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        this.sb.push('(');
+        this.visit(ctx.traversalT());
+        this.sb.push(', ');
+        this.visit(ctx.traversalPredicate());
+        this.sb.push(')');
+    }
+    visitTraversalMethod_hasKey_P(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        this.sb.push('(');
+        this.visit(ctx.traversalPredicate());
+        this.sb.push(')');
+    }
+    visitTraversalMethod_hasKey_String_String(ctx) {
+        // single arg: add (string) cast; multiple args: no cast
+        if (ctx.stringNullableLiteralVarargs() == null || ctx.stringNullableLiteralVarargs().getChildCount() === 0) {
+            this.sb.push(capitalize(ctx.getChild(0).getText()));
+            this.sb.push('(');
+            this.tryAppendCastToString_StringNullableLit(ctx.stringNullableLiteral());
+            this.visit(ctx.stringNullableLiteral());
+            this.sb.push(')');
+        }
+        else {
+            this.visitChildren(ctx);
+        }
+    }
+    visitTraversalMethod_hasValue_Object_Object(ctx) {
+        // single arg: add (object) cast; multiple args: no cast
+        if (ctx.genericArgumentVarargs() == null || ctx.genericArgumentVarargs().getChildCount() === 0) {
+            this.sb.push(capitalize(ctx.getChild(0).getText()));
+            this.sb.push('(');
+            this.tryAppendCastToObject_GenericArg(ctx.genericArgument());
+            this.visit(ctx.genericArgument());
+            this.sb.push(')');
+        }
+        else {
+            this.visitChildren(ctx);
+        }
+    }
+    visitTraversalMethod_hasValue_P(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        this.sb.push('(');
+        this.visit(ctx.traversalPredicate());
+        this.sb.push(')');
+    }
+    visitTraversalMethod_hasLabel_P(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        this.sb.push('(');
+        this.visit(ctx.traversalPredicate());
+        this.sb.push(')');
+    }
+    visitTraversalMethod_hasLabel_String_String(ctx) {
+        const step = capitalize(ctx.getChild(0).getText());
+        if (ctx.stringNullableArgumentVarargs() == null || ctx.stringNullableArgumentVarargs().getChildCount() === 0) {
+            // single arg: add (string) cast if variable or null
+            this.sb.push(step);
+            this.sb.push('(');
+            this.tryAppendCastToString_StringNullableArg(ctx.stringNullableArgument());
+            this.visit(ctx.stringNullableArgument());
+            this.sb.push(')');
+        }
+        else {
+            // multiple args
+            this.sb.push(step);
+            this.sb.push('(');
+            this.tryAppendCastToString_StringNullableArg(ctx.stringNullableArgument());
+            this.visit(ctx.stringNullableArgument());
+            if (ctx.stringNullableArgumentVarargs().getChildCount() > 0)
+                this.sb.push(', ');
+            this.visit(ctx.stringNullableArgumentVarargs());
+            this.sb.push(')');
+        }
+    }
+    // ─── mergeV / mergeE ─────────────────────────────────────────────────────
+    visitTraversalMethod_mergeV_Map(ctx) {
+        this.visit(ctx.getChild(0));
+        this.sb.push('((IDictionary<object, object>) ');
+        this.visit(ctx.genericMapNullableArgument());
+        this.sb.push(')');
+    }
+    visitTraversalMethod_mergeV_Traversal(ctx) {
+        this.visit(ctx.getChild(0));
+        this.sb.push('((ITraversal) ');
+        this.visit(ctx.nestedTraversal());
+        this.sb.push(')');
+    }
+    visitTraversalMethod_mergeE_Map(ctx) {
+        this.visit(ctx.getChild(0));
+        this.sb.push('((IDictionary<object, object>) ');
+        this.visit(ctx.genericMapNullableArgument());
+        this.sb.push(')');
+    }
+    visitTraversalMethod_mergeE_Traversal(ctx) {
+        this.visit(ctx.getChild(0));
+        this.sb.push('((ITraversal) ');
+        this.visit(ctx.nestedTraversal());
+        this.sb.push(')');
+    }
+    // ─── option ─────────────────────────────────────────────────────────────
+    visitTraversalMethod_option_Merge_Map(ctx) {
+        this.visit(ctx.getChild(0));
+        this.sb.push('(');
+        this.visit(ctx.traversalMerge());
+        this.sb.push(', (IDictionary<object, object>) ');
+        this.visit(ctx.genericMapNullableArgument());
+        this.sb.push(')');
+    }
+    visitTraversalMethod_option_Merge_Traversal(ctx) {
+        this.visit(ctx.getChild(0));
+        this.sb.push('(');
+        this.visit(ctx.traversalMerge());
+        this.sb.push(', (ITraversal) ');
+        this.visit(ctx.nestedTraversal());
+        this.sb.push(')');
+    }
+    visitTraversalMethod_option_Object_Traversal(ctx) {
+        // Only add (ITraversal) cast when the object is a traversalMerge
+        const argIsTraversalMerge = ctx.genericArgument()?.genericLiteral()?.traversalMerge != null &&
+            ctx.genericArgument().genericLiteral().traversalMerge() != null;
+        if (argIsTraversalMerge) {
+            this.visit(ctx.getChild(0));
+            this.sb.push('(');
+            this.visit(ctx.genericArgument());
+            this.sb.push(', (ITraversal) ');
+            this.visit(ctx.nestedTraversal());
+            this.sb.push(')');
+        }
+        else {
+            this.visitChildren(ctx);
+        }
+    }
+    // ─── property ────────────────────────────────────────────────────────────
+    visitTraversalMethod_property_Cardinality_Object_Object_Object(ctx) {
+        if (ctx.genericArgumentVarargs() == null || ctx.genericArgumentVarargs().getChildCount() === 0) {
+            this.sb.push(capitalize(ctx.getChild(0).getText()));
+            this.sb.push('(');
+            this.visit(ctx.traversalCardinality());
+            this.sb.push(', ');
+            this.tryAppendCastToObject_GenericLit(ctx.genericLiteral());
+            this.visit(ctx.genericLiteral());
+            this.sb.push(', ');
+            this.tryAppendCastToObject_GenericArg(ctx.genericArgument());
+            this.visit(ctx.genericArgument());
+            this.sb.push(')');
+        }
+        else {
+            this.visitChildren(ctx);
+        }
+    }
+    // ─── conjoin ─────────────────────────────────────────────────────────────
+    visitTraversalMethod_conjoin_String(ctx) {
+        this.sb.push(capitalize(ctx.getChild(0).getText()));
+        this.sb.push('(');
+        this.tryAppendCastToString_StringLit(ctx.stringLiteral());
+        this.visit(ctx.stringLiteral());
+        this.sb.push(')');
+    }
+    tryAppendCastToString_StringLit(ctx) {
+        if (ctx != null)
+            this.sb.push('(string) ');
+    }
+}
+// ─── Helpers ─────────────────────────────────────────────────────────────────
+function capitalize(s) {
+    if (!s)
+        return s;
+    return s.charAt(0).toUpperCase() + s.slice(1);
+}
+/**
+ * Formats a datetime string the same way Java's OffsetDateTime.toString() does:
+ * - Truncates seconds if both seconds and milliseconds are 0
+ * - Uses 'Z' for UTC offset
+ */
+function formatDatetimeJavaStyle(s) {
+    const d = new Date(s);
+    if (isNaN(d.getTime())) {
+        throw new TranslatorException(`Invalid datetime: ${s}`);
+    }
+    const year = d.getUTCFullYear().toString().padStart(4, '0');
+    const month = (d.getUTCMonth() + 1).toString().padStart(2, '0');
+    const day = d.getUTCDate().toString().padStart(2, '0');
+    const hours = d.getUTCHours().toString().padStart(2, '0');
+    const minutes = d.getUTCMinutes().toString().padStart(2, '0');
+    const seconds = d.getUTCSeconds();
+    const millis = d.getUTCMilliseconds();
+    let result = `${year}-${month}-${day}T${hours}:${minutes}`;
+    if (seconds !== 0 || millis !== 0) {
+        result += ':' + seconds.toString().padStart(2, '0');
+        if (millis !== 0) {
+            result += '.' + millis.toString().padStart(3, '0').replace(/0+$/, '');
+        }
+    }
+    result += 'Z';
+    return result;
+}
+class SymbolHelper {
+    static TO_CS_MAP = {
+        'graphml': 'GraphML',
+        'graphson': 'GraphSON',
+        'bigdecimal': 'BigDecimal',
+        'bigint': 'BigInt',
+        'datetime': 'DateTime',
+        'uuid': 'UUID',
+        'vproperty': 'VProperty',
+    };
+    static toCSharp(symbol) {
+        return SymbolHelper.TO_CS_MAP[symbol] ?? capitalize(symbol);
+    }
+}