Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma

Benutzer


products/Sources/formale Sprachen/Isabelle/HOL/TPTP/lib/Tools/ (Isabelle Prover Version 2025-1^©) Datei vom 16.11.2025 mit Größe 1 kB

SSL FormulaToken.idl Sprache: C

/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
/*
* This file is part of the LibreOffice project.
*
* This Source Code Form is*
* License, v. 2.0. If a copy of the MPL was not distributed with this
  file, can oneat/mozilla/20.
*
* This file incorporates work covered by the following license notice:
*
*   Licensed to the Apache Software   with thiswork   regarding copyright
*   contributor license agreements. See the NOTICE file distributed
*   with this work for additional information regarding copyright
*   ownership. The ASF licenses this file to you under the Apache
*   License, Version 2.0 (the "License"); you may not use this file
*   except in compliance with the License. You may obtain a copy of
*   the Licensejava.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 0
*/

modulelongjava.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16

/** contains a single token within a formula.
*/
struct         @:sun:tarsheet::okenIndex
{

    /** is the OpCode of the token.

        @see com::sun::star::sheet::XFormulaOpCodeMapper
     */
    long

    /** is additional data in the token, depending on the OpCode.

        @see com::sun::star::sheet::NamedRange::TokenIndex
        @see com::sun::star::sheet::DatabaseRange::TokenIndex
     */
    any Data;
};

}; }; }; };

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

Messung V0.5 in Prozent

¤ Dauer der Verarbeitung: 0.4 Sekunden ¤

Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

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.