damp.ekeko.soot.projectmodel documentation
current-soot-model
(current-soot-model)
Currently, there should only be one SootProjectModel as Soot itself
relies on global state internally.
disable-soot-nature!
(disable-soot-nature! project)
Disables Ekeko's Soot nature for the given project.
enable-soot-nature!
(enable-soot-nature! project)
Enables Ekeko's Soot nature on the given project.
Side effects: will start the whole-program analysis,
nature will be disabled for all other projects.
soot-project-models
(soot-project-models)
Returns all SootProjectModel instances that are to be queried.
Subset of (queried-project-models), which is itself
a subset of (all-project-models).
workspace-disable-soot!
(workspace-disable-soot!)
Disables Ekeko'Soot nature on all workspace projects.