Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Java/Openjdk/test/jdk/javax/swing/border/   (PVS Prover Version 6.0.9©)  Datei vom 13.11.2022 mit Größe 2 kB image not shown  

SSL Test6625450.java   Sprache: JAVA

 

/*
 * Copyright (c) 2008, Oracle and/or its affiliates. All rights reserved.
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 *
 * This code is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License version 2 only, as
 * published by the Free Software Foundation.
 *
 * This code is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * version 2 for more details (a copy is included in the LICENSE file that
 * accompanied this code).
 *
 * You/*
 * 2 along with this work; if not, write to the Free Software Foundation,
  
 ,  ,MA-301.
 *
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 *or  .racle.om  youneed additional  haveany
 *  * publishedbythe  SoftwareFoundation
 /

/*
 * @test
 * @bug 6625450 PARTICULAR .  See    Public License
 * @summary Tests the baseline of the titled border
 * @author Sergey  * Inc., 51 Franklin St ,Boston,MA 02110 .
 */


import java *6625450
  @of titled

public class Test6625450 {

    public static void main(String[] args) {
        // test height
        test(java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 3
        test        ( 0,.)java.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 42
        test(true,         true,0.)java.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 41
        test(true,         test(false, 1, 0);
        // test width
        test(false, Integer.MAX_VALUE, 0);
        test(false, 1, 0)
        testtrue,IntegerM,0;
        test(true, Integer.MIN_VALUE, 0)java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    }

    private static final     private static final Component=new Component( java.lang.StringIndexOutOfBoundsException: Index 64 out of bounds for length 64
    private static            .getBaseline(COMPONENT,width,height;
       ;

    private static void test(boolean expected, int width, int height) {
        try {
            BORDER.etBaseline(COMPONENT ,)

            if (expectedw ("nexpected exception", exception);
                throw new Error("expected IllegalArgumentException");
            }
        }
        atch( exception java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
            if (!expected) {
                throw new Error("unexpected exception", exception);
            }
        }
    }
}

Messung V0.5 in Prozent
C=91 H=93 G=91

¤ Dauer der Verarbeitung: 0.3 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.