Added support for parentheses

Author: KyrylR

src/utils/ExpressionHelper.ts

@@ -177,8 +177,13 @@ class ExpressionVisitor extends ExtendedCircomVisitor<CircomValueType | null> {
   };
 
   visitPParentheses = (ctx: PParenthesesContext): CircomValueType | null => {
-    this.addError("Parentheses are not supported", ctx);
-    return null;
+    let expressions = ctx.expressionList().expression_list();
+    if (expressions.length !== 1) {
+      this.addError("Parentheses can only contain one expression", ctx);
+      return null;
+    }
+
+    return this.visit(expressions[0]);
   };
 
   visitPArray = (ctx: PArrayContext): CircomValueType | null => {

test/circom-template-inputs-visitor.test.ts

@@ -233,4 +233,27 @@ describe("Circom Template Inputs Visitor", () => {
     expect(visitor.templateInputs.out.type).to.equal("output");
     expect(visitor.templateInputs.out.dimension).to.deep.equal([2, 4]);
   });
+
+  it("should analyse the Math.circom circuit", () => {
+    const data = getData("Math.circom");
+
+    const visitor = new CircomTemplateInputsVisitor(
+      "Math.circom",
+      data.templates[data.mainComponentInfo.templateName!].context,
+      buildVariableContext(
+        data.templates[data.mainComponentInfo.templateName!].parameters,
+        data.mainComponentInfo.parameters,
+      ),
+    );
+
+    visitor.startParse();
+
+    expect(visitor.errors.length).to.equal(0);
+
+    expect(visitor.templateInputs.out1.type).to.equal("output");
+    expect(visitor.templateInputs.out1.dimension).to.deep.equal([13]);
+
+    expect(visitor.templateInputs.out2.type).to.equal("output");
+    expect(visitor.templateInputs.out2.dimension).to.deep.equal([16]);
+  });
 });

test/data/Math.circom

@@ -0,0 +1,11 @@
+pragma circom 2.1.6;
+
+template Math(a, b) {
+    var input1 = (a + b) / 2;
+    var input2 = a + b / 2;
+
+    signal output out1[input1];
+    signal output out2[input2];
+}
+
+component main = Math(6, 20);