AssertStatementDO

/**
* @brief DO class: An assert statement.
*/

Primary key: element_hash_id: int

schema AssertStatementDO {
  @primary element_hash_id: int,
  assert_condition_hash_id: int,
  assert_description_hash_id: int
}

AssertStatementDO::getAssertDescriptionHashId

/**
* @brief gets the assert description hash id of this element.
* @return int
*/
pub fn getAssertDescriptionHashId(self: AssertStatementDO) -> int;

AssertStatementDO::__all__

Data constraint method.

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

AssertStatementDO::getAssertConditionHashId

/**
* @brief gets the assert condition hash id of this element.
* @return int
*/
pub fn getAssertConditionHashId(self: AssertStatementDO) -> int;