Skip to content

Commit

Permalink
Store SAVE attribute with OMNI+OFP (fix #164)
Browse files Browse the repository at this point in the history
  • Loading branch information
reuterbal committed Oct 6, 2023
1 parent fe25d74 commit 6bc5d8e
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 0 deletions.
4 changes: 4 additions & 0 deletions loki/frontend/ofp.py
Original file line number Diff line number Diff line change
Expand Up @@ -917,6 +917,10 @@ def visit_declaration(self, o, **kwargs):
target = self.visit(o.find('attribute-target'), **kwargs)
attrs.update((target,))

if o.find('attribute-save') is not None:
save = self.visit(o.find('attribute-save'), **kwargs)
attrs.update((save,))

if o.find('access-spec') is not None:
access_spec = self.visit(o.find('access-spec'), **kwargs)
attrs.update((access_spec,))
Expand Down
2 changes: 2 additions & 0 deletions loki/frontend/omni.py
Original file line number Diff line number Diff line change
Expand Up @@ -830,6 +830,8 @@ def visit_FbasicType(self, o, **kwargs):
_type.private = True
if o.get('is_public') == 'true':
_type.public = True
if o.get('is_save') == 'true':
_type.save = True
return _type

def visit_FfunctionType(self, o, **kwargs):
Expand Down

0 comments on commit 6bc5d8e

Please sign in to comment.