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_diff, fix_keyword, fix_result_detail, ) 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 ], ) conf_stage = fix_result_detail(task_stage, conf_stage) conf_stage = fix_comment(task_stage, conf_stage) conf_stage = fix_keyword(task_stage, conf_stage) conf_stage = fix_diff(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, )