Code
Hub
Workspaces
Connect
Indexed graphs
Engine
MCP
copy
hub
/
github.com/RUB-NDS/PRET
/ get_errors
Method
get_errors
codebook.py:33–34 ·
view source on GitHub ↗
(self, code)
Source
from the content-addressed store, hash-verified
31
''
&
#x27;
32
33
def
get_errors(self, code):
34
return
(self.codelist[key]
for
key in self.codelist
if
re.match(key, code))
35
36
codelist = {
37
# 10xxx: Informational Messages
Callers
2
showstatus
Method · 0.80
fileerror
Method · 0.80
Calls
no outgoing calls
Tested by
no test coverage detected