ECAL - Event Condition Action Language -- ECAL is a language to create a rule based system which reacts to events. Events are handled by actions which are guarded by conditions: Event -> Condition -> Action The condition and action part are defined by rules called event sinks which are the core constructs of ECAL. Notation -- Source code is Unicode text encoded in UTF-8. Single language statements are separated by a semicolon or a newline. Constant values are usually enclosed in double quotes "" or single quotes '', both supporting escape sequences. Constant values can also be provided as raw strings prefixing a single or double quote with an 'r'. A raw string can contain any character including newlines and does not contain escape sequences. Blocks are denoted with curly brackets. Most language constructs (conditions, loops, etc.) are very similar to other languages. Scope and imports -- ECAL is a block scoped language. Everything in ECAL is defined as a symbol within a scope. Scopes form a composition structure in which a given scope can contain multiple inner scopes. Inner scopes can access symbols in outer scopes while outer scopes cannot access symbols defined in inner scopes. A symbol defined in an outer scope can be redefined within the boundaries of an inner scope without modifying the symbol of the outer scope. The widest scope is the global scope which contains all top-level definitions. Sinks, Functions and variables are possible symbols in a scope. ECAL has import statements which can import ECAL symbol definitions from another file into the current scope. All import locations are relative to the root directory from which all ECAL files are being parsed. It is not possible to import ECAL files relative to the directory of an importing ECAL file. Example: ``` import "foo/bar.ecal" as foobar foobar.doSomething() ``` Event Sinks -- Event sinks are the core constructs of ECAL which provide concurrency and the means to respond to events of an external system. Sinks provide ECAL with an interface to an [event condition action engine](engine.md) which coordinates the parallel execution of code. Sinks cannot be scoped into modules or objects and are usually declared at the top level. The have the following form: ``` sink "mysink" kindmatch [ foo.bar.* ], scopematch [ "data.read", "data.write" ], statematch { a : 1, b : NULL }, priority 0, suppresses [ "myothersink" ] { } ``` Sinks are should have unique names which identify them and the following attributes: Attribute | Description -|- kindmatch | Matching condition for event kind e.g. db.op.TableInsert. A list of strings in dot notation which describes event kinds. May contain `*` characters as wildcards. scopematch | Matching condition for event cascade scope e.g. db.dbRead db.dbWrite. A list of strings in dot notation which describe the scopes which are required for this sink to trigger. statematch | Match on event state: A simple map of required key / value states in the event state. `NULL` values can be used as wildcards (i.e. match is only on key). priority | Priority of the sink. Sinks of higher priority are executed first. The higher the number the lower the priority - 0 is the highest priority. suppresses | A list of sink names which should be suppressed if this sink is executed. Functions -- Functions define reusable pieces of code dedicated to perform a particular task based on a set of given input values. In ECAL functions are first-class citizens in that they can be assigned to variables, passed as arguments, immediately invoked or deferred for last execution. Each parameter can have a default value which is by default NULL. Example: ``` func myfunc(a, b, c=1) { } ``` Primitive values are passed by value, composition structures like maps and lists are passed by reference. Comments -- Comments are defined with `#` as single line comments and `/*` `*/` for multiline comments. Single line comments will comment all characters after the `#` until the next newline. ``` /* Multi line comment Some comment text */ # Single line comment a := 1 # Single line comment after a statement ``` Literal Values -- Literal values are used to initialize variables or as operands in expressions. Numbers can be expressed in all common notations: Formatting|Description -|- 123|Normal integer 123.456|With decimal point 1.234560e+02|Scientific notation Strings can be normal quoted stings which interpret backslash escape characters: ``` \a → U+0007 alert or bell \b → U+0008 backspace \f → U+000C form feed \n → U+000A line feed or newline \r → U+000D carriage return \t → U+0009 horizontal tab \v → U+000b vertical tab \\ → U+005c backslash \" → U+0022 double quote \uhhhh → a Unicode character whose codepoint can be expressed in 4 hexadecimal digits. (pad 0 in front) ``` Normal quoted strings also interpret inline expressions escaped with `{}`: ``` "Foo bar {1+2}" ``` Inline expression may also specify number formatting: ``` "Foo bar {1+2}.2f" ``` Formatting|Description -|- {}.f|With decimal point full precision {}.3f|Decimal point with precision 3 {}.5w3f|5 Width with decimal point with precision 3 {}.e|Scientific notation Strings can also be expressed in raw form which will not interpret any escape characters. ``` r"Foo bar {1+2}" ``` Expression|Value -|- `"foo'bar"`| `foo'bar` `'foo"bar'`| `foo"bar` `'foo\u0028bar'`| `foo(bar` `"foo\u0028bar"`| `foo(bar` `"Foo bar {1+2}"`| `Foo bar 3` `r"Foo bar {1+2}"`| `Foo bar {1+2}` Variable Assignments -- A variable is a storage bucket for holding a value. Variables can hold primitive values (strings and numbers) or composition structures like an array or a map. Variables names can only contain [a-zA-Z] and [a-zA-Z0-9] from the second character. A variable is assigned with the assign operator ':=' ``` a := 1 b := "test" c := [1,2,3] d := {1:2,3:4} ``` Multi-assignments are possible using lists: ``` [a, b] := [1, 2] ``` Expressions -- Variables and constants can be combined with operators to form expressions. Boolean expressions can also be formed with variables: ``` a := 1 + 2 * 5 b := a > 10 c := a == 11 d := false or c ``` Operators -- The following operators are available: Boolean: `and`, `or`, `not`, `>`, `>=`, `<`, `<=`, `==`, `!=` Arithmetic: `+`, `-`, `*`, `/`, `//` (integer division), `%` (integer modulo) String: Operator|Description|Example -|-|- like|Regex match|`"Hans" like "H??s"` hasPrefix|prefix match|`"Hans" hasPrefix "Ha"` hasSuffix|suffix match|`"Hans" hasSuffix "ns"` List: Operator|Description|Example -|-|- in|Item is in list|`6 in [1, 6, 7]` notin|Item is not in list|`6 notin [1, 6, 7]` Composition structures access -- Composition structures like lists and maps can be accessed with access operators: Structure|Accessor|Description -|-|- List|variable[index]|Access the n-th element starting from 0. Map|variable[field]|Access a map Map|variable.field|Access a map (field name can only contain [a-zA-Z] and [a-zA-Z0-9] from the second character) ``` a := [1, 2, 3] b := a[1] # B has the value 2 c := { "foo" : 2 } d := c["foo"] e := c.foo ``` Object-oriented programming structures -------------------------------------- ECAL supports Object-oriented programming by providing the concept of objects containing data as properties and code in the form of methods. Methods can access properties of their object by using the variable `this`. Objects can be initialized with a constructor. Objects can inherit data and properties from each other. Multiple inheritance is allowed. Constructors of super map structures can be called by using the `super` function list variable available to the constructor of an object. Operator|Description -|-|- new|In-build function to instantiate a map structure into an object super|Property with a list value containing all super map structures and constructor method variable which contains a list of all super map structure constructors init|Attribute with a constructor function as value - this function can use the variable `super` to access constructors of super map structures this|Method variable containing the instantiated object Example: ``` Bar := { ... } Foo := { "super" : [ Bar ] # Object IDs # "id" : 0 "idx" : 0 # Constructor # "init" : func(id) { super[0]() this.id := id } # Return the object ID # "getId" : func() { return this.idx } # Set the object ID # "setId" : func(id) { this.idx := id } } FooObject := new(Foo, 123) FooObject.setId(500) result := FooObject.getId() + FooObject.id # 623 ``` Loop statements --------------- All loops are defined as a 'for' block statement. Counting loops are defined with the 'range' function. The following code iterates from 2 until 10 in steps of 2: ``` for a in range(2, 10, 2) { } ``` Conditional loops are using a condition after the for statement: ``` for a > 0 { } ``` It is possible to loop over lists and even have multiple assignments: ``` for [a, b] in [[1, 1], [2, 2], [3, 3]] { } ``` or ``` x := { "c" : 0, "a" : 2, "b" : 4} for [a, b] in x { } ``` Conditional statements ---------------------- The "if" statement specifies the conditional execution of multiple branches based on defined conditions: ``` if a == 1 { a := a + 1 } elif a == 2 { a := a + 2 } else { a := 99 } ``` Build-in Functions -- ECAL has a number of function which are build-in that are always available: #### `range([start], end, [step]) : ` Range function which can be used to iterate over number ranges. The parameters start and step are optional. Parameter | Description -|- start | Start of the number range (first returned number) end | End of the range (last returned number within step) step | Difference between each number (can be negative) Example: ``` for i in range(10, 2, -2) { ... } ``` #### `len(listormap) : number` Len returns the size of a list or map. Parameter | Description -|- listormap | A list or a map Example: ``` len([1,2,3]) ``` #### `del(listormap, indexorkey) : listormap` Del removes an item from a list or map. Parameter | Description -|- listormap | A list or a map indexorkey | The index of a list or key of a map which should be removed Example: ``` del([1,2,3], 1) ``` #### `add(list, value, [index]) : list` Add adds an item to a list. The item is added at the optionally given index or at the end if no index is specified. Parameter | Description -|- list | A list value | The value which should be added to the list index | The index at which the item should be added Example: ``` add([1,2,3], 1, 0) ``` #### `concat(list1, list2, [listn ...]) : list` Joins one or more lists together. The result is a new list. Parameter | Description -|- list1 ... n | Lists to join Example: ``` concat([1,2,3], [4,5,6], [7,8,9]) ``` Stdlib Functions -- ECAL contains a bridge to Go functions which allows some Go functions to be used as standard library (stdlib) functions. Stdlib functions should be called using the corresponding Go Module and function or constant name. Example: ``` fmt.Sprint(math.Pi) ```