/**
 * Grader Extension API Schemas
 *
 * 
 *
 * NOTE: This class is auto generated by OpenAPI Generator (https://openapi-generator.tech).
 * https://openapi-generator.tech
 * Do not edit the class manually.
 */


export interface Submission { 
    id?: number;
    submitted_at?: string;
    auto_status?: Submission.AutoStatusEnum;
    manual_status?: Submission.ManualStatusEnum;
    username?: string;
    user_display_name?: string;
    grading_score?: number;
    score_scaling?: number;
    score?: number;
    assignid?: number;
    commit_hash?: string;
    feedback_status?: Submission.FeedbackStatusEnum;
    edited?: boolean;
}
export namespace Submission {
    export const AutoStatusEnum = {
        NotGraded: 'not_graded',
        Pending: 'pending',
        AutomaticallyGraded: 'automatically_graded',
        GradingFailed: 'grading_failed'
    } as const;
    export type AutoStatusEnum = typeof AutoStatusEnum[keyof typeof AutoStatusEnum];
    export const ManualStatusEnum = {
        NotGraded: 'not_graded',
        ManuallyGraded: 'manually_graded',
        BeingEdited: 'being_edited',
        GradingFailed: 'grading_failed'
    } as const;
    export type ManualStatusEnum = typeof ManualStatusEnum[keyof typeof ManualStatusEnum];
    export const FeedbackStatusEnum = {
        NotGenerated: 'not_generated',
        Generating: 'generating',
        Generated: 'generated',
        GenerationFailed: 'generation_failed',
        FeedbackOutdated: 'feedback_outdated'
    } as const;
    export type FeedbackStatusEnum = typeof FeedbackStatusEnum[keyof typeof FeedbackStatusEnum];
}


