Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Delphi/Bille 0.71/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 9.0.2013 mit Größe 2 kB image not shown  

Quellcode-Bibliothek language.pas   Sprache: Delphi

 
unit Language;

interface

uses
  //-------------------------------------------------------------------------
  //local
  //-------------------------------------------------------------------------
  GenDefs,
  //-------------------------------------------------------------------------
  //global
  //-------------------------------------------------------------------------
  SysUtils, Dialogs, Windows;

function trans(n: integer; S: String;E:String=''): String;
procedure errorn(n: integer; S: String;E:String='');

 type
   Naturallanguages = (english, german, l1, l2, l3, l4, l5, l6, l7, l8, l9, l10);
  TransDL = array of String;

var
  errorcount: integer;
  lang: Naturallanguages;
  DL: TransDL;

implementation

//-------------------------------------------------------------
//
//error reporting
//-------------------------------------------------------------
Procedure errorn(n: integer; S,E: String);
begin
  errorcount := errorcount + 1;
  if errorcount<10 then begin
    //S := inttostr(n mod 1000) + ': ' + S;
    ShowMessage(trans(n, S,E));
  end else  begin
    ShowMessage('Please restart');
    ExitProcess(0)
  end;
end;

//-------------------------------------------------------------------------
//
//-------------------------------------------------------------------------
function trans(n: integer; S,E: String): String;
var
  ll: integer;
  BN: String;
begin
  BN := IntToStr(n);
  if (lang = english) then begin
    S := 'untranslated bug ' + BN;
    ll := length(DL);
    if (ll > 0) and (n < length(DL)) then
      S := DL[n];
    //case n of
      //1: S := 'I have control again.';
      //37: S := 'Der erste Start braucht etwas länger ...' + String(crlf) +
      //    'The first start takes a little longer ...';
      //49, 54, 55: S := 'Bitte neu starten' + String(crlf) + 'please restart';
      //138: S := 'first start';
    //end;
  end;
  //if IsDebuggerPresent then
  //S := 'De' + inttostr(n) + ': ' + S;
  trans := trim(S)+E
end;

end.

89%


¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.0Bemerkung:  (vorverarbeitet)  ¤

*Bot Zugriff






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.