File 

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

Inherit from FileDO

Primary key: element_hash_id: int

schema File extends FileDO {
  @primary element_hash_id: int,
  qualified_name: string,
  extension: string,
  name: string,
  number_of_lines_hash_id: int
}

File::getRelativePath 

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

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;

File::__all__

Data constraint method.

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

File::getSize 

/**
* @brief gets the size information for the element.
* @return NumberOfLines
*/

pub fn getSize(self: File) -> NumberOfLines;

File::getBelongedFolder 

/**
* @brief gets the folder which contains the file, if any.
* @return Folder 
*/

pub fn getBelongedFolder(self: File) -> Folder;

File::getPackage 

/**
* @brief gets the package of the file.
* @return Package 
*/

pub fn getPackage(self: File) -> Package;

File::getNumberOfLinesHashId 

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