public InventoryFieldEventArgs(int inventoryField) { Contract.Requires(inventoryField >= 0); InventoryField = inventoryField; }