Dockingjudge docs
GitHub
Repository
© Copyright Tapeline 2024-2025
Created with mkdocs-material2014

Judgelet 1.0.0

Judgelet docs

Servers

Description URL
/ /

Endpoints

GET /ping

Ping

Response 200 OK 

"string"
⚠️ This example has been generated automatically from the schema and it is not accurate. Refer to the schema for more information.

Schema of the response body 
{
    "type": "string"
}

POST /run

RunSolution

Request body

{
    "id": "string",
    "code": {
        "type": "string",
        "code": null,
        "b64": null,
        "main": null
    },
    "compiler": "string",
    "suite": {
        "groups": [
            {
                "name": "string",
                "depends_on": [
                    "string"
                ],
                "points": 0,
                "scoring_rule": "polar",
                "cases": [
                    {
                        "validators": [
                            {
                                "type": "string",
                                "args": {}
                            }
                        ],
                        "stdin": "string",
                        "files_in": {},
                        "files_out": [
                            "string"
                        ],
                        "time_limit": null,
                        "mem_limit_mb": null
                    }
                ]
            }
        ],
        "precompile": [
            {
                "type": "string",
                "args": {}
            }
        ],
        "time_limit": 10.12,
        "mem_limit_mb": 10.12,
        "compile_timeout": 0,
        "place_files": {},
        "public_cases": [
            {}
        ],
        "envs": {}
    }
}
⚠️ This example has been generated automatically from the schema and it is not accurate. Refer to the schema for more information.

Schema of the request body 
{
    "properties": {
        "id": {
            "type": "string"
        },
        "code": {
            "$ref": "#/components/schemas/SolutionSchema"
        },
        "compiler": {
            "type": "string"
        },
        "suite": {
            "$ref": "#/components/schemas/TestSuite"
        }
    },
    "type": "object",
    "required": [
        "code",
        "compiler",
        "id",
        "suite"
    ],
    "title": "RunRequest"
}

Response 201 Created 

{
    "score": 0,
    "verdict": "string",
    "group_scores": {},
    "protocol": {},
    "compilation_error": null
}
⚠️ This example has been generated automatically from the schema and it is not accurate. Refer to the schema for more information.

Schema of the response body 
{
    "properties": {
        "score": {
            "type": "integer"
        },
        "verdict": {
            "type": "string"
        },
        "group_scores": {
            "additionalProperties": {
                "type": "integer"
            },
            "type": "object"
        },
        "protocol": {
            "additionalProperties": {
                "$ref": "#/components/schemas/GroupProtocolSchema"
            },
            "type": "object"
        },
        "compilation_error": {
            "oneOf": [
                {
                    "type": "string"
                },
                {
                    "type": "null"
                }
            ]
        }
    },
    "type": "object",
    "required": [
        "group_scores",
        "protocol",
        "score",
        "verdict"
    ],
    "title": "RunResponse"
}

Response 400 Bad Request 

{
    "status_code": 0,
    "detail": "string",
    "extra": {
        "additionalProperties": {},
        "type": [
            "null",
            "object",
            "array"
        ]
    }
}
⚠️ This example has been generated automatically from the schema and it is not accurate. Refer to the schema for more information.

Schema of the response body 
{
    "properties": {
        "status_code": {
            "type": "integer"
        },
        "detail": {
            "type": "string"
        },
        "extra": {
            "additionalProperties": {},
            "type": [
                "null",
                "object",
                "array"
            ]
        }
    },
    "type": "object",
    "required": [
        "detail",
        "status_code"
    ],
    "description": "Validation Exception",
    "examples": [
        {
            "status_code": 400,
            "detail": "Bad Request",
            "extra": {}
        }
    ]
}

Schemas

GroupProtocolSchema

Name Type
is_successful boolean
score integer
verdict VerdictSchema
verdicts Array<VerdictSchema>

PrecompileCheckerSchema

Name Type
args
type string

RunRequest

Name Type
code SolutionSchema
compiler string
id string
suite TestSuite

RunResponse

Name Type
compilation_error
group_scores
protocol
score integer
verdict string

ScoringRuleEnum

Type: string

SolutionSchema

Name Type
b64
code
main
type string

TestCase

Name Type
files_in
files_out Array<string>
mem_limit_mb
stdin string
time_limit
validators Array<ValidatorSchema>

TestGroupSchema

Name Type
cases Array<TestCase>
depends_on Array<string>
name string
points integer
scoring_rule ScoringRuleEnum

TestSuite

Name Type
compile_timeout integer
envs
groups Array<TestGroupSchema>
mem_limit_mb number
place_files
precompile Array<PrecompileCheckerSchema>
public_cases Array<>
time_limit number

ValidatorSchema

Name Type
args
type string

VerdictSchema

Name Type
codename string
details string
is_successful boolean

Contents

Previous
arrow_back Configuration
Next
arrow_forward Overview
search