| .. |
|
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
|
|
|
|
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
|
|
|
