Merge pull request #179 from engalar/fix/issue-178-constant-ref-roundtrip

fix: support @Module.Const syntax in expressions

Author: ako

mdl-examples/doctype-tests/09-constant-examples.mdl

@@ -150,6 +150,34 @@ DEFAULT true;
 DROP CONSTANT CoTest.LaunchDate;
 /
 
+-- MARK: - Constants in Microflow Expressions (regression: issue #178)
+
+/**
+ * Level 5.1: Use @Module.Const in a microflow DECLARE
+ * Tests that `@Module.Const` syntax parses and round-trips correctly.
+ * Regression test for: DESCRIBE → re-parse roundtrip with @-style constant refs.
+ */
+CREATE OR REPLACE MICROFLOW CoTest.UseConstantRef ()
+RETURNS Nothing
+BEGIN
+  DECLARE $Endpoint String = @CoTest.ServiceEndpoint;
+  DECLARE $Retries Integer = @CoTest.MaxRetries;
+  DECLARE $IsTaxable Boolean = @CoTest.EnableDebugLogging;
+END;
+/
+
+/**
+ * Level 5.2: Mix @Module.Const with other expressions
+ * Confirms constant references work in compound expressions alongside literals.
+ */
+CREATE OR REPLACE MICROFLOW CoTest.MixedConstantExpressions ()
+RETURNS Nothing
+BEGIN
+  DECLARE $Limit Decimal = @CoTest.TaxRate + 0.05;
+  DECLARE $Msg String = 'Endpoint: ' + @CoTest.ServiceEndpoint;
+END;
+/
+
 -- ############################################################################
 -- END OF CONSTANT EXAMPLES
 -- ############################################################################

mdl/ast/ast_expression.go

@@ -108,6 +108,13 @@ type QualifiedNameExpr struct {
 
 func (e *QualifiedNameExpr) isExpression() {}
 
+// ConstantRefExpr represents a constant reference: @Module.ConstantName
+type ConstantRefExpr struct {
+	QualifiedName QualifiedName // The constant qualified name
+}
+
+func (e *ConstantRefExpr) isExpression() {}
+
 // IfThenElseExpr represents an inline if-then-else expression:
 // if condition then trueExpr else falseExpr
 type IfThenElseExpr struct {

mdl/executor/cmd_diff_mdl.go

@@ -701,6 +701,10 @@ func (e *Executor) expressionToString(expr ast.Expression) string {
 		return fmt.Sprintf("[%%%s%%]", ex.Token)
 	case *ast.ParenExpr:
 		return fmt.Sprintf("(%s)", e.expressionToString(ex.Inner))
+	case *ast.QualifiedNameExpr:
+		return ex.QualifiedName.String()
+	case *ast.ConstantRefExpr:
+		return "@" + ex.QualifiedName.String()
 	default:
 		return fmt.Sprintf("%v", expr)
 	}

mdl/executor/cmd_microflows_helpers.go

@@ -130,6 +130,8 @@ func expressionToString(expr ast.Expression) string {
 	case *ast.QualifiedNameExpr:
 		// Qualified name (association name, entity reference) - unquoted
 		return e.QualifiedName.String()
+	case *ast.ConstantRefExpr:
+		return "@" + e.QualifiedName.String()
 	case *ast.IfThenElseExpr:
 		cond := expressionToString(e.Condition)
 		thenStr := expressionToString(e.ThenExpr)

mdl/grammar/MDLParser.g4

@@ -3517,6 +3517,7 @@ argumentList
 atomicExpression
     : literal
     | VARIABLE (DOT attributeName)*    // $Var or $Widget.Attribute (data source ref)
+    | AT qualifiedName                 // @Module.ConstantName (constant reference)
     | qualifiedName
     | IDENTIFIER
     | MENDIX_TOKEN

mdl/grammar/parser/MDLParser.interp

@@ -617,6 +617,15 @@ func buildAtomicExpression(ctx parser.IAtomicExpressionContext) ast.Expression {
 		}
 	}
 
+	// Constant reference: @Module.ConstantName
+	if atomCtx.AT() != nil {
+		if qn := atomCtx.QualifiedName(); qn != nil {
+			return &ast.ConstantRefExpr{
+				QualifiedName: buildQualifiedName(qn),
+			}
+		}
+	}
+
 	// Mendix token [%TokenName%]
 	if token := atomCtx.MENDIX_TOKEN(); token != nil {
 		tokenText := token.GetText()