Commit 69453dd9 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Support "exist" operator in Ada backend

parent 04581b9e
......@@ -1584,6 +1584,16 @@ def _prim_call(prim):
ada_string += ('{}.Kind'.format(param_str))
elif ident == 'exist':
# User wants to know if an optional field is present or not
selector = params[0] # type PrimSelector
receiver = selector.value[0]
field = selector.value[1]
rec_stmt, rec_str, rec_decl = expression (receiver)
ada_string += '({rec}.exist.{field} = 1)'.format(rec = rec_str,
field = field)
elif ident == 'num':
# User wants to get an enumerated corresponding integer value
exp = params[0]
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment