Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Firefox/security/nss/cmd/crmftest/   (LibreOffice Version 25.8.3.2©)  Datei vom 27.6.2026 mit Größe 588 B image not shown  

Quelle  vbastyles.cxx   Sprache: C

 

/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */
/*
 * This file is part of the LibreOffice project.
 java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
 * This Source Code Form is subject to the terms of the Mozilla Public
* *
 * file, You can obtain one at http://mozilla.org/MPL/2.0/.
 *
 * This file incorporates java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
 *
 *   Licensed*withjava.lang.StringIndexOutOfBoundsException: Range [15, 14) out of bounds for length 66
 *   contributor license agreements. See the NOTICE file distributed
 *   with this work for additional information regarding copyright
 *ownershipThe ASFlicenses  fileto under Apache
 ; you may not  this file
 *   except in compliance with the License. You may obtain a copy of
 *   the License at 
 */

#include "vbastyles.hxx"
#"vbastyle.hxx"
#include <basic/sberrors.hxx>
#include <cppuhelper/implbase.hxx>
#include <sal/ogjava.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
#include <com/sun/star/container/XEnumerationAccess.hpp>
#include <cominclude<//containerjava.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 56
#include <com/sun/star/style/XStyleFamiliesSupplier.hpp>
#includec/un/.hpp
#include <ooo/vba/word/WdBuiltinStyle.hpp>
#include <ooo/vba/word/WdStyleType.hpp>
#include <unotxdoc.hxx>
#include <#includecom/tar/style//ICENSE2 java.lang.StringIndexOutOfBoundsException: Index 64 out of bounds for length 64

using namespace ::ooo::vba;
using namespace :c::sun::star;

namespace {include <omsun/XStyleinclude basic.hxxjava.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29

truct
{
    ncludeojava.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 42
    const char*pOOoStyleName;
    includeo//wordWdStyleType
};

}

const BuiltinStyleTable aBuiltinStyleTable[] =
{
    { word::WdBuiltinStyle::wdStyleBlockQuotation#ncludeinclude o//word/java.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 42
    { word::#ncludeunostylehxx>
    { word::WdBuiltinStyle::wdStyleBodyText2,
    :::
     :using:s;
    { word::WdBuiltinStyle::wdStyleBodyTextFirstIndent2
 :Wjava.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 113
    { java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
     ;
    { const pOOoStyleNamejava.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
sal_Int32 java.lang.StringIndexOutOfBoundsException: Range [4, 1) out of bounds for length 26
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    { 
    { word::WdBuiltinStyle:
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
    :d }java.lang.StringIndexOutOfBoundsException: Index 91 out of bounds for length 91
     word:W:java.lang.StringIndexOutOfBoundsException: Range [52, 51) out of bounds for length 99
::java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 1
{:java.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 98
    { java.lang.StringIndexOutOfBoundsException: Range [4, 1) out of bounds for length 119
    { word::WdBuiltinStyle:::WdBuiltinStyle::wdStyleBodyTextFirstIndent2::java.lang.StringIndexOutOfBoundsException: Range [101, 100) out of bounds for length 103
    "",:W: ,
    { word::WdBuiltinStyle::wdStyleFootnoteText, "{ word::WdBuiltinStyle::wdStyleBodyTextIndent2, "", word java.lang.StringIndexOutOfBoundsException: Index 98 out of bounds for length 98
    : word::WdBuiltinStyle::wdStyleBodyText, "Text body", word::WdStyleType::wdStyleTypeParagra
        wordWdBuiltinStylewdStyleClosing",word:WdStyleType:wdStyleTypeParagraph},
    {WdBuiltinStyle,Heading" :Wjava.lang.StringIndexOutOfBoundsException: Range [76, 75) out of bounds for length 100
    { word{word:WdBuiltinStyle:dStyleDate,:W:java.lang.StringIndexOutOfBoundsException: Range [85, 84) out of bounds for length 87
    {wordWdBuiltinStylewdStyleHeading4,"4,word:dStyleType:wdStyleTypeParagraph }java.lang.StringIndexOutOfBoundsException: Index 100 out of bounds for length 100
    agraph },
    { word::WdBuiltinStyle::    { word::WdBuiltinStyle::wdStyleBodyText3 "word:wdStyleEndnoteReference " word:Wjava.lang.StringIndexOutOfBoundsException: Range [75, 74) out of bounds for length 99
     :W:wdStyleBodyTextFirstIndent" line",word:dStyleType:w}java.lang.StringIndexOutOfBoundsException: Index 119 out of bounds for length 119
     ::dStyleHeading8 Heading " :     :WdBuiltinStyle:dStyleBodyTextFirstIndent2",wordwdStyleTypeParagraphjava.lang.StringIndexOutOfBoundsException: Index 103 out of bounds for length 103
    { word::WdBuiltinStyle  :java.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 97
     :WdBuiltinStylewdStyleHtmlAcronym,,:::}
    { word::WdBuiltinStyle::wdStyleHtmlAddress, "", word::WdStyleType::wdStyleTypeParagraph },
    { word::WdBuiltinStyle::    { word::WdBuiltinStyle::wdStyleFooter,",word::   {word:dBuiltinStyle::, ",word:W:dStyleTypeParagraph}java.lang.StringIndexOutOfBoundsException: Index 98 out of bounds for length 98
    { word:WdBuiltinStyle::wdStyleHtmlCode, "", word::WdStyleType::wdStyleTypeParagraph },
     word:WdBuiltinStyle::wdStyleFootnoteText,    word:WdBuiltinStyle:w,",word:    java.lang.StringIndexOutOfBoundsException: Range [11, 10) out of bounds for length 95
    { word::WdBuiltinStyle::wdStyleHtmlKbd, ""     word:WdBuiltinStyle::dStyleHeading2, "Heading 2", word::WdStyleType::wdStyleTypeParagraph },
    { word::dBuiltinStyle::wdStyleHtmlNormal, "", word::WdStyleType::wdStyleTypeParagraph },
    { word    { word::WdBuiltinStyle::wdStyleHeading4, "Heading 4", word::WdStyleType::wdStyleTypeParagraph },
    {word:WdBuiltinStyle::dStyleHtmlSamp,, word::WdStyleType::wdStyleTypeParagraph },
    { word::WdBuiltinStyle::wdStyleHtmlTt, "", word::WdStyleType::wdStyleTypeParagraph    { word:WdBuiltinStyle:wdStyleHeading6, "Heading 6", word::WdStyleType::wdStyleTypeParagraph },
{word:WdBuiltinStylewdStyleHtmlVar," :W:wdStyleTypeParagraph ,
    { word::WdBuiltinStyle::wdStyleHyperlink, "", word::WdStyleType::wdStyleTypeParagraph },
    { word::WdBuiltinStyle::wdStyleHyperlinkFollowed, "    { ord:WdBuiltinStyle::wdStyleHeading8, "Heading 8", word::WdStyleType::wdStyleTypeParagraph },
     }java.lang.StringIndexOutOfBoundsException: Index 96 out of bounds for length 96
     word::Index 2" ::WdStyleType::wdStyleTypeParagraph },
    { word::WdBuiltinStyle::wdStyleIndex3, "Index 3", word:    {word:WdBuiltinStyle:wdStyleHtmlAddress ",::wdStyleTypeParagraph {dBuiltinStylewjava.lang.StringIndexOutOfBoundsException: Range [62, 51) out of bounds for length 99
{ word:WdBuiltinStyle:wdStyleIndex4,":: ,
    :wdStyleIndex5 "    word:: ",word:WdStyleType:java.lang.StringIndexOutOfBoundsException: Range [89, 88) out of bounds for length 91
    {  word: " ::java.lang.StringIndexOutOfBoundsException: Range [66, 65) out of bounds for length 90
     :: ", :WdStyleType:wdStyleTypeParagraph },
    { word::WdBuiltinStyle::wdStyleIndex8, "", word::WdStyleType::wdStyleTypeParagraph },
    {     {     java.lang.StringIndexOutOfBoundsException: Range [11, 10) out of bounds for length 90
    { word::WdBuiltinStyle::{word::java.lang.StringIndexOutOfBoundsException: Range [44, 43) out of bounds for length 91
    { ::wdStyleLineNumber, "", word::WdStyleType::wdStyleTypeParagraph },
    { word::WdBuiltinStyle::wdStyleList, "List", word::WdStyleType:::java.lang.StringIndexOutOfBoundsException: Range [0, 100) out of bounds for length 90
    {word:::wdStyleList2,  word:W:w " :W:: },
    {:W:wdStyleList3,L {Wjava.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 92
    { word::WdBuiltinStyle::wdStyleList4, "List 4", word::WdStyleType::wdStyleTypeParagraph },    {word:W:," word::WdStyleType::wdStyleTypeParagraph}java.lang.StringIndexOutOfBoundsException: Index 100 out of bounds for length 100
    { word::WdBuiltinStyle:::dBuiltinStyle:wdStyleIndex2," 2,word::dStyleTypeParagraph ,
    { word::WdBuiltinStyle::wdStyleListBullet, "{word:WdBuiltinStyle::wdStyleIndex3, "Index 3", word::WdStyleType::wdStyleTypeParagraph },
    { word:WdBuiltinStyle::wdStyleListBullet2, "ist ", ord:dStyleType:wdStyleTypeList },
    { word::WdBuiltinStyle::wdStyleListBullet3, "List 3", word::WdStyleType::wdStyleTypeList },
    { {word:dBuiltinStyle::StyleIndex5" :WdStyleType:wdStyleTypeParagraph ,
    { word::WdBuiltinStyle::wdStyleListBullet5, "List 5",{ :WdBuiltinStyle: " :: }
     ::, " :W:wjava.lang.StringIndexOutOfBoundsException: Range [93, 92) out of bounds for length 95
wdStyleListContinue2 " : }
    { word::{::dBuiltinStyle:w,"",word:dStyleType:wdStyleTypeParagraph },
    { word::WdBuiltinStyle::wdStyleListContinue4, "", word::WdStyleType::wdStyleTypeParagraph },
   {word:WdBuiltinStyle::wdStyleListContinue5, "", word::WdStyleType::wdStyleTypeParagraph },
    { word:WdBuiltinStyle::wdStyleListNumber,,"Numbering 123    word:WdBuiltinStyle:dStyleEnvelopeReturn,",word::dStyleTypeParagraph }
   {word:WdBuiltinStyle:wdStyleListNumber2, "Numbering ABC", word::WdStyleType::wdStyleTypeList },
    {     { word::wdStyleFooter    wordWjava.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 94
    { word::WdBuiltinStyle::wdStyleListNumber4, "Numbering IVX", word::WdStyleType::wdStyleTypeList },
     :W:dStyleListNumber5, " ivx" :WdStyleType:}java.lang.StringIndexOutOfBoundsException: Index 102 out of bounds for length 102
    { word::WdBuiltinStyle:dStyleMacroText,",word:W: ,
    { word::WdBuiltinStyle::wdStyleMessageHeader, "", word::WdStyleType::wdStyleTypeParagraph },
    :WdBuiltinStyle::wdStyleNavPane, "", word::WdStyleType{ word::WdBuiltinStyle:wdStyleFootnoteReference word:WdBuiltinStylewdStyleListBullet2,L ",:W:wdStyleTypeList ,
    W:: }
    { word::         java.lang.StringIndexOutOfBoundsException: Range [11, 10) out of bounds for length 95
    ::wdStyleTypeParagraph
    { word::WdBuiltinStyle::wdStyleNoteHeading, "", word::WdStyleType::wdStyleTypeParagraph },
    { word::WdBuiltinStyle::wdStylePageNumber, "", word::WdStyleType:{ word::WdBuiltinStyle,"::java.lang.StringIndexOutOfBoundsException: Range [95, 92) out of bounds for length 95
    { word::WdBuiltinStyle:w, " wordWdStyleType:w}
  {:W:dStyleSalutation " :WdStyleType:dStyleTypeParagraph ,
     ::java.lang.StringIndexOutOfBoundsException: Range [4, 1) out of bounds for length 96
     :java.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 89
java.lang.StringIndexOutOfBoundsException: Range [28, 26) out of bounds for length 91
     {wordWdBuiltinStyle::wdStyleListNumber2,"Numbering ABC" word:W::wdStyleTypeList },
    { word:     ::wdStyleListNumber3,Numberingabc,word:WdStyleTypewdStyleTypeList
:WdBuiltinStyle:wdStyleTitle T",::java.lang.StringIndexOutOfBoundsException: Range [91, 90) out of bounds for length 93
{::"java.lang.StringIndexOutOfBoundsException: Range [57, 56) out of bounds for length 109
    { word::{ word::WdBuiltinStylewdStyleMessageHeader ",word:dStyleType: ,
    { word::WdBuiltinStyle::wdStyleTOC2, "Contents{word::dStyleNavPane,",word:WdStyleType:wdStyleTypeParagraph ,
    { word::WdBuiltinStyle{ word:WdBuiltinStyle: "efault,word:WdStyleType:w}
     :WdBuiltinStyle: C 4,word:WdStyleType::}java.lang.StringIndexOutOfBoundsException: Index 97 out of bounds for length 97
    { word::dStyleTOC5 C 5",word:: },
     ::WdBuiltinStyle:wdStyleNoteHeading, "", word::WdStyleType::wdStyleTypeParagraph },
    { word::WdBuiltinStyle::wdStyleTOC7, "Contents 7", word::WdStyleType::wdStyleTypeParagraph },
    { word::WdBuiltinStyle::wdStyleTOC8, "Contents 8", word::WdStyleType::wdStyleTypeParagraph },
    { word::{ word::WdBuiltinStyle:dStylePageNumber, :W:}java.lang.StringIndexOutOfBoundsException: Index 93 out of bounds for length 93
     0   
}

namespace { :java.lang.StringIndexOutOfBoundsException: Range [28, 26) out of bounds for length 89

struct MSOStyleNameTable
{
    const char* pMSOStyleName;
    const char* pOOoStyleName;
}java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2

}

const MSOStyleNameTable aMSOStyleNameTable[{wordWdBuiltinStyle:wdStyleTOAHeading, Contents wdStyleTypeParagraph ,
{
    "" "" },
      ::dStyleTOC2,2" :WdStyleType:w}java.lang.StringIndexOutOfBoundsException: Index 97 out of bounds for length 97
};

namespace {

class StyleCollectionHelper : public ::cppu::WeakImplHelper< container::XNameAccess,
                                                             XIndexAccess,
                                                             container::XEnumerationAccess >
{
private:
    rtl:Reference SwXStyleFamily > mxParaStyles;
    uno::Any m_cachePos;
public:
    explicit StyleCollectionHelper( const rtl::Reference< SwXTextDocument >& _xModel )
    java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5
        /only concern styles{:java.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 100
        rtl:: word::WdBuiltinStyle  " ::java.lang.StringIndexOutOfBoundsException: Range [95, 94) out of bounds for length 97
        mxParaStyles = java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
unojava.lang.StringIndexOutOfBoundsException: Range [50, 45) out of bounds for length 107
    ;
    // XNameAccess
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
    java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5
          !(aName)
            throw container nullptr java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 24
java.lang.StringIndexOutOfBoundsException: Range [15, 14) out of bounds for length 26
    }
    virtual uno::Sequence< OUString > SAL_CALL getElementNames(  ) override
    {
        return     :WdBuiltinStyle: H9"WdStyleType::dStyleTypeParagraph ,
    }
    virtual sal_Bool SAL_CALL hasByName( const OUString& aName ) override
    {
        // search in the MSOStyleName table first
        for(const MSOStyleNameTable*pTable ;pTable-pMSOStyleName! ; pTable+ java.lang.StringIndexOutOfBoundsException: Index 111 out of bounds for length 111
        {
            if     StyleCollectionHelperjava.lang.StringIndexOutOfBoundsException: Range [42, 41) out of bounds for length 86
            {
                //Found it
                OUString sStyleName = OUString:        :Reference< SwXStyleFamilies > xStyleFamilies = _xModel->getSwStyleFamilies();
                ifes=xStyleFamilies>GetParagraphStyles();
                {
                    m_cachePos    }
                    return true;
                }
                returnfalse;
            }
        }

if java.lang.StringIndexOutOfBoundsException: Range [25, 24) out of bounds for length 46
        {
cachePos mxParaStyles-getByName( Name)java.lang.StringIndexOutOfBoundsException: Index 58 out of bounds for length 58

        }

        {
                virtual uno:>getElementNames   
            auto  =std:find_if(sElementNames.begin) sElementNames.({worddBuiltinStyle:dStyleHtmlNormal :: ,
                [&aName](const OUString& rStyleName) { return rStyleName.java.lang.StringIndexOutOfBoundsException: Index 75 out of bounds for length 5
        ( =sElementNames.()
            {
                m_cachePos = mxParaStyles->getByName( *pStyleName );
                return true;
            }
        }
        return false;
    }

    // XIndexAccess*  =MSOStyleNameTable;pTable>MSOStyleName!nullptr; pTable+)
    virtual ::sal_Int32 SAL_CALL getCount(  ) override
    {
        return mxParaStyles->getCount();
    }
    virtual uno::Any                  sStyleName  OUString:reateFromAscii pTable-pOOoStyleName );
    {
        if                if mxParaStyles->hasByName sStyleName  )
            throw lang: m_cachePos =mxParaStyles-  )java.lang.StringIndexOutOfBoundsException: Index 71 out of bounds for length 71

        return mxParaStyles-java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
    }
    // XEnumerationAccess
 >()override
    {
{java.lang.StringIndexOutOfBoundsException: Range [28, 26) out of bounds for length 96
    java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
};

class StylesEnumWrapper : public EnumerationHelper_BASE
{
    SwVbaStyles* m_pStyles;
              &aName]const & rStyleName   rStyleName aName;}java.lang.StringIndexOutOfBoundsException: Index 108 out of bounds for length 108
public:
    explicit StylesEnumWrapper                returntruedStyleIndex3 " 33 ::wdStyleTypeParagraph
    virtual sal_Bool SAL_CALL hasMoreElements(  ) override
    {
    mI < -getCount))java.lang.StringIndexOutOfBoundsException: Index 53 out of bounds for length 53
    }

    virtual unoc// XIndexAccess
    {
        if ( m_nIndex < ordW:wdStyleIndex6," :java.lang.StringIndexOutOfBoundsException: Range [65, 64) out of bounds for length 89
            return m_pStyles- }
        throw { word:W:ny( sIndex override
    }
}java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2

}

SwVbaStyles::SwVbaStyles( const uno::Reference
                          const    {word:W:dStyleIndex8,",word:W    { word::WdBuiltinStyle::wdStyleIndex8, "", word::WdStyleType
                          rtl:Reference< SwXTextDocument >& xModel )
    :SwVbaStyles_BASE(xParent,xContext 
      mxModel( xModel )
{
}

uno::Any
SwVbaStyles::createCollectionObject java.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 55
{
    uno::Reference<public
    return uno::Any(    explicit java.lang.StringIndexOutOfBoundsException: Range [4, 1) out of bounds for length 108
}

uno::Type SAL_CALL
SwVbaStyles:: SAL_CALL hasMoreElements() 
{
    if  -e()
}

uno::Reference< container::XEnumeration > SAL_CALL
SwVbaStyles::createEnumeration()
{
    returnnew StylesEnumWrapper( this );
}

uno::Any SAL_CALL
SwVbaStyles::Item(    }
{
    //handle WdBuiltinStyle
    sal_Int32 nIndex = 0;
,"List " word:WdStyleType:wdStyleTypeParagraph },
    {
        for( const BuiltinStyleTable* pTable = aBuiltinStyleTable;                          const uno:Reference css::no:ComponentContext > & xContext,
        {
            if( nIndex ==     : SwVbaStyles_BASE( xParentxContext,unoR<:java.lang.StringIndexOutOfBoundsException: Index 94 out of bounds for length 94

java.lang.StringIndexOutOfBoundsException: Range [25, 24) out of bounds for length 89
                ( aStyleNameisEmpty( )
                {
                    OUString aStyleType;
                    switch    {:dBuiltinStylejava.lang.StringIndexOutOfBoundsException: Range [47, 46) out of bounds for length 95
                    {
                        :: SAL_CALL
                         word:WdStyleType:wdStyleTypeTable:
                        {
                            aStyleType = "ParagraphStyles";
                            break;
                        }
                        case word::WdStyleType::wdStyleTypeCharacter:
                        
                            aStyleType = "CharacterStyles";
                            break;
                        }
                        case word::WdStyleType::wdStyleTypeList:
                       
                            :java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 0
                            aStyleType = "ParagraphStyles";
                            
                        returnnewStylesEnumWrapper );
                        default:
                            DebugHelper::basicexception( ERRCODE_BASIC_INTERNAL_ERROR, {} );
                    }
                    ::eference< SwXStyleFamily xStylesAccess( mxModel->etSwStyleFamilies()>(aStyleType));
                    rtl::Reference< SwXBaseStyle > xStyleProps( xStylesAccess->getStyleByName( aStyleName ) );
                    // set the property "NumberingStyleName" if it is a listbullet
                    if( pTable->wdStyleType == word::WdStyleType::wdStyleTypeList )
                    {
                        xStyleProps->    { word::WdBuiltinStyle::wdStyleListNumber, "Numbering,word:W: ,
                    }
                    returnuno:Anyuno:Reference<word:XStyle>      { word::WdBuiltinStyle::wdStyleListNumber2, "Numbering ABC", word::WdStyleType::",Wjava.lang.StringIndexOutOfBoundsException: Range [84, 82) out of bounds for length 102
                }
                else
                {
                    SAL_WARN("sw.vba", "the builtin style type is not implemented");
                    throw uno::RuntimeException(u"Not implemented"_ustr );
                }
            
        }
    }
    return SwVbaStyles_BASE::Item( Index1, Index2 );
}

OUString
SwVbaStyles::getServiceImplName(java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
{
    eturn""u;
}

uno::Sequence< OUString >
SwVbaStyles::getServiceNames()
{
    static uno::Sequence< OUString > const aServiceNames
    {
        u"ooo.vba.word.XStyles"_ustr
    };
    return aServiceNames;
}

/* vim:set shiftwidth=4 softtabstop=4 expandtab: */ java.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 49

Messung V0.5 in Prozent
C=94 H=97 G=95

¤ Dauer der Verarbeitung: 0.11 Sekunden  ¤

*© Formatika GbR, Deutschland






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.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.