File 

/** * @brief A java file. */

Inherit from FileDO

Primary key: element_oid: int

schema File extends FileDO { @primary element_oid: int, relative_path: string, extension: string, name: string }

File::getRelativePath 

/** * @brief gets the relative path of this element. * @return string */
  • Parameter self: File
  • Return string
pub fn getRelativePath(self: File) -> string;

File::getBelongedFolder 

/** * @brief gets the folder which contains the file, if any. * @return Folder */ 
pub fn getBelongedFolder(self: File) -> Folder;

File::__all__

Data constraint method.

pub fn __all__(db: PropertiesDB) -> *File;

File::getSize 

/** * @brief gets the size information for the element. * @return NumberOfLines */ 
pub fn getSize(self: File) -> NumberOfLines;

File::getNumberOfLinesOid 

/** * @brief gets the number of lines oid of this element. * @return int */
  • Parameter self: File
  • Return int
pub fn getNumberOfLinesOid(self: File) -> int;

File::getName 

/** * @brief gets the name of this element. * @return string */
  • Parameter self: File
  • Return string
pub fn getName(self: File) -> string;

File::getExtension 

/** * @brief gets the extension of this element. * @return string */
  • Parameter self: File
  • Return string
pub fn getExtension(self: File) -> string;