Example #1
0
 private MapMetaDataMsg(MessageDeserializer deserializer)
 {
     this.map_load_time = BuiltinInterfaces.TimeMsg.Deserialize(deserializer);
     deserializer.Read(out this.resolution);
     deserializer.Read(out this.width);
     deserializer.Read(out this.height);
     this.origin = Geometry.PoseMsg.Deserialize(deserializer);
 }
Example #2
0
 public MapMetaDataMsg(BuiltinInterfaces.TimeMsg map_load_time, float resolution, uint width, uint height, Geometry.PoseMsg origin)
 {
     this.map_load_time = map_load_time;
     this.resolution    = resolution;
     this.width         = width;
     this.height        = height;
     this.origin        = origin;
 }
Example #3
0
 public MapMetaDataMsg()
 {
     this.map_load_time = new BuiltinInterfaces.TimeMsg();
     this.resolution    = 0.0f;
     this.width         = 0;
     this.height        = 0;
     this.origin        = new Geometry.PoseMsg();
 }
Example #4
0
 private TimeReferenceMsg(MessageDeserializer deserializer)
 {
     this.header   = Std.HeaderMsg.Deserialize(deserializer);
     this.time_ref = BuiltinInterfaces.TimeMsg.Deserialize(deserializer);
     deserializer.Read(out this.source);
 }
Example #5
0
 public TimeReferenceMsg(Std.HeaderMsg header, BuiltinInterfaces.TimeMsg time_ref, string source)
 {
     this.header   = header;
     this.time_ref = time_ref;
     this.source   = source;
 }
Example #6
0
        //  (optional) name of time source

        public TimeReferenceMsg()
        {
            this.header   = new Std.HeaderMsg();
            this.time_ref = new BuiltinInterfaces.TimeMsg();
            this.source   = "";
        }
 private GoalIDMsg(MessageDeserializer deserializer)
 {
     this.stamp = BuiltinInterfaces.TimeMsg.Deserialize(deserializer);
     deserializer.Read(out this.id);
 }
 public GoalIDMsg(BuiltinInterfaces.TimeMsg stamp, string id)
 {
     this.stamp = stamp;
     this.id    = id;
 }
 public GoalIDMsg()
 {
     this.stamp = new BuiltinInterfaces.TimeMsg();
     this.id    = "";
 }
Example #10
0
 HeaderMsg(MessageDeserializer deserializer)
 {
     this.stamp = BuiltinInterfaces.TimeMsg.Deserialize(deserializer);
     deserializer.Read(out this.frame_id);
 }
Example #11
0
 public HeaderMsg(BuiltinInterfaces.TimeMsg stamp, string frame_id)
 {
     this.stamp    = stamp;
     this.frame_id = frame_id;
 }
Example #12
0
 public HeaderMsg()
 {
     this.stamp    = new BuiltinInterfaces.TimeMsg();
     this.frame_id = "";
 }