Merge branch 'master' of gl.mathhub.info:ODK/GAP

gap/gaptypes.g

-# Load into GAP using Read("gaptypes.g"); and export using
-# GAPTypesToJson("gap_types.json");
-
-LoadPackage("json");
-
-GAPFilterToFilterType := function(fid)
-    if INFO_FILTERS[fid] in FNUM_CATS then
-        return "GAP_Category";
-    elif INFO_FILTERS[fid] in FNUM_REPS then
-        return "GAP_Representation";
-    elif INFO_FILTERS[fid] in FNUM_ATTS then
-        return "GAP_Attribute";
-    elif INFO_FILTERS[fid] in FNUM_PROS then
-        return "GAP_Property";
-    elif INFO_FILTERS[fid] in FNUM_TPRS then
-        return "GAP_Tester";
-    else
-        return "GAP_Filter";
-    fi;
-end;
-
-# Make GAP Type graph as a record
-GAPTypesInfo := function()
-    local  res, lres, i, ff;
-
-    res := rec();
-
-    for i in [1..Length(FILTERS)] do
-        if IsBound(FILTERS[i]) then
-            lres := rec();
-
-            lres.type := GAPFilterToFilterType(i);
-
-            ff := TRUES_FLAGS(WITH_IMPS_FLAGS(FLAGS_FILTER(FILTERS[i])));
-            lres.implied := List(ff,
-                               function(f)
-                                   if IsBound(FILTERS[f]) then
-                                       return NAME_FUNC(FILTERS[f]);
-                                   else
-                                       return "<<unknown>>";
-                                   fi;
-                               end);
-            res.(NAME_FUNC(FILTERS[i])) := lres;
-        fi;
-    od;
-
-    return res;
-end;
-
-# Write the graph of type info to JSon file
-GAPTypesToJson := function(file)
-    PrintTo(file, GapToJsonString(GAPTypesInfo()));
-end;
-
+# Load into GAP using Read("gaptypes.g"); and export using
+# GAPTypesToJson("gap_types.json");
+
+LoadPackage("json");
+LoadPackage("io");
+
+
+GAPFilterToFilterType := function(fid)
+    if INFO_FILTERS[fid] in FNUM_CATS then
+        return "GAP_Category";
+    elif INFO_FILTERS[fid] in FNUM_REPS then
+        return "GAP_Representation";
+    elif INFO_FILTERS[fid] in FNUM_ATTS then
+        return "GAP_Attribute";
+    elif INFO_FILTERS[fid] in FNUM_PROS then
+        return "GAP_Property";
+    elif INFO_FILTERS[fid] in FNUM_TPRS then
+        return "GAP_TrueProperty";
+    else
+        return "GAP_Filter";
+    fi;
+end;
+
+GAPAndFilterUnpack := function(t)
+    local res;
+
+    res := [];
+
+    if IsOperation(t) then
+        if (IsInt(FLAG1_FILTER(t)) and IsInt(FLAG2_FILTER(t)))
+            then
+            Add(res, NAME_FUNC(t));
+        else
+            Append(res, GAPAndFilterUnpack(FLAG1_FILTER(t)));
+            Append(res, GAPAndFilterUnpack(FLAG2_FILTER(t)));
+        fi;
+    fi;
+    return res;
+end;
+
+
+# Make GAP Type graph as a record
+GAPTypesInfo := function()
+    local  res, lres, i, f, ff;
+
+    res := [];
+
+    for i in [1..Length(FILTERS)] do
+        if IsBound(FILTERS[i]) then
+            lres := rec();
+            f := FILTERS[i];
+
+            lres.type := GAPFilterToFilterType(i);
+            # if the filter is an attribute and FLAG1_FILTER of the filter
+            # is not equal to it, then this is a tester.
+            ff := TRUES_FLAGS(WITH_IMPS_FLAGS(FLAGS_FILTER(FILTERS[i])));
+            ff := List(ff, function(f)
+                          if IsBound(FILTERS[f]) then
+                              return NAME_FUNC(FILTERS[f]);
+                          else
+                              return "<<unknown>>";
+                          fi;
+                      end);
+            if lres.type = "GAP_Attribute" then
+                if (FLAG1_FILTER(f)) <> 0 and (FLAG1_FILTER(f) <> i) then
+                    lres.testerfor := NAME_FUNC(FILTERS[FLAG1_FILTER(f)]);
+                fi;
+                lres.filters := ff;
+            elif lres.type = "GAP_Property" then
+                lres.filters := ff;
+            else
+                lres.implied := ff;
+            fi;
+            lres.name := (NAME_FUNC(FILTERS[i]));
+            Add(res, lres);
+        fi;
+    od;
+    for i in [1..Length(ATTRIBUTES)] do
+        lres := rec();
+        lres.type := "GAP_Attribute";
+        lres.filters := GAPAndFilterUnpack(ATTRIBUTES[i][2]);
+
+        lres.name  := ATTRIBUTES[i][1];
+        Add(res, lres);
+    od;
+    return res;
+end;
+
+# Write the graph of type info to JSon file
+GAPTypesToJson := function(file)
+    local fd, n;
+
+    fd := IO_File(file, "w");
+    if fd = fail then
+        Error("Opening file ", file, "failed.");
+    fi;
+    n := IO_Write(fd, GapToJsonString(GAPTypesInfo()));
+    IO_Close(fd);
+
+    return n;
+end;
+