2017-02-23 21:06:49 +03:00
|
|
|
(Program
|
|
|
|
(Module
|
|
|
|
(Identifier))
|
2017-11-02 03:05:47 +03:00
|
|
|
(Function
|
|
|
|
(Empty)
|
|
|
|
(Identifier)
|
2017-11-10 04:01:19 +03:00
|
|
|
([])
|
2017-11-15 01:04:06 +03:00
|
|
|
(
|
|
|
|
(Select
|
|
|
|
(
|
|
|
|
(Pattern
|
|
|
|
(Receive
|
|
|
|
{ (Identifier)
|
|
|
|
->(Identifier) }
|
2017-11-29 23:54:28 +03:00
|
|
|
(ReceiveOperator
|
|
|
|
(Identifier)))
|
2017-11-15 01:04:06 +03:00
|
|
|
(Call
|
|
|
|
(Identifier)
|
|
|
|
(Identifier)
|
|
|
|
(Empty)))
|
|
|
|
(Pattern
|
|
|
|
(Send
|
|
|
|
{ (Identifier)
|
|
|
|
->(Identifier) }
|
|
|
|
(Identifier))
|
|
|
|
(Call
|
|
|
|
(Identifier)
|
|
|
|
(Integer)
|
|
|
|
(Empty)))
|
|
|
|
(Pattern
|
|
|
|
(Receive
|
|
|
|
(Empty)
|
2017-11-29 23:54:28 +03:00
|
|
|
(ReceiveOperator
|
|
|
|
(Call
|
|
|
|
(MemberAccess
|
|
|
|
(Identifier)
|
|
|
|
(Identifier))
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) }
|
|
|
|
(Empty))))
|
2017-11-15 21:10:14 +03:00
|
|
|
(
|
|
|
|
(Call
|
|
|
|
(Identifier)
|
|
|
|
(Integer)
|
|
|
|
(Empty))
|
|
|
|
{+(PostIncrement
|
|
|
|
{+(Identifier)+})+}
|
|
|
|
{+(If
|
|
|
|
{+(
|
|
|
|
{+(Identifier)+})+}
|
|
|
|
{+(
|
|
|
|
{+(Send
|
|
|
|
{+(Identifier)+}
|
|
|
|
{+(Composite
|
|
|
|
{+(Identifier)+}
|
|
|
|
{+(
|
|
|
|
{+(Identifier)+}
|
|
|
|
{+(Identifier)+})+})+})+}
|
|
|
|
{+(Return
|
|
|
|
{+(Empty)+})+})+}
|
|
|
|
{+(Empty)+})+}
|
|
|
|
{-(PostDecrement
|
|
|
|
{-(Identifier)-})-}
|
|
|
|
{-(If
|
|
|
|
{-(
|
|
|
|
{-(Identifier)-})-}
|
|
|
|
{-(
|
|
|
|
{-(Send
|
|
|
|
{-(Identifier)-}
|
|
|
|
{-(Composite
|
|
|
|
{-(Identifier)-}
|
|
|
|
{-(
|
|
|
|
{-(Identifier)-}
|
|
|
|
{-(Identifier)-})-})-})-}
|
|
|
|
{-(Return
|
|
|
|
{-(Empty)-})-})-}
|
|
|
|
{-(Empty)-})-}))
|
2017-11-15 01:04:06 +03:00
|
|
|
(Pattern
|
|
|
|
(DefaultPattern
|
|
|
|
([]))
|
|
|
|
(Return
|
|
|
|
(Empty)))))
|
|
|
|
(Select
|
|
|
|
(
|
|
|
|
(Pattern
|
2017-11-07 22:20:25 +03:00
|
|
|
(Receive
|
|
|
|
(Empty)
|
2017-11-29 23:54:28 +03:00
|
|
|
(ReceiveOperator
|
|
|
|
{ (Identifier)
|
|
|
|
->(Identifier) }))
|
2017-11-15 21:10:14 +03:00
|
|
|
([]))
|
2017-11-15 01:04:06 +03:00
|
|
|
(Pattern
|
2017-11-07 22:20:25 +03:00
|
|
|
(Receive
|
|
|
|
(Empty)
|
2017-11-29 23:54:28 +03:00
|
|
|
(ReceiveOperator
|
|
|
|
(Identifier)))
|
2017-11-15 21:10:14 +03:00
|
|
|
([]))
|
2017-11-15 01:04:06 +03:00
|
|
|
{-(Pattern
|
|
|
|
{-(DefaultPattern
|
|
|
|
{-([])-})-}
|
2017-11-15 21:10:14 +03:00
|
|
|
{-([])-})-})))))
|