WhileStatementDO 

/**
* @brief DO class: A while statement.
*/

Primary key: element_hash_id: int

schema WhileStatementDO {
  @primary element_hash_id: int,
  condition_hash_id: int,
  body_declaration_hash_id: int
}

WhileStatementDO::getBodyDeclarationHashId 

/**
* @brief gets the body declaration hash id of this element.
* @return int
*/

pub fn getBodyDeclarationHashId(self: WhileStatementDO) -> int;

WhileStatementDO::__all__

Data constraint method.

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

WhileStatementDO::getConditionHashId 

/**
* @brief gets the expression id representing the condition of the loop.
* The condition is checked after every loop iteration, and
* iteration stops when condition evaluates to false.
* @return int
*/

pub fn getConditionHashId(self: WhileStatementDO) -> int;