KrancGroups: Add a function CheckGroups to check the validity of a groups structure

1 files changed, 13 insertions, 0 deletions

diff --git a/Tools/CodeGen/KrancGroups.m b/Tools/CodeGen/KrancGroups.m
index 05ebdea..13d53d2 100644
--- a/Tools/CodeGen/KrancGroups.m
+++ b/Tools/CodeGen/KrancGroups.m
@@ -52,6 +52,7 @@ AddGroupExtra;
 GroupTimelevels;
 allGroupVariables;
 NonevolvedTimelevels;
+CheckGroups;
 
 Begin["`Private`"];
 
@@ -245,6 +246,18 @@ qualifyGFName[gfname_, allgroups_, defaultImp_] :=
 allGroupVariables[groups_] :=
   Flatten[Map[groupVariables, groups], 1];
 
+CheckGroups[groups_] :=
+  Module[{vs, names},
+(*    If[!MatchQ[{_String, {_Symbol ...}, {_Symbol -> _} ...}],
+        ThrowError["Groups structure should be of the form {name, {vars, ...}, extras}"]]; *)
+
+    vs = Map[ToString, Union[Flatten[Map[groupVariables, groups]]]];
+    names = Map[groupName, groups];
+
+    If[(int = Intersection[vs,names]) =!= {},
+      ThrowError["Variable names and group names must be distinct.  Group names which are also variable names:", int]];
+  ];
+
 End[];
 
 EndPackage[];