From 051f6b75e007eb99edf55bf1a9d94ba085d2a085 Mon Sep 17 00:00:00 2001
From: Chris Cromer <chris@cromer.cl>
Date: Sun, 11 Nov 2018 19:14:06 -0300
Subject: [PATCH] add get_timer function and comments

---
 src/include/timer.h |  1 +
 src/timer.c         | 23 ++++++++++++++++++++++-
 2 files changed, 23 insertions(+), 1 deletion(-)

diff --git a/src/include/timer.h b/src/include/timer.h
index 8a4f740..c899263 100644
--- a/src/include/timer.h
+++ b/src/include/timer.h
@@ -18,4 +18,5 @@
 	void start_timer();
 	void stop_timer();
 	void print_timer();
+	long int get_timer();
 #endif
diff --git a/src/timer.c b/src/timer.c
index 662ea0d..014633c 100644
--- a/src/timer.c
+++ b/src/timer.c
@@ -15,13 +15,20 @@
 
 #include <stdio.h>
 #include <time.h>
+#include "timer.h"
 
 /**
- * El tiempo que demoró en ejecutar algo
+ * Cuando empezó el timer
  */
 static time_t start_time = 0;
+/**
+ * Cuando terminó el timer
+ */
 static time_t stop_time = 0;
 
+/**
+ * Empezar el timer
+ */
 void start_timer() {
 	if (start_time != 0) {
 		fprintf(stderr, "Error: El temporizador ya comenzó!\n");
@@ -32,6 +39,9 @@ void start_timer() {
 	}
 }
 
+/**
+ * Terminar el timer
+ */
 void stop_timer() {
 	if (start_time == 0) {
 		fprintf(stderr, "Error: El temporizador no ha comenzado todavía!\n");
@@ -41,6 +51,17 @@ void stop_timer() {
 	}
 }
 
+/**
+ * Imprimir el tiempo de ejecución
+ */
 void print_timer() {
 	fprintf(stdout, "Tiempo de ejecución: %ld segundos\n", (long int) (stop_time - start_time));
 }
+
+/**
+ * Devolver el tiempo que demoró en ejecutarse
+ * @return El tiempo que demoró
+ */
+long int get_timer() {
+	return (long int) (stop_time - start_time);
+}