| /arkcompiler/ets_frontend/ets2panda/ast_verifier/ |
| D | forLoopCorrectlyInitialized.cpp | 43 ctx.AddCheckMessage("NULL FOR-IN-LEFT", *ast, ast->Start()); in HandleForInStatement()
48 ctx.AddCheckMessage("INCORRECT FOR-IN-LEFT", *ast, ast->Start()); in HandleForInStatement()
59 ctx.AddCheckMessage("NULL FOR-OF-LEFT", *ast, ast->Start()); in HandleForOfStatement()
64 ctx.AddCheckMessage("INCORRECT FOR-OF-LEFT", *ast, ast->Start()); in HandleForOfStatement()
78 ctx.AddCheckMessage("NULL FOR-TEST AND FOR-BODY", *ast, ast->Start()); in HandleForUpdateStatement()
86 ctx.AddCheckMessage("NULL FOR VAR", *ast, ast->Start()); in HandleForUpdateStatement()
|
| D | sequenceExpressionHasLastType.cpp | 29 ctx.AddCheckMessage("Sequence expression type is null", *expr, expr->Start()); in operator ()()
33 ctx.AddCheckMessage("Sequence expression last type is null", *last, last->Start()); in operator ()()
37 …ctx.AddCheckMessage("Sequence expression type and last expression type are not the same", *expr, e… in operator ()()
|
| D | variableHasScope.cpp | 37 ctx.AddCheckMessage("NULL_SCOPE_LOCAL_VAR", *ast, ast->Start()); in operator ()()
98 ctx.AddCheckMessage("SCOPE_DO_NOT_ENCLOSE_LOCAL_VAR", *node, varStart); in ScopeEncloseVariable()
108 ctx.AddCheckMessage("SCOPE_NODE_DONT_DOMINATE_VAR_NODE", *node, varStart); in ScopeEncloseVariable()
117 ctx.AddCheckMessage("SCOPE_DECL_DONT_DOMINATE_VAR_DECL", *node, varStart); in ScopeEncloseVariable()
|
| D | variableHasEnclosingScope.cpp | 40 ctx.AddCheckMessage("NO_ENCLOSING_VAR_SCOPE", *ast, ast->Start()); in operator ()()
55 ctx.AddCheckMessage("VARIABLE_NOT_ENCLOSE_SCOPE", *ast, ast->Start()); in operator ()()
60 ctx.AddCheckMessage("VARIABLE_NOT_ENCLOSE_SCOPE", *ast, ast->Start()); in operator ()()
|
| D | checkInfiniteLoop.cpp | 79 ctx.AddCheckMessage("INFINITE LOOP", *stmt, stmt->Start()); in HandleWhileStatement()
97 ctx.AddCheckMessage("INFINITE LOOP", *stmt, stmt->Start()); in HandleDoWhileStatement()
117 ctx.AddCheckMessage("INFINITE LOOP", *stmt, stmt->Start()); in HandleForUpdateStatement()
|
| D | modifierAccessValid.cpp | 43 ctx.AddCheckMessage("PROPERTY_NOT_VISIBLE_HERE", *ast, ast->Start()); in HandleMethodExpression()
61 ctx.AddCheckMessage("PROPERTY_NOT_VISIBLE_HERE", *callee, callee->Start()); in HandleCallExpression()
|
| D | nodeHasSourceRange.cpp | 25 ctx.AddCheckMessage("NULL_RANGE", *ast, ast->Start()); in operator ()()
|
| D | referenceTypeAnnotationIsNull.cpp | 27 ctx.AddCheckMessage("TYPE_ANNOTATION_NOT_NULLPTR", *ast, ast->Start()); in operator ()()
|
| D | checkContext.cpp | 20 void CheckContext::AddCheckMessage(const std::string &cause, const ir::AstNode &node, const lexer::… in AddCheckMessage() function in ark::es2panda::compiler::ast_verifier::CheckContext
|
| D | nodeHasParent.cpp | 27 ctx.AddCheckMessage("NULL_PARENT", *ast, ast->Start()); in operator ()()
|
| D | importExportAccessValid.cpp | 52 … ctx.AddCheckMessage("PROPERTY_NOT_VISIBLE_HERE(NOT_EXPORTED)", *callee, callee->Start()); in operator ()()
57 ctx.AddCheckMessage("PROPERTY_NOT_VISIBLE_HERE(NOT_EXPORTED)", *ast, ast->Start()); in operator ()()
|
| D | everyChildInParentRange.cpp | 39 ctx.AddCheckMessage("INCORRECT_CHILD_RANGE", *node, node->Start()); in operator ()()
|
| D | everyChildHasValidParent.cpp | 55 ctx.AddCheckMessage("INCORRECT_PARENT_REF", *node, node->Start()); in operator ()()
|
| D | variableNameIdentifierNameSame.cpp | 56 ctx.AddCheckMessage("IDENTIFIER_NAME_DIFFERENCE", *id, id->Start()); in operator ()()
|
| D | nodeHasType.cpp | 57 ctx.AddCheckMessage("NULL_TS_TYPE", *ast, ast->Start()); in operator ()()
|
| D | arithmeticOperationValid.cpp | 44 ctx.AddCheckMessage("Not a numeric type", *child, child->Start()); in operator ()()
|
| D | identifierHasVariable.cpp | 45 ctx.AddCheckMessage("NULL_VARIABLE", *id, id->Start()); in operator ()()
|
| D | checkContext.h | 85 …void AddCheckMessage(const std::string &cause, const ir::AstNode &node, const lexer::SourcePositio…
|
| D | ASTVerifier.cpp | 79 …ctx.AddCheckMessage(std::string {"Invariant was not found: "} + invariant, *ast, lexer::SourcePosi… in Verify()
|