toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
runner-api
/
dev.ust.zinc.grader.pipeline
/
MangledNameBuilder
/
MangledNameBuilder
Mangled
Name
Builder
constructor
(
initialName
:
String
=
""
)