cepsdev/ceps

Turn your spec right side up again. ceps = rev(spec)

ceps's Issues

Implement [] (INDEXOP)

Grammar already supports it, though no (fragment) AST is produced.

...

| expr '[' expr ']' %prec INDEXOP

...

found in ceps.y.

$ cat > test.ceps
AT(*)["ghgh"];^D
$ ceps test.ceps --pe
(FUNC_CALL
(ID "AT"
)
(CALL_PARAMETERS
(OPERATOR * ""
(ID ""
)
(ID ""
)
)
)
)

Should be:

(OPERATOR I"INDEXOP"
(
(FUNC_CALL
(ID "AT"
)
(CALL_PARAMETERS
(OPERATOR * ""
(ID ""
)
(ID ""
)
)
)
))
( STRING "ghgh")
)

incoming and outgoing event information in the output from extract_events_transitively_and_group.ceps

Ceps file version: 0.8.1

Currently, extract_events_transitively_and_group.ceps only traverses transitions to extract events within ceps. It would be nice to have it also extract the event information from outside the transitions (like from actions) so that we can then assign directions in the output json.

For example:

Current output:
{
  "components":
 [
    {"name":"S1", "events":["E1","E2"]},
    {"name":"S2", "events":["E3","E4","E5"]}
 ]
}

Could contain additional info like:

{
  "components":
 [
    {"name":"S1", "in_events":["E1","E2"], "out_events":["E3", "E4"]},
    {"name":"S2", "in_events":["E3","E4","E5"], "out_events":["E1", "E2"]}
 ]
}