toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
runner-api
/
dev.ust.zinc.grader.pipeline
/
MangledNameBuilder
/
appendKey
append
Key
fun
appendKey
(
key
:
String
)
:
MangledNameBuilder
Appends a
key
to the mangled name.
Appends "
[\"$key\"]
" to the mangled name.