% Copyright (C) 2001-2023 Artifex Software, Inc.
% All Rights Reserved.
%
% This software is provided AS-IS with no warranty, either express or
% implied.
%
% This software is distributed under license and may not be copied,
% modified or distributed except as expressly authorized under the terms
% of the license contained in the file LICENSE in this distribution.
%
% Refer to licensing information at http://www.artifex.com or contact
% Artifex Software, Inc.,  39 Mesa Street, Suite 108A, San Francisco,
% CA 94129, USA, for further information.
%

% A procset to redefine a resource category with a resource map.

% Public entries :

% Redefine - a procedure for redefining a resource category with a map.
%    Methods for interpreting the resource map to be provided by client
%    in the argument dictionary.
%
%    Note that the procedure Redefine is idempotential :
%    consequtive calls to it will not replace the category methods,
%    but will merge resource maps. If an interleaving redefinition
%    needs to cancel the idempotentity, it must remove the entry
%    /.IsRedefinedWithMap from the category dictionary.

% MakeResourceEnumerator - this procedure is useful for
%    redefining any category. It provides a proper order of instances
%    and proper stacks during resourceforall.

% BindWithCurrentdict - a procedure for generating temporary procedures
%    from templates, binding them with a local dictionary.

% execstack_lookup - a procedure for communicating through the execution stack.
%    It allows for a callee to get an information from an indirect caller.

% The procedures are designed for exeution witout putting
% the procset instance onto the dictionary stack.

languagelevel 2 .setlanguagelevel
currentglobal //true setglobal

/MappedCategoryRedefiner 10 dict begin % The procset.

currentpacking //false setpacking

/InstanceEnumeratorPattern   %  - InstanceEnumeratorPattern ...
{
  % This is a pattern for enumeration procedure to be built dynamically,
  % applying BindWithCurrentdict with a temporary dictionary.
  % The following names will be replaced with specific objects
  % during BindWithCurrentdict :
  % en_local_dict - a dictionary for storing the local integer variable 'status'.
  % scr - the scratch string argument of resourceforall;
  % proc - the procedure argument of resourceforall;
  % InstancesStatus - a dictionary that maps resource instance names to their status value;
  % Category - the category to be enumerated.

  % When this procedure is called from ResourceForAll, the category is the current dictionary.
  % We remove it from the dictionary stack before performing the enumeration
  % to provide the <proc> to write to the underlying dictionary,
  % and put it back after the enumeration is completed.
  end
  {
    0 1 2 {
      en_local_dict exch /status exch put
      InstancesStatus {
        en_local_dict /status get eq {
          scr cvs                           % ... (Font)
          proc exec                         %
        } {
          pop
        } ifelse                            % ...
      } forall
    } for                                   % ...
  } stopped
  Category begin
  { stop } if
} bind def

% An auxiliary proc for BindWithCurrentdict :
/.BindAux    % <proc> BindAux <proc>
{ 0 exec
} bind def

setpacking

/BindWithCurrentdict     % <proc> BindWithCurrentdict <proc>
{
  % Make a copy of the given procedure, binding in the values of all names
  % defined in currentdict.
  % Caution1 : this code cannot handle procedures that were already
  %            bound recursively.
  % Caution2 : this code don't bind packedarrays. This was done
  %            intentionally for a termination of the procedure tree.

  dup length array copy
  dup length 1 sub -1 0 {
    2 copy get                            % {precopy} i {elem}
    dup dup type /arraytype eq exch xcheck and {
                                          % {precopy} i {elem}
      //.BindAux exec                     % {precopy} i {elem_copy}
      2 index 3 1 roll put                % {precopy}
    } {
      dup dup type /nametype eq exch xcheck and {
                                          % {precopy} i {elem}
        currentdict exch .knownget {
          2 index 3 1 roll put            % {precopy}
        } {
          pop
        } ifelse
      } {
        pop pop
      } ifelse
    } ifelse                              % {precopy}
  } for                                   % {copy}
  cvx
} .internalbind def

//.BindAux 0 //BindWithCurrentdict put   % bind the recursive call in 'Bind'.

/MakeResourceEnumerator   % <proc> <scr> <InstancesStatus> MakeResourceEnumerator <Enumerator>
{
  % Build the enumeration procedure :

  % Since the resourceforall procedure may leave values on the operand stack,
  % we cannot simply store the enumerator's local data on the stack.
  % We also cannot use a static dictionary to store local variables,
  % because of possible recursion in the resourceforall procedure.
  % To work around this, we create a copy of the enumeration procedure and
  % bind it dynamically with a temporary dictionary, which contains
  % local variables for the currently executing instance of resourceforall.

  % Always place the enumerator in local VM,
  % because its elements may be in local VM.

  currentglobal 4 1 roll
  //false setglobal
  currentdict                    % Category
  6 dict begin % the temporary dictionary
    /Category exch def
    /InstancesStatus exch def
    /scr exch def
    /proc exch def
    /en_local_dict currentdict def
    //InstanceEnumeratorPattern //BindWithCurrentdict exec     % Enumerator
    /status 0 def % variable for the current status to enumerate - do not bind with it !
  end
  exch setglobal
} .internalbind def

/execstack_lookup     % <object> execstack_lookup <object1>
                      % <object> execstack_lookup null
{ % Checks whether execution stack contains a procedure starting with <object>,
  % and retrives the 2nd element of the procedure,
  % or null if the procedure was not found.
  %
  % Since 'execstack' actually renders subarrays of procedures,
  % the pattern for recognition must be like this :
  %
  %   { <object> <object1>
  %     CallSomething
  %   } loop
  %
  % The solution with 'loop' depends on how GS implements cycles,
  % so it must not appear in documents, which are required to be interpreter independent.
  % Any other type of cycles are also acceptable.
  % If no repitition is really needed, just insert 'exit' into its body.
  % If <object> <object1> are not needed for the caller, insert "pop pop" after them.
  % If <object1> is really unuseful, the pattern may be simplified :
  %
  %   { <object> pop
  %     CallSomething
  %     exit
  %   } loop
  %
  % It will retrieve 'pop' or 'null'.
  %
  % Note that 2 topmost execstack elements are the execstack_lookup procedure and its caller.
  % We don't check them.

  currentglobal //false setglobal                  % <object> bGlobal
  //false .countexecstack array //false .execstack % <object> bGlobal [execstack]
  dup //null exch                                  % <object> bGlobal [execstack] null [execstack]
  length 3 sub -1 0 {                              % <object> bGlobal [execstack] null i
    2 index exch get                               % <object> bGlobal [execstack] null proc
    dup type dup /packedarraytype eq exch /arraytype eq or {
      dup rcheck {
        dup length 1 gt {                          % <object> bGlobal [execstack] null proc
          dup 0 get                                % <object> bGlobal [execstack] null proc elem0
          5 index eq {                             % <object> bGlobal [execstack] null proc
            1 get                                  % <object> bGlobal [execstack] null object1
            exch pop exit                          % <object> bGlobal [execstack] object1
          } {
            pop
          } ifelse
        } {
          pop                                      % <object> bGlobal [execstack] false
        } ifelse
      } {
        pop                                        % <object> bGlobal [execstack] false
      } ifelse
    } {
      pop                                          % <object> bGlobal [execstack] false
    } ifelse
  } for                                            % <object> bGlobal [execstack] bResult
  exch pop exch setglobal exch pop                 % bResult
} .internalbind def

currentpacking //false setpacking
/MethodsToRedefine 5 dict begin

    % Procedures in this dictionary really are patterns for new category methods.
    % The following names will be replaced with specific objects during BindWithCurrentdict :
    %   .map - the map dictionary;
    %   DefineResource, ResourceStatus, ResourceFileName, FindResource, ResourceForAll
    %        - procedures from the original resource category.

    /FindResource  % <Name> FindResource <dict>
    { RESMPDEBUG { (resmp FindResource beg ) print dup = } if
      dup ResourceStatus exec {
        pop 2 lt
      } {
        //false
      } ifelse                             % bInVirtualMemory
      { FindResource exec
      } {
        dup dup .map exch .knownget {      % /Name /Name <<record>>
          dup dup /RecordVirtualMethods get /IsActive get exec {
            1 index //.getvminstance exec {       % /Name /Name <<record>> holder
              1 get 1 eq
            } {
              //true
            } ifelse                       % /Name /Name <<record>> bStatusIs1
            4 1 roll                       % bStatusIs1 /Name /Name <<record>>
            dup /RecordVirtualMethods get /MakeInstance get exec
                                           % bStatusIs1 /Name /Name Instance size
            5 1 roll                       % size bStatusIs1 /Name /Name Instance
            DefineResource exec            % size bStatusIs1 /Name Instance
            % Make ResourceStatus to return correct values for this instance :
            % Hack: we replace status values in the instance holder :
            exch //.getvminstance exec pop        % size bStatusIs1 Instance holder
            dup 5 -1 roll 2 exch put       % bStatusIs1 Instance holder
            3 2 roll {                     % Instance holder
              1 1 put                      % Instance
            } {
              pop
            } ifelse                       % Instance
          } {                              % /Name /Name <<record>>
            pop pop FindResource exec
          } ifelse
        } {                                % /Name /Name
          pop FindResource exec
        } ifelse
      } ifelse
      RESMPDEBUG { (resmp FindResource end) = } if
    } .bind def

    /ResourceStatus   % <Name> ResourceStatus <status> <size> true
                      % <Name> ResourceStatus false
    { RESMPDEBUG { (resmp ResourceStatus beg ) print dup //== exec } if
      dup ResourceStatus exec {            % /Name status size
        1 index 2 lt {
          % In VM - return with it.
          3 2 roll pop //true
        } {
          % Not in VM.
          exch pop exch                    % size /Name
          dup .map exch .knownget {        % size /Name <<record>>
            dup dup /RecordVirtualMethods get /IsActive get exec {
              3 2 roll pop                 % /Name <<record>>
              dup /RecordVirtualMethods get /GetSize get exec 2 exch //true
            } {                            % size /Name <<record>>
              pop pop 2 exch //true
            } ifelse
          } {                              % size /Name
            pop 2 exch //true
          } ifelse
        } ifelse
      } {                                  % /Name
        dup .map exch .knownget {          % /Name <<record>>
          dup dup /RecordVirtualMethods get /IsActive get exec {
            dup /RecordVirtualMethods get /GetSize get exec 2 exch //true
          } {                              % /Name <<record>>
            pop pop //false
          } ifelse
        } {                                % /Name
          pop //false
        } ifelse
      } ifelse
      RESMPDEBUG { (resmp ResourceStatus end) = } if
    } .bind def

    /ResourceFileName  % <Name> <scratch> ResourceFileName <string>
    { RESMPDEBUG { (resmp ResourceFileName beg ) print 1 index = } if
      exch                                                    % (scratch) /Name
      .map 1 index .knownget {                                % (scratch) /Name <<record>>
        RESMPDEBUG { (resmp ResourceFileName : have a map record.) = } if
        dup dup /RecordVirtualMethods get /IsActive get exec {
          RESMPDEBUG { (resmp ResourceFileName : record is active.) = } if
          dup /RecordVirtualMethods get /GetFilePath get exec % (string)
          RESMPDEBUG { (resmp ResourceFileName : retrieving ) print dup = } if
        } {                                                   % (scratch) /Name <<record>>
          RESMPDEBUG { (resmp ResourceFileName : record is NOT active.) = } if
          pop exch ResourceFileName exec
          RESMPDEBUG { (resmp ResourceFileName : retrieving ) print dup = } if
        } ifelse
      } {
        RESMPDEBUG { (resmp ResourceFileName : have NO map record.) = } if
        exch ResourceFileName exec
        RESMPDEBUG { (resmp ResourceFileName : retrieving ) print dup = } if
      } ifelse
      RESMPDEBUG { (resmp ResourceFileName end) = } if
    } .bind def

    /ResourceForAll  % <template> <proc> <scratch> ResourceForAll -
    { RESMPDEBUG { (resmp ResourceForAll beg ) print CategoryName =string cvs print ( ) print 2 index = } if
      % Create InstancesStatus dictionary :
      20 dict % IS - Instances Status
      4 1 roll                            % <<IS>> (templ) {proc} (sctarch)
      % Check if we are under another ResourceForAll :
      /.DisableResourceOrdering //execstack_lookup exec //null eq 4 1 roll
                                          % <<IS>> bOrder (templ) {proc} (sctarch)

      % Put underlying resources to the InstancesStatus dictionary :
      currentdict % the category
      begin % ResourceForAll removes it locally.
      2 index
      { cvn                               % <<IS>> bOrder (templ) {proc} (sctarch) /Name
        4 index {
          dup ResourceStatus exec {pop 6 index 3 1 roll put} {pop} ifelse
        } {
          5 index exch 2 put % Don't need the ordering, put '2' as a scratch.
        } ifelse
      }
      2 index ResourceForAll exec         % <<IS>> bOrder (templ) {proc} (sctarch)
      4 3 roll pop                        % <<IS>> (templ) {proc} (sctarch)
      end

      % Put .map entries to the InstancesStatus dictionary :
      4 -1 roll begin                     % (templ) {proc} (sctarch)
      .map {                              % (templ) {proc} (sctarch) /Name record
         dup dup /RecordVirtualMethods get /IsActive get exec {
           pop                            % (templ) {proc} (sctarch) /Name
           dup currentdict exch known {
             pop
           } {
             dup 2 index cvs              % (templ) {proc} (sctarch) /Name (Name)
             4 index .stringmatch {       % (templ) {proc} (sctarch) /Name
               2 def % It is not in VM.
             } {
               pop
             } ifelse
           } ifelse
        } {                               % (templ) {proc} (sctarch) /Name record
          pop pop
        } ifelse
      } forall                            % (templ) {proc} (sctarch)

      % prepare stacks for the enumeration :
      3 2 roll pop                        % {proc} (sctarch)
      currentdict end                     % {proc} (scratch) <<IS>>

      % Make the enumerator and apply it :
      //MakeResourceEnumerator exec exec
      RESMPDEBUG { (resmp ResourceForAll end)= } if
    } .bind def

    /GetCIDSystemInfoFromMap   % <Name> GetCIDSystemInfoFromMap <Name>
                               % <Name> GetCIDSystemInfoFromMap <dict>
    { RESMPDEBUG { (resmp GetCIDSystemInfoFromMap beg ) print dup = } if
      % This is a special function for communicating with GetCIDSystemInfo in gs_cidcm.ps .
      dup .map exch .knownget {
        RESMPDEBUG { (resmp GetCIDSystemInfoFromMap : have a map record.) = } if
        dup /RecordVirtualMethods get /GetCSI get exec
        dup //null ne {
          RESMPDEBUG { (resmp GetCIDSystemInfoFromMap : retrieving a dict.) = } if
          exch
        } if
        pop
      } if
      RESMPDEBUG { (resmp GetCIDSystemInfoFromMap end) = } if
    } .bind def

currentdict end def
setpacking

/Redefine     % <OptionsDict> Redefine -
{ % Before calling this proc, the OptionsDict must specify options for
  % the catregory to be redefined :
  % CategoryName - a name of category to redefine;
  % MapFileName - a string for the resource map file name;
  % VerifyMap - a procedure :
  %   <raw_map> VerifyMap -
  %   - checks the map for consistency
  % PreprocessRecord  - a procedure :
  %   <map> <Name> <raw_record> PreprocessRecord <map> <Name> <record> true
  %   <map> <Name> <raw_record> PreprocessRecord <map> <Name> <raw_record> false
  %   - converts a map record into a dictionary;
  %   It must add RecordVirtualMethods dictionary to the record :
  %     MakeInstance - a procedure :
  %         <Name> <record> MakeInstance <Name> <Instance> <size>
  %         - converts the record to resource instance;
  %     GetFilePath - a procedure for ResourceFileName :
  %         <scratch> <Name> <record> GetFilePath <filepath>
  %     GetSize - a procedure for ResourceStatus :
  %         <Name> <record> GetSize <size>
  %     GetCSI - a procedure for obtaining CIDSystemInfo dictionary from the record :
  %         <record> GetCSI <CSI>
  %         <record> GetCSI null
  %     IsActive - a procedure for skipping records depending on the current device :
  %         <record> IsActive <bool>
  %     Also it is allowed to contain additional entries for client's needs.
  % The OptionsDict is also used for storing some local variables.

  % If a category is being redefined several times with this function,
  % each redefinition must either use an unique map file,
  % or the map file should be scanned by the last redefinition
  % (and must be defined in the last one with /MapFileName).
  % This happens so because we must accumulate all variants of
  % methods before scanning the map. We would like to delay
  % the scanning until all redefinitions are done, but it requires
  % to implement a queue of "refinish" methods and execute it
  % at very end of the prelude.

  begin % OptionsDict
  CategoryName /Category findresource /OldCategory exch def
  OldCategory /.IsRedefinedWithMap known {
    % Already redefined with map - don't redefine, but enhance the map.
    OldCategory /NewCategory exch def
  } {
    % Redefine with a new category instance.
    OldCategory dup length dict
    dup /.PreprocessRecord 4 dict put
    copy /NewCategory exch def
  } ifelse

  % Provide the 'or' logic for PreprocessRecord,
  % to allow different record types to be mixed in a single map file.
  % We do this with building a dictionary of PreprocessRecord procedures,
  % which come from different calls to Redefine :
  NewCategory /.PreprocessRecord get dup length % <<pr>> l
  currentdict /PreprocessRecord get .growput

  currentdict /MapFileName known {
    MapFileName .libfile {
      1 dict begin
      /; {} def
      mark exch cvx exec .dicttomark           % <<map>>
      end
      dup VerifyMap                            % <<map>>
    } {
      QUIET not {
        currentdict /IsMapFileOptional .knownget not { //false } if not {
          (Warning: the map file ) print dup =string cvs print ( was not found.) =
        } if
      } if
      pop 0 dict                               % <<map>>
    } ifelse
  } {
    currentdict /.map .knownget not {
      0 dict                                   % <<map>>
    } if
  } ifelse

  % Preprocess entries :
  dup NewCategory /.PreprocessRecord get       % <<map>> <<map>> <<pr>>
  3 1 roll {                                   % <<pr>> <<map>> /Name raw_record
    //false 3 1 roll                           % <<pr>> <<map>> false /Name raw_record
    4 index {                                  % <<pr>> <<map>> false /Name raw_record i {pr}
      exch pop                                 % <<pr>> <<map>> false /Name raw_record {pr}
      exec {                                   % <<pr>> <<map>> false /Name record
        3 -1 roll pop //true 3 1 roll          % <<pr>> <<map>> true /Name record
        exit
      } if                                     % <<pr>> <<map>> false /Name raw_record
    } forall
    3 2 roll {                                 % <<pr>> <<map>> /Name record
      2 index 3 1 roll put                     % <<pr>> <<map>>
    } {
      exch                                     % <<pr>> <<map>> raw_record /Name
      (Incorrect record ) print =string cvs print ( of the map file ) print MapFileName =string cvs print (.) =
      end % Pops OptionsDict from dstack.
      pop pop pop                              %
      /Redefine cvx /undefinedresource signalerror
    } ifelse
  } forall                                     % <<pr>> <<map>>
  exch pop                                     % <<map>>

  % Add the map :
  OldCategory /.IsRedefinedWithMap known {     % <<map>>
    % Just add to the old map :
    OldCategory /.map get copy pop             %
  } {                                          % <<map>>
    % Store the map to both the category and OptionsDict :
    dup NewCategory exch /.map exch put
    /.map exch def                             %
  } ifelse
  OldCategory /.IsRedefinedWithMap known not {
    % Copy old methods to OptionsDict :
    [ /DefineResource /ResourceStatus /ResourceFileName
      /FindResource /ResourceForAll
    ] {
      dup OldCategory exch get def
    } forall

    % Build new methods :
    //MethodsToRedefine {
      //BindWithCurrentdict exec NewCategory 3 1 roll put
    } forall
    CategoryName /CIDFont ne {
      NewCategory /GetCIDSystemInfoFromMap undef
      % This is some ugly, sorry.
    } if
    % Redefine the category :
    NewCategory /.IsRedefinedWithMap //true put
    CategoryName NewCategory /Category defineresource pop
  } if
  end % OptionsDict
} .internalbind def

currentdict /PutPreprocessRecord .undef

currentdict end
/ProcSet defineresource pop

setglobal .setlanguagelevel
