Daniel Kirchner c47da51eab Consider all grandparents in override analysis.		2022-02-14 15:31:31 +01:00
..
ConstantEvaluator.cpp
ConstantEvaluator.h
ContractLevelChecker.cpp
ContractLevelChecker.h
ControlFlowAnalyzer.cpp
ControlFlowAnalyzer.h
ControlFlowBuilder.cpp
ControlFlowBuilder.h
ControlFlowGraph.cpp
ControlFlowGraph.h
ControlFlowRevertPruner.cpp
ControlFlowRevertPruner.h
DeclarationContainer.cpp
DeclarationContainer.h
DeclarationTypeChecker.cpp
DeclarationTypeChecker.h
DocStringAnalyser.cpp
DocStringAnalyser.h
DocStringTagParser.cpp
DocStringTagParser.h
FunctionCallGraph.cpp
FunctionCallGraph.h
GlobalContext.cpp
GlobalContext.h
ImmutableValidator.cpp
ImmutableValidator.h
NameAndTypeResolver.cpp
NameAndTypeResolver.h
OverrideChecker.cpp	Consider all grandparents in override analysis.	2022-02-14 15:31:31 +01:00
OverrideChecker.h
PostTypeChecker.cpp
PostTypeChecker.h
PostTypeContractLevelChecker.cpp
PostTypeContractLevelChecker.h
ReferencesResolver.cpp
ReferencesResolver.h
Scoper.cpp
Scoper.h
StaticAnalyzer.cpp
StaticAnalyzer.h
SyntaxChecker.cpp
SyntaxChecker.h
TypeChecker.cpp
TypeChecker.h
ViewPureChecker.cpp
ViewPureChecker.h