/// <summary>
/// Constructor.
/// </summary>
/// <param name="head">The head of the message.</param>
/// <param name="body">The body of the message.</param>
public PirateMessage(PirateMessageHead head, string body)
{
Contract.Requires(body != null);
this.Head = head;
this.Body = body;
}
public PirateMessage Constructor01(PirateMessageHead head, string body)
{
PirateMessage target = new PirateMessage(head, body);
return target;
// TODO: add assertions to method PirateMessageTest.Constructor01(PirateMessageHead, String)
}