Interface File

Represents a file in the problem package. File

interface File {
    name: string;
    modificationTimeSeconds: number;
    length: number;
    sourceType?: string;
    resourceAdvancedProperties?: ResourceAdvancedProperties;
}

Index

Properties

name modificationTimeSeconds length sourceType? resourceAdvancedProperties?

Properties

name

name: string

File name with extension

modificationTimeSeconds

modificationTimeSeconds: number

Last modification time (Unix timestamp)

length

length: number

File size in bytes

`Optional`sourceType

sourceType?: string

Source language/compiler (e.g., 'cpp.g++17')

`Optional`resourceAdvancedProperties

resourceAdvancedProperties?: ResourceAdvancedProperties

Advanced resource settings