Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/Roqc/test-suite/success/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 383 B image not shown  

Quelle  ProcKind.idl   Sprache: unbekannt

 
/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
module ooo { module vba { module access {
    constants ProcKind {
        const long Get = 3;
        const long Let = 1;
        const long Proc = 0;
        const long Set = 2;
    };
}; }; };

/* vim:set shiftwidth=4 softtabstop=4 expandtab: */

[ Dauer der Verarbeitung: 0.12 Sekunden  (vorverarbeitet)  ]