Index - C
| CallGraph | Tokstyle.Analysis.PointsTo.Fixpoint |
| CFG | |
| 1 (Type/Class) | Tokstyle.Analysis.CFG |
| 2 (Type/Class) | Tokstyle.Analysis.DataFlow |
| 3 (Type/Class) | Tokstyle.Analysis.PointsTo.Fixpoint |
| cfgInFacts | Tokstyle.Analysis.DataFlow |
| CFGNode | |
| 1 (Type/Class) | Tokstyle.Analysis.CFG |
| 2 (Data Constructor) | Tokstyle.Analysis.CFG |
| 3 (Type/Class) | Tokstyle.Analysis.DataFlow |
| 4 (Data Constructor) | Tokstyle.Analysis.DataFlow |
| cfgNodeId | |
| 1 (Function) | Tokstyle.Analysis.CFG |
| 2 (Function) | Tokstyle.Analysis.DataFlow |
| cfgOutFacts | Tokstyle.Analysis.DataFlow |
| cfgPreds | |
| 1 (Function) | Tokstyle.Analysis.CFG |
| 2 (Function) | Tokstyle.Analysis.DataFlow |
| cfgStmts | |
| 1 (Function) | Tokstyle.Analysis.CFG |
| 2 (Function) | Tokstyle.Analysis.DataFlow |
| cfgSuccs | |
| 1 (Function) | Tokstyle.Analysis.CFG |
| 2 (Function) | Tokstyle.Analysis.DataFlow |
| CharTy | Tokstyle.Common.TypeSystem |
| collect | Tokstyle.Common.TypeSystem |
| collectTypes | Tokstyle.Common.TypeSystem |
| Const | Tokstyle.Common.TypeSystem |
| Context | |
| 1 (Type/Class) | Tokstyle.Analysis.Types |
| 2 (Type/Class) | Tokstyle.Analysis.PointsTo.Types |
| ctx | Tokstyle.C.Env |