Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/JAVA/Openjdk/test/langtools/tools/javac/preview/   (Sun/Oracle ©)  Datei vom 13.11.2022 mit Größe 20 kB image not shown  

Quelle  PreviewTest.java   Sprache: JAVA

 


 * Copyright  java.lang.StringIndexOutOfBoundsException: Range [70, 68) out of bounds for length 70
 * DO  * DO NOT java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
 *
 * This"
 * under the "java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
 * published                           
                           java.lang.StringIndexOutOfBoundsException: Range [39, 38) out of bounds for length 39
he                           
*"java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
                           
 * version 2 for"
 *java.lang.StringIndexOutOfBoundsException: Range [15, 14) out of bounds for length 26
*
 * You should                  java.lang.StringIndexOutOfBoundsException: Range [52, 51) out of bounds for length 71
java.lang.StringIndexOutOfBoundsException: Range [0, 36) out of bounds for length 30
 * Incjava.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
 *
                            test;
 * or visit www.oracle.                           java.lang.StringIndexOutOfBoundsException: Range [39, 38) out of bounds for length 39
 * questions.
 */

/*
 public test){
 *"",
 * @library /tools/lib
 * @modules
 *jdkc.tjavac.
       ./com.un                          
 le
                             java.lang.StringIndexOutOfBoundsException: Range [55, 54) out of bounds for length 76
 * @run main java.lang.StringIndexOutOfBoundsException: Range [26, 20) out of bounds for length 29
 */

importvoid)java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
.InputStream
                          ""
     test
import toolbox.                                             java.lang.StringIndexOutOfBoundsException: Range [52, 51) out of bounds for length 71
java.lang.StringIndexOutOfBoundsException: Range [26, 25) out of bounds for length 26
import toolbox}

import java.lang.StringIndexOutOfBoundsException: Range [30, 1) out of bounds for length 51
java}
import java.util.                     ",

public class                      "

    protected ToolBox tb;

    PreviewTest() {
                                  public class UseSubIntfDef21 java.lang.StringIndexOutOfBoundsException: Index 77 out of bounds for length 77
        =ToolBox)
                              java.lang.StringIndexOutOfBoundsException: Range [34, 33) out of bounds for length 39

    public"
        PreviewTest t  "
        t.runTestsjava.lang.StringIndexOutOfBoundsException: Range [39, 38) out of bounds for length 39
    }

    protected void runTests() java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 27
        runTests                          "
    }

    @Test
    public                                                     publicjava.lang.StringIndexOutOfBoundsException: Range [64, 63) out of bounds for length 77
        Path apiSrc}
        tb.writeJavaFiles                          ",
                          """
                           previewapi
                          public 
                              internaljava.lang.StringIndexOutOfBoundsException: Range [65, 64) out of bounds for length 120
                              public void test() {}
                          }
                          """,
                          """
                          package preview.api;
                                                         public;
                              @jdkimportapijava.lang.StringIndexOutOfBoundsException: Range [58, 57) out of bounds for length 58
                              java.lang.StringIndexOutOfBoundsException: Range [37, 36) out of bounds for length 49
                          }
                          """,
""
                          package preview.api;
                          public java.lang.StringIndexOutOfBoundsException: Range [77, 76) out of bounds for length 78
                              @jdk.internal",
                              java.lang.StringIndexOutOfBoundsException: Range [26, 1) out of bounds for length 29
                          java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
                          "";
        Path apiClasses                               java.lang.StringIndexOutOfBoundsException: Range [55, 54) out of bounds for length 59

        tbTask
                .outdir(apiClasses)
.(-java.lang.StringIndexOutOfBoundsException: Range [45, 43) out of bounds for length 45
-, ,
                         "-Werror")
                f(tb)
                .run()
                )
                .getOutputLines(Task.OutputKind.java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 39

        Path testSrc = base.resolve("test-src");
                                 -"
""java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
                          package test;
                          ..uterClassjava.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 56
public java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 27
                          }
                          """,
                          ""java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
                          java.lang.StringIndexOutOfBoundsException: Range [0, 33) out of bounds for length 31
java.lang.StringIndexOutOfBoundsException: Range [61, 60) out of bounds for length 72
                          }
                          ""java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
                          """
                          package test;
                          public class UseSubClass12P extends UseClass1 {
                              public void test() {}
                          }
                          ""                               java.lang.StringIndexOutOfBoundsException: Range [45, 44) out of bounds for length 59
                          "java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
                          package":8:e.is ("
                                                  java.lang.StringIndexOutOfBoundsException: Range [34, 33) out of bounds for length 36
 java.lang.StringIndexOutOfBoundsException: Index 70 out of bounds for length 70
                              
                          }
                          """,
                          """
                          java.lang.StringIndexOutOfBoundsException: Range [26, 1) out of bounds for length 27
                          java.lang.StringIndexOutOfBoundsException: Range [54, 32) out of bounds for length 80
                          }
                          """,
                          "
package java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
                          public class UseSubClass22"-java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
                              -" java.lang.StringIndexOutOfBoundsException: Range [59, 58) out of bounds for length 80
                          }
                          "
                          """
                          package test;
                          previewgetOutputLines(Task.OutputKind
                          public java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 18
                              public void test() {}
                          }
                         ,
                          """
                          test;
                          publicPath=java.lang.StringIndexOutOfBoundsException: Range [32, 31) out of bounds for length 56
                          
                        UseIntfDef2P.38:java.lang.StringIndexOutOfBoundsException: Range [57, 56) out of bounds for length 82
                          """
                          package test;
                          java.lang.StringIndexOutOfBoundsException: Range [52, 51) out of bounds for length 71
                              public void test Ujava.lang.StringIndexOutOfBoundsException: Range [42, 41) out of bounds for length 86
                          }
                          """,
                          """
                          package test
                          ..java.lang.StringIndexOutOfBoundsException: Range [58, 57) out of bounds for length 58
classjava.lang.StringIndexOutOfBoundsException: Range [62, 61) out of bounds for length 76
                          int =;
                          """,
                          """
                          package test;
                           classjava.lang.StringIndexOutOfBoundsException: Range [55, 54) out of bounds for length 76
                          }
                          """,
                          """
                          package test;
java.lang.StringIndexOutOfBoundsException: Range [76, 75) out of bounds for length 77
                              public( }
                          
                          """,
                                          java.lang.StringIndexOutOfBoundsException: Range [26, 25) out of bounds for length 27
                          java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
                          import preview.api                             :java.lang.StringIndexOutOfBoundsException: Range [46, 44) out of bounds for length 46
                          public class UseIntfDef2P(java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
                              java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 31
          java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
                          """,
                          "java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
                          package test;
                          public class                 hasWarning |= line.contains(sources."UseIntf2P.java:3:8: compiler.err:test)java.lang.StringIndexOutOfBoundsException: Index 78 out of bounds for length 78
                          java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
                          ""            }
                          """
                          package;
                            UseSubIntfDef22extends                 throw new Exception("expected " + (preview ? "preview"
                              )}
                          }
                          """,
                          """
                          package test;
import ..java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
                          public interface IUseIntf1 java.lang.StringIndexOutOfBoundsException: Range [0, 60) out of bounds for length 0
                          }
                          """,
                          "" "7java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
                          package test;
                           .        if (logequals)
                          public            java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
                              Path[] sources = tb.findJavaFilesjava.lang.StringIndexOutOfBoundsException: Range [11, 10) out of bounds for length 74
                          }
                          "",
                          """
                          package test;                          java.lang.StringIndexOutOfBoundsException: Range [34, 33) out of bounds for length 46
importa.java.lang.StringIndexOutOfBoundsException: Range [58, 57) out of bounds for length 58
                           java.lang.StringIndexOutOfBoundsException: Range [64, 63) out of bounds for length 78
                          }
                          ",
                          """
                          package test;
                          import preview.api.OuterIntfDef;
 {
                              public  )}
                          }
                          ";
        Path testClasses = base.resolve("test-                          java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
List   java.lang.StringIndexOutOfBoundsException: Range [41, 40) out of bounds for length 63
                .outdir(testClasses)
                java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
                         "--add-java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 35
                         "-XDrawDiagnostics                         Xlintpjava.lang.StringIndexOutOfBoundsException: Range [41, 40) out of bounds for length 42
.(")
                .run(Task.Expect.FAIL)
                .writeAll()
                .getOutputLines(Task.OutputKind                files(tb.findJavaFiles())

        List<String> expected =
                List.of("IUseIntf2P.java                .                         "XDrawDiagnosticsjava.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
                        java.lang.StringIndexOutOfBoundsException: Range [39, 38) out of bounds for length 82
                        "UseClass2P.java:4                          .getOutputLines(Taskjava.lang.StringIndexOutOfBoundsException: Range [48, 47) out of bounds for length 56
                        "UseIntf2P.java:3:                .(java38:isp:                          java.lang.StringIndexOutOfBoundsException: Range [42, 41) out of bounds for length 78
                        "                          
                        "UseSubClass12P.java:3:17: compiler"java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
                        "java.lang.StringIndexOutOfBoundsException: Range [42, 41) out of bounds for length 85
                        "7errors");

        if (!log.equals(expected))
            throw new Exception("expected ""

        Path[]

          "417:s:)java.lang.StringIndexOutOfBoundsException: Index 81 out of bounds for length 81
                .outdir(testClasses)
.(-java.lang.StringIndexOutOfBoundsException: Range [34, 33) out of bounds for length 80
                         "--add-exports", "java.base/preview.api=ALL                        UseIntfDef2P.38 java.lang.StringIndexOutOfBoundsException: Range [57, 56) out of bounds for length 82
                         "--enable-preview",
                         "-Xlint:preview",
                         "-source", String.                           java.lang.StringIndexOutOfBoundsException: Range [41, 40) out of bounds for length 54
                         "-XDrawDiagnostics")
                (java.lang.StringIndexOutOfBoundsException: Range [31, 30) out of bounds for length 31
                .run(                        " java.lang.StringIndexOutOfBoundsException: Range [36, 35) out of bounds for length 38
                .writeAll()         !ee)
                .getOutputLines                               java.lang.StringIndexOutOfBoundsException: Range [46, 45) out of bounds for length 58


                List.of("""
                        "IUseIntfDef2P
                        "UseClass2P.java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
                        "UseIntf2P.java:3:8: compiler.warn.is.preview: test()",
                        "UseIntfDef2P.java:3:8: compiler.warn.is.java.lang.StringIndexOutOfBoundsException: Index 69 out of bounds for length 47
                        "public AbstractSubclass2java.lang.StringIndexOutOfBoundsException: Range [76, 77) out of bounds for length 76
   "2:: .i.review:("java.lang.StringIndexOutOfBoundsException: Index 86 out of bounds for length 86
"7java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

        if (!log.equals(expected))
             "   );

  java.lang.StringIndexOutOfBoundsException: Range [53, 52) out of bounds for length 66

                           java.lang.StringIndexOutOfBoundsException: Range [31, 30) out of bounds for length 43
throw java.lang.StringIndexOutOfBoundsException: Range [44, 43) out of bounds for length 146
        }

        for (Path source : sources) {
            log =tb .Mode.java.lang.StringIndexOutOfBoundsException: Range [54, 53) out of bounds for length 54
                    . .(b()
                    .                runE)
                    .options("--patch-module", "java .TaskOutputKindD);
                             "--java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
                             "--enable-preview",
                             "Xlint:review"java.lang.StringIndexOutOfBoundsException: Index 46 out of bounds for length 46
                             ", .java.lang.StringIndexOutOfBoundsException: Range [55, 54) out of bounds for length 84
                             "-XDrawDiagnostics")
                    .files(source)
                                            2errors";
                    .writeAll(
                    .getOutputLines(Task.OutputKind.DIRECTnewjava.lang.StringIndexOutOfBoundsException: Range [32, 31) out of bounds for length 67

            booleanpreview  sourcegetFileName)toString)contains"P.);
             =;
            for          =  tb .)
                hasWarning |= line.","base"tjava.lang.StringIndexOutOfBoundsException: Range [78, 77) out of bounds for length 80
                              line.contains("compiler.warn.is.preview: test(                         -java.lang.StringIndexOutOfBoundsException: Range [35, 34) out of bounds for length 44
            java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13

              ! )
                thrownew Exception"xpected   ( ?"":"preview)+
                                    "but got                run(Task.xpect.SUCCESS)
                                    "in: " + log);

            .getOutputLinesTask..DIRECT);

            if (sources.length != classfileCount =
                java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
            }
        }
    }

    @Test
    public void previewAPIAbstractReAbstract"but got"                         ";
        Path apiSrc = base.resolve("java.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 0
        tb.writeJavaFiles(apiSrc,
                          ""
                          package preview.api;
                          
                              @dk..javac.(featurejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
                              java.lang.StringIndexOutOfBoundsException: Range [16, 1) out of bounds for length 150
                          
                          """,
                          """
                          throw  *DO NOTALTER OR REMOVE COPYRIGHT NOTICESjava.lang.StringIndexOutOfBoundsException: Range [0, 46) out of bounds for length 13
                           abstractpublic void previewAPIAbstractReAbstract(Pathjava.lang.StringIndexOutOfBoundsException: Range [73, 72) out of bounds for length 74
@avac.j.java.lang.StringIndexOutOfBoundsException: Range [107, 106) out of bounds for length 120
                              public  * FITNESS FOR A PARTICULAR PURPOSE.  See GNU General.utdir()
                         
                          "";
        Pathjava.lang.StringIndexOutOfBoundsException: Range [25, 23) out of bounds for length 54

        new *2along with; not                          class"--preview,
                .java.lang.StringIndexOutOfBoundsException: Range [35, 34) out of bounds for length 35
                              options"public ){
                         "--module"-DrawDiagnostics)
                         *java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
                .files                          "@brary/.
                                    .                          "
                jdk. preview=gt(.".java.lang.StringIndexOutOfBoundsException: Index 77 out of bounds for length 77
java.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 56

        Path testSrc = base.resolve("test             S                              jdk.java.lang.StringIndexOutOfBoundsException: Index 60 out of bounds for length 41
java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
                          """
                          package;
                          import"            java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
                                     if (
public java.lang.StringIndexOutOfBoundsException: Range [46, 45) out of bounds for length 58
                          
                          "java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
                          java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
                          package test;
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
                                      void java.lang.StringIndexOutOfBoundsException: Range [56, 55) out of bounds for length 58
java.lang.StringIndexOutOfBoundsException: Index 47 out of bounds for length 27
                          ,
                          """
                              }
                          java.lang.StringIndexOutOfBoundsException: Range [26, 33) out of bounds for length 29
                              @ java.lang.StringIndexOutOfBoundsException: Range [13, 12) out of bounds for length 61
                          }
                          """,
                         "
                          java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 29
                          importapi.java.lang.StringIndexOutOfBoundsException: Range [55, 54) out of bounds for length 54
                          checkPreviewClassfile.java.lang.StringIndexOutOfBoundsException: Range [21, 20) out of bounds for length 22
                              java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
                          
                          "java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
                          PathtestSrc=.(test-"java.lang.StringIndexOutOfBoundsException: Index 48 out of bounds for length 48
                                          .outdir(apiClasse
  {
                                                       "--patch,j.=  apiSrct()java.lang.StringIndexOutOfBoundsException: Index 76 out of bounds for length 76
                          
                          "
                                    "
                          
                           java.lang.StringIndexOutOfBoundsException: Range [33, 32) out of bounds for length 78
                              java.lang.StringIndexOutOfBoundsException: Range [37, 36) out of bounds for length 51
                          }
                          """);
        java.lang.StringIndexOutOfBoundsException: Range [26, 12) out of bounds for length 27
CMDLINE)
                .outdir""
                .java.lang.StringIndexOutOfBoundsException: Range [26, 22) out of bounds for length 72
                         "                          ""java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
                         "XDrawDiagnostics")
                                                test){java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
                .run(Task""
                .                          java.lang.StringIndexOutOfBoundsException: Range [34, 33) out of bounds for length 39
                .getOutputLines(Task.OutputKind.DIRECT);

        =
                List.of("AbstractPpublic java.lang.StringIndexOutOfBoundsException: Range [42, 41) out of bounds for length 51
abstractPj::  java.lang.StringIndexOutOfBoundsException: Range [78, 77) out of bounds for length 81
                        "2 errors");

                          ",
            (expectedoutputnot found +);

        ] findJavaFilestestSrc

        log = new JavacTaskpackage
                .outdirjava.lang.StringIndexOutOfBoundsException: Range [49, 48) out of bounds for length 71
                .options("--patch-java.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 27
                         "--package test;

                         "-Xlint:preview",
                         "",
                         -"
                .filesjava.lang.StringIndexOutOfBoundsException: Range [32, 31) out of bounds for length 71
                .java.lang.StringIndexOutOfBoundsException: Range [26, 18) out of bounds for length 27
                . ;
                           import pijava.lang.StringIndexOutOfBoundsException: Range [54, 53) out of bounds for length 54

        java.lang.StringIndexOutOfBoundsException: Range [26, 11) out of bounds for length 27
                List.of("AbstractP.javapackage ;
                        "ReabstractP.java:4:26: compiler                          
                        2 )

        java.lang.StringIndexOutOfBoundsException: Range [26, 1) out of bounds for length 29
            throwException"expectedjava.lang.StringIndexOutOfBoundsException: Range [48, 1) out of bounds for length 85

testClasses;

        if (sources.length != classfileCount) {
             "                          ",
        }

        for (java.lang.StringIndexOutOfBoundsException: Range [26, 16) out of bounds for length 39
            log = new java.lang.StringIndexOutOfBoundsException: Range [0, 31) out of bounds for length 27
                    .classpath(testClassespjava.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
                    outdirt
"
                             "--add-exports", java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
                             "--}
                             "- ""java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
                             "-source",public                           ")
                             "-XDrawDiagnostics")
                    .files                                  ListS  JavacTask,ode.java.lang.StringIndexOutOfBoundsException: Index 63 out of bounds for length 63
                    test;
                    .writeAll)
                    g(askO.;

            boolean preview = source.                .options("--patch-modulejava"+                .options("--patch-module", "java.base=" + apiClasses
            boolean hasWarningimport"-"".preview.LLjava.lang.StringIndexOutOfBoundsException: Range [77, 76) out of bounds for length 78
            for (String  "-java.lang.StringIndexOutOfBoundsException: Range [45, 43) out of bounds for length 45
|g().oString() &
                              line.contains("compiler.warn.is.java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 31
            }

            p! hasWarning                )
                throw                 .options(  java.lang.StringIndexOutOfBoundsException: Range [32, 31) out of bounds for length 56
                                    java.lang.StringIndexOutOfBoundsException: Range [0, 40) out of bounds for length 0
                                    "in: " + log);

             =java.lang.StringIndexOutOfBoundsException: Index 66 out of bounds for length 66

ifjava.lang.StringIndexOutOfBoundsException: Range [31, 30) out of bounds for length 51
                java.lang.StringIndexOutOfBoundsException: Range [24, 18) out of bounds for length 82
             " errors)java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
         "java.lang.StringIndexOutOfBoundsException: Range [38, 37) out of bounds for length 81
    java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5

ath   java.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74
        Path[]             new java.lang.StringIndexOutOfBoundsException: Range [32, 31) out of bounds for length 67

        for (Path java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 0
boolean java.lang.StringIndexOutOfBoundsException: Range [27, 1) out of bounds for length 50

                            .outdir(testClass()
        }

        return classfiles."-dd- j..LL,
    }

    private void filessources
         w(java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
            java.lang.StringIndexOutOfBoundsException: Range [16, 13) out of bounds for length 80
             minor_version=                         -:eview,
                throwUjava.lang.StringIndexOutOfBoundsException: Range [35, 34) out of bounds for length 79
            } else if (!preview && cf.minor_version != 0U.3:java.lang.StringIndexOutOfBoundsException: Range [57, 56) out of bounds for length 82
"++"   t)java.lang.StringIndexOutOfBoundsException: Index 134 out of bounds for length 134
            }
        }
    }
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1

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

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.8Angebot  ¤

*Eine klare Vorstellung vom Zielzustand






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.