toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
runner-api
/
dev.ust.zinc.grader.pipeline
/
MangledNameBuilder
/
appendIndex
append
Index
fun
appendIndex
(
idx
:
Int
)
:
MangledNameBuilder
Appends an
index
to the mangled name.
Appends "
[idx]
" to the mangled name.