toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
docker-runner
/
dev.ust.zinc.grader.pipeline.docker
/
CppSymbolRename
/
Config
/
Deserializer
/
deserialize
deserialize
open
override
fun
deserialize
(
p
:
JsonParser
,
ctxt
:
DeserializationContext
)
:
CppSymbolRename.Config