toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
docker-runner
/
dev.ust.zinc.grader.pipeline.docker
/
CppSymbolRename
/
CppSymbolRename
Cpp
Symbol
Rename
constructor
(
distro
:
LangDockerfile.CFamily
,
config
:
CppSymbolRename.Config
)
Parameters
distro
Distro image to use for running the program.
config
The
configuration
to instantiate this class.