Added functions GetChar and CharValue to libgap api

gap-system · Nov 14, 2018 · b756d0c · b756d0c
1 parent 48047f3
commit b756d0c
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/src/libgap-api.c b/src/libgap-api.c
@@ -258,3 +258,16 @@ char * GAP_CSTR_STRING(Obj string)
         return 0;
     return CSTR_STRING(string);
 }
+
+UChar GAP_CharValue(Obj obj)
+{
+    if (TNUM_OBJ(obj) != T_CHAR) {
+        ErrorQuit("GAP_CharValue: argument is not a char", 0, 0);
+    }
+    return CHAR_VALUE(obj);
+}
+
+Obj GAP_GetChar(UChar obj)
+{
+    return ObjsChar[obj];
+}
diff --git a/src/libgap-api.h b/src/libgap-api.h
@@ -147,5 +147,11 @@ extern Obj GAP_MakeString(const char * string);
 // terminated C string.
 extern Obj GAP_MakeImmString(const char * string);
 
+// Returns the value of the GAP char <obj>.
+// If <obj> is not a GAP char, an error is raised.
+extern UChar GAP_CharValue(Obj obj);
+
+// Returns the char Obj corresponding to <obj>
+extern Obj GAP_GetChar(UChar obj);
 
 #endif