119 lines
4.3 KiB
Python
119 lines
4.3 KiB
Python
from typing import List
|
|
|
|
from joj3_config_generator.models import joj1, repo, result, task
|
|
from joj3_config_generator.lib.repo import getHealthcheckConfig, getTeapotConfig
|
|
from joj3_config_generator.lib.task import fix_comment, fix_keyword
|
|
from joj3_config_generator.models import (
|
|
Cmd,
|
|
CmdFile,
|
|
ExecutorConfig,
|
|
ExecutorWithConfig,
|
|
ParserConfig,
|
|
Repo,
|
|
ResultConfig,
|
|
Stage,
|
|
StageConfig,
|
|
Task,
|
|
TeapotConfig,
|
|
)
|
|
|
|
|
|
# FIXME: LLM generated convert function, only for demostration
|
|
def convert(repo_conf: repo.Config, task_conf: task.Config) -> result.Config:
|
|
# Create the base ResultConf object
|
|
result_conf = result.Config(
|
|
name=task_conf.task,
|
|
# TODO: specify the exact folder difference
|
|
log_path=f"{task_conf.task.replace(' ', '-')}.log",
|
|
expire_unix_timestamp=(
|
|
int(task_conf.release.deadline.timestamp())
|
|
if task_conf.release.deadline
|
|
else -1
|
|
),
|
|
stage=result.Stage(stages=[], sandbox_token=repo_conf.sandbox_token),
|
|
teapot=result.Teapot(),
|
|
stage=StageConfig(stages=[], sandbox_token=repo_conf.sandbox_token),
|
|
teapot=getTeapotConfig(repo_conf, task_conf),
|
|
)
|
|
|
|
# Construct healthcheck stage
|
|
healthcheck_stage = getHealthcheckConfig(repo_conf, task_conf)
|
|
result_conf.stage.stages.append(healthcheck_stage)
|
|
cached = []
|
|
# Convert each stage in the task configuration
|
|
for task_stage in task_conf.stages:
|
|
executor_with_config = result.ExecutorWith(
|
|
default=result.Cmd(
|
|
args=task_stage.command.split(),
|
|
copy_in={
|
|
file: result.CmdFile(src=file) for file in task_stage.files.import_
|
|
},
|
|
copy_out_cached=task_stage.files.export,
|
|
),
|
|
cases=[], # You can add cases if needed
|
|
)
|
|
conf_stage = result.StageDetail(
|
|
name=task_stage.name,
|
|
group=task_conf.task,
|
|
executor=result.Executor(
|
|
name="sandbox",
|
|
with_=executor_with_config,
|
|
),
|
|
parsers=[
|
|
result.Parser(name=parser, with_={}) for parser in task_stage.parsers
|
|
],
|
|
)
|
|
# TODO: fix all parser here
|
|
if "result-detail" in task_stage.parsers:
|
|
result_detail_parser = next(
|
|
p for p in conf_stage.parsers if p.name == "result-detail"
|
|
)
|
|
if task_stage.result_detail is not None:
|
|
result_detail_parser.with_.update(task_stage.result_detail)
|
|
|
|
conf_stage = fix_comment(task_stage, conf_stage)
|
|
conf_stage = fix_keyword(task_stage, conf_stage)
|
|
|
|
result_conf.stage.stages.append(conf_stage)
|
|
|
|
return result_conf
|
|
|
|
|
|
# FIXME: LLM generated convert function, only for demostration
|
|
def convert_joj1(joj1_conf: joj1.Config) -> task.Config:
|
|
stages = []
|
|
for language in joj1_conf.languages:
|
|
# Here you might want to create a stage for each language
|
|
# You can define a command based on language properties
|
|
command = f"run {language.language}"
|
|
# Assuming we don't have explicit files, we will set empty ones or default behavior
|
|
files = task.Files(import_=[], export=[])
|
|
# Score can be derived from the first case or set to a default
|
|
score = 0
|
|
parsers: List[str] = [] # Define parsers if applicable
|
|
if joj1_conf.cases:
|
|
score = sum(
|
|
case.score for case in joj1_conf.cases
|
|
) # Sum scores for all cases
|
|
# Creating a stage for each language
|
|
stages.append(
|
|
task.Stage(
|
|
name=language.language,
|
|
command=command,
|
|
files=files,
|
|
score=score,
|
|
parsers=parsers,
|
|
result_detail=task.ParserResultDetail(), # You can customize this further if needed
|
|
)
|
|
)
|
|
# Assuming no deadline is provided in `joj1`, you can set it accordingly
|
|
release_deadline = (
|
|
None # Placeholder for future implementation if deadlines are defined
|
|
)
|
|
|
|
return task.Config(
|
|
task=joj1_conf.languages[0].language if joj1_conf.languages else "Unnamed Task",
|
|
release=task.Release(deadline=release_deadline),
|
|
stages=stages,
|
|
)
|