Enable v3 MVP to be used from Python

.github/workflows/test.yml

@@ -112,7 +112,7 @@ jobs:
         with:
           python-version: "3.11"
       - name: Install Python dependencies
-        run: python -m pip install --upgrade pip numpy pytest setuptools wheel
+        run: python -m pip install --upgrade pip conan numpy pytest setuptools wheel
       - name: Install SWIG, and set build type (Linux)
         if: matrix.os == 'ubuntu-latest'
         run: |

include/v10/libQasm.hpp

@@ -11,7 +11,10 @@
 
 class libQasm {
 public:
-    libQasm() : parse_result_{ 0 }, qasm_rep_{} {}
+    libQasm()
+    : qasm_rep_{}
+    , parse_result_{ 0 }
+    {}
 
     void parse_string(const std::string &qasm_str) {
         compiler::QasmSemanticChecker sm(qasm_str);

include/v1x/cqasm-analyzer.hpp

@@ -310,13 +310,13 @@ class Analyzer {
     /**
      * Parses and analyzes the given file.
      */
-    AnalysisResult analyze(const std::string &filename) const;
+    AnalysisResult analyze_file(const std::string &filename) const;
 
     /**
      * Parses and analyzes the given file pointer.
      * The optional filename argument will be used only for error messages.
      */
-    AnalysisResult analyze(FILE *file, const std::string &filename = "<unknown>") const;
+    AnalysisResult analyze_file(FILE *file, const std::string &filename = "<unknown>") const;
 
     /**
      * Parses and analyzes the given string.

include/v1x/cqasm-py.hpp

@@ -13,6 +13,7 @@
 #include <string>
 #include <vector>
 
+
 // Forward declarations for internal types.
 namespace cqasm::v1x::analyzer { class Analyzer; }
 
@@ -23,7 +24,7 @@ class V1xAnalyzer {
     /**
      * Reference to the actual C++ analyzer that this wraps.
      */
-    std::unique_ptr<cqasm::v1x::analyzer::Analyzer> a;
+    std::unique_ptr<cqasm::v1x::analyzer::Analyzer> analyzer;
 
 public:
     /**
@@ -41,6 +42,13 @@ class V1xAnalyzer {
         bool without_defaults = false
     );
 
+    /**
+     * std::unique_ptr<T> requires T to be a complete class for the ~T operation.
+     * Since we are using a forward declaration for Analyzer, we need to declare ~T in the header file,
+     * and implement it in the source file.
+     */
+    ~V1xAnalyzer();
+
     /**
      * Registers an instruction type.
      * The arguments are passed straight to instruction::Instruction's constructor.

include/v1x/cqasm.hpp

@@ -25,7 +25,7 @@ namespace v1x {
  * Parses and analyzes the given file path with the default analyzer,
  * dumping error messages to stderr and throwing an analyzer::AnalysisFailed on failure.
  */
-tree::One<semantic::Program> analyze(
+tree::One<semantic::Program> analyze_file(
     const std::string &file_path,
     const std::string &api_version = "1.0"
 );
@@ -35,7 +35,7 @@ tree::One<semantic::Program> analyze(
  * error messages to stderr and throwing an analyzer::AnalysisFailed on failure.
  * The optional file_name is only used for error messages.
  */
-tree::One<semantic::Program> analyze(
+tree::One<semantic::Program> analyze_file(
     FILE *fp,
     const std::string &file_name = "<unknown>",
     const std::string &api_version = "1.0"

include/v3x/BuildCustomAstVisitor.hpp

@@ -3,13 +3,12 @@
 #include "cqasm-ast.hpp"
 #include "v3x/CqasmParser.h"
 #include "v3x/CqasmParserVisitor.h"
-#include "v3x/CustomErrorListener.hpp"
-
-#include <antlr4-runtime.h>  // Token
-
 
 #include <any>
 
+namespace antlr4 { class Token; }
+namespace cqasm::v3x::parser { class CustomErrorListener; }
+
 
 namespace cqasm::v3x::parser {
 

include/v3x/BuildTreeGenAstVisitor.hpp

@@ -3,10 +3,10 @@
 #include "v3x/BuildCustomAstVisitor.hpp"
 #include "v3x/CqasmParser.h"
 #include "v3x/CqasmParserVisitor.h"
-#include "v3x/CustomErrorListener.hpp"
-
 #include <any>
 
+namespace cqasm::v3x::parser { class CustomErrorListener; }
+
 
 namespace cqasm::v3x::parser {
 

include/v3x/ScannerAntlr.hpp

@@ -1,11 +1,14 @@
 #pragma once
 
 #include "v3x/BuildCustomAstVisitor.hpp"
-#include "v3x/CustomErrorListener.hpp"
+#include "v3x/cqasm-parse-result.hpp"
 
 #include <memory>  // unique_ptr
 #include <string>
 
+namespace antlr4 { class ANTLRInputStream; }
+namespace cqasm::v3x::parser { class CustomErrorListener; }
+
 
 namespace cqasm::v3x::parser {
 

include/v3x/cqasm-analyzer.hpp

@@ -162,7 +162,7 @@ class Analyzer {
     /**
      * Parses and analyzes the given file.
      */
-    [[nodiscard]] AnalysisResult analyze(const std::string &filename);
+    [[nodiscard]] AnalysisResult analyze_file(const std::string &filename);
 
     /**
      * Parses and analyzes the given string.

include/v3x/cqasm-parse-helper.hpp

@@ -10,7 +10,6 @@
 #include "v3x/cqasm-parse-result.hpp"
 #include "v3x/ScannerAntlr.hpp"
 
-#include <antlr4-runtime.h>
 #include <memory>  // unique_ptr
 #include <string>
 

include/v3x/cqasm-py.hpp

@@ -13,6 +13,7 @@
 #include <string>
 #include <vector>
 
+
 // Forward declarations for internal types.
 namespace cqasm::v3x::analyzer { class Analyzer; }
 
@@ -23,7 +24,7 @@ class V3xAnalyzer {
     /**
      * Reference to the actual C++ analyzer that this wraps.
      */
-    std::unique_ptr<cqasm::v3x::analyzer::Analyzer> a;
+    std::unique_ptr<cqasm::v3x::analyzer::Analyzer> analyzer;
 
 public:
     /**
@@ -36,11 +37,18 @@ class V3xAnalyzer {
      * the initial mappings and functions are not configurable at all.
      * The defaults for these are always used.
      */
-    V3xAnalyzer(
+    explicit V3xAnalyzer(
         const std::string &max_version = "3.0",
-        bool without_defaults=false
+        bool without_defaults = false
     );
 
+    /**
+     * std::unique_ptr<T> requires T to be a complete class for the ~T operation.
+     * Since we are using a forward declaration for Analyzer, we need to declare ~T in the header file,
+     * and implement it in the source file.
+     */
+    ~V3xAnalyzer();
+
     /**
      * Registers an instruction type.
      * The arguments are passed straight to instruction::Instruction's constructor.

include/v3x/cqasm.hpp

@@ -25,7 +25,7 @@ namespace v3x {
  * Parses and analyzes the given file path with the default analyzer,
  * dumping error messages to stderr and throwing an analyzer::AnalysisFailed on failure.
  */
-tree::One<cqasm::v3x::semantic::Program> analyze(
+tree::One<cqasm::v3x::semantic::Program> analyze_file(
     const std::string &file_path,
     const std::string &api_version = "3.0"
 );

pytest.ini

@@ -0,0 +1,5 @@
+[pytest]
+testpaths =
+    "test/v10/python"
+    "test/v3x/python"
+python_files = test_*.py

python/CMakeLists.txt

@@ -94,7 +94,9 @@ set(CMAKE_CXX_EXTENSIONS OFF)
 #=============================================================================#
 
 # Configure SWIG.
-set(SWIG_FILE "${CMAKE_CURRENT_SOURCE_DIR}/libQasm.i")
+set(SWIG_FILE
+    "${CMAKE_CURRENT_SOURCE_DIR}/libQasm.i"
+)
 
 set_source_files_properties("${SWIG_FILE}" PROPERTIES
     CPLUSPLUS ON

python/README.md

@@ -5,22 +5,21 @@ aside from the `setup.py` file living in the root directory.
 
 File/directory list:
 
- - `libQasm.i`: SWIG directives for the bindings.
+ - `CMakeLists.txt`: SWIG and the Python extension build are handled by CMake,
+   so it can make everything's linked together properly.
+   Don't use this file directly.
+   It's intended to be added by the root `CMakeLists.txt`,
+   and only when the build is orchestrated by `setup.py`.
 
- - `libQasm`: represents the Python module excluding the extension. Any Python
-   files in here will be included in the Python install.
+ - `conda`: contains the conda recipe for libqasm,
+   in case you're using that rather than pip to manage your Python packages.
+   It mostly just defers to `setup.py`,
+   but will help you set up the build dependencies regardless of your platform.
 
- - `conda`: contains the conda recipe for libqasm, in case you're using that
-   rather than pip to manage your Python packages. It mostly just defers to
-   `setup.py`, but will help you set up the build dependencies regardless of
-   your platform.
+ - `libQasm`: represents the Python module excluding the extension.
+   Any Python files in here will be included in the Python install.
 
- - `CMakeLists.txt`: SWIG and the Python extension build are handled by CMake,
-   so it can make everything's linked together properly. Don't use this file
-   directly; it's intended to be added by the root `CMakeLists.txt`, and only
-   when the build is orchestrated by `setup.py`.
-
- - `python_lib.py`: helper script for CMake to find the Python library to link
-   against, because FindPYTHON often picks the wrong one, especially in venvs.
+ - `libQasm.i`: SWIG directives for the bindings.
 
- - `compat`: helper scripts for CMake to make old CMake versions work.
+ - `python_lib.py`: helper script for CMake to find the Python library to link against,
+   because FindPYTHON often picks the wrong one, especially in virtual environments.

python/libQasm.i

@@ -11,6 +11,7 @@
 #include "v10/qasm_ast.hpp"
 #include "v10/libQasm.hpp"
 #include "v1x/cqasm-py.hpp"
+#include "v3x/cqasm-py.hpp"
 %}
 
 %include "exception.i"
@@ -49,6 +50,7 @@ namespace std {
 %include "v10/qasm_ast.hpp"
 %include "v10/libQasm.hpp"
 %include "v1x/cqasm-py.hpp"
+%include "v3x/cqasm-py.hpp"
 
 namespace std {
     %template(subcircuit_vector) vector<shared_ptr<compiler::SubCircuit>>;

python/module/cqasm/v1x/__init__.py

@@ -1,34 +1,46 @@
-import libQasm;
+import libQasm
+
 
 class Analyzer(libQasm.V1xAnalyzer):
 
     @staticmethod
     def parse_file(*args):
-        retval = libQasm.V1xAnalyzer.parse_file(*args)
-        if len(retval) == 1:
+        ret = libQasm.V1xAnalyzer.parse_file(*args)
+        if len(ret) == 1:
             import cqasm.v1x.ast as ast
-            return ast.Root.deserialize(retval[0].encode("utf-8", errors="surrogateescape"))
-        return list(retval[1:])
+            serialized_ast_str = str(ret[0])
+            serialized_ast_bytes = serialized_ast_str.encode(encoding='utf-8', errors="surrogateescape")
+            deserialized_ast = ast.Root.deserialize(serialized_ast_bytes)
+            return deserialized_ast
+        return [str(error) for error in ret[1:]]
 
     @staticmethod
     def parse_string(*args):
-        retval = libQasm.V1xAnalyzer.parse_string(*args)
-        if len(retval) == 1:
+        ret = libQasm.V1xAnalyzer.parse_string(*args)
+        if len(ret) == 1:
             import cqasm.v1x.ast as ast
-            return ast.Root.deserialize(retval[0].encode("utf-8", errors="surrogateescape"))
-        return list(retval[1:])
+            serialized_ast_str = str(ret[0])
+            serialized_ast_bytes = serialized_ast_str.encode(encoding='utf-8', errors="surrogateescape")
+            deserialized_ast = ast.Root.deserialize(serialized_ast_bytes)
+            return deserialized_ast
+        return [str(error) for error in ret[1:]]
 
     def analyze_file(self, *args):
-        retval = super().analyze_file(*args)
-        if len(retval) == 1:
+        ret = super().analyze_file(*args)
+        if len(ret) == 1:
             import cqasm.v1x.semantic as semantic
-            print(retval[0].encode("utf-8", errors="surrogateescape"))
-            return semantic.Program.deserialize(retval[0].encode("utf-8", errors="surrogateescape"))
-        return list(retval[1:])
+            serialized_ast_str = str(ret[0])
+            serialized_ast_bytes = serialized_ast_str.encode(encoding='utf-8', errors="surrogateescape")
+            deserialized_ast = semantic.Root.deserialize(serialized_ast_bytes)
+            return deserialized_ast
+        return [str(error) for error in ret[1:]]
 
     def analyze_string(self, *args):
-        retval = super().analyze_string(*args)
-        if len(retval) == 1:
+        ret = super().analyze_string(*args)
+        if len(ret) == 1:
             import cqasm.v1x.semantic as semantic
-            return semantic.Program.deserialize(retval[0].encode("utf-8", errors="surrogateescape"))
-        return list(retval[1:])
+            serialized_ast_str = str(ret[0])
+            serialized_ast_bytes = serialized_ast_str.encode(encoding='utf-8', errors="surrogateescape")
+            deserialized_ast = semantic.Root.deserialize(serialized_ast_bytes)
+            return deserialized_ast
+        return [str(error) for error in ret[1:]]

python/module/cqasm/v1x/primitives.py

@@ -1,7 +1,8 @@
 from enum import Enum
 import numpy as np
-from cqasm.v1x.error_model import ErrorModel, ErrorModelRef
-from cqasm.v1x.instruction import Instruction, InstructionRef
+
+import cqasm.v1x.error_model
+import cqasm.v1x.instruction
 import cqasm.v1x.types
 
 Str = str
@@ -100,15 +101,15 @@ def serialize(typ, val):
         return {'c': val.size_cols(), 'd': data}
     elif typ is Version:
         return {'x': list(val)}
-    elif typ is ErrorModelRef:
+    elif typ is cqasm.v1x.error_model.ErrorModelRef:
         if val.data is None:
             return {}
         else:
             return {
                 'n': val.data.name,
                 't': [x.serialize() for x in val.data.types]
             }
-    elif typ is InstructionRef:
+    elif typ is cqasm.v1x.instruction.InstructionRef:
         if val.data is None:
             return {}
         else:
@@ -152,17 +153,17 @@ def deserialize(typ, val):
         return CMatrix(np.array(val['d'], dtype=complex).reshape([val['c'], len(val['d']) // val['c']]))
     elif typ is Version:
         return Version(val['x'])
-    elif typ is ErrorModelRef:
+    elif typ is cqasm.v1x.error_model.ErrorModelRef:
         if 'n' in val:
-            return ErrorModelRef(
+            return cqasm.v1x.error_model.ErrorModelRef(
                 val['n'],
                 [cqasm.v1x.types.Node.deserialize(x) for x in val['t']]
             )
         else:
-            return ErrorModelRef()
-    elif typ is InstructionRef:
+            return cqasm.v1x.error_model.ErrorModelRef()
+    elif typ is cqasm.v1x.instruction.InstructionRef:
         if 'n' in val:
-            return InstructionRef(
+            return cqasm.v1x.instruction.InstructionRef(
                 val['n'],
                 [cqasm.v1x.types.Node.deserialize(x) for x in val['t']],
                 val['c'],
@@ -171,6 +172,6 @@ def deserialize(typ, val):
                 val['d']
             )
         else:
-            return InstructionRef()
+            return cqasm.v1x.instruction.InstructionRef()
     else:
         assert False