update

Author: inesmaria08

examples/servo/main.c

@@ -12,24 +12,24 @@ int main(void) {
   }
   returncode_t result  = RETURNCODE_EOFF;
   uint16_t servo_count = 0;
-  libtock_servo_number(&servo_count);
+  libtock_servo_count(&servo_count);
   printf("The number of available servomotors is: %d", servo_count);
   uint16_t angle = 0;
   uint16_t index = 0; // the first index available.
 
-  if (libtock_current_servo_angle(index, &angle) == RETURNCODE_ENODEVICE) {
+  if (libtock_read_servo_angle(index, &angle) == RETURNCODE_ENODEVICE) {
     printf("\n The index number is bigger than the available servomotors\n");
     return -1;
   }
 
   // Changes the angle of the servomotor from 0 to 180 degrees (waiting 0.1 ms between every change).
   for (int i = 0; i <= 180; i++) {
     // `result` stores the returned code received from the driver.
-    result = libtock_servo_angle(index, i);
+    result = libtock_set_servo_angle(index, i);
     if (result == RETURNCODE_SUCCESS) {
       libtocksync_alarm_delay_ms(100);
       // Verifies if the function successfully returned the current angle.
-      if (libtock_current_servo_angle(index, &angle) == RETURNCODE_SUCCESS) {
+      if (libtock_read_servo_angle(index, &angle) == RETURNCODE_SUCCESS) {
         printf("\nThe current angle is: %d", angle);
       } else {
         printf("\n This servo cannot return its angle.\n");

libtock/interface/syscalls/servo_syscalls.c

@@ -5,7 +5,7 @@ bool libtock_servo_exists(void) {
   return driver_exists(DRIVER_NUM_SERVO);
 }
 
-returncode_t libtock_servo_number(uint16_t* servo_count) {
+returncode_t libtock_servo_count(uint16_t* servo_count) {
   uint32_t value     = 0;
   syscall_return_t r = command(DRIVER_NUM_SERVO, 1, 0, 0);
   // Converts the returned value stored in `r`
@@ -16,12 +16,12 @@ returncode_t libtock_servo_number(uint16_t* servo_count) {
 
 }
 
-returncode_t libtock_servo_angle(uint16_t index, uint16_t angle) {
+returncode_t libtock_set_servo_angle(uint16_t index, uint16_t angle) {
   syscall_return_t cval = command(DRIVER_NUM_SERVO, 2, index, angle);
   return tock_command_return_novalue_to_returncode(cval);
 }
 
-returncode_t libtock_current_servo_angle(uint16_t index, uint16_t* angle) {
+returncode_t libtock_read_servo_angle(uint16_t index, uint16_t* angle) {
   uint32_t value     = 0;
   syscall_return_t r = command(DRIVER_NUM_SERVO, 3, index, 0);
   // Converts the value returned by the servo, stored in `r`

libtock/interface/syscalls/servo_syscalls.h

@@ -11,11 +11,11 @@ extern "C" {
 // Check if the servo system call driver is available on this board.
 bool libtock_servo_exists(void);
 // Returns the number of available servomotors.
-returncode_t libtock_servo_number(uint16_t* servo_count);
+returncode_t libtock_servo_count(uint16_t* servo_count);
 // Change the angle.
-returncode_t libtock_servo_angle(uint16_t index, uint16_t angle);
+returncode_t libtock_set_servo_angle(uint16_t index, uint16_t angle);
 // Requests the current angle from the servo.
-returncode_t libtock_current_servo_angle(uint16_t index, uint16_t* angle);
+returncode_t libtock_read_servo_angle(uint16_t index, uint16_t* angle);
 
 #ifdef __cplusplus
 }