VcallCtorChecker

Checks virtual calls from the constructor to methods defined in the same class.

When not used carefully, virtual calls from constructors can lead to a call in a derived instance that's not yet constructed.

class VcallCtorChecker : BaseAnalyzer {

alias visit = BaseAnalyzer.visit;

this(string fileName, bool skipTests);

void visit(const(ClassDeclaration) decl);

void visit(const(Constructor) ctor);

void visit(const(Declaration) d);

void visit(const(FunctionCallExpression) exp);

void visit(const(UnaryExpression) exp);

void visit(const(FunctionDeclaration) d);

}

Constructors

this this(string fileName, bool skipTests)

Members

Aliases

visit alias visit = BaseAnalyzer.visit: Undocumented in source.

Functions

visit void visit(const(ClassDeclaration) decl): Undocumented in source. Be warned that the author may not have intended to support it.
visit void visit(const(Constructor) ctor): Undocumented in source. Be warned that the author may not have intended to support it.
visit void visit(const(Declaration) d): Undocumented in source. Be warned that the author may not have intended to support it.
visit void visit(const(FunctionCallExpression) exp): Undocumented in source. Be warned that the author may not have intended to support it.
visit void visit(const(UnaryExpression) exp): Undocumented in source. Be warned that the author may not have intended to support it.
visit void visit(const(FunctionDeclaration) d): Undocumented in source. Be warned that the author may not have intended to support it.

Inherited Members

From BaseAnalyzer

messages Message[] messages(): Undocumented in source. Be warned that the author may not have intended to support it.
visit alias visit = ASTVisitor.visit: Undocumented in source.
visit void visit(Unittest unittest_): Visits a unittest.
inAggregate bool inAggregate;: Undocumented in source.
skipTests bool skipTests;: Undocumented in source.
visitTemplate template visitTemplate(T): Undocumented in source.
addErrorMessage void addErrorMessage(size_t line, size_t column, string key, string message): Undocumented in source. Be warned that the author may not have intended to support it.
fileName string fileName;: The file name
sc const(Scope)* sc;: Undocumented in source.
_messages MessageSet _messages;: Undocumented in source.

Meta

Source

See Implementation

dscanner analysis vcall_in_ctor classes

VcallCtorChecker