Index of modules


A
Access_path
Analysis [Derefs]
Analysis [Outputs]
Analysis [Inputs]

B
Build [Kf_state]

C
Computer [Operational_inputs]
Context [Kf_state]
Build an internal state for inout context.
Cumulative_analysis
Implementation of a simple meta-analysis on top of the results of the value analysis.

D
Derefs

E
Externals [Derefs]
Externals [Outputs]
Externals [Inputs]
Externals [Operational_inputs]
Externals_With_Formals [Operational_inputs]

F
ForceAccessPath [Inout_parameters]
undocumented
ForceDeref [Inout_parameters]
ForceExternalOut [Inout_parameters]
ForceInout [Inout_parameters]
ForceInoutExternalWithFormals [Inout_parameters]
ForceInput [Inout_parameters]
ForceInputWithFormals [Inout_parameters]
ForceOut [Inout_parameters]

I
Inout_parameters
undocumented
Inout_type
Inputs
Internals [Operational_inputs]

K
Kf_state
Build an internal state for inputs, outputs and derefs.

M
Make [Cumulative_analysis]
Make [Kf_state]
Build an internal state for inputs, outputs and derefs.
Memo [Cumulative_analysis.Make]
Module that contains the memoized results

O
Operational_inputs
Outputs

R
Register

S
StmtStartData [Operational_inputs.Computer]

W
With_formals [Inputs]