package frama-c-metacsl
MetAcsl plugin of Frama-C for writing pervasives properties
Install
Dune Dependency
Authors
Maintainers
Sources
meta-0.8.tar.bz2
md5=4c81c37cc65898021413579c542018f5
sha512=7bb1299fcddf005dae63ab334e83e890f50b0cf67d0ad842d0536584d0b911cdbaef6771d748e280651f8597c4719f175fe64b5250d80e1fd288125dea233635
doc/src/frama-c-metacsl.core/meta_utils.ml.html
Source file meta_utils.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37
(**************************************************************************) (* *) (* This file is part of the Frama-C's MetACSL plug-in. *) (* *) (* Copyright (C) 2018-2024 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) (* you can redistribute it and/or modify it under the terms of the GNU *) (* Lesser General Public License as published by the Free Software *) (* Foundation, version 2.1. *) (* *) (* It is distributed in the hope that it will be useful, *) (* but WITHOUT ANY WARRANTY; without even the implied warranty of *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) (* GNU Lesser General Public License for more details. *) (* *) (* See the GNU Lesser General Public License version 2.1 *) (* for more details (enclosed in the file LICENSE) *) (* *) (**************************************************************************) module StrSet = Datatype.String.Set module Str_Hashtbl = Datatype.String.Hashtbl module Stmt_Hashtbl = Cil_datatype.Stmt.Hashtbl module Fundec_Hashtbl = Cil_datatype.Fundec.Hashtbl module Fundec_Set = Cil_datatype.Fundec.Set let find_hash_list find_opt table key = match find_opt table key with | Some l -> l | None -> [] (* In a hashtable mapping key to lists of values, adds v to that list *) let add_to_hash_list (find_opt, replace) table key v = let old_list = find_hash_list find_opt table key in replace table key (v :: old_list)
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>