zuspec-arl-dm 0.1.0.15264414400rc0__cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

zsp_arl_dm/share/include/zsp/arl/dm/ITypeExec.h

@@ -0,0 +1,53 @@
+/**
+ * ITypeExec.h
+ *
+ * Copyright 2022 Matthew Ballance and Contributors
+ *
+ * Licensed 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.
+ *
+ * Created on:
+ *     Author: 
+ */
+#pragma once
+#include <memory>
+#include "vsc/dm/IAccept.h"
+
+namespace zsp {
+namespace arl {
+namespace dm {
+
+enum class ExecKindT {
+    Body,
+    InitDown,
+    InitUp,
+    PreSolve,
+    PostSolve,
+    PreBody,
+};
+
+class ITypeExec;
+using ITypeExecUP=vsc::dm::UP<ITypeExec>;
+class ITypeExec : public virtual vsc::dm::IAccept {
+public:
+
+    virtual ~ITypeExec() { }
+
+    virtual ExecKindT getKind() const = 0;
+
+};
+
+} /* namespace dm */
+} /* namespace arl */
+} /* namespace zsp */
+
+

zsp_arl_dm/share/include/zsp/arl/dm/ITypeExecGroup.h

@@ -0,0 +1,50 @@
+/**
+ * ITypeExecGroup.h
+ *
+ * Copyright 2022 Matthew Ballance and Contributors
+ *
+ * Licensed 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.
+ *
+ * Created on:
+ *     Author: 
+ */
+#pragma once
+#include <vector>
+#include "zsp/arl/dm/ITypeExec.h"
+
+namespace zsp {
+namespace arl {
+namespace dm {
+
+class ITypeExecGroup;
+using ITypeExecGroupUP=std::unique_ptr<ITypeExecGroup>;
+class ITypeExecGroup {
+public:
+
+    virtual ~ITypeExecGroup() { }
+
+    virtual ExecKindT getKind() const = 0;
+
+    virtual const std::vector<ITypeExecUP> &getExecs() const = 0;
+
+    virtual void addExec(ITypeExec *e) = 0;
+
+    virtual ITypeExecGroup *getSuper() const = 0;
+
+};
+
+} /* namespace dm */
+} /* namespace arl */
+} /* namespace zsp */
+
+

zsp_arl_dm/share/include/zsp/arl/dm/ITypeExecProc.h

@@ -0,0 +1,44 @@
+/**
+ * ITypeExecProc.h
+ *
+ * Copyright 2022 Matthew Ballance and Contributors
+ *
+ * Licensed 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.
+ *
+ * Created on:
+ *     Author: 
+ */
+#pragma once
+#include "zsp/arl/dm/ITypeExec.h"
+#include "zsp/arl/dm/ITypeProcStmtScope.h"
+
+namespace zsp {
+namespace arl {
+namespace dm {
+
+
+
+class ITypeExecProc : public virtual ITypeExec {
+public:
+
+    virtual ~ITypeExecProc() { }
+
+    virtual ITypeProcStmtScope *getBody() const = 0;
+
+};
+
+} /* namespace dm */
+} /* namespace arl */
+} /* namespace zsp */
+
+

zsp_arl_dm/share/include/zsp/arl/dm/ITypeExecTargetTmpl.h

@@ -0,0 +1,59 @@
+/**
+ * ITypeExecTargetTmpl.h
+ *
+ * Copyright 2022 Matthew Ballance and Contributors
+ *
+ * Licensed 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.
+ *
+ * Created on:
+ *     Author: 
+ */
+#pragma once
+#include <memory>
+#include <string>
+#include <vector>
+#include "vsc/dm/ITypeExpr.h"
+
+namespace zsp {
+namespace arl {
+namespace dm {
+
+struct TypeExecTargetTmplReplacement {
+    int32_t             start;
+    int32_t             end;
+    vsc::dm::ITypeExpr  *expr;
+};
+
+class ITypeExecTargetTmpl;
+using ITypeExecTargetTmplUP=std::unique_ptr<ITypeExecTargetTmpl>;
+class ITypeExecTargetTmpl {
+public:
+
+    virtual ~ITypeExecTargetTmpl() { }
+
+    virtual const std::string &getTemplate() const = 0;
+
+    virtual void addReplacement(
+        int32_t             start,
+        int32_t             end,
+        vsc::dm::ITypeExpr  *expr) = 0;
+
+    virtual const std::vector<TypeExecTargetTmplReplacement> &getReplacements() const = 0;
+
+};
+
+} /* namespace dm */
+} /* namespace arl */
+} /* namespace zsp */
+
+

zsp_arl_dm/share/include/zsp/arl/dm/ITypeExprMethodCallContext.h

@@ -0,0 +1,45 @@
+/**
+ * ITypeExprMethodCallContext.h
+ *
+ * Copyright 2022 Matthew Ballance and Contributors
+ *
+ * Licensed 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.
+ *
+ * Created on:
+ *     Author: 
+ */
+#pragma once
+#include "zsp/arl/dm/ITypeExprMethodCallStatic.h"
+
+namespace zsp {
+namespace arl {
+namespace dm {
+
+class ITypeExprMethodCallContext;
+using ITypeExprMethodCallContextUP=std::unique_ptr<ITypeExprMethodCallContext>;
+class ITypeExprMethodCallContext : public virtual ITypeExprMethodCallStatic {
+public:
+
+    virtual ~ITypeExprMethodCallContext() { }
+
+    virtual vsc::dm::ITypeExpr *getContext() const = 0;
+
+    virtual vsc::dm::ITypeExpr *rlsContext() = 0;
+
+};
+
+} /* namespace dm */
+} /* namespace arl */
+} /* namespace zsp */
+
+

zsp_arl_dm/share/include/zsp/arl/dm/ITypeExprMethodCallStatic.h

@@ -0,0 +1,49 @@
+/**
+ * ITypeExprMethodCallStatic.h
+ *
+ * Copyright 2022 Matthew Ballance and Contributors
+ *
+ * Licensed 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.
+ *
+ * Created on:
+ *     Author: 
+ */
+#pragma once
+#include <vector>
+#include "vsc/dm/ITypeExpr.h"
+#include "zsp/arl/dm/IDataTypeFunction.h"
+
+namespace zsp {
+namespace arl {
+namespace dm {
+
+class ITypeExprMethodCallStatic;
+using ITypeExprMethodCallStaticUP=vsc::dm::UP<ITypeExprMethodCallStatic>;
+class ITypeExprMethodCallStatic : public virtual vsc::dm::ITypeExpr {
+public:
+
+    virtual ~ITypeExprMethodCallStatic() { }
+
+    virtual IDataTypeFunction *getTarget() const = 0;
+
+    virtual const std::vector<vsc::dm::ITypeExprUP> &getParameters() const = 0;
+
+    virtual std::vector<vsc::dm::ITypeExprUP> &getParameters() = 0;
+
+};
+
+} /* namespace dm */
+} /* namespace arl */
+} /* namespace zsp */
+
+

zsp_arl_dm/share/include/zsp/arl/dm/ITypeExprPureCompMethodCall.h

@@ -0,0 +1,50 @@
+/**
+ * ITypeExprPureCompMethodCall.h
+ *
+ * Copyright 2022 Matthew Ballance and Contributors
+ *
+ * Licensed 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.
+ *
+ * Created on:
+ *     Author: 
+ */
+#pragma once
+
+namespace zsp {
+namespace arl {
+namespace dm {
+
+
+
+class ITypeExprPureCompMethodCall {
+public:
+
+    virtual ~ITypeExprPureCompMethodCall() { }
+
+    // TODO: type path to pure-comp field
+    // Note: the pure-comp root type can be inferred from this
+
+    // TODO: path through pure-comp hierarchy
+    // Note: this will be empty if the method call is on the root field
+
+    // TODO: method index
+
+    // TODO: method parameters
+
+};
+
+} /* namespace dm */
+} /* namespace arl */
+} /* namespace zsp */
+
+

zsp_arl_dm/share/include/zsp/arl/dm/ITypeExprPyImportRef.h

@@ -0,0 +1,44 @@
+/**
+ * ITypeExprPyImportRef.h
+ *
+ * Copyright 2023 Matthew Ballance and Contributors
+ *
+ * Licensed 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.
+ *
+ * Created on:
+ *     Author: 
+ */
+#pragma once
+#include "vsc/dm/ITypeExpr.h"
+#include "zsp/arl/dm/IPyImport.h"
+
+namespace zsp {
+namespace arl {
+namespace dm {
+
+
+
+class ITypeExprPyImportRef : public virtual vsc::dm::ITypeExpr {
+public:
+
+    virtual ~ITypeExprPyImportRef() { }
+
+    virtual IPyImport *getImport() = 0;
+
+};
+
+} /* namespace dm */
+} /* namespace arl */
+} /* namespace zsp */
+
+

zsp_arl_dm/share/include/zsp/arl/dm/ITypeExprPythonFieldRef.h

@@ -0,0 +1,47 @@
+/**
+ * ITypeExprPythonFieldRef.h
+ *
+ * Copyright 2023 Matthew Ballance and Contributors
+ *
+ * Licensed 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.
+ *
+ * Created on:
+ *     Author: 
+ */
+#pragma once
+#include <string>
+#include "vsc/dm/ITypeExpr.h"
+
+namespace zsp {
+namespace arl {
+namespace dm {
+
+
+
+class ITypeExprPythonFieldRef : public virtual vsc::dm::ITypeExpr {
+public:
+
+    virtual ~ITypeExprPythonFieldRef() { }
+
+    virtual vsc::dm::ITypeExpr *getBase() const = 0;
+
+    virtual const std::string &getName() const = 0;
+
+
+};
+
+} /* namespace dm */
+} /* namespace arl */
+} /* namespace zsp */
+
+

zsp_arl_dm/share/include/zsp/arl/dm/ITypeExprPythonMethodCall.h

@@ -0,0 +1,47 @@
+/**
+ * ITypeExprPythonMethodCall.h
+ *
+ * Copyright 2023 Matthew Ballance and Contributors
+ *
+ * Licensed 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.
+ *
+ * Created on:
+ *     Author: 
+ */
+#pragma once
+#include <vector>
+#include "vsc/dm/ITypeExpr.h"
+#include "zsp/arl/dm/ITypeExprPythonFieldRef.h"
+
+namespace zsp {
+namespace arl {
+namespace dm {
+
+
+
+class ITypeExprPythonMethodCall : public virtual vsc::dm::ITypeExpr {
+public:
+
+    virtual ~ITypeExprPythonMethodCall() { }
+
+    virtual vsc::dm::ITypeExpr *getBase() const = 0;
+
+    virtual const std::vector<vsc::dm::ITypeExprUP> &getParameters() const = 0;
+
+};
+
+} /* namespace dm */
+} /* namespace arl */
+} /* namespace zsp */
+
+

zsp_arl_dm/share/include/zsp/arl/dm/ITypeExprPythonModuleRef.h

@@ -0,0 +1,45 @@
+/**
+ * ITypeExprPythonModuleRef.h
+ *
+ * Copyright 2023 Matthew Ballance and Contributors
+ *
+ * Licensed 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.
+ *
+ * Created on:
+ *     Author: 
+ */
+#pragma once
+#include "vsc/dm/ITypeExpr.h"
+#include "zsp/arl/dm/IPyImport.h"
+
+namespace zsp {
+namespace arl {
+namespace dm {
+
+
+
+class ITypeExprPythonModuleRef : public virtual vsc::dm::ITypeExpr {
+public:
+
+    virtual ~ITypeExprPythonModuleRef() { }
+
+    virtual IPyImport *getImport() const = 0;
+
+
+};
+
+} /* namespace dm */
+} /* namespace arl */
+} /* namespace zsp */
+
+

zsp_arl_dm/share/include/zsp/arl/dm/ITypeExprPythonSubscript.h

@@ -0,0 +1,40 @@
+/**
+ * ITypeExprPythonSubscript.h
+ *
+ * Copyright 2023 Matthew Ballance and Contributors
+ *
+ * Licensed 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.
+ *
+ * Created on:
+ *     Author: 
+ */
+#pragma once
+
+namespace zsp {
+namespace arl {
+namespace dm {
+
+
+
+class ITypeExprPythonSubscript {
+public:
+
+    virtual ~ITypeExprPythonSubscript() { }
+
+};
+
+} /* namespace dm */
+} /* namespace arl */
+} /* namespace zsp */
+
+

zsp_arl_dm/share/include/zsp/arl/dm/ITypeFieldActivity.h

@@ -0,0 +1,32 @@
+/*
+ * ITypeFieldActivity.h
+ *
+ *  Created on: Jun 17, 2022
+ *      Author: mballance
+ */
+
+#pragma once
+#include "vsc/dm/IModelBuildContext.h"
+#include "vsc/dm/ITypeField.h"
+
+namespace zsp {
+namespace arl {
+namespace dm {
+
+
+class IModelActivity;
+
+class ITypeFieldActivity;
+using ITypeFieldActivityUP=vsc::dm::UP<ITypeFieldActivity>;
+class ITypeFieldActivity : public virtual vsc::dm::ITypeField {
+public:
+
+	virtual ~ITypeFieldActivity() { }
+
+	virtual IModelActivity *mkActivity(vsc::dm::IModelBuildContext *ctxt) = 0;
+
+};
+
+}
+}
+}

zsp_arl_dm/share/include/zsp/arl/dm/ITypeFieldAddrClaim.h

@@ -0,0 +1,52 @@
+/**
+ * ITypeFieldAddrClaim.h
+ *
+ * Copyright 2023 Matthew Ballance and Contributors
+ *
+ * Licensed 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.
+ *
+ * Created on:
+ *     Author: 
+ */
+#pragma once
+#include "vsc/dm/ITypeField.h"
+#include "zsp/arl/dm/IDataTypeArlStruct.h"
+
+namespace zsp {
+namespace arl {
+namespace dm {
+
+/**
+ * @brief 
+ *
+ * Assume field data-type defines the following fields in the following order:
+ * - size
+ * - permanent
+ * - trait
+ * - alignment 
+ */
+
+class ITypeFieldAddrClaim : public virtual vsc::dm::ITypeField {
+public:
+
+    virtual ~ITypeFieldAddrClaim() { }
+
+    virtual vsc::dm::IDataTypeStruct *getTraitType() = 0;
+
+};
+
+} /* namespace dm */
+} /* namespace arl */
+} /* namespace zsp */
+
+