public ThreadRegisterValues(final ThreadRegisters values){
  m_tid=values.getTid();
  for (  final RegisterValue value : values.getRegisters()) {
    m_values.add(new Register(value));
  }
}

public ThreadRegisterValues ( final ThreadRegisters values ) { m_tid = values . getTid ( ) ; for ( final RegisterValue value : values . getRegisters ( ) ) { m_values . add ( new Register ( value ) ) ; } }
creates a new thread register values object .
