tokstyle-0.0.9: TokTok C code style checker

Index

>+>Tokstyle.Common
AccessPathTokstyle.Analysis.AccessPath
addConstraintTokstyle.Analysis.Symbolic
AliasDescrTokstyle.Common.TypeSystem
allWarnings 
1 (Function)Tokstyle.C.Linter
2 (Function)Tokstyle.Linter
analyse 
1 (Function)Tokstyle.C.Linter
2 (Function)Tokstyle.Linter
analyseEnumsTokstyle.Common.EnumLinter
analyseGlobalTokstyle.Linter
analyseGlobalTextTokstyle.Linter
analyseLocalTokstyle.Linter
analyseLocalTextTokstyle.Linter
analyseStructsTokstyle.Common.StructLinter
analyseText 
1 (Function)Tokstyle.C.Linter
2 (Function)Tokstyle.Linter
AnsiStyleTokstyle.C.Linter
ArrayTokstyle.Common.TypeSystem
ArrayTypeSizeTokstyle.C.Patterns
assignTokstyle.Analysis.Symbolic
AstActions 
1 (Type/Class)Tokstyle.C.TraverseAst
2 (Data Constructor)Tokstyle.C.TraverseAst
astActionsTokstyle.C.TraverseAst
backticks 
1 (Function)Tokstyle.C.TravUtils
2 (Function)Tokstyle.Common
BoolTyTokstyle.Common.TypeSystem
bracketUserStateTokstyle.C.Env
BranchNode 
1 (Data Constructor)Tokstyle.C.Analysis.CFG
2 (Data Constructor)Tokstyle.Cimple.Analysis.CFG
builtinTokstyle.Common.TypeSystem
BuiltinTypeTokstyle.Common.TypeSystem
CallbackSlot 
1 (Type/Class)Tokstyle.C.ObjectSystem
2 (Data Constructor)Tokstyle.C.ObjectSystem
canBeNullTokstyle.Analysis.Symbolic
CaseBranch 
1 (Data Constructor)Tokstyle.C.Analysis.CFG
2 (Data Constructor)Tokstyle.Cimple.Analysis.CFG
CFG 
1 (Type/Class)Tokstyle.C.Analysis.CFG
2 (Type/Class)Tokstyle.Cimple.Analysis.CFG
CharTyTokstyle.Common.TypeSystem
collectTokstyle.Common.TypeSystem
collectTypesTokstyle.Common.TypeSystem
ConstTokstyle.Common.TypeSystem
ConstraintTokstyle.Analysis.Symbolic
constraintsTokstyle.Analysis.Symbolic
CPosition 
1 (Type/Class)Tokstyle.C.Env
2 (Data Constructor)Tokstyle.C.Env
ctxTokstyle.C.Env
currentFlagTokstyle.C.Env
Dataflow 
1 (Type/Class)Tokstyle.Analysis.Dataflow
2 (Data Constructor)Tokstyle.Analysis.Dataflow
debuggingTokstyle.Common.TypeSystem
DeclNodeTokstyle.C.Analysis.CFG
DefaultBranch 
1 (Data Constructor)Tokstyle.C.Analysis.CFG
2 (Data Constructor)Tokstyle.Cimple.Analysis.CFG
defaultEnvTokstyle.C.Env
descr 
1 (Function)Tokstyle.C.Linter.BorrowCheck
2 (Function)Tokstyle.C.Linter.VoidCall
3 (Function)Tokstyle.C.Linter.StrictTypedef
4 (Function)Tokstyle.C.Linter.Sizeof
5 (Function)Tokstyle.C.Linter.SizeArg
6 (Function)Tokstyle.C.Linter.Memset
7 (Function)Tokstyle.C.Linter.Memcpy
8 (Function)Tokstyle.C.Linter.Conversion
9 (Function)Tokstyle.C.Linter.Cast
10 (Function)Tokstyle.C.Linter.CallbackParams
11 (Function)Tokstyle.C.Linter.CallbackDiscipline
12 (Function)Tokstyle.C.Linter.CallbackData
13 (Function)Tokstyle.C.Linter.BoolConversion
14 (Function)Tokstyle.Linter.Assert
15 (Function)Tokstyle.Linter.BooleanReturn
16 (Function)Tokstyle.Linter.Booleans
17 (Function)Tokstyle.Linter.CallbackNames
18 (Function)Tokstyle.Linter.Callgraph
19 (Function)Tokstyle.Linter.CallocArgs
20 (Function)Tokstyle.Linter.CallocType
21 (Function)Tokstyle.Linter.CompoundInit
22 (Function)Tokstyle.Linter.Constness
23 (Function)Tokstyle.Linter.DeclaredOnce
24 (Function)Tokstyle.Linter.DeclsHaveDefns
25 (Function)Tokstyle.Linter.DocComments
26 (Function)Tokstyle.Linter.EnumDefines
27 (Function)Tokstyle.Linter.EnumNames
28 (Function)Tokstyle.Linter.FuncPrototypes
29 (Function)Tokstyle.Linter.FuncScopes
30 (Function)Tokstyle.Linter.GlobalFuncs
31 (Function)Tokstyle.Linter.LoggerCalls
32 (Function)Tokstyle.Linter.LoggerConst
33 (Function)Tokstyle.Linter.LoggerNoEscapes
34 (Function)Tokstyle.Linter.MallocCall
35 (Function)Tokstyle.Linter.MallocType
36 (Function)Tokstyle.Linter.MemcpyStructs
37 (Function)Tokstyle.Linter.Nesting
38 (Function)Tokstyle.Linter.Nullability
39 (Function)Tokstyle.Linter.OwnershipDecls
40 (Function)Tokstyle.Linter.Parens
41 (Function)Tokstyle.Linter.SwitchIf
42 (Function)Tokstyle.Linter.TaggedUnion
43 (Function)Tokstyle.Linter.TypeCheck
44 (Function)Tokstyle.Linter.TypedefName
45 (Function)Tokstyle.Linter.UnsafeFunc
46 (Function)Tokstyle.Linter.VarUnusedInScope
47 (Function)Tokstyle.SemFmt.EnumFromInt
48 (Function)Tokstyle.SemFmt.EnumToString
49 (Function)Tokstyle.SemFmt.EnumUnpack
50 (Function)Tokstyle.SemFmt.StructPack
DiagnosticLevelTokstyle.C.Env, Tokstyle.C.Linter
DiagnosticSpan 
1 (Data Constructor)Tokstyle.C.Env
2 (Type/Class)Tokstyle.C.Env
diagToTextTokstyle.C.Linter, Tokstyle.Linter
discoverObjectTypesTokstyle.C.ObjectSystem
doBlockItemTokstyle.C.TraverseAst
doBlockItemsTokstyle.C.TraverseAst
DocTokstyle.C.Linter
doConstTokstyle.C.TraverseAst
doDeclTokstyle.C.TraverseAst
doDeclsTokstyle.C.TraverseAst
doExprTokstyle.C.TraverseAst
doExprsTokstyle.C.TraverseAst
doGlobalDeclsTokstyle.C.TraverseAst
doIdentDeclTokstyle.C.TraverseAst
doInitTokstyle.C.TraverseAst
doStatTokstyle.C.TraverseAst
doStatsTokstyle.C.TraverseAst
dquotes 
1 (Function)Tokstyle.C.TravUtils
2 (Function)Tokstyle.Common
dtraceTokstyle.Common.TypeSystem
Edge 
1 (Type/Class)Tokstyle.C.Analysis.CFG
2 (Type/Class)Tokstyle.Cimple.Analysis.CFG
edgeTransferTokstyle.Analysis.Dataflow
EdgeType 
1 (Type/Class)Tokstyle.C.Analysis.CFG
2 (Type/Class)Tokstyle.Cimple.Analysis.CFG
emptyStateTokstyle.Analysis.Symbolic
EntryNode 
1 (Data Constructor)Tokstyle.C.Analysis.CFG
2 (Data Constructor)Tokstyle.Cimple.Analysis.CFG
EnumDescrTokstyle.Common.TypeSystem
EnumInfo 
1 (Type/Class)Tokstyle.Common.EnumLinter
2 (Data Constructor)Tokstyle.Common.EnumLinter
EnumMemTokstyle.Common.TypeSystem
enumMembersTokstyle.Common.EnumLinter
enumNameTokstyle.Common.EnumLinter
EnumRefTokstyle.Common.TypeSystem
Env 
1 (Type/Class)Tokstyle.C.Env
2 (Data Constructor)Tokstyle.C.Env
ErrorLevelTokstyle.C.Env, Tokstyle.C.Linter
ExitNode 
1 (Data Constructor)Tokstyle.C.Analysis.CFG
2 (Data Constructor)Tokstyle.Cimple.Analysis.CFG
ExprNodeTokstyle.C.Analysis.CFG
ExternalTypeTokstyle.Common.TypeSystem
F32TyTokstyle.Common.TypeSystem
F64TyTokstyle.Common.TypeSystem
FalseBranch 
1 (Data Constructor)Tokstyle.C.Analysis.CFG
2 (Data Constructor)Tokstyle.Cimple.Analysis.CFG
foldArrayTokstyle.Common.TypeSystem
fromFunctionTokstyle.Cimple.Analysis.CFG
fromFunDefTokstyle.C.Analysis.CFG
FuncDescrTokstyle.Common.TypeSystem
FuncRefTokstyle.Common.TypeSystem
FunctionTokstyle.Common.TypeSystem
functionNameTokstyle.Common
FunDeclParamsTokstyle.C.Patterns
FunPtrParamsTokstyle.C.Patterns
getCtxTokstyle.C.Env
getFuncNameTokstyle.Cimple.Analysis.CFG
getJustTokstyle.C.TravUtils
getRetTyTokstyle.C.Env
getTypeRefNameTokstyle.Common.TypeSystem
globalDeclsTokstyle.C.Env
HelpLevelTokstyle.C.Env, Tokstyle.C.Linter
inferredTypesTokstyle.C.Env
initialTokstyle.Analysis.Dataflow
insertTokstyle.Common.TypeSystem
IntDescrTokstyle.Common.TypeSystem
IntLitTokstyle.Common.TypeSystem
IntRefTokstyle.Common.TypeSystem
isCallbackMemberTokstyle.C.ObjectSystem
isEnumTokstyle.C.Patterns
isFloatingTokstyle.C.Patterns
isFuncPtrTokstyle.C.ObjectSystem
isIntegralTokstyle.C.Patterns
isNumericTokstyle.C.Patterns
isPathPrefixOfTokstyle.Analysis.AccessPath
isPointerTokstyle.Common
isUserdataMemberTokstyle.C.ObjectSystem
LinterErrorTokstyle.C.Env, Tokstyle.C.Linter
linterErrorsTokstyle.C.Env
Liveness 
1 (Type/Class)Tokstyle.C.Analysis.Liveness
2 (Type/Class)Tokstyle.Cimple.Analysis.Liveness
liveness 
1 (Function)Tokstyle.C.Analysis.Liveness
2 (Function)Tokstyle.Cimple.Analysis.Liveness
livenessProblemTokstyle.Cimple.Analysis.Liveness
lookupStoreTokstyle.Analysis.Symbolic
lookupTypeTokstyle.Common.TypeSystem
mainTypedefsTokstyle.C.Env
markdown 
1 (Function)Tokstyle.C.Linter
2 (Function)Tokstyle.Linter
merge 
1 (Function)Tokstyle.Analysis.Dataflow
2 (Function)Tokstyle.Analysis.Symbolic
MkFunBody 
1 (Type/Class)Tokstyle.Common.EnumLinter
2 (Type/Class)Tokstyle.Common.StructLinter
mkLAt 
1 (Function)Tokstyle.Common.EnumLinter
2 (Function)Tokstyle.Common.StructLinter
NameLitTokstyle.Common.TypeSystem
negateConstraintTokstyle.Analysis.Symbolic
Node 
1 (Type/Class)Tokstyle.C.Analysis.CFG
2 (Data Constructor)Tokstyle.C.Analysis.CFG
3 (Type/Class)Tokstyle.Cimple.Analysis.CFG
4 (Data Constructor)Tokstyle.Cimple.Analysis.CFG
NodeKind 
1 (Type/Class)Tokstyle.C.Analysis.CFG
2 (Type/Class)Tokstyle.Cimple.Analysis.CFG
NonnullTokstyle.Common.TypeSystem
NoteLevelTokstyle.C.Env, Tokstyle.C.Linter
NullableTokstyle.Common.TypeSystem
objCallbacksTokstyle.C.ObjectSystem
ObjectInfo 
1 (Type/Class)Tokstyle.C.ObjectSystem
2 (Data Constructor)Tokstyle.C.ObjectSystem
objUserdataTokstyle.C.ObjectSystem
OwnerTokstyle.Common.TypeSystem
ParamNameTokstyle.C.Patterns
paramsTokstyle.C.Env
ParamTypeTokstyle.C.Patterns
pathDepthTokstyle.Analysis.AccessPath
PathDerefTokstyle.Analysis.AccessPath
PathFieldTokstyle.Analysis.AccessPath
PathIndexTokstyle.Analysis.AccessPath
PathParamTokstyle.Analysis.AccessPath
PathReturnTokstyle.Analysis.AccessPath
PathVarTokstyle.Analysis.AccessPath
PointerTokstyle.Common.TypeSystem
popCtxTokstyle.C.Env
posAndLenTokstyle.C.Env
pushCtxTokstyle.C.Env
recordLinterErrorTokstyle.C.Env
recordRichErrorTokstyle.C.Env
renderIOTokstyle.C.Linter
renderPureTokstyle.C.Linter
resolveTokstyle.Common.TypeSystem
resolveRefTokstyle.Common.TypeSystem
retTyTokstyle.C.Env
S08TyTokstyle.Common.TypeSystem
S16TyTokstyle.Common.TypeSystem
S32TyTokstyle.Common.TypeSystem
S64TyTokstyle.Common.TypeSystem
SAddrTokstyle.Analysis.Symbolic
sAddrTokstyle.Analysis.Symbolic
safePosFileTokstyle.C.Env
SBinOpTokstyle.Analysis.Symbolic
sBinOpTokstyle.Analysis.Symbolic
SBoolTokstyle.Analysis.Symbolic
semEqTokstyle.Common
SEqualsTokstyle.Analysis.Symbolic
setRetTyTokstyle.C.Env
SIteTokstyle.Analysis.Symbolic
sIteTokstyle.Analysis.Symbolic
SizedTokstyle.Common.TypeSystem
SizeTyTokstyle.Common.TypeSystem
skipTokstyle.Common
slotMemberTokstyle.C.ObjectSystem
slotStructTokstyle.C.ObjectSystem
SNotEqualsTokstyle.Analysis.Symbolic
SNullTokstyle.Analysis.Symbolic
solveTokstyle.Analysis.Dataflow
solveBackwardTokstyle.Analysis.Dataflow
spanLabelsTokstyle.C.Env
spanLenTokstyle.C.Env
spanPosTokstyle.C.Env
SState 
1 (Type/Class)Tokstyle.Analysis.Symbolic
2 (Data Constructor)Tokstyle.Analysis.Symbolic
StatNodeTokstyle.C.Analysis.CFG
StdTypeTokstyle.Common.TypeSystem
StmtNodeTokstyle.Cimple.Analysis.CFG
STopTokstyle.Analysis.Symbolic
storeTokstyle.Analysis.Symbolic
StructDescrTokstyle.Common.TypeSystem
StructRefTokstyle.Common.TypeSystem
SUnaryOpTokstyle.Analysis.Symbolic
sUnaryOpTokstyle.Analysis.Symbolic
SValTokstyle.Analysis.Symbolic
SVarTokstyle.Analysis.Symbolic
sVarTokstyle.Analysis.Symbolic
transferTokstyle.Analysis.Dataflow
TraverseAstTokstyle.C.TraverseAst
traverseAstTokstyle.C.TraverseAst
TrueBranch 
1 (Data Constructor)Tokstyle.C.Analysis.CFG
2 (Data Constructor)Tokstyle.Cimple.Analysis.CFG
TypeDescrTokstyle.Common.TypeSystem
TypeInfoTokstyle.Common.TypeSystem
TypeRef 
1 (Data Constructor)Tokstyle.Common.TypeSystem
2 (Type/Class)Tokstyle.Common.TypeSystem
TypeSystemTokstyle.Common.TypeSystem
TY_canon_boolTokstyle.C.Patterns
TY_char_arrTokstyle.C.Patterns
TY_char_ptrTokstyle.C.Patterns
TY_nullptrTokstyle.C.Patterns
TY_sockaddr_in6_ptrTokstyle.C.Patterns
TY_sockaddr_in_ptrTokstyle.C.Patterns
TY_sockaddr_ptrTokstyle.C.Patterns
TY_sockaddr_storage_ptrTokstyle.C.Patterns
TY_structTokstyle.C.Patterns
TY_struct_ptrTokstyle.C.Patterns
TY_typedefTokstyle.C.Patterns
TY_uint16_tTokstyle.Common.Patterns
TY_uint32_tTokstyle.Common.Patterns
TY_uint64_tTokstyle.Common.Patterns
TY_uint8_tTokstyle.Common.Patterns
TY_uint8_t_arrTokstyle.C.Patterns
TY_uint8_t_ptr 
1 (Data Constructor)Tokstyle.C.Patterns
2 (Data Constructor)Tokstyle.Common.Patterns
TY_void_ptr 
1 (Data Constructor)Tokstyle.C.Patterns
2 (Data Constructor)Tokstyle.Common.Patterns
U08TyTokstyle.Common.TypeSystem
U16TyTokstyle.Common.TypeSystem
U32TyTokstyle.Common.TypeSystem
U64TyTokstyle.Common.TypeSystem
Unconditional 
1 (Data Constructor)Tokstyle.C.Analysis.CFG
2 (Data Constructor)Tokstyle.Cimple.Analysis.CFG
unCPositionTokstyle.C.Env
UnionDescrTokstyle.Common.TypeSystem
UnionRefTokstyle.Common.TypeSystem
UnresolvedRefTokstyle.Common.TypeSystem
unsetRetTyTokstyle.C.Env
valDepthTokstyle.Analysis.Symbolic
VarTokstyle.Common.TypeSystem
varsTokstyle.Common.TypeSystem
VoidTyTokstyle.Common.TypeSystem
warnTokstyle.Common
warnDocTokstyle.Common
WarningLevelTokstyle.C.Env, Tokstyle.C.Linter