Skip to content

Commit

Permalink
Move new parameters to the end
Browse files Browse the repository at this point in the history
  • Loading branch information
ThyMYthOS committed Feb 2, 2024
1 parent 9c8db42 commit 22dab80
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 8 deletions.
8 changes: 4 additions & 4 deletions src/usb-device.adb
Original file line number Diff line number Diff line change
Expand Up @@ -313,13 +313,13 @@ package body USB.Device is
function Initialize
(This : in out USB_Device_Stack;
Controller : not null Any_USB_Device_Controller;
Vendor_Id : UInt16 := 16#6666#;
Product_Id : UInt16 := 16#4242#;
Bcd_Device : UInt16 := 16#0121#;
Manufacturer : USB_String;
Product : USB_String;
Serial_Number : USB_String;
Max_Packet_Size : Control_Packet_Size)
Max_Packet_Size : Control_Packet_Size;
Vendor_Id : UInt16 := 16#6666#;
Product_Id : UInt16 := 16#4242#;
Bcd_Device : UInt16 := 16#0121#)
return Init_Result
is
use System;
Expand Down
8 changes: 4 additions & 4 deletions src/usb-device.ads
Original file line number Diff line number Diff line change
Expand Up @@ -87,13 +87,13 @@ package USB.Device is
function Initialize
(This : in out USB_Device_Stack;
Controller : not null Any_USB_Device_Controller;
Vendor_Id : UInt16 := 16#6666#;
Product_Id : UInt16 := 16#4242#;
Bcd_Device : UInt16 := 16#0121#;
Manufacturer : USB_String;
Product : USB_String;
Serial_Number : USB_String;
Max_Packet_Size : Control_Packet_Size)
Max_Packet_Size : Control_Packet_Size;
Vendor_Id : UInt16 := 16#6666#;
Product_Id : UInt16 := 16#4242#;
Bcd_Device : UInt16 := 16#0121#)
return Init_Result
with Post => (if Initialize'Result = Ok then This.Initialized);

Expand Down

0 comments on commit 22dab80

Please sign in to comment.