Searched defs:TypeSystemSetup (Results 1 – 2 of 2) sorted by relevance
| /arkcompiler/runtime_core/static_core/verification/ | ||
| D | default_plugin.cpp | 35 void DefaultPlugin::TypeSystemSetup(TypeSystem *types) const in TypeSystemSetup() function in ark::verifier::plugin::DefaultPlugin |
| /arkcompiler/runtime_core/static_core/plugins/ets/verification/ | ||
| D | ets_plugin.cpp | 44 void EtsPlugin::TypeSystemSetup(TypeSystem *types) const in TypeSystemSetup() function in ark::verifier::plugin::EtsPlugin |