SwitchLabelStatementDO 

/** * @brief DO class: A switch label statement. */

Primary key: element_hash_id: int

schema SwitchLabelStatementDO { @primary element_hash_id: int, case_value_hash_id: int, enclosing_switch_block_hash_id: int, get_next_switch_case: int }

SwitchLabelStatementDO::getNext 

/** * @brief gets the next switch case id of the element, 0 means it's the last case. * @return int */ 
pub fn getNext(self: SwitchLabelStatementDO) -> int;

SwitchLabelStatementDO::getEnclosingSwitchBlockHashId 

/** * @brief gets the enclosing switch block hash id of this element. * @return int */ 
pub fn getEnclosingSwitchBlockHashId(self: SwitchLabelStatementDO) -> int;

SwitchLabelStatementDO::__all__

Data constraint method.

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

SwitchLabelStatementDO::getCaseValueHashId 

/** * @brief gets the case value hash id of this element. * @return int */ 
pub fn getCaseValueHashId(self: SwitchLabelStatementDO) -> int;