package frama-c-metacsl
MetAcsl plugin of Frama-C for writing pervasives properties
Install
Dune Dependency
Authors
Maintainers
Sources
meta-0.5-beta.tar.bz2
md5=33be7f72b15f8c373f26b607717f3006
sha512=d8f72397ee9017ed321f0f7dc65103db7394616ddd22a35cf2b293bdccf26eabf4272efad9ba32b0a824e65b6cf661c148f893ad6e120de54b5ab5086b8c79e3
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-2023 *) (* 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)"
>