kernel: add RequireMutableSet helper in set.c

fingolfin · Dec 5, 2018 · 8a9aa64 · 8a9aa64
1 parent ccdc683
commit 8a9aa64
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 35 deletions.
diff --git a/src/set.c b/src/set.c
@@ -34,6 +34,11 @@
 #include "sysopt.h" // for SyInitializing
 
 
+#define RequireMutableSet(funcname, op) \
+ RequireArgumentCondition(funcname, op, #op, IS_MUTABLE_OBJ(op) && IsSet(op), \
+ "must be a mutable proper set")
+
+
 /****************************************************************************
 **
 *F IsSet( <list> ) . . . . . . . . . . . . . . . . . test if a list is a set
@@ -409,12 +414,7 @@ Obj FuncADD_SET (
  UInt wasTab;
 
  /* check the arguments */
- while ( ! IS_MUTABLE_OBJ(set) || ! IsSet(set) ) {
- set = ErrorReturnObj(
- "AddSet: <set> must be a mutable proper set (not a %s)",
- (Int)TNAM_OBJ(set), 0L,
- "you can replace <set> via 'return <set>;'" );
- }
+ RequireMutableSet("AddSet", set);
  len = LEN_LIST(set);
 
  /* perform the binary search to find the position */
@@ -533,12 +533,7 @@ Obj FuncREM_SET (
  Obj *ptr;
 
  /* check the arguments */
- while ( ! IS_MUTABLE_OBJ(set) || ! IsSet(set) ) {
- set = ErrorReturnObj(
- "RemoveSet: <set> must be a mutable proper set (not a %s)",
- (Int)TNAM_OBJ(set), 0L,
- "you can replace <set> via 'return <set>;'" );
- }
+ RequireMutableSet("RemoveSet", set);
  len = LEN_LIST(set);
 
  /* perform the binary search to find the position */
@@ -600,12 +595,7 @@ Obj FuncUNITE_SET (
  Obj TmpUnion;
 
  /* check the arguments */
- while ( ! IS_MUTABLE_OBJ(set1) || ! IsSet(set1) ) {
- set1 = ErrorReturnObj(
- "UniteSet: <set1> must be a mutable proper set (not a %s)",
- (Int)TNAM_OBJ(set1), 0L,
- "you can replace <set1> via 'return <set1>;'" );
- }
+ RequireMutableSet("UniteSet", set1);
  RequireSmallList("UniteSet", set2);
  if ( ! IsSet(set2) ) set2 = SetList(set2);
 
@@ -773,12 +763,7 @@ Obj FuncINTER_SET (
  UInt lenr; /* length of result set */
 
  /* check the arguments */
- while ( ! IS_MUTABLE_OBJ(set1) || ! IsSet(set1) ) {
- set1 = ErrorReturnObj(
- "IntersectSet: <set1> must be a mutable proper set (not a %s)",
- (Int)TNAM_OBJ(set1), 0L,
- "you can replace <set1> via 'return <set1>;'" );
- }
+ RequireMutableSet("IntersectSet", set1);
  RequireSmallList("IntersectSet", set2);
  if ( ! IsSet(set2) ) set2 = SetList(set2);
 
@@ -946,12 +931,7 @@ Obj FuncSUBTR_SET (
  UInt ll; 
 
  /* check the arguments */
- while ( ! IS_MUTABLE_OBJ(set1) || ! IsSet(set1) ) {
- set1 = ErrorReturnObj(
- "SubtractSet: <set1> must be a mutable proper set (not a %s)",
- (Int)TNAM_OBJ(set1), 0L,
- "you can replace <set1> via 'return <set1>;'" );
- }
+ RequireMutableSet("SubtractSet", set1);
  RequireSmallList("SubtractSet", set2);
  if ( ! IsSet(set2) ) set2 = SetList(set2);
 

diff --git a/tst/testinstall/kernel/set.tst b/tst/testinstall/kernel/set.tst
@@ -45,19 +45,19 @@ false
 gap> ADD_SET;
 function( set, val ) ... end
 gap> ADD_SET(1,1);
-Error, AddSet: <set> must be a mutable proper set (not a integer)
+Error, AddSet: <set> must be a mutable proper set (not the integer 1)
 
 #
 gap> REM_SET;
 function( set, val ) ... end
 gap> REM_SET(1,1);
-Error, RemoveSet: <set> must be a mutable proper set (not a integer)
+Error, RemoveSet: <set> must be a mutable proper set (not the integer 1)
 
 #
 gap> UNITE_SET;
 function( set1, set2 ) ... end
 gap> UNITE_SET(1,1);
-Error, UniteSet: <set1> must be a mutable proper set (not a integer)
+Error, UniteSet: <set1> must be a mutable proper set (not the integer 1)
 gap> UNITE_SET([],1);
 Error, UniteSet: <set2> must be a small list (not the integer 1)
 gap> UNITE_SET([],[]);
@@ -66,7 +66,7 @@ gap> UNITE_SET([],[]);
 gap> INTER_SET;
 function( set1, set2 ) ... end
 gap> INTER_SET(1,1);
-Error, IntersectSet: <set1> must be a mutable proper set (not a integer)
+Error, IntersectSet: <set1> must be a mutable proper set (not the integer 1)
 gap> INTER_SET([],1);
 Error, IntersectSet: <set2> must be a small list (not the integer 1)
 gap> INTER_SET([],[]);
@@ -75,7 +75,7 @@ gap> INTER_SET([],[]);
 gap> SUBTR_SET;
 function( set1, set2 ) ... end
 gap> SUBTR_SET(1,1);
-Error, SubtractSet: <set1> must be a mutable proper set (not a integer)
+Error, SubtractSet: <set1> must be a mutable proper set (not the integer 1)
 gap> SUBTR_SET([],1);
 Error, SubtractSet: <set2> must be a small list (not the integer 1)
 gap> SUBTR_SET([],[]);