Frama-C API - pattern
never fails
method get_after : ?offset:int -> int -> string
get_after ~offset:p k
returns the end of the message starting p
characters after the end of group k
.
method get_string : int -> string
method get_int : int -> int
method get_float : int -> float