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;