invoker

type CompileOptions struct {
	Source      string
	Target      string
	InputFiles  []MountFile
	TimeLimit   time.Duration
	MemoryLimit int64
}

type CompileReport struct {
	ExitCode   int
	UsedTime   time.Duration
	UsedMemory int64
	Log        string
}

type Compiler interface {
	Name() string
	Compile(ctx context.Context, options CompileOptions) (CompileReport, error)
	Execute(ctx context.Context, options ExecuteOptions) (ExecuteReport, error)
}

type ExecuteOptions struct {
	Binary      string
	Args        []string
	InputFiles  []MountFile
	OutputFiles []MountFile
	TimeLimit   time.Duration
	MemoryLimit int64
}

type ExecuteReport struct {
	ExitCode   int
	UsedTime   time.Duration
	UsedMemory int64
}

type Invoker struct {
	// contains filtered or unexported fields
}

type MountFile struct {
	Source string
	Target string
}

type Problem interface {
	Compile(context.Context) error
	GetExecutables() ([]ProblemExecutable, error)
	GetTestGroups() ([]ProblemTestGroup, error)
	GetStatements() ([]ProblemStatement, error)
}

type ProblemExecutable interface {
	Name() string
	Kind() ProblemExecutableKind
	Compiler() string
	OpenBinary() (*os.File, error)
}

type ProblemExecutableKind string

type ProblemKind string

type ProblemResource interface {
	Name() string
	Open() (*os.File, error)
	GetMD5() (string, error)
}

type ProblemStatement interface {
	Locale() string
	GetConfig() (models.ProblemStatementConfig, error)
	GetResources() ([]ProblemResource, error)
}

type ProblemTest interface {
	OpenInput() (*os.File, error)
	OpenAnswer() (*os.File, error)
}

type ProblemTestGroup interface {
	Name() string
	TimeLimit() int64
	MemoryLimit() int64
	GetTests() ([]ProblemTest, error)
}

type TaskContext interface {
	context.Context
	Kind() models.TaskKind
	Status() models.TaskStatus
	ScanConfig(models.TaskConfig) error
	ScanState(any) error
	SetStatus(context.Context, models.TaskStatus) error
	SetState(context.Context, any) error
	SetDeferredState(any) error
	Ping(context.Context, time.Duration) error
	Logger() *logs.Logger
}