Frama-C API - Heterogeneous_table

• since Carbon-20101201

Type of heterogeneous (hash)tables indexed by values of type Key.t. Type values ensure type safety.

create n creates a new table of initial size n.

add tbl s ty v binds s to the value v in the table tbl. If the returned value is a closure whose the type of one of its argument was dynamically registered, then it may raise Incompatible_Type.

• raises AlreadyExists

  if s is already bound in tbl.

find tbl s ty returns the binding of s in the table tbl.

• raises Unbound_value

  if s is not bound in tbl.

• raises Incompatible_Type

  if ty was not the type value used to add the binding of s in tbl.

• since Oxygen-20120901

• since Fluorine-20130401