Home
last modified time | relevance | path

Searched refs:msgNum (Results 1 – 3 of 3) sorted by relevance

/arkcompiler/runtime_core/static_core/verification/config/options/
Dmethod_options.cpp21 MethodOption::MsgClass MethodOptions::MsgClassFor(VerifierMessage msgNum) const in MsgClassFor()
23 if (CanHandleMsg(msgNum)) { in MsgClassFor()
24 return msgClasses_.at(msgNum); in MsgClassFor()
27 if (up.get().CanHandleMsg(msgNum)) { in MsgClassFor()
28 return up.get().MsgClassFor(msgNum); in MsgClassFor()
31 return GetDefaultClassForMessage(msgNum); in MsgClassFor()
Dmethod_options.h67 void SetMsgClass(VerifierMessage msgNum, MethodOption::MsgClass klass) in SetMsgClass() argument
69 msgClasses_[msgNum] = klass; in SetMsgClass()
73 void SetMsgClass(Validator validator, size_t msgNum, MethodOption::MsgClass klass) in SetMsgClass() argument
75 if (validator(static_cast<VerifierMessage>(msgNum))) { in SetMsgClass()
76 msgClasses_[static_cast<VerifierMessage>(msgNum)] = klass; in SetMsgClass()
85 bool CanHandleMsg(VerifierMessage msgNum) const in CanHandleMsg() argument
87 return msgClasses_.count(msgNum) > 0; in CanHandleMsg()
90 MethodOption::MsgClass MsgClassFor(VerifierMessage msgNum) const;
92 bool IsInMsgClass(VerifierMessage msgNum, MethodOption::MsgClass klass) const in IsInMsgClass() argument
94 return MsgClassFor(msgNum) == klass; in IsInMsgClass()
[all …]
/arkcompiler/runtime_core/static_core/verification/config/handlers/
Dconfig_handler_method_options.cpp164 for (const auto msgNum : c.nums) { in ProcessSectionMsg() local
165 options->SetMsgClass(VerifierMessageIsValid, msgNum, msgClass); in ProcessSectionMsg()