Java_fact.extractorSourceinherit FB.extractor_baseval mutable package_name : L.nameval stack : Sourcecode.stackmethod scanner_body_before_subscan : Diffast_core.Spec.node_t ->
L.t ->
Diffast_core.Triple.node ->
unitmethod scanner_body_after_subscan : Diffast_core.Spec.node_t ->
L.t ->
Diffast_core.Triple.node ->
unit