package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

Dune Dependency

frama-c.com Readme Edit opam file Versions (23)

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-29.0-Copper.tar.gz

sha256=d2fbb3b8d0ff83945872e9e6fa258e934a706360e698dae3b4d5f971addf7493

doc/frama-c.gui/Frama_c_gui/History/index.html

Module `Frama_c_gui.History`Source

since Nitrogen-20111001

Sourcetype history_elt =

| Global of Frama_c_kernel.Cil_types.global
| Localizable of Pretty_source.localizable

Sourceval is_empty : unit -> bool

Does the history contain an event.

Sourceval can_go_back : unit -> bool

Are there past events in the history.

Sourceval can_go_forward : unit -> bool

Are there events to redo in the history.

Sourceval back : unit -> unit

If possible, go back one step in the history.

Sourceval forward : unit -> unit

If possible (ie. if back has been called), go forward one step in the history.

Sourceval push : history_elt -> unit

Add the element to the current history; clears the forward history, and push the old current element to the past history.

Sourceval set_forward : history_elt list -> unit

Replaces the forward history with the given elements.

Sourceval get_current : unit -> history_elt option

return the current history point, if available

since Sodium-20150201

Sourceval show_current : unit -> unit

Redisplay the current history point, if available. Useful to refresh the gui.

Sourceval on_current_history : unit -> (unit -> unit) -> unit

on_current_history () returns a closure at such that at f will execute f in a context in which the history will be the one relevant when on_current_history was executed.

Sourceval selected_localizable : unit -> Pretty_source.localizable option

selected_localizable () returns the localizable currently selected, or None if nothing or an entire global is selected.

Sourceval translate_history_elt : history_elt -> history_elt option

try to translate the history_elt of one project to the current one

since Sodium-20150201

On This Page

Source code navigation history.