Merge pull request #975 from thk123/feature/access-methods-on-code-type

Adding accessors for the access properties

Author: Daniel Kroening

src/util/std_types.h

@@ -866,6 +866,16 @@ class code_typet:public typet
     set(ID_C_inlined, value);
   }
 
+  const irep_idt &get_access() const
+  {
+    return get(ID_access);
+  }
+
+  void set_access(const irep_idt &access)
+  {
+    return set(ID_access, access);
+  }
+
   // this produces the list of parameter identifiers
   std::vector<irep_idt> parameter_identifiers() const
   {