Home
last modified time | relevance | path

Searched refs:RecursiveInvariant (Results 1 - 1 of 1) sorted by relevance

/arkcompiler/ets_frontend/ets2panda/ast_verifier/
H A DASTVerifier.h113 static InvariantCheck RecursiveInvariant(const InvariantCheck &func) in RecursiveInvariant() function in ark::es2panda::compiler::ast_verifier::final
139 invariantsChecks_[name + RECURSIVE_SUFFIX] = RecursiveInvariant(check); in AddInvariant()

Completed in 1 milliseconds