Add function LocationOfDeclaration

This function returns the location of the declaration of the passed
object if it is known.

lib/type.gd

@@ -72,3 +72,21 @@ DeclareGlobalFunction( "IsCategory" );
 ##  </ManSection>
 ##  <#/GAPDoc>
 DeclareGlobalFunction( "CategoryByName" );
+
+
+#############################################################################
+##
+#F  LocationOfDeclaration( <object> )
+##
+##  Find the location of the declaration of <object>.
+##
+##  <#GAPDoc Label="LocationOfDeclaration">
+##  <ManSection>
+##  <Func Name="LocationofDeclaration" Arg='object'/>
+##
+##  <Description>
+##  returns the location of the declaration of <A>object</A> if it is known.
+##  </Description>
+##  </ManSection>
+##  <#/GAPDoc>
+DeclareGlobalFunction( "LocationOfDeclaration" );

lib/type.gi

@@ -171,3 +171,21 @@ function(name)
     return fail;
 end);
 
+InstallGlobalFunction( LocationOfDeclaration,
+function(object)
+    local fid;
+    if IsFilter(object) then
+       fid := IdOfFilter(object);
+       if fid <> fail then
+           if IsBound(FILTERS_LOCATIONS[fid]) then
+               return FILTERS_LOCATIONS[fid];
+           fi; 
+       fi;
+    elif IsOperation(object) then
+       fid := Position(OPERATIONS, object);
+       if IsBound(OPERATIONS_LOCATIONS[fid + 1]) then
+           return OPERATIONS_LOCATIONS[fid + 1];
+       fi;
+    fi;
+    return fail;
+end);