package frama-c-metacsl
MetAcsl plugin of Frama-C for writing pervasives properties
Install
Dune Dependency
Authors
Maintainers
Sources
meta-0.6.tar.bz2
md5=2b453b80f85c7b358afda6a9e3c72d26
sha512=2039616a471d0d9ecc7bc0531bc7a07bc7f91e8f48e8caecbab09bf41570f2445ae0c3e4b6e19390e0e338708886acf42c891ece7cf6df6d9e98323b4fc122b1
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)"
>