Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/packagemanager/gap/   (GAP Algebra Version 4.15.1©)  Datei vom 14.4.2025 mit Größe 948 B image not shown  

Quelle  interactive.gi   Sprache: Shell

 

InstallGlobalFunction(PKGMAN_AskYesNoQuestion,
function(question...)
  local stream, default, ans;

  question := Concatenation(question);
  stream := InputTextUser();

  Print(question);
  default := ValueOption("default");
  if default = true then
    Print(" [Y/n] ");
  elif default = false then
    Print(" [y/N] ");
  else
    default := fail;
    Print(" [y/n] ");
  fi;
  PKGMAN_FlushOutput();

  while true do
    ans := CharInt(ReadByte(stream));
    if ans in "yYnN" then
      Print([ans, '\n']);
      ans := ans in "yY";
      break;
    elif ans in "\n\r" and default <> fail then
      Print("\n");
      ans := default;
      break;
    elif ans = '\c' then
      # HACK since Ctrl-C does not work
      Print("\nUser aborted\n");
      # HACK, undocumented command
      JUMP_TO_CATCH("abort");
    fi;
  od;

  CloseStream(stream);
  return ans;
end);

InstallGlobalFunction(PKGMAN_FlushOutput,
function()
    Print("\c");
end);

Messung
CHZG
929810096

¤ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet am  2026-11-04) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover


Cephes Mathematical Library

Vienna Development Method

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 und die Messung sind noch experimentell.