Index
| actualCallables | Callable |
| actualEdges | Cfg |
| actualNodes | Cfg |
| actualSrcVariables | Bitcode |
| actualTmpVariables | Bitcode |
| actualVariables | Bitcode |
| Annotation | |
| 1 (Type/Class) | Callable |
| 2 (Data Constructor) | Callable |
| annotationConstantStrings | Callable |
| annotationFqn | Callable |
| any | Fqn |
| Arg | Bitcode |
| ArgContent | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| args | Bitcode |
| argVariableFqn | Bitcode |
| argVariableMyAwesomeCallContext | Bitcode |
| argVariableSerialIdx | Bitcode |
| Assign | Bitcode |
| AssignContent | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| assignInput | Bitcode |
| assignOutput | Bitcode |
| Assume | Bitcode |
| AssumeContent | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| assumedValue | Bitcode |
| assumeVariable | Bitcode |
| atom | Cfg |
| Binop | Bitcode |
| BinopContent | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| binopLhs | Bitcode |
| binopOutput | Bitcode |
| binopRhs | Bitcode |
| BoolContent | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| Call | Bitcode |
| Callable | Callable |
| Callables | |
| 1 (Type/Class) | Callable |
| 2 (Data Constructor) | Callable |
| CallContent | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| callee | Bitcode |
| callLocation | Bitcode |
| callOutput | Bitcode |
| Cfg | |
| 1 (Type/Class) | Cfg |
| 2 (Data Constructor) | Cfg |
| concat | Cfg |
| content | Fqn |
| createEmptyCollectionOfGlobalVariables | Bitcode |
| Edge | |
| 1 (Type/Class) | Cfg |
| 2 (Data Constructor) | Cfg |
| Edges | |
| 1 (Type/Class) | Cfg |
| 2 (Data Constructor) | Cfg |
| edges | Cfg |
| empty | Cfg |
| entry | Cfg |
| exit | Cfg |
| FieldRead | Bitcode |
| FieldReadContent | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| fieldReadInput | Bitcode |
| fieldReadName | Bitcode |
| fieldReadOutput | Bitcode |
| FieldWrite | Bitcode |
| FieldWriteContent | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| fieldWriteInput | Bitcode |
| fieldWriteName | Bitcode |
| fieldWriteOutput | Bitcode |
| filename | Callable |
| Fqn | |
| 1 (Type/Class) | Fqn |
| 2 (Data Constructor) | Fqn |
| from | Cfg |
| funcAnnotations | Callable |
| funcBody | Callable |
| funcLocation | Callable |
| funcName | Callable |
| Function | Callable |
| FunctionContent | |
| 1 (Type/Class) | Callable |
| 2 (Data Constructor) | Callable |
| hostingClassName | Callable |
| hostingClassSupers | Callable |
| inputs | Bitcode |
| Instruction | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| InstructionContent | Bitcode |
| instructionContent | Bitcode |
| IntContent | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| Lambda | Callable |
| lambdaBody | Callable |
| LambdaContent | |
| 1 (Type/Class) | Callable |
| 2 (Data Constructor) | Callable |
| lambdaLocation | Callable |
| LoadImmBool | Bitcode |
| loadImmBoolOutput | Bitcode |
| loadImmBoolValue | Bitcode |
| LoadImmInt | Bitcode |
| loadImmIntOutput | Bitcode |
| loadImmIntValue | Bitcode |
| LoadImmStr | Bitcode |
| loadImmStrOutput | Bitcode |
| loadImmStrValue | Bitcode |
| location | |
| 1 (Function) | Bitcode |
| 2 (Function) | Cfg |
| locationVariable | Bitcode |
| loopify | Cfg |
| Method | Callable |
| methodBody | Callable |
| MethodContent | |
| 1 (Type/Class) | Callable |
| 2 (Data Constructor) | Callable |
| methodLocation | Callable |
| methodName | Callable |
| mkAssumeInstruction | Bitcode |
| mkEmptyCollectionOfEdges | Cfg |
| mkNopInstruction | Bitcode |
| nativeInt | Fqn |
| nativeStr | Fqn |
| Node | |
| 1 (Type/Class) | Cfg |
| 2 (Data Constructor) | Cfg |
| Nodes | |
| 1 (Type/Class) | Cfg |
| 2 (Data Constructor) | Cfg |
| nodes | Cfg |
| Nop | Bitcode |
| output | Bitcode |
| parallel | Cfg |
| ParamDecl | Bitcode |
| ParamDeclContent | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| ParamVariable | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| paramVariable | Bitcode |
| ParamVariableCtor | Bitcode |
| paramVariableFqn | Bitcode |
| paramVariableSerialIdx | Bitcode |
| paramVariableToken | Bitcode |
| preds | Cfg |
| Return | Bitcode |
| ReturnContent | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| returnValue | Bitcode |
| Script | Callable |
| scriptBody | Callable |
| ScriptContent | |
| 1 (Type/Class) | Callable |
| 2 (Data Constructor) | Callable |
| SrcVariable | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| SrcVariableCtor | Bitcode |
| srcVariableFqn | Bitcode |
| SrcVariables | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| srcVariableToken | Bitcode |
| StrContent | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| SubscriptRead | Bitcode |
| SubscriptReadContent | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| subscriptReadIdx | Bitcode |
| subscriptReadInput | Bitcode |
| subscriptReadOutput | Bitcode |
| SubscriptWrite | Bitcode |
| SubscriptWriteContent | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| subscriptWriteIdx | Bitcode |
| subscriptWriteInput | Bitcode |
| subscriptWriteOutput | Bitcode |
| theInstructionInside | Cfg |
| TmpVariable | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| TmpVariableCtor | Bitcode |
| tmpVariableFqn | Bitcode |
| tmpVariableLocation | Bitcode |
| TmpVariables | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| to | Cfg |
| Unop | Bitcode |
| UnopContent | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| unopLhs | Bitcode |
| unopOutput | Bitcode |
| Variable | Bitcode |
| variableFqn | Bitcode |
| Variables | |
| 1 (Type/Class) | Bitcode |
| 2 (Data Constructor) | Bitcode |
| variables | Bitcode |