Index of modules


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

C
CallsiteHash [Operational_inputs]
Callwise [Operational_inputs]
CallwiseResults [Operational_inputs]
Computer [Operational_inputs]
Cumulative_analysis
Implementation of a simple meta-analysis on top of the results of the value analysis.

D
Derefs

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

F
ForceAccessPath [Inout_parameters]
ForceCallwiseInout [Inout_parameters]
ForceDeref [Inout_parameters]
ForceExternalOut [Inout_parameters]
ForceInout [Inout_parameters]
ForceInoutExternalWithFormals [Inout_parameters]
ForceInput [Inout_parameters]
ForceInputWithFormals [Inout_parameters]
ForceOut [Inout_parameters]
FunctionWise [Operational_inputs]

I
Inout_parameters
Inout_type
Pretty-print the fields over_inputs_if_termination, over_inputs and under_outputs_if_termination
Inputs
Internals [Operational_inputs]

M
Make [Cumulative_analysis]
MemExec [Operational_inputs.Callwise]
Memo [Cumulative_analysis.Make]
Module that contains the memoized results

O
Operational_inputs
Output [Inout_parameters]
Outputs

R
Register

S
ShouldOutput [Register]