Skip to content

Commit

Permalink
StreamExpressions Docu
Browse files Browse the repository at this point in the history
  • Loading branch information
SE-FDr committed Dec 6, 2024
1 parent f300c12 commit cb80b0b
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 0 deletions.
6 changes: 6 additions & 0 deletions monticore-grammar/src/main/grammars/de/monticore/Grammars.md
Original file line number Diff line number Diff line change
Expand Up @@ -244,6 +244,7 @@ Some snipets for operators defined in expressions:
Set{.|.}
SetExp: .isin. .in. union intersect setand setor
{ item | specifier }
StreamExp: <.> .:. Tick:. Abs:.
OptionalOps: ?: ?<= ?>= ?< ?> ?== ?!= ?~~ ?!~
LambdaExp: i->2*i (a,b)->a+b
TupleExp: (.,.) (.,.,.,.)
Expand Down Expand Up @@ -299,6 +300,11 @@ as they allow math oriented style of specification.
so it might be interesting to include them in a high level programming
language (see e.g. Haskell)

### [SetExpressions.mc4](expressions/StreamExpressions.mc4) (stable)
* This grammar defines stream expressions like to create and concat streams,
as well as append elements to the front of the stream.
* Further operations on streams are offered by inclusion of
corresponding symbols.

### [OptionalOperators.mc4](ocl/OptionalOperators.mc4) (stable)
* This grammar defines nine operators dealing with optional values, e.g.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -22,6 +22,8 @@ with common expressions like `+` and `-`.
with bit expressions like `&` or `<<`.
* [SetExpressions](../ocl/SetExpressions.mc4): Extends `ExpressionBasis`
with set expressions like `{a * a | a in b, a < 10}`.
* [StreamExpressions](../expressions/StreamExpressions.mc4):
Extends `CommonExpressions` with stream expressions like `1:Abs:<2,~,3>`.
* [LambdaExpressions](LambdaExpressions.mc4): Extends `ExpressionBasis`
with lambda expressions like `a -> a + 2`.
* [TupleExpressions](TupleExpressions.mc4): Extends `ExpressionBasis`
Expand Down

0 comments on commit cb80b0b

Please sign in to comment.