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;