From ccbd4bfe55ee991a88f252dfd3108b981f93e476 Mon Sep 17 00:00:00 2001
From: David Mak <chmakac@connect.ust.hk>
Date: Wed, 12 Jun 2024 16:06:24 +0800
Subject: [PATCH] meta: Add RustRover configuration files

---
 .idea/.gitignore                              |  6 ++++++
 .idea/codeStyles/codeStyleConfig.xml          |  5 +++++
 .idea/inspectionProfiles/Project_Default.xml  |  8 +++++++
 .idea/modules.xml                             |  8 +++++++
 .idea/nac3.iml                                | 18 ++++++++++++++++
 .idea/runConfigurations/Build_All__Debug_.xml | 19 +++++++++++++++++
 .../runConfigurations/Build_All__Release_.xml | 19 +++++++++++++++++
 .../Build_Standalone__Debug_.xml              | 19 +++++++++++++++++
 .../Build_Standalone__Release_.xml            | 19 +++++++++++++++++
 .idea/runConfigurations/Clean.xml             | 19 +++++++++++++++++
 .../Nix_Build__nac3artiq_.xml                 | 17 +++++++++++++++
 .idea/runConfigurations/Test.xml              | 19 +++++++++++++++++
 .../check_demos_sh__Debug___O0_.xml           | 21 +++++++++++++++++++
 .../check_demos_sh__Debug___O2_.xml           | 19 +++++++++++++++++
 .../check_demos_sh__Release___O0_.xml         | 19 +++++++++++++++++
 .../check_demos_sh__Release___O2_.xml         | 19 +++++++++++++++++
 .idea/vcs.xml                                 | 13 ++++++++++++
 17 files changed, 267 insertions(+)
 create mode 100644 .idea/.gitignore
 create mode 100644 .idea/codeStyles/codeStyleConfig.xml
 create mode 100644 .idea/inspectionProfiles/Project_Default.xml
 create mode 100644 .idea/modules.xml
 create mode 100644 .idea/nac3.iml
 create mode 100644 .idea/runConfigurations/Build_All__Debug_.xml
 create mode 100644 .idea/runConfigurations/Build_All__Release_.xml
 create mode 100644 .idea/runConfigurations/Build_Standalone__Debug_.xml
 create mode 100644 .idea/runConfigurations/Build_Standalone__Release_.xml
 create mode 100644 .idea/runConfigurations/Clean.xml
 create mode 100644 .idea/runConfigurations/Nix_Build__nac3artiq_.xml
 create mode 100644 .idea/runConfigurations/Test.xml
 create mode 100644 .idea/runConfigurations/check_demos_sh__Debug___O0_.xml
 create mode 100644 .idea/runConfigurations/check_demos_sh__Debug___O2_.xml
 create mode 100644 .idea/runConfigurations/check_demos_sh__Release___O0_.xml
 create mode 100644 .idea/runConfigurations/check_demos_sh__Release___O2_.xml
 create mode 100644 .idea/vcs.xml

diff --git a/.idea/.gitignore b/.idea/.gitignore
new file mode 100644
index 00000000..8bf4d45d
--- /dev/null
+++ b/.idea/.gitignore
@@ -0,0 +1,6 @@
+# Default ignored files
+/shelf/
+/workspace.xml
+# Datasource local storage ignored files
+/dataSources/
+/dataSources.local.xml
diff --git a/.idea/codeStyles/codeStyleConfig.xml b/.idea/codeStyles/codeStyleConfig.xml
new file mode 100644
index 00000000..a55e7a17
--- /dev/null
+++ b/.idea/codeStyles/codeStyleConfig.xml
@@ -0,0 +1,5 @@
+<component name="ProjectCodeStyleConfiguration">
+  <state>
+    <option name="PREFERRED_PROJECT_CODE_STYLE" value="Default" />
+  </state>
+</component>
\ No newline at end of file
diff --git a/.idea/inspectionProfiles/Project_Default.xml b/.idea/inspectionProfiles/Project_Default.xml
new file mode 100644
index 00000000..b7372f02
--- /dev/null
+++ b/.idea/inspectionProfiles/Project_Default.xml
@@ -0,0 +1,8 @@
+<component name="InspectionProjectProfileManager">
+  <profile version="1.0">
+    <option name="myName" value="Project Default" />
+    <inspection_tool class="ClangTidy" enabled="true" level="WARNING" enabled_by_default="true">
+      <option name="clangTidyChecks" value="-*,cert-dcl21-cpp,cert-dcl58-cpp,cert-err34-c,cert-err52-cpp,cert-err60-cpp,cert-flp30-c,cert-msc50-cpp,cert-msc51-cpp,cert-str34-c,google-default-arguments,google-explicit-constructor,google-runtime-operator,hicpp-exception-baseclass,hicpp-multiway-paths-covered,misc-misplaced-const,misc-new-delete-overloads,misc-no-recursion,misc-non-copyable-objects,misc-throw-by-value-catch-by-reference,misc-unconventional-assign-operator,misc-uniqueptr-reset-release,mpi-buffer-deref,mpi-type-mismatch,openmp-use-default-none,portability-simd-intrinsics,bugprone-*,cppcoreguidelines-*,modernize-*,performance-*" />
+    </inspection_tool>
+  </profile>
+</component>
\ No newline at end of file
diff --git a/.idea/modules.xml b/.idea/modules.xml
new file mode 100644
index 00000000..ca14db5b
--- /dev/null
+++ b/.idea/modules.xml
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="ProjectModuleManager">
+    <modules>
+      <module fileurl="file://$PROJECT_DIR$/.idea/nac3.iml" filepath="$PROJECT_DIR$/.idea/nac3.iml" />
+    </modules>
+  </component>
+</project>
\ No newline at end of file
diff --git a/.idea/nac3.iml b/.idea/nac3.iml
new file mode 100644
index 00000000..c9cdbf83
--- /dev/null
+++ b/.idea/nac3.iml
@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<module type="CPP_MODULE" version="4">
+  <component name="NewModuleRootManager">
+    <content url="file://$MODULE_DIR$">
+      <sourceFolder url="file://$MODULE_DIR$/nac3artiq/src" isTestSource="false" />
+      <sourceFolder url="file://$MODULE_DIR$/nac3ast/src" isTestSource="false" />
+      <sourceFolder url="file://$MODULE_DIR$/nac3core/src" isTestSource="false" />
+      <sourceFolder url="file://$MODULE_DIR$/nac3ld/src" isTestSource="false" />
+      <sourceFolder url="file://$MODULE_DIR$/nac3parser/src" isTestSource="false" />
+      <sourceFolder url="file://$MODULE_DIR$/nac3standalone/src" isTestSource="false" />
+      <sourceFolder url="file://$MODULE_DIR$/runkernel/src" isTestSource="false" />
+      <sourceFolder url="file://$MODULE_DIR$/nac3standalone/demo/lib/src" isTestSource="false" />
+      <excludeFolder url="file://$MODULE_DIR$/target" />
+    </content>
+    <orderEntry type="inheritedJdk" />
+    <orderEntry type="sourceFolder" forTests="false" />
+  </component>
+</module>
\ No newline at end of file
diff --git a/.idea/runConfigurations/Build_All__Debug_.xml b/.idea/runConfigurations/Build_All__Debug_.xml
new file mode 100644
index 00000000..afdc8115
--- /dev/null
+++ b/.idea/runConfigurations/Build_All__Debug_.xml
@@ -0,0 +1,19 @@
+<component name="ProjectRunConfigurationManager">
+  <configuration default="false" name="Build All (Debug)" type="CargoCommandRunConfiguration" factoryName="Cargo Command">
+    <option name="command" value="build" />
+    <option name="workingDirectory" value="file://$PROJECT_DIR$" />
+    <envs />
+    <option name="emulateTerminal" value="false" />
+    <option name="channel" value="DEFAULT" />
+    <option name="requiredFeatures" value="true" />
+    <option name="allFeatures" value="false" />
+    <option name="withSudo" value="false" />
+    <option name="buildTarget" value="REMOTE" />
+    <option name="backtrace" value="SHORT" />
+    <option name="isRedirectInput" value="false" />
+    <option name="redirectInputPath" value="" />
+    <method v="2">
+      <option name="CARGO.BUILD_TASK_PROVIDER" enabled="true" />
+    </method>
+  </configuration>
+</component>
\ No newline at end of file
diff --git a/.idea/runConfigurations/Build_All__Release_.xml b/.idea/runConfigurations/Build_All__Release_.xml
new file mode 100644
index 00000000..00ead129
--- /dev/null
+++ b/.idea/runConfigurations/Build_All__Release_.xml
@@ -0,0 +1,19 @@
+<component name="ProjectRunConfigurationManager">
+  <configuration default="false" name="Build All (Release)" type="CargoCommandRunConfiguration" factoryName="Cargo Command">
+    <option name="command" value="build --release" />
+    <option name="workingDirectory" value="file://$PROJECT_DIR$" />
+    <option name="emulateTerminal" value="false" />
+    <option name="channel" value="DEFAULT" />
+    <option name="requiredFeatures" value="true" />
+    <option name="allFeatures" value="false" />
+    <option name="withSudo" value="false" />
+    <option name="buildTarget" value="REMOTE" />
+    <option name="backtrace" value="SHORT" />
+    <envs />
+    <option name="isRedirectInput" value="false" />
+    <option name="redirectInputPath" value="" />
+    <method v="2">
+      <option name="CARGO.BUILD_TASK_PROVIDER" enabled="true" />
+    </method>
+  </configuration>
+</component>
\ No newline at end of file
diff --git a/.idea/runConfigurations/Build_Standalone__Debug_.xml b/.idea/runConfigurations/Build_Standalone__Debug_.xml
new file mode 100644
index 00000000..ffb99040
--- /dev/null
+++ b/.idea/runConfigurations/Build_Standalone__Debug_.xml
@@ -0,0 +1,19 @@
+<component name="ProjectRunConfigurationManager">
+  <configuration default="false" name="Build Standalone (Debug)" type="CargoCommandRunConfiguration" factoryName="Cargo Command">
+    <option name="command" value="build --bin nac3standalone" />
+    <option name="workingDirectory" value="file://$PROJECT_DIR$" />
+    <envs />
+    <option name="emulateTerminal" value="false" />
+    <option name="channel" value="DEFAULT" />
+    <option name="requiredFeatures" value="true" />
+    <option name="allFeatures" value="false" />
+    <option name="withSudo" value="false" />
+    <option name="buildTarget" value="REMOTE" />
+    <option name="backtrace" value="SHORT" />
+    <option name="isRedirectInput" value="false" />
+    <option name="redirectInputPath" value="" />
+    <method v="2">
+      <option name="CARGO.BUILD_TASK_PROVIDER" enabled="true" />
+    </method>
+  </configuration>
+</component>
\ No newline at end of file
diff --git a/.idea/runConfigurations/Build_Standalone__Release_.xml b/.idea/runConfigurations/Build_Standalone__Release_.xml
new file mode 100644
index 00000000..08eb11f1
--- /dev/null
+++ b/.idea/runConfigurations/Build_Standalone__Release_.xml
@@ -0,0 +1,19 @@
+<component name="ProjectRunConfigurationManager">
+  <configuration default="false" name="Build Standalone (Release)" type="CargoCommandRunConfiguration" factoryName="Cargo Command">
+    <option name="command" value="build --release --bin nac3standalone" />
+    <option name="workingDirectory" value="file://$PROJECT_DIR$" />
+    <envs />
+    <option name="emulateTerminal" value="false" />
+    <option name="channel" value="DEFAULT" />
+    <option name="requiredFeatures" value="true" />
+    <option name="allFeatures" value="false" />
+    <option name="withSudo" value="false" />
+    <option name="buildTarget" value="REMOTE" />
+    <option name="backtrace" value="SHORT" />
+    <option name="isRedirectInput" value="false" />
+    <option name="redirectInputPath" value="" />
+    <method v="2">
+      <option name="CARGO.BUILD_TASK_PROVIDER" enabled="true" />
+    </method>
+  </configuration>
+</component>
\ No newline at end of file
diff --git a/.idea/runConfigurations/Clean.xml b/.idea/runConfigurations/Clean.xml
new file mode 100644
index 00000000..17dda181
--- /dev/null
+++ b/.idea/runConfigurations/Clean.xml
@@ -0,0 +1,19 @@
+<component name="ProjectRunConfigurationManager">
+  <configuration default="false" name="Clean" type="CargoCommandRunConfiguration" factoryName="Cargo Command">
+    <option name="command" value="clean " />
+    <option name="workingDirectory" value="file://$PROJECT_DIR$" />
+    <option name="emulateTerminal" value="false" />
+    <option name="channel" value="DEFAULT" />
+    <option name="requiredFeatures" value="true" />
+    <option name="allFeatures" value="false" />
+    <option name="withSudo" value="false" />
+    <option name="buildTarget" value="REMOTE" />
+    <option name="backtrace" value="SHORT" />
+    <envs />
+    <option name="isRedirectInput" value="false" />
+    <option name="redirectInputPath" value="" />
+    <method v="2">
+      <option name="CARGO.BUILD_TASK_PROVIDER" enabled="true" />
+    </method>
+  </configuration>
+</component>
\ No newline at end of file
diff --git a/.idea/runConfigurations/Nix_Build__nac3artiq_.xml b/.idea/runConfigurations/Nix_Build__nac3artiq_.xml
new file mode 100644
index 00000000..a690d721
--- /dev/null
+++ b/.idea/runConfigurations/Nix_Build__nac3artiq_.xml
@@ -0,0 +1,17 @@
+<component name="ProjectRunConfigurationManager">
+  <configuration default="false" name="Nix Build (nac3artiq)" type="ShConfigurationType">
+    <option name="SCRIPT_TEXT" value="nix build -L .#packages.x86_64-linux.nac3artiq" />
+    <option name="INDEPENDENT_SCRIPT_PATH" value="true" />
+    <option name="SCRIPT_PATH" value="" />
+    <option name="SCRIPT_OPTIONS" value="" />
+    <option name="INDEPENDENT_SCRIPT_WORKING_DIRECTORY" value="true" />
+    <option name="SCRIPT_WORKING_DIRECTORY" value="$PROJECT_DIR$" />
+    <option name="INDEPENDENT_INTERPRETER_PATH" value="true" />
+    <option name="INTERPRETER_PATH" value="/bin/sh" />
+    <option name="INTERPRETER_OPTIONS" value="" />
+    <option name="EXECUTE_IN_TERMINAL" value="false" />
+    <option name="EXECUTE_SCRIPT_FILE" value="false" />
+    <envs />
+    <method v="2" />
+  </configuration>
+</component>
\ No newline at end of file
diff --git a/.idea/runConfigurations/Test.xml b/.idea/runConfigurations/Test.xml
new file mode 100644
index 00000000..733c4a6d
--- /dev/null
+++ b/.idea/runConfigurations/Test.xml
@@ -0,0 +1,19 @@
+<component name="ProjectRunConfigurationManager">
+  <configuration default="false" name="Test" type="CargoCommandRunConfiguration" factoryName="Cargo Command">
+    <option name="command" value="test" />
+    <option name="workingDirectory" value="file://$PROJECT_DIR$" />
+    <option name="emulateTerminal" value="false" />
+    <option name="channel" value="DEFAULT" />
+    <option name="requiredFeatures" value="true" />
+    <option name="allFeatures" value="false" />
+    <option name="withSudo" value="false" />
+    <option name="buildTarget" value="REMOTE" />
+    <option name="backtrace" value="SHORT" />
+    <envs />
+    <option name="isRedirectInput" value="false" />
+    <option name="redirectInputPath" value="" />
+    <method v="2">
+      <option name="CARGO.BUILD_TASK_PROVIDER" enabled="true" />
+    </method>
+  </configuration>
+</component>
\ No newline at end of file
diff --git a/.idea/runConfigurations/check_demos_sh__Debug___O0_.xml b/.idea/runConfigurations/check_demos_sh__Debug___O0_.xml
new file mode 100644
index 00000000..bcc06560
--- /dev/null
+++ b/.idea/runConfigurations/check_demos_sh__Debug___O0_.xml
@@ -0,0 +1,21 @@
+<component name="ProjectRunConfigurationManager">
+  <configuration default="false" name="check_demos.sh (Debug, -O0)" type="ShConfigurationType">
+    <option name="SCRIPT_TEXT" value="" />
+    <option name="INDEPENDENT_SCRIPT_PATH" value="true" />
+    <option name="SCRIPT_PATH" value="$PROJECT_DIR$/nac3standalone/demo/check_demos.sh" />
+    <option name="SCRIPT_OPTIONS" value="--debug -- -O0" />
+    <option name="INDEPENDENT_SCRIPT_WORKING_DIRECTORY" value="true" />
+    <option name="SCRIPT_WORKING_DIRECTORY" value="$PROJECT_DIR$/nac3standalone/demo" />
+    <option name="INDEPENDENT_INTERPRETER_PATH" value="true" />
+    <option name="INTERPRETER_PATH" value="/bin/bash" />
+    <option name="INTERPRETER_OPTIONS" value="" />
+    <option name="EXECUTE_IN_TERMINAL" value="false" />
+    <option name="EXECUTE_SCRIPT_FILE" value="true" />
+    <envs>
+      <env name="RUST_BACKTRACE" value="1" />
+    </envs>
+    <method v="2">
+      <option name="RunConfigurationTask" enabled="true" run_configuration_name="Build Standalone (Debug)" run_configuration_type="CargoCommandRunConfiguration" />
+    </method>
+  </configuration>
+</component>
\ No newline at end of file
diff --git a/.idea/runConfigurations/check_demos_sh__Debug___O2_.xml b/.idea/runConfigurations/check_demos_sh__Debug___O2_.xml
new file mode 100644
index 00000000..f7655621
--- /dev/null
+++ b/.idea/runConfigurations/check_demos_sh__Debug___O2_.xml
@@ -0,0 +1,19 @@
+<component name="ProjectRunConfigurationManager">
+  <configuration default="false" name="check_demos.sh (Debug, -O2)" type="ShConfigurationType">
+    <option name="SCRIPT_TEXT" value="" />
+    <option name="INDEPENDENT_SCRIPT_PATH" value="true" />
+    <option name="SCRIPT_PATH" value="$PROJECT_DIR$/nac3standalone/demo/check_demos.sh" />
+    <option name="SCRIPT_OPTIONS" value="--debug" />
+    <option name="INDEPENDENT_SCRIPT_WORKING_DIRECTORY" value="true" />
+    <option name="SCRIPT_WORKING_DIRECTORY" value="$PROJECT_DIR$/nac3standalone/demo" />
+    <option name="INDEPENDENT_INTERPRETER_PATH" value="true" />
+    <option name="INTERPRETER_PATH" value="/bin/bash" />
+    <option name="INTERPRETER_OPTIONS" value="" />
+    <option name="EXECUTE_IN_TERMINAL" value="false" />
+    <option name="EXECUTE_SCRIPT_FILE" value="true" />
+    <envs />
+    <method v="2">
+      <option name="RunConfigurationTask" enabled="true" run_configuration_name="Build Standalone (Debug)" run_configuration_type="CargoCommandRunConfiguration" />
+    </method>
+  </configuration>
+</component>
\ No newline at end of file
diff --git a/.idea/runConfigurations/check_demos_sh__Release___O0_.xml b/.idea/runConfigurations/check_demos_sh__Release___O0_.xml
new file mode 100644
index 00000000..3ed5805c
--- /dev/null
+++ b/.idea/runConfigurations/check_demos_sh__Release___O0_.xml
@@ -0,0 +1,19 @@
+<component name="ProjectRunConfigurationManager">
+  <configuration default="false" name="check_demos.sh (Release, -O0)" type="ShConfigurationType">
+    <option name="SCRIPT_TEXT" value="" />
+    <option name="INDEPENDENT_SCRIPT_PATH" value="true" />
+    <option name="SCRIPT_PATH" value="$PROJECT_DIR$/nac3standalone/demo/check_demos.sh" />
+    <option name="SCRIPT_OPTIONS" value="-- -O0" />
+    <option name="INDEPENDENT_SCRIPT_WORKING_DIRECTORY" value="true" />
+    <option name="SCRIPT_WORKING_DIRECTORY" value="$PROJECT_DIR$/nac3standalone/demo" />
+    <option name="INDEPENDENT_INTERPRETER_PATH" value="true" />
+    <option name="INTERPRETER_PATH" value="/bin/bash" />
+    <option name="INTERPRETER_OPTIONS" value="" />
+    <option name="EXECUTE_IN_TERMINAL" value="false" />
+    <option name="EXECUTE_SCRIPT_FILE" value="true" />
+    <envs />
+    <method v="2">
+      <option name="RunConfigurationTask" enabled="true" run_configuration_name="Build Standalone (Release)" run_configuration_type="CargoCommandRunConfiguration" />
+    </method>
+  </configuration>
+</component>
\ No newline at end of file
diff --git a/.idea/runConfigurations/check_demos_sh__Release___O2_.xml b/.idea/runConfigurations/check_demos_sh__Release___O2_.xml
new file mode 100644
index 00000000..f4d4dab4
--- /dev/null
+++ b/.idea/runConfigurations/check_demos_sh__Release___O2_.xml
@@ -0,0 +1,19 @@
+<component name="ProjectRunConfigurationManager">
+  <configuration default="false" name="check_demos.sh (Release, -O2)" type="ShConfigurationType">
+    <option name="SCRIPT_TEXT" value="" />
+    <option name="INDEPENDENT_SCRIPT_PATH" value="true" />
+    <option name="SCRIPT_PATH" value="$PROJECT_DIR$/nac3standalone/demo/check_demos.sh" />
+    <option name="SCRIPT_OPTIONS" value="" />
+    <option name="INDEPENDENT_SCRIPT_WORKING_DIRECTORY" value="true" />
+    <option name="SCRIPT_WORKING_DIRECTORY" value="$PROJECT_DIR$/nac3standalone/demo" />
+    <option name="INDEPENDENT_INTERPRETER_PATH" value="true" />
+    <option name="INTERPRETER_PATH" value="/bin/bash" />
+    <option name="INTERPRETER_OPTIONS" value="" />
+    <option name="EXECUTE_IN_TERMINAL" value="false" />
+    <option name="EXECUTE_SCRIPT_FILE" value="true" />
+    <envs />
+    <method v="2">
+      <option name="RunConfigurationTask" enabled="true" run_configuration_name="Build Standalone (Release)" run_configuration_type="CargoCommandRunConfiguration" />
+    </method>
+  </configuration>
+</component>
\ No newline at end of file
diff --git a/.idea/vcs.xml b/.idea/vcs.xml
new file mode 100644
index 00000000..a081b18c
--- /dev/null
+++ b/.idea/vcs.xml
@@ -0,0 +1,13 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="CommitMessageInspectionProfile">
+    <profile version="1.0">
+      <inspection_tool class="BodyLimit" enabled="true" level="WARNING" enabled_by_default="true" />
+      <inspection_tool class="SubjectBodySeparation" enabled="true" level="WARNING" enabled_by_default="true" />
+      <inspection_tool class="SubjectLimit" enabled="true" level="WARNING" enabled_by_default="true" />
+    </profile>
+  </component>
+  <component name="VcsDirectoryMappings">
+    <mapping directory="" vcs="Git" />
+  </component>
+</project>
\ No newline at end of file