Polyman Documentation - v2.2.2
    Preparing search index...

    Interface ResourceAdvancedProperties

    Advanced properties for resource files (e.g., IOI-style graders). ResourceAdvancedProperties

    interface ResourceAdvancedProperties {
        forTypes: string;
        main: boolean;
        stages: ("COMPILE" | "RUN")[];
        assets: ("VALIDATOR" | "INTERACTOR" | "CHECKER" | "SOLUTION")[];
    }
    Index

    Properties

    forTypes: string

    File types pattern (e.g., 'cpp.*', 'java.11')

    main: boolean

    Reserved field, currently always false

    stages: ("COMPILE" | "RUN")[]

    When resource is used

    assets: ("VALIDATOR" | "INTERACTOR" | "CHECKER" | "SOLUTION")[]

    What can use this resource