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;