Module `Mindstorm_lwt.NXT`Source

Sourcetype usb

USB connection type.

Sourcetype bluetooth

Bluetooth connection type.

Sourcetype 'a conn

Abstract type representing a connection to a LEGO® mindstorm brick. The type parameter indicates whether this connection is a USB or a Bluetooth one.

Sourceval connect_bluetooth : ?check_status:bool -> string -> bluetooth conn Lwt.t

connect_bluetooth bdaddr connects through bluetooth to the brick with bluetooth address bdaddr. See the section "connectBluetooth" for more information.

parameter check_status
set the default value for the check_status optional argument. This global default allows to easily globally activate status checking for a given connection. Checking the status ensures the command was transmitted properly but incur a cost of 60ms between two transmissions. Default: false.

raises Unix.Unix_error
in case of a connection problem. In particular, Unix.Unix_error(Unix.EHOSTDOWN, _,_) is raised if the brick is not turned on.

Sourcemodule USB : sig ... end

Functions to choose and connect to NXT bricks connected through USB. So far, it works on Linux (users of other platforms, your help is welcome).

Sourceval close : 'a conn -> unit Lwt.t

close conn closes the connection conn to the brick.

Exception for errors

Sourcetype error = Mindstorm.NXT.error =

| No_more_handles
(*
All 16 handles are in use.
*)
| No_space
| No_more_files
| EOF_expected
| Not_a_linear_file
| No_linear_space
| Undefined_error
| File_is_busy
| No_write_buffers
| Append_not_possible
| File_is_full
| File_exists
| Module_not_found
| Out_of_boundary
| Illegal_file_name
| Pending
(*
Pending communication transaction in progress
*)
| Empty_mailbox
(*
Specified mailbox queue is empty
*)
| Failed
(*
Request failed (i.e. specified file not found)
*)
| Unknown
(*
Unknown command opcode
*)
| Insane
(*
Insane packet
*)
| Out_of_range
(*
Data contains out-of-range values
*)
| Bus_error
(*
Communication bus error, can indicate a device failure.
*)
| Buffer_full
(*
No free memory in communication buffer
*)
| Invalid_conn
(*
Specified channel/connection is not valid
*)
| Busy_conn
(*
Specified channel/connection not configured or busy
*)
| No_program
(*
No active program
*)
| Bad_size
(*
Illegal size specified
*)
| Bad_mailbox
(*
Illegal mailbox queue ID specified
*)
| Bad_field
(*
Attempted to access invalid field of a structure
*)
| Bad_io
(*
Bad input or output specified
*)
| Out_of_memory
(*
Insufficient memory available
*)
| Bad_arg
(*
Bad arguments
*)

Error codes. The codes starting with Pending are command error.

Sourceexception Error of error

This exception can be raised by any of the functions below except when the optional argument ~check_status is set to false. Note that checking for errors leads to up to approximately a 60ms latency between two commands.

Sourceexception File_not_found

Raised to indicate that a file is not present on the brick.

Direct commands

Sourcemodule Program : sig ... end

Starting and stopping programs (.rxe files) on the brick.

Sourcemodule Motor : sig ... end

Output ports.

Sourcemodule Sensor : sig ... end

Input ports.

Sourcemodule Sound : sig ... end

Play sounds (.rso files) and tones.

Sourcemodule Message : sig ... end

Read and write messages from the 10 message queues. This can be thought as advanced direct commands.

System commands

Files

Sourcetype 'a in_channel

Handle for reading from the brick.

Sourceval open_in : 'a conn -> string -> 'a in_channel Lwt.t

open_in conn fname opens the file named fname on the brick for reading. The channel must be closed with Mindstorm_lwt.NXT.close_in. Close it as soon as possible as channels are a scarce resource.

raises Invalid_argument
if fname is not a ASCIIZ string with maximum 15.3 characters.

Sourceval in_channel_length : 'a in_channel -> int Lwt.t

in_channel_length ch returns the length of the channel ch.

Sourceval close_in : 'a in_channel -> unit Lwt.t

close_in ch closes the channel ch. Closing an already closed channel does nothing.

Sourceval input : 'a in_channel -> Bytes.t -> int -> int -> int Lwt.t

input ch buf ofs len reads a block of data of length len from the channel ch and write it to buf starting at position ofs.

raises End_of_file
if there is no more data to read.

Sourcetype 'a out_channel

Handle for writing data to the brick.

Sourcetype out_flag = [

| `File of int
| `Linear of int
| `Data of int
| `Append

]

The standard NXT firmware requires that executable files and icons are linear but all other types of files (including sound files) can be non-contiguous (i.e., fragmented).

`File length: Default file, the parameter is its length.
`Linear length: Write a linear file, the parameter is its length.

Sourceval open_out : 'a conn -> out_flag -> string -> 'a out_channel Lwt.t

open_out conn flag fname opens the file fname for writing. The channel must be closed with Mindstorm_lwt.NXT.close_in. Close it as soon as possible as channels are a scarce resource.

If the the file exists, Error File_exists is raised. If the brick does not like the extension you use, Error File_is_full may be raised.

Sourceval close_out : 'a out_channel -> unit Lwt.t

close_out ch closes the channel ch. Closing an already closed channel does nothing.

Sourceval output : 'a out_channel -> string -> int -> int -> int Lwt.t

output ch buf ofs len ouputs the substring buf.[ofs .. ofs+len-1] to the channel fd. Returns the number of bytes actually written. If you try to write more bytes than declared when opening the file, Error File_is_full is raised.

Sourceval remove : 'a conn -> string -> unit Lwt.t

remove conn fname remove the file fname from the brick.

Sourcemodule Find : sig ... end

List files on the brick matching a given pattern.

Brick information

Sourceval firmware_version : 'a conn -> (int * int * int * int) Lwt.t

firmware_version conn returns a tuple (p1, p0, f1, f0) where p1 is the major version of the protocol, p0 is the minor version of the protocol, f1 is the major version of the firmware, f0 is the minor version of the firmware,

Sourceval set_brick_name : ?check_status:bool -> 'a conn -> string -> unit Lwt.t

set_brick_name conn name change the name to which one is connected through conn to name.

parameter check_status
whether to check the status returned by the brick (and raise Error accordingly). Default: see Mindstorm_lwt.NXT.connect_bluetooth.

Sourcetype brick_info = Mindstorm.NXT.brick_info = {

brick_name : string;
(*
NXT name (set with Mindstorm_lwt.NXT.set_brick_name)
*)
bluetooth_addr : string;
(*
Bluetooth address
*)
signal_strength : int;
(*
Bluetooth signal strength (for some reason is always 0)
*)
free_user_flash : int;
(*
Free user FLASH
*)

}

Sourceval get_device_info : 'a conn -> brick_info Lwt.t

get_device_info conn returns some informations about the brick connected through conn.

Sourceval keep_alive : 'a conn -> int Lwt.t

keep_alive conn returns the current sleep time limit in milliseconds.

Sourceval battery_level : 'a conn -> int Lwt.t

battery_level conn return the voltages in millivolts of the battery on the brick.

Sourceval delete_user_flash : 'a conn -> unit Lwt.t

Sourceval bluetooth_reset : usb conn -> unit Lwt.t

bluetooth_reset conn performs a factory reset of the brick. (The type system does will a allow this command to be transmitted via bluetooth because all bluetooth functionality is reset by this command.)

Sourceval boot : usb conn -> unit Lwt.t

Polling

Sourceval poll_length : 'a conn -> [ `Poll_buffer | `High_speed_buffer ] -> int Lwt.t

Returns the number of bytes for a command in the low-speed buffer or the high-speed buffer (0 = no command is ready).

Source

val poll_command : 
  'a conn ->
  [ `Poll_buffer | `High_speed_buffer ] ->
  int ->
  (int * string) Lwt.t

Reads bytes from the low-speed or high-speed buffer.

package mindstorm-lwt

Module Mindstorm_lwt.NXTSource