dfsm: Use type annotations to give integer types
authorPhilip Withnall <philip@tecnocode.co.uk>
Mon, 19 Mar 2012 16:16:58 +0000 (16:16 +0000)
committerPhilip Withnall <philip@tecnocode.co.uk>
Mon, 19 Mar 2012 16:16:58 +0000 (16:16 +0000)
commitc2e3fe3dec8b11cb2d7fce72474ba536da94799a
tree48edf4263bf3cda59b0c678b46d730c12aade66d
parentf09298988bd39da42c231d5e737ecade58e083b5
dfsm: Use type annotations to give integer types

This removes the ugly postfix syntax for specifying the types of integers,
and uses type annotations instead. This is much more like the GVariant text
format, in that all unannotated integers are presumed to be int32s, and
annotations are used otherwise to specify numeric types.

The only differences now are that libdfsm doesn't support:
 • Full-length type annotations (e.g. ‘uint32 5’ vs. ‘@u 5’)
 • Type inference from surrounding types (e.g. ‘@au [5]’)
15 files changed:
dfsm/dfsm-ast-data-structure.c
dfsm/dfsm-ast-data-structure.h
dfsm/dfsm-bison.y
dfsm/dfsm-flex.l
dfsm/dfsm-parser-internal.h
dfsm/docs/reference/dfsm-sections.txt
dfsm/tests/ast.c
dfsm/tests/fuzzing.c
dfsm/tests/simple-test.machine
dfsm/tests/simple-test.xml
dfsm/tests/simulation.c
machines/eds-address-book.machine
machines/eds-address-book_full.machine
machines/telepathy-cm.machine
machines/telepathy-cm_full.machine