public boolean isSetThreadNum(){
  return __isset_bit_vector.get(__THREADNUM_ISSET_ID);
}

public boolean isSetThreadNum ( ) { return __isset_bit_vector . get ( __THREADNUM_ISSET_ID ) ; }
returns true if field threadnum is set ( has been assigned a value ) and false otherwise
