Merge pull request #32 from elkoDev/develop

Merge develop into main

Author: elkoDev

language/README.md

@@ -23,6 +23,7 @@ vsce package
 ```
 
 ### 1.4 Publish CLI
+
 NOTE: Previous versions have been published under the name `bcs-engineering-dsl` on my personal npm account. To avoid confusion, you might want to publish under a different name.
 
 ```bash
@@ -75,3 +76,14 @@ In addition to the standard libraries provided by Beckhoff, the following librar
 - `Tc3_DALI`: Please note that this library integration is not fully tested.
 
 ## 4 Future Work
+- Add support for more target platforms (e.g., Siemens, Codesys)
+- Add and test support for more bus systems (e.g., EtherCAT, Profinet)
+- Add a more sophisticated module system (e.g., support multiple files, packages, imports, etc.)
+- Support structs of structs
+- Support not only statefull FBs, but also stateless functions
+- Support FB properties (besides inputs, outputs, locals, and logic)
+- Support better scoping e.g. true block scoping for variables
+- Support UseStmt within FB logic
+- Look into debugging DSLs
+- Look into moving the framework to a web-based solution (both the DSL and the deployment tool)
+- Look into graphical modeling

language/bcs-engineering-dsl-0.0.24.vsix language/bcs-engineering-dsl-0.0.25.vsixlanguage/bcs-engineering-dsl-0.0.24.vsix renamed to language/bcs-engineering-dsl-0.0.25.vsix

@@ -118,13 +118,13 @@ control EtherCATController {
     }
     unit AdjustLightLevelByMode {
         switch (mode){
-            case OperatingMode.COMFORT: {
+            case OperatingMode.COMFORT {
                 lightLevel = 100;
             }
-            case OperatingMode.ECO: {
+            case OperatingMode.ECO {
                 lightLevel = 50;
             }
-            default: {
+            default {
                 lightLevel = 0;
             }
         }

language/example/etherCAT/control.bcsctrl

@@ -87,7 +87,7 @@ control ExhaustiveController {
         var extractedBool: BOOL = arr1[2];
         var extractedInt: INT = arr2[3];
         var extractedReal: REAL = arr3[4];
-        var extractedBoolArray: BOOL[5] = arr4[2];
+        var extractedBoolArray: BOOL[5] = arr4[2];              // Note: not supported in generator
         var extractedBoolArrayElement: BOOL = arr4[2][3];
         var extractedMode: Mode = arr5[1];
 
@@ -100,8 +100,8 @@ control ExhaustiveController {
         arr2[0] = arr2[1] + arr2[2] - arr2[3] * arr2[4] / 2;
         arr3[0] = arr3[1] + arr3[2] - arr3[3] * arr3[4] / 2.0;
         arr4[0][0] = arr4[1][1] && arr4[2][2] || arr4[3][3] && arr4[4][4];
-        arr4[1] = [true, false, true, false, true];
-        arr4[1] = arr1;
+        arr4[1] = [true, false, true, false, true];            // Note: not supported in generator
+        arr4[1] = arr1;                                        // Note: not supported in generator
     }
 
     struct Rectangle {
@@ -149,7 +149,7 @@ control ExhaustiveController {
 
         // 6. Separate struct initialization after declaration
         var p: Point;
-        p = { x: 1.0, y: 2.0 };
+        p = { x: 1.0, y: 2.0 };                         // Note: not supported in generator
 
         // 7. Array element accessed and modified
         var tempX: REAL;
@@ -160,7 +160,7 @@ control ExhaustiveController {
         // 8. Valid reassignment of structs
         var c1: Circle = { radius: 5.0 };
         var c2: Circle;
-        c2 = { radius: 10.0 };
+        c2 = { radius: 10.0 };                         // Note: not supported in generator
         var newRadius: REAL = c2.radius;
     }
 

language/example/exhaustive/exhaustive_control.bcsctrl

@@ -1,5 +1,5 @@
 {
-  "version": "0.0.24",
+  "version": "0.0.25",
   "name": "bcs-engineering-dsl",
   "displayName": "BCS Engineering DSL",
   "icon": "icon.png",

language/package.json

@@ -200,11 +200,11 @@ SwitchStmt:
 ;
 
 CaseOption:
-    'case' (literals+=CaseLiteral (',' literals+=CaseLiteral)*) ':' Block
+    'case' (literals+=CaseLiteral (',' literals+=CaseLiteral)*) Block
 ;
 
 DefaultOption:
-    'default' ':' Block
+    'default'  Block
 ;
 
 ExpressionStmt:

language/railroad/svg/bcs-control/CaseOption.svg

@@ -58,7 +58,7 @@ Bus:
 
 Box:
     'box' name=ID '{'
-        'product:' product=ID           // e.g. EK1100, CU1128
+        'product:' product=ID               // e.g. EK1100, CU1128
         ('revision:' rev=StringLiteral)?    // optional explicit rev
         modules+=Module*
     '}'
@@ -74,7 +74,7 @@ Module:
 
 NetworkSettings:
     'network' '{'        
-        'hostname:' hostname=StringLiteral          // e.g. "CX-301714"
+        'hostname:' hostname=StringLiteral      // e.g. "CX-301714"
         'ipAddress:' ipAddress=StringLiteral    // e.g. "192.168.1.100" TODO: IPLiteral
     '}'
 ;

language/railroad/svg/bcs-control/DefaultOption.svg

@@ -577,9 +577,9 @@ export class TypeInferenceUtils {
     accept: ValidationAcceptor,
     expr: any
   ): string | undefined {
-    const numericTypes = ["INT", "REAL"];
+    const numericTypes = new Set(["INT", "REAL"]);
 
-    if (!numericTypes.includes(left) || !numericTypes.includes(right)) {
+    if (!numericTypes.has(left) || !numericTypes.has(right)) {
       accept(
         "error",
         `Arithmetic operator '${op}' requires numeric operands, but got '${left}' and '${right}'.`,
@@ -588,11 +588,11 @@ export class TypeInferenceUtils {
       return undefined;
     }
 
-    // If either operand is REAL, result is REAL
-    if (left === "REAL" || right === "REAL") {
-      return "REAL";
+    // If either operand is INT, result is INT
+    if (left === "INT" || right === "INT") {
+      return "INT";
     }
 
-    return "INT";
+    return "REAL";
   }
 }