unit dateiBeziehungen;

{$mode objfpc}{$H+}

interface

uses
  classes, sysUtils, tools, regExpr, mystringlistunit;

type
  tZeilenTyp = (ztSuche,ztZiel,ztQuelle,ztBefehl);

  tGenerischeAbhaengigkeit = class;
  tExpliziteAbhaengigkeit = class;

  tGenerischeAbhaengigkeiten = class(tFPList)
  private
    function rItem(idx: longint): tGenerischeAbhaengigkeit; inline;
    procedure wItem(idx: longint; neu: tGenerischeAbhaengigkeit); inline;
  public
    property items[idx: longint]: tGenerischeAbhaengigkeit
      read rItem
      write wItem; default;
    procedure kopiereVon(original: tGenerischeAbhaengigkeiten);
    procedure mrProper;
    function add(neu: tGenerischeAbhaengigkeit): longint;
    function last: tGenerischeAbhaengigkeit;
  end;

  tExpliziteAbhaengigkeiten = class(tFPList)
  private
    function rItem(idx: longint): tExpliziteAbhaengigkeit; inline;
    procedure wItem(idx: longint; neu: tExpliziteAbhaengigkeit); inline;
  public
    property items[idx: longint]: tExpliziteAbhaengigkeit
      read rItem
      write wItem; default;
    procedure kopiereVon(original: tExpliziteAbhaengigkeiten);
    procedure mrProper;
    function add(neu: tExpliziteAbhaengigkeit): longint;
    function last: tExpliziteAbhaengigkeit;
    procedure sort;
  end;

  // Die goldene Regel bzgl. Abhängigkeiten ist,
  // dass jedes Ziel nur ein Mal erzeugt werden kann und muss (logisch)
  // und somit für zwei Regeln mit Zielmengen A und B
  // A \cut B \neq \emptyset => A \cut B \in {A,B}
  // gilt. Von diesen beiden Regeln ist dann höchstens eine anzuwenden.

  // Mit den Informationen jeder einzelnen Quelle muss die gesamte Regel
  // konstruiert werden können. Das beinhaltet:
  // - weitere Quellen (per regex matchbar)
  // - auszuführende Befehle (darf von "weiteren Quellen" abhängen)
  // - erzeugte Ziele (darf von "weiteren Quellen" abhängen)

  tGenerischeAbhaengigkeit = class(tObject)
  private
    _machDatei,_pruefSummenDatei: string;
    _quellens,_zieles:            array of tDateienMitDaten;
    _dats:                        tDateienMitDaten;
    function rQuellen(idx: longint): tDateienMitDaten;
    function rZiele(idx: longint): tDateienMitDaten;
    function quellErsetzung(var worin: string; worinIstRegex: tRegexTyp; quellen: tDateienMitDaten; momentanePosition: longint): boolean;
    function zieleHinzufuegen(ziele, quellen: tDateienMitDaten; zielFkt: string): boolean;
    function findeMehrZiele(ziele, quellen: tDateienMitDaten): boolean;
    function matchCount: longint;
  public
    quellenREs:                 array of string; // regexe der Quellen - nur deshalb kein tRegExpr, weil es ohnehin zuerst substituiert werden muss
    zieleFkt,befehleFkt:        tStringList;
    property quellen[idx: longint]: tDateienMitDaten
      read rQuellen;
    property ziele[idx: longint]: tDateienMitDaten
      read rZiele;
    constructor create(dats: tDateienMitDaten; machDatei,pruefSummenDatei: string);
    destructor destroy; override;
    function findeQuellen(dats: tDateienMitDaten): boolean;
    procedure generiereErben(var es: tExpliziteAbhaengigkeiten);
  end;

  tExpliziteAbhaengigkeit = class(tObject)
    ziele,quellen: tDateienMitDaten;
    befehle:       tStringList;
    constructor create;
    destructor destroy; override;
    function hatQuelleVonAlsZiel(abh: tExpliziteAbhaengigkeit): boolean;
    function ersetzbarDurch(abh: tExpliziteAbhaengigkeit): boolean;
    function pruefeObZuTun: boolean;
    function dump: string;
  end;

  tMach = class
  private
    _machDatei,_pruefSummenDatei: string;
    _ueberwachteDateien:          tMyStringList;
    _oriAbh:                      tGenerischeAbhaengigkeiten;
    _mglAbh:                      tExpliziteAbhaengigkeiten;
    _dats:                        tDateienMitDaten;
    _ign:                         array of tRegExpr;
    _warten:                      boolean;
    function liesMachDatei: boolean;
    function liesPruefsummenfile: boolean;
    function sammleDateien(wo: string; rekursiv: boolean): longint;
  public
    constructor create(machDatei, pruefSummenDatei: string; warten: boolean);
    destructor destroy; override;
    procedure erzeugeRegeln;
    procedure findeWasZuTunIst;
    procedure tueWasZuTunIst(sicher: integer; ausgabeDatei: string);
    function anzOriAbh: longint; inline;
    function anzMglAbh: longint; inline;
    function anzDats: longint; inline;
  end;

procedure allgemeineErsetzungen(var worin: string; worinIstRegex: tRegexTyp; machDatei: string);

implementation

uses
  lowlevelunit, systemunit;

// tGenerischeAbhaengigkeiten ************************************************************

function tGenerischeAbhaengigkeiten.rItem(idx: longint): tGenerischeAbhaengigkeit;
begin
  result:=tGenerischeAbhaengigkeit(get(idx));
end;

procedure tGenerischeAbhaengigkeiten.wItem(idx: longint; neu: tGenerischeAbhaengigkeit);
begin
  put(idx,neu);
end;

procedure tGenerischeAbhaengigkeiten.kopiereVon(original: tGenerischeAbhaengigkeiten);
var
  i: longint;
begin
  clear;
  for i:=0 to original.count-1 do
    add(original[i]);
end;

procedure tGenerischeAbhaengigkeiten.mrProper;
var
  i: longint;
begin
  for i:=0 to count-1 do
    items[i].free;
  clear;
end;

function tGenerischeAbhaengigkeiten.add(neu: tGenerischeAbhaengigkeit): longint;
var
  i: longint;
begin
  for i:=0 to count-1 do
    if items[i]=neu then
      fehler('Fehler: Ich soll etwas zur Liste hinzufügen, was schon drin ist!');
  result:=inherited add(neu);
end;

function tGenerischeAbhaengigkeiten.last: tGenerischeAbhaengigkeit;
begin
  result:=tGenerischeAbhaengigkeit(inherited last);
end;

// tExpliziteAbhaengigkeiten ************************************************************

function tExpliziteAbhaengigkeiten.rItem(idx: longint): tExpliziteAbhaengigkeit;
begin
  result:=tExpliziteAbhaengigkeit(get(idx));
end;

procedure tExpliziteAbhaengigkeiten.wItem(idx: longint; neu: tExpliziteAbhaengigkeit);
begin
  put(idx,neu);
end;

procedure tExpliziteAbhaengigkeiten.kopiereVon(original: tExpliziteAbhaengigkeiten);
var
  i: longint;
begin
  clear;
  for i:=0 to original.count-1 do
    add(original[i]);
end;

procedure tExpliziteAbhaengigkeiten.mrProper;
var
  i: longint;
begin
  for i:=0 to count-1 do
    items[i].free;
  clear;
end;

function tExpliziteAbhaengigkeiten.add(neu: tExpliziteAbhaengigkeit): longint;
var
  i: longint;
begin
  for i:=0 to count-1 do
    if items[i]=neu then
      fehler('Fehler: Ich soll etwas zur Liste hinzufügen, was schon drin ist!');
  result:=inherited add(neu);
end;

function tExpliziteAbhaengigkeiten.last: tExpliziteAbhaengigkeit;
begin
  result:=tExpliziteAbhaengigkeit(inherited last);
end;

procedure tExpliziteAbhaengigkeiten.sort;
var
  i,j,k,pLen:  longint;
  perm:        array of longint;
  tmp:         tExpliziteAbhaengigkeit;
  bedingungen: array of tPoint;
  nehmbare:    array of byte; // 0 = ja, 1 = nein, 2 = nie wieder (schon genommen)
  fortschritt: boolean;
begin
  // Permutation initialisieren
  setLength(perm,count);
  for i:=0 to length(perm)-1 do
    perm[i]:=count; // sollte ohnehin überschrieben werden, aber "count" sorgt unten für einen Fehler!

  setLength(bedingungen,0); // aka "y hängt (direkt) von x ab"
  for i:=0 to count-1 do
    for j:=0 to count-1 do
      if (i<>j) and (items[i].hatQuelleVonAlsZiel(items[j])) then begin
        setLength(bedingungen,length(bedingungen)+1);
        bedingungen[length(bedingungen)-1].x:=i;
        bedingungen[length(bedingungen)-1].y:=j;
      end;

  setLength(nehmbare,count);
  for i:=0 to length(nehmbare)-1 do
    nehmbare[i]:=0;

  pLen:=0;
  while pLen<count do begin
    fortschritt:=false;
    for i:=0 to length(nehmbare)-1 do
      if nehmbare[i]=1 then                // noch nicht genommenes zurücksetzen
        nehmbare[i]:=0;
    for i:=0 to length(bedingungen)-1 do
      if nehmbare[bedingungen[i].x]<2 then // wenn die Quelle noch nicht dran war,
        nehmbare[bedingungen[i].y]:=1;     // darf das Ziel auch nicht genommen werden
    for i:=0 to length(nehmbare)-1 do
      if nehmbare[i]=0 then begin          // nehmbar?
        nehmbare[i]:=2;                    // als "genommen" markieren
        perm[pLen]:=i;
        inc(pLen);
        fortschritt:=true;
      end;
    if not fortschritt then
      fehler('Ich kann keine Regel mehr finden, deren Quellen nicht mehr erzeugt werden müssen - gibt es vllt. eine zyklische Abhängigkeit?');
  end;

  // berechnete Permutation anwenden
  for i:=0 to length(perm)-1 do
    if perm[i]>=0 then begin
      tmp:=items[i];
      j:=i;
      while perm[j]<>i do begin
        k:=perm[j];
        perm[j]:=-1;
        items[j]:=items[k];
        j:=k;
      end;
      items[j]:=tmp;
      perm[j]:=-1;
    end;
end;

// tGenerischeAbhaengigkeit **************************************************************

constructor tGenerischeAbhaengigkeit.create(dats: tDateienMitDaten; machDatei,pruefSummenDatei: string);
begin
  inherited create;
  _dats:=dats;
  setLength(quellenREs,0);
  zieleFkt:=tStringList.create;
  befehleFkt:=tStringList.create;
  setLength(_quellens,0);
  setLength(_zieles,0);
  _machDatei:=machDatei;
  _pruefSummenDatei:=pruefSummenDatei;
end;

destructor tGenerischeAbhaengigkeit.destroy;
var
  i: longint;
begin
  for i:=0 to length(_quellens)-1 do
    _quellens[i].free;
  setLength(_quellens,0);
  for i:=0 to length(quellenREs)-1 do
    setLength(quellenREs[i],0);
  setLength(quellenREs,0);
  for i:=0 to length(_zieles)-1 do
    _zieles[i].free;
  setLength(_zieles,0);
  zieleFkt.free;
  befehleFkt.free;
  for i:=0 to length(_quellens)-1 do
    _quellens[i].free;
  setLength(_quellens,0);
  inherited destroy;
end;

function tGenerischeAbhaengigkeit.rQuellen(idx: longint): tDateienMitDaten;
begin
  result:=_quellens[idx];
end;

function tGenerischeAbhaengigkeit.rZiele(idx: longint): tDateienMitDaten;
begin
  result:=_zieles[idx];
end;

function tGenerischeAbhaengigkeit.quellErsetzung(var worin: string; worinIstRegex: tRegexTyp; quellen: tDateienMitDaten; momentanePosition: longint): boolean;
var
  s,anfang,mitte,numStr: string;
  i,li,re,qNum:          longint;
  tmpRE:                 tRegExpr;
begin
  result:=true;
  for qNum:=-byte(momentanePosition>0) to momentanePosition-1 do begin
    if qNum<0 then
      numStr:=''
    else
      numStr:=intToStr(qNum);
    s:=quellen[qNum+byte(qNum<0)].name;
    ersetzeAlleVorkommen(worin,'%in'+numStr+'%',escapeStringToRegex(s,worinIstRegex)); // %in%
    s:=extractfilename(s);
    ersetzeAlleVorkommen(worin,'%ifile'+numStr+'%',escapeStringToRegex(s,worinIstRegex)); // %ifile%
    i:=0;
    while pos('.',s)>0 do begin
      while rightStr(s,1)<>'.' do
        delete(s,length(s),1);
      delete(s,length(s),1);
      inc(i);
      ersetzeAlleVorkommen(worin,'%basename'+numStr+','+intToStr(i)+'%',escapeStringToRegex(s,worinIstRegex)); // %basename%
    end;
    ersetzeAlleVorkommen(worin,'%basename'+numStr+'%',escapeStringToRegex(s,worinIstRegex)); // %basename%
  end;

  while pos('%dirname',worin)>0 do begin                  // %dirname%
    anfang:=erstesArgument(worin,'%dirname',false);
    mitte:=erstesArgument(worin,'%',false);
    s:='%dirname'+mitte+'%';
    if mitte='' then
      qNum:=0
    else
      try
        qNum:=strtoint(erstesArgument(mitte,',',true));
      except
        fehler('Syntaxfehler %dirname...%: '''+s+'%''');
      end;
    if mitte='' then
      li:=0
    else
      try
        li:=strtoint(erstesArgument(mitte,',',true));
      except
        fehler('Syntaxfehler %dirname...%: '''+s+'%''');
      end;
    if mitte='' then
      re:=-1
    else
      try
        re:=strtoint(erstesArgument(mitte,',',true));
      except
        fehler('Syntaxfehler %dirname...%: '''+s+'%''');
      end;

    if qNum>=momentanePosition then
      fehler('Quellersetzung sieht ''%dirname%'' für Quelle Nummer '+intToStr(qNum)+' an Position '+intToStr(momentanePosition)+'.');
    s:=extractFilePath(quellen[qNum].name);
    if rightStr(s,1)='/' then
      delete(s,length(s),1);
    i:=anzCs('/',s)+1;
    if li<0 then li:=li+i;
    if re<0 then re:=re+i;
    while li>0 do begin
      dec(li);
      dec(re);
      erstesArgument(s,'/',false);
    end;
    mitte:='';
    while re>=0 do begin
      dec(re);
      mitte:=mitte+'/'+erstesArgument(s,'/',false);
    end;
    delete(mitte,1,1);
    worin:=anfang+escapeStringToRegex(mitte,worinIstRegex)+worin;
  end;

  allgemeineErsetzungen(worin,worinIstRegex,_machDatei);  // %DIRNAME% %num'...'%

  result:=false;
  tmpRE:=tRegExpr.create;
  for qNum:=-byte(momentanePosition>0) to momentanePosition-1 do begin
    if qNum<0 then
      numStr:=''
    else
      numStr:=intToStr(qNum);
    s:=quellen[qNum+byte(qNum<0)].name;
    while pos('%nurmit'+numStr+'''',worin)>0 do begin     // %nurmit'...'%
      anfang:=erstesArgument(worin,'%nurmit'+numStr+'''',false);
      tmpRE.expression:=erstesArgument(worin,'''%',false);
      if not tmpRE.exec(s) then begin
        tmpRE.free;
        exit;
      end;
      worin:=anfang+worin;
    end;
    while pos('%nurohne'+numStr+'''',worin)>0 do begin    // %nurohne'...'%
      anfang:=erstesArgument(worin,'%nurohne'+numStr+'''',false);
      tmpRE.expression:=erstesArgument(worin,'''%',false);
      if tmpRE.exec(s) then begin
        tmpRE.free;
        exit;
      end;
      worin:=anfang+worin;
    end;
  end;
  result:=true;
  tmpRE.free;
end;

function tGenerischeAbhaengigkeit.zieleHinzufuegen(ziele, quellen: tDateienMitDaten; zielFkt: string): boolean;
var
  i,ebene,ende: longint;
  s,t,u:        string;
  sR:           tSearchRec;
begin
  result:=false;
  if pos('{',zielFkt)=0 then begin
    if not quellErsetzung(zielFkt,rtKein,quellen,quellen.count) then exit;
    if pos('*',zielFkt)=0 then begin
      zielFkt:=unescape(zielFkt);
      ziele.add(_dats.finde(zielFkt,result));
    end
    else begin
      i:=findFirst(zielFkt,$3f,sR);
      while i=0 do begin
        result:=zieleHinzufuegen(ziele,quellen,extractFileDir(zielFkt)+'/'+sR.name) or result;
        i:=findNext(sR);
      end;
      findClose(sR);
    end;
  end
  else begin
    ende:=pos('{',zielFkt);
    ebene:=1;
    while (ebene>0) or (zielFkt[ende]<>'}') do begin
      inc(ende);
      case zielFkt[ende] of
        '{': inc(ebene);
        '}': dec(ebene);
      end{of case};
    end;
    s:=copy(zielFkt,1,pos('{',zielFkt)-1);
    t:=copy(zielFkt,pos('{',zielFkt)+1,ende-pos('{',zielFkt)-1);
    u:=copy(zielFkt,ende+1,length(zielFkt));
    if unEscapedPos('..',t)>0 then begin
      for i:=strtoint(copy(t,1,unEscapedPos('..',t)-1)) to strtoint(copy(t,unEscapedPos('..',t)+2,length(t))) do
        result:=zieleHinzufuegen(ziele,quellen,s+intToStr(i)+u) or result;
    end
    else begin
      t:=t+',';
      while unEscapedPos(',',t)>0 do begin
        result:=zieleHinzufuegen(ziele,quellen,s+copy(t,1,unEscapedPos(',',t)-1)+u) or result;
        delete(t,1,unEscapedPos(',',t));
      end;
    end;
  end;
end;

function tGenerischeAbhaengigkeit.findeMehrZiele(ziele, quellen: tDateienMitDaten): boolean;
var
  i: longint;
begin
  result:=false;
  for i:=0 to zieleFkt.count-1 do
    if zieleHinzufuegen(ziele,quellen,zieleFkt[i]) then
      result:=true;
end;

function tGenerischeAbhaengigkeit.matchCount: longint;
begin
  if length(_quellens)<>length(_zieles) then
    fehler('unterschiedlich viele Sätze an Quellen ('+intToStr(length(_quellens))+') und Zielen ('+intToStr(length(_zieles))+').');
  result:=length(_quellens);
end;

function tGenerischeAbhaengigkeit.findeQuellen(dats: tDateienMitDaten): boolean;
var
  i,lastI: longint;
  idx:     array of longint;
  tmpQs:   tDateienMitDaten; // hierin wird die momentan betrachte Kombination von Quellen gespeichert
  s:       string;
  tmpRE:   tRegExpr;
begin
  result:=false;
  for i:=0 to length(_quellens)-1 do
    _quellens[i].free;
  setLength(_quellens,0);
  for i:=0 to length(_zieles)-1 do
    _zieles[i].free;
  setLength(_zieles,0);

  if length(quellenREs)=0 then exit;

  tmpRE:=tRegExpr.create;
  tmpQs:=tDateienMitDaten.create;
  tmpQs.count:=length(quellenREs);
  setLength(idx,tmpQs.count);
  for i:=0 to length(idx)-1 do begin
    idx[i]:=-1;
    tmpQs[i]:=nil;
  end;

  lastI:=-1;
  repeat
    if assigned(tmpQs[0]) then
      i:=length(idx)-1
    else
      i:=0;
    while (i>=0) and (i<length(idx)) do begin // alle Stellen von idx müssen gefüllt werden!
      if i<>lastI then begin // wir betrachten eine neue Stelle,
        s:=quellenREs[i];    // daher ist der RegEx nicht mehr aktuell
        if not quellErsetzung(s,rtFpc,tmpQs,i) then begin // regex-substitution nicht erfolgreich -
          idx[i]:=-1;                                     // wird behandelt wie nie passender regex
          tmpQs[i]:=nil;
          dec(i);
          continue;
        end;
        tmpRE.expression:=s;
        lastI:=i;
      end;
      repeat
        inc(idx[i]);
      until (idx[i]>=dats.count) or (tmpRE.exec(dats[idx[i]].name));

      if idx[i]>=dats.count then begin // Überlauf
        idx[i]:=-1;
        tmpQs[i]:=nil;
        dec(i);
        continue;
      end;

      tmpQs[i]:=dats[idx[i]];
      inc(i);                            // nächste Stelle
      if i>=length(idx) then             // zu weit?
        break;                           // dann fertig
      idx[i]:=-1;                        // sonst initialisieren
    end;
    if i<0 then break;                   // Überlauf auf -1 => fertig

    setLength(_quellens,length(_quellens)+1);
    _quellens[length(_quellens)-1]:=tDateienMitDaten.create;
    for i:=0 to tmpQs.count-1 do
      _quellens[length(_quellens)-1].add(tmpQs[i]);
  until false;

  tmpRE.free;
  tmpQs.free;
  setLength(idx,0);

  setLength(_zieles,length(_quellens));
  for i:=0 to length(_zieles)-1 do begin
    _zieles[i]:=tDateienMitDaten.create;
    if findeMehrZiele(_zieles[i],_quellens[i]) then
      result:=true;
  end;
end;

procedure tGenerischeAbhaengigkeit.generiereErben(var es: tExpliziteAbhaengigkeiten);
var
  i,j,befCnt: longint;
  s:          string;
  neuSums:    tMyStringList;
begin
  neuSums:=tMyStringList.create;
  for i:=0 to matchCount-1 do begin
    befCnt:=0;
    es.add(tExpliziteAbhaengigkeit.create);
    for j:=0 to quellen[i].count-1 do
      es.last.quellen.add(quellen[i][j]);
    for j:=0 to ziele[i].count-1 do
      es.last.ziele.add(ziele[i][j]);

    neuSums.clear;
    for j:=0 to quellen[i].count-1 do
      neuSums.add(escapeStringToRegex(escape(quellen[i][j].name,'$','\'),rtShell,'"/'));
    for j:=0 to ziele[i].count-1 do
      neuSums.add(escapeStringToRegex(escape(ziele[i][j].name,'$','\'),rtShell,'"/'));
    neuSums.sort;
    neuSums.uniq('-');
    neuSums.appendTo(                              // Quell- und Zielsummen entfernen
      es.last.befehle,
      argMax div 20,
      'sed "/ ',
      '\$/d; / ',
      '\$/d" -i "'+escape(_pruefSummenDatei,'"\','\')+'"'
    );

    neuSums.clear;
    for j:=0 to quellen[i].count-1 do
      neuSums.add(quellen[i][j].name);
    neuSums.sort;
    neuSums.uniq('-');
    neuSums.appendTo(                              // Quellsummen erzeugen
      es.last.befehle,
      argMax div 20,
      'sha512sum "',
      '" "',
      '" >> "'+escape(_pruefSummenDatei,'"\','\')+'"'
    );

    for j:=0 to befehleFkt.count-1 do begin        // eigentliche Befehle ausführen
      s:=befehleFkt[j];
      if quellErsetzung(s,rtKein,quellen[i],quellen[i].count) then begin
        es.last.befehle.add(s);
        inc(befCnt);
      end;
    end;
    if befCnt=0 then
      fehler(
        'Keine Befehle auszuführen für explizite Abhängigkeit!'#10+
        'Befehle:'#10+
        befehleFkt.text+
        'Quellen:'#10+
        quellen[i].toString
      );

    neuSums.clear;
    for j:=0 to ziele[i].count-1 do
      neuSums.add(ziele[i][j].name);
    neuSums.sort;
    neuSums.uniq('-');
    neuSums.appendTo(                              // Zielsummen erzeugen
      es.last.befehle,
      argMax div 20,
      'sha512sum "',
      '" "',
      '" >> "'+escape(_pruefSummenDatei,'"\','\')+'"'
    );
  end;
  neuSums.free;
end;

// tExpliziteAbhaengigkeit **************************************************************

constructor tExpliziteAbhaengigkeit.create;
begin
  inherited create;
  quellen:=tDateienMitDaten.create;
  ziele:=tDateienMitDaten.create;
  befehle:=tStringList.create;
end;

destructor tExpliziteAbhaengigkeit.destroy;
begin
  quellen.free;
  ziele.free;
  befehle.free;
  inherited destroy;
end;

function tExpliziteAbhaengigkeit.hatQuelleVonAlsZiel(abh: tExpliziteAbhaengigkeit): boolean;
var
  i,j: longint;
begin
  result:=true;
  for i:=0 to ziele.count-1 do
    for j:=0 to abh.quellen.count-1 do
      if abh.quellen[j].name = ziele[i].name then
        exit;
  result:=false;
end;

function tExpliziteAbhaengigkeit.ersetzbarDurch(abh: tExpliziteAbhaengigkeit): boolean;
var
  i,j: longint;
begin
  result:=true;
  for i:=0 to ziele.count-1 do begin
    result:=false;
    for j:=0 to abh.ziele.count-1 do
      if abh.ziele[j].name = ziele[i].name then
        result:=true;
    if not result then
      exit;
  end;
end;

function tExpliziteAbhaengigkeit.pruefeObZuTun: boolean;
var
  i:       longint;
  quA,ziA: tAktualitaet;
begin
  quA:=aAktuell;                         // bis auf weiteres gehen wir davon aus, dass die Quellen aktuell sind
  for i:=0 to quellen.count-1 do
    if quellen[i].aktuell<>aAktuell then // nicht aktuelle Quellen
      quA:=aWirdErneuert;                // werden sicherlich erneuert werden
  ziA:=aAktuell;                         // bis auf weiteres gehen wir davon aus, dass die Ziele aktuell sind
  for i:=0 to ziele.count-1 do
    ziA:=min(ziA,ziele[i].aktuell);

  result:=ziA<quA;
  if result then
    for i:=0 to ziele.count-1 do
      ziele[i].aktuell:=aWirdErneuert;
end;

function tExpliziteAbhaengigkeit.dump: string;
var
  i: longint;
begin
  result:='';
  for i:=0 to befehle.count-1 do
    result:=result+#10'B: '+befehle[i];
  for i:=0 to quellen.count-1 do
    result:=result+#10'Q: '+quellen[i].name;
  for i:=0 to ziele.count-1 do
    result:=result+#10'Z: '+ziele[i].name;
  delete(result,1,1);
end;

// tMach ***********************************************************************

constructor tMach.create(machDatei, pruefSummenDatei: string; warten: boolean);
begin
  inherited create;
  _oriAbh:=tGenerischeAbhaengigkeiten.create;
  _mglAbh:=tExpliziteAbhaengigkeiten.create;
  _dats:=tDateienMitDaten.create;
  _warten:=warten;
  _ueberwachteDateien:=tMyStringList.create;

  // machDatei teilweise prüfen und setzen
  if machDatei='' then begin
    machDatei:=pwd+'/';
    while (machDatei<>'/') and not fileExists(machDatei+'Machdatei') do begin
      delete(machDatei,length(machDatei),1);
      machDatei:=extractFilePath(machDatei);
    end;
    machDatei:=machDatei+'Machdatei';
  end;
  _machDatei:=machDatei;
  if not fileExists(_machDatei) then
    fehler('Datei '''+_machDatei+''' existiert nicht!');

  // pruefSummenDatei teilweise prüfen und setzen
  if pruefSummenDatei='' then
    pruefSummenDatei:=extractFilePath(_machDatei)+'.summen';
  _pruefSummenDatei:=pruefSummenDatei;

  // finale Prüfung / finales Einlesen
  if not liesMachDatei then
    fehler('Datei '''+_machDatei+''' ist fehlerhaft!');
  if not liesPruefsummenfile then
    fehler('Datei '''+_pruefSummenDatei+''' ist fehlerhaft!');
end;

destructor tMach.destroy;
var
  i: longint;
begin
  _oriAbh.mrProper;
  _oriAbh.free;
  _mglAbh.mrProper;
  _mglAbh.free;
  _dats.mrProper;
  _dats.free;
  _ueberwachteDateien.free;
  for i:=0 to length(_ign)-1 do
    _ign[i].free;
  setLength(_ign,0);
  inherited destroy;
end;

function tMach.liesMachDatei: boolean;
var
  f:             tMyStringList;
  s,t:           string;
  na:            tGenerischeAbhaengigkeit;
  rek:           boolean;
  posi:          longint;
  wasWar,wasIst: tZeilenTyp;

procedure aufraeumen;
begin
  f.free;
  na.free;
end;

begin
  result:=false;

  na:=tGenerischeAbhaengigkeit.create(_dats,_machDatei,_pruefSummenDatei);
  wasWar:=ztSuche;
  f:=tMyStringList.create;
  f.loadFromFile(_machDatei);
  f.add('%%DATEIENDE%%');
  if not f.unfoldMacros then begin
    f.free;
    gibAus('tMach.liesMachDatei: unfoldMacros fehlgeschlagen!',3);
    exit;
  end;
  s:='';
  while f.readln(s) do begin
    if rightStr(s,1)=';' then
      // ein Befehl(steil)
      wasIst:=ztBefehl
    else if rightStr(s,1)=':' then
      // ein Ziel
      wasIst:=ztZiel
    else if (leftStr(s,1)='^') and (rightStr(s,1)='$') then
      // eine Quelle
      wasIst:=ztQuelle
    else
      // eine zu überwachende Datei
      wasIst:=ztSuche;

    if wasIst in [ztBefehl] then
      delete(s,length(s),1);

    if (wasWar=ztBefehl) and (wasIst<>ztBefehl) then begin
      _oriAbh.add(na);
      na:=tGenerischeAbhaengigkeit.create(_dats,_machDatei,_pruefSummenDatei);
    end;

    if s='%%DATEIENDE%%' then break;

    case wasIst of
      ztSuche: begin
        allgemeineErsetzungen(s,rtKein,_machDatei);
        if startetMit('!',s) then begin
          setLength(_ign,length(_ign)+1);
          _ign[length(_ign)-1]:=tRegExpr.create;
          _ign[length(_ign)-1].expression:=s;
        end
        else begin
          rek:=startetMit('-r',s);
          while s<>'' do begin
            _ueberwachteDateien.add(char(ord('0')+byte(rek))+s);
            if sammleDateien(erstesArgument(s),rek)=0 then begin
              f.stepBack;
              f.readln(s);
              gibAus('Fehler: Ich habe etwas zu überwachendes nicht gefunden ('''+s+''').',3);
              aufraeumen;
              exit;
            end;
          end;
        end;
      end;
      ztBefehl: begin
        while unEscapedPos(';',s)>0 do begin
          posi:=unEscapedPos(';',s);
          s:=trim(leftStr(s,posi-1))+' && '+trim(rightStr(s,length(s)-posi));
        end;
        while pos(';;',s)>0 do
          delete(s,pos(';;',s),1);
        na.befehleFkt.add(s);
      end;
      ztZiel:
        while s<>'' do begin
          t:=erstesArgument(s);
          if rightStr(t,1)=':' then
            delete(t,length(t),1);
          na.zieleFkt.add(t);
        end;
      ztQuelle: begin
        setLength(na.quellenREs,length(na.quellenREs)+1);
        na.quellenREs[length(na.quellenREs)-1]:=s;
      end;
    end{of case};
    wasWar:=wasIst;
  end;

  if s<>'%%DATEIENDE%%' then
    gibAus('Interner Fehler! Die letzte Regel wird vsl. nicht beachtet!',3);

  aufraeumen;
  result:=true;
end;

function tMach.liesPruefsummenfile: boolean;
var
  f:            textFile;
  i:            longint;
  gutSchlecht:  tMyStringListBArray;
  gefunden,gut: boolean;
  dat:          tDateiMitDatum;
begin
  result:=false;
  if _pruefSummenDatei='' then begin
    gibAus('Fehler: Leerer Name als Summendatei angegeben!',3);
    exit;
  end;

  if not fileExists(_pruefSummenDatei) then begin
    assignFile(f,_pruefSummenDatei);
    rewrite(f);
    closeFile(f);
  end;
  if not fileExists(_pruefSummenDatei) then begin
    gibAus('Fehler: Ich bin nicht in der Lage, die bisher nicht existierende Datei '''+_pruefSummenDatei+''' anzulegen!',3);
    exit;
  end;

  gutSchlecht:=testeSummen(_pruefSummenDatei);

  for gut:=false to true do
    for i:=0 to gutSchlecht[gut].count-1 do begin
      dat:=_dats.finde(gutSchlecht[gut][i]);
      if gut then begin
        if dat.aktuell=aNichtVorhanden then begin
          gibAus('Fehler: In der Summendatei gibt es eine Datei mit gültiger Prüfsumme, die ich nicht finden kann: '''+dat.name+'''!',3);
          for gefunden:=false to true do
            gutSchlecht[gefunden].free;
          exit;
        end;
        dat.aktuell:=aAktuell;
      end
      else
        if dat.aktuell<>aNichtVorhanden then
          dat.aktuell:=aVeraltet;
    end;

  for gefunden:=false to true do
    gutSchlecht[gefunden].free;
  result:=true;
end;

function tMach.sammleDateien(wo: string; rekursiv: boolean): longint;
var
  sR:        tSearchRec;
  err,i:     longint;
  weglassen: boolean;
  rest:      string;
begin
  result:=0;
  rest:='';
  if pos('*',wo)>0 then begin // wir müssen globben
    rest:=wo;
    erstesArgument(rest,'*',false);
    erstesArgument(rest,'/',false);
    if rest<>'' then
      delete(wo,length(wo)-length(rest),length(rest)+1);
  end;
  if (rest='') and rekursiv then        // rekursive Suche angefordert
    rest:='*';
  err:=findFirst(wo,fareadOnly or faHidden or faSysFile or (byte(rest<>'')*faDirectory),sR);
  while err=0 do begin
    weglassen:=false;
    for i:=0 to length(_ign)-1 do
      weglassen:=weglassen or _ign[i].exec(extractFilePath(wo)+sR.name);
    if not weglassen then begin
      if sR.attr and faDirectory <> 0 then begin
        if (rest<>'') and
          (sR.name<>'.') and
          (sR.name<>'..') then
            result:=result+sammleDateien(extractFilePath(wo)+sR.name+'/'+rest,rekursiv);
      end
      else begin
        inc(result);
        _dats.add(tDateiMitDatum.create(extractFilePath(wo)+sR.name,aVeraltet));
      end;
    end;
    err:=findNext(sR);
  end;
  findClose(sR);
end;

procedure tMach.erzeugeRegeln;
var
  i:     longint;
  neues: boolean;
begin
  repeat
    neues:=false;

    for i:=0 to _oriAbh.count-1 do
      if _oriAbh[i].findeQuellen(_dats) then
        neues:=true; // neue Dateien sind entstanden

  until not neues;

  for i:=0 to _oriAbh.count-1 do
    _oriAbh[i].generiereErben(_mglAbh);
end;

procedure tMach.findeWasZuTunIst;
var
  i,j:   longint;
  neues: boolean;
  zuTun: array of boolean;
begin
  setLength(zuTun,_mglAbh.count);
  for i:=0 to length(zuTun)-1 do
    zuTun[i]:=false;

  // schauen, welche Regeln angewandt werden müssen
  repeat
    neues:=false;
    for i:=0 to length(zuTun)-1 do
      if not zuTun[i] then
        if _mglAbh[i].pruefeObZuTun then begin
          zuTun[i]:=true;
          neues:=true;
        end;
  until not neues;

  // schauen, welche Regeln redundant sind
  for i:=0 to length(zuTun)-1 do
    if zuTun[i] then
      for j:=0 to length(zuTun)-1 do
        if zuTun[j] and (i<>j) and _mglAbh[i].ersetzbarDurch(_mglAbh[j]) then begin
          _mglAbh[j].quellen.append(_mglAbh[i].quellen);
          zuTun[i]:=false;
          break;
        end;

  for i:=length(zuTun)-1 downto 0 do
    if not zuTun[i] then begin
      _mglAbh[i].free;
      _mglAbh.delete(i);
    end;
  setLength(zuTun,0);

  // anzuwendende Regeln sortieren
  _mglAbh.sort;
end;

procedure tMach.tueWasZuTunIst(sicher: integer; ausgabeDatei: string);
var
  i,j:                       longint;
  ausg:                      textFile;
  befehle,alleDateien:       tMyStringList;
  lokTest:                   tRegExpr;
begin
  befehle:=tMyStringList.create;
  for i:=0 to _mglAbh.count-1 do
    for j:=0 to _mglAbh[i].befehle.count-1 do
      befehle.add(_mglAbh[i].befehle[j]);
  befehle.add('sed "/\s'+escapeStringToRegex(escape(_machDatei,'$','\'),rtShell,'"/')+'\$/d" -i "'+escape(_pruefSummenDatei,'"\','\')+'"');
  befehle.add('sha512sum "'+escape(_machDatei,'"\','\')+'" >> "'+escape(_pruefSummenDatei,'"\','\')+'"');
  befehle.add('sort -u "'+escape(_pruefSummenDatei,'"\','\')+'" | sponge "'+escape(_pruefSummenDatei,'"\','\')+'" || true'); // ignoriere diese Zeile, wenn "sponge" nicht existiert
  if (sicher=1) or // der Benutzer will es
    ((sicher=0) and (_dats.finde(_machDatei).aktuell<>aAktuell)) then begin // die Machdatei ist nicht aktuell
    lokTest:=tRegExpr.create;
    if ausgabeDatei<>'' then
      lokTest.expression:=unterVerzeichnisRegex(['0'+ausgabeDatei,_ueberwachteDateien])
    else
      lokTest.expression:=unterVerzeichnisRegex([_ueberwachteDateien]);
    alleDateien:=_dats.toMyStringList;
    alleDateien.grep('^\.uralt\.$',true);
    for i:=0 to befehle.count-1 do
      testeObBefehlLokal(befehle[i],extractFileDir(ausgabeDatei),alleDateien,lokTest);
    alleDateien.free;
    lokTest.free;
  end;

  if _mglAbh.count=0 then
    befehle.add('echo "Es gibt hier nichts zu tun!"');
  if ausgabeDatei='' then begin
    gibAus('befehle:',3);
    for i:=0 to befehle.count-1 do
      writeln(befehle[i]);
  end
  else begin
    assignFile(ausg,ausgabeDatei);
    rewrite(ausg);
    writeln(ausg,'set -e');
    for i:=0 to befehle.count-1 do begin
      write(ausg,'('+befehle[i]+') || (printf ''In\n"%s"\n'' "'+escape(befehle[i],'\"','\')+'"; ');
      if _warten then
        writeln(ausg,'read -p "ist ein Fehler aufgetreten! ... "; exit 1)')
      else
        writeln(ausg,'printf ''ist ein Fehler aufgetreten!\n''; exit 1)');
    end;
    closeFile(ausg);
  end;
  befehle.free;
end;

function tMach.anzOriAbh: longint;
begin
  result:=_oriAbh.count;
end;

function tMach.anzMglAbh: longint;
begin
  result:=_mglAbh.count;
end;

function tMach.anzDats: longint;
begin
  result:=_dats.count;
end;

// allgemeine Funktionen

procedure allgemeineErsetzungen(var worin: string; worinIstRegex: tRegexTyp; machDatei: string);
var
  i:              longint;
  s,anfang,mitte: string;
begin
  s:=extractFilePath(machDatei);
  if rightStr(s,1)='/' then
    delete(s,length(s),1);
  ersetzeAlleVorkommen(worin,'%DIRNAME%',escapeStringToRegex(s,worinIstRegex));
  while pos('%num''',worin)>0 do begin
    anfang:=erstesArgument(worin,'%num''');
    mitte:=erstesArgument(worin,'''%',false);
    for i:=length(mitte) downto 1 do
      if mitte[i] in ['0'..'9'] then
        break
      else
        delete(mitte,i,1);
    for i:=length(mitte) downto 1 do
      if not (mitte[i] in ['0'..'9']) then begin
        delete(mitte,1,i);
        break;
      end;
    worin:=anfang+escapeStringToRegex(mitte,worinIstRegex)+worin;
  end;
end;

end.