--- layout: fc_discuss_archives title: Message 68 from Frama-C-discuss on September 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Problem between Project change and modifying Ast information through visitors



Hi

I'm trying to update some information of the ast using the visitors provided in the Frama-C API.
I followed the exemple of the plugin dev manual without success.

My goal is just to update the value of the mutable annotation status.

class status_update_visitor = object ( self )
  inherit Visitor.frama_c_inplace

  method vcode_annot annot =
	match annot.annot_content with
	    | AAssert (_,_,annot_status) -> annot_status.status <- a_new_value_for_this_status
	    | _ -> Self.fatal "Found a code annotation that is not an assert"
	Cil.DoChildren
end

I use two different projects. The call of this visitor works and modify the Ast. However if I change to the second project
	Project.set_current prj2
the modification disappear. The problem is that going back to the first project doesn't solve the problem.

How could I keep this information, either available to all project or at least in one of them ?


pl
-- 
Pierre-Lo?c Garoche
pierre-loic.garoche at onera.fr
http://www.onera.fr/staff/pierre-loic-garoche/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 197 bytes
Desc: Digital signature
Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090925/0a888a92/attachment.pgp