public WrenchStampedMsg(Std.HeaderMsg header, WrenchMsg wrench)
{
this.header = header;
this.wrench = wrench;
}
private WrenchStampedMsg(MessageDeserializer deserializer)
{
this.header = Std.HeaderMsg.Deserialize(deserializer);
this.wrench = WrenchMsg.Deserialize(deserializer);
}
public WrenchStampedMsg()
{
this.header = new Std.HeaderMsg();
this.wrench = new WrenchMsg();
}