products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/api image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: dataForReadExample.txt   Sprache: JAVA

Untersuchung Isabelle©

/*
 * Copyright (c) 2015, 2018, 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.  Oracle designates this
 * particular file as subject to the "Classpath" exception as provided
 * by Oracle in the LICENSE file that accompanied this code.
 *
 * 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 should have received a copy of the GNU General Public License version
 * 2 along with this work; if not, write to the Free Software Foundation,
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 *
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 * or visit www.oracle.com if you need additional information or have any
 * questions.
 */


var noResult = {l: "No results found"};
var catModules = "Modules";
var catPackages = "Packages";
var catTypes = "Types";
var catMembers = "Members";
var catSearchTags = "SearchTags";
var highlight = "resultHighlight\">$&";
var camelCaseRegexp = "";
var secondaryMatcher = "";
function getHighlightedText(item) {
    var ccMatcher = new RegExp(camelCaseRegexp);
    var label = item.replace(ccMatcher, highlight);
    if (label === item) {
        label = item.replace(secondaryMatcher, highlight);
    }
    return label;
}
function getURLPrefix(ui) {
    var urlPrefix="";
    if (useModuleDirectories) {
        var slash = "/";
        if (ui.item.category === catModules) {
            return ui.item.l + slash;
        } else if (ui.item.category === catPackages && ui.item.m) {
            return ui.item.m + slash;
        } else if ((ui.item.category === catTypes && ui.item.p) || ui.item.category === catMembers) {
            $.each(packageSearchIndex, function(index, item) {
                if (ui.item.p == item.l) {
                    urlPrefix = item.m + slash;
                }
            });
            return urlPrefix;
        } else {
            return urlPrefix;
        }
    }
    return urlPrefix;
}
var watermark = 'Search';
$(function() {
    $("#search").val('');
    $("#search").prop("disabled"false);
    $("#reset").prop("disabled"false);
    $("#search").val(watermark).addClass('watermark');
    $("#search").blur(function() {
        if ($(this).val().length == 0) {
            $(this).val(watermark).addClass('watermark');
        }
    });
    $("#search").on('click keydown'function() {
        if ($(this).val() == watermark) {
            $(this).val('').removeClass('watermark');
        }
    });
    $("#reset").click(function() {
        $("#search").val('');
        $("#search").focus();
    });
    $("#search").focus();
    $("#search")[0].setSelectionRange(0, 0);
});
$.widget("custom.catcomplete", $.ui.autocomplete, {
    _create: function() {
        this._super();
        this.widget().menu("option""items""> :not(.ui-autocomplete-category)");
    },
    _renderMenu: function(ul, items) {
        var rMenu = this,
                currentCategory = "";
        rMenu.menu.bindings = $();
        $.each(items, function(index, item) {
            var li;
            if (item.l !== noResult.l && item.category !== currentCategory) {
                ul.append("
  • ui-autocomplete-category\">" + item.category + "
  • "
    );
                    currentCategory = item.category;
                }
                li = rMenu._renderItemData(ul, item);
                if (item.category) {
                    li.attr("aria-label", item.category + " : " + item.l);
                    li.attr("class""resultItem");
                } else {
                    li.attr("aria-label", item.l);
                    li.attr("class""resultItem");
                }
            });
        },
        _renderItem: function(ul, item) {
            var label = "";
            if (item.category === catModules) {
                label = getHighlightedText(item.l);
            } else if (item.category === catPackages) {
                label = (item.m)
                        ? getHighlightedText(item.m + "/" + item.l)
                        : getHighlightedText(item.l);
            } else if (item.category === catTypes) {
                label = (item.p)
                        ? getHighlightedText(item.p + "." + item.l)
                        : getHighlightedText(item.l);
            } else if (item.category === catMembers) {
                label = getHighlightedText(item.p + "." + (item.c + "." + item.l));
            } else if (item.category === catSearchTags) {
                label = getHighlightedText(item.l);
            } else {
                label = item.l;
            }
            var li = $("
  • ").appendTo(ul);
            var div = $("
    ").appendTo(li);
            if (item.category === catSearchTags) {
                if (item.d) {
                    div.html(label + "searchTagHolderResult\"> (" + item.h + ")
    searchTagDescResult\">"
                                    + item.d + "
    "
    );
                } else {
                    div.html(label + "searchTagHolderResult\"> (" + item.h + ")");
                }
            } else {
                div.html(label);
            }
            return li;
        }
    });
    $(function() {
        $("#search").catcomplete({
            minLength: 1,
            delay: 100,
            source: function(request, response) {
                var result = new Array();
                var presult = new Array();
                var tresult = new Array();
                var mresult = new Array();
                var tgresult = new Array();
                var secondaryresult = new Array();
                var displayCount = 0;
                var exactMatcher = new RegExp("^" + $.ui.autocomplete.escapeRegex(request.term) + "$""i");
                camelCaseRegexp = ($.ui.autocomplete.escapeRegex(request.term)).split(/(?=[A-Z])/).join("([a-z0-9_$]*?)");
                var camelCaseMatcher = new RegExp("^" + camelCaseRegexp);
                secondaryMatcher = new RegExp($.ui.autocomplete.escapeRegex(request.term), "i");

                // Return the nested innermost name from the specified object
                function nestedName(e) {
                    return e.l.substring(e.l.lastIndexOf(".") + 1);
                }

                function concatResults(a1, a2) {
                    a1 = a1.concat(a2);
                    a2.length = 0;
                    return a1;
                }

                if (moduleSearchIndex) {
                    var mdleCount = 0;
                    $.each(moduleSearchIndex, function(index, item) {
                        item.category = catModules;
                        if (exactMatcher.test(item.l)) {
                            result.push(item);
                            mdleCount++;
                        } else if (camelCaseMatcher.test(item.l)) {
                            result.push(item);
                        } else if (secondaryMatcher.test(item.l)) {
                            secondaryresult.push(item);
                        }
                    });
                    displayCount = mdleCount;
                    result = concatResults(result, secondaryresult);
                }
                if (packageSearchIndex) {
                    var pCount = 0;
                    var pkg = "";
                    $.each(packageSearchIndex, function(index, item) {
                        item.category = catPackages;
                        pkg = (item.m)
                                ? (item.m + "/" + item.l)
                                : item.l;
                        if (exactMatcher.test(item.l)) {
                            presult.push(item);
                            pCount++;
                        } else if (camelCaseMatcher.test(pkg)) {
                            presult.push(item);
                        } else if (secondaryMatcher.test(pkg)) {
                            secondaryresult.push(item);
                        }
                    });
                    result = result.concat(concatResults(presult, secondaryresult));
                    displayCount = (pCount > displayCount) ? pCount : displayCount;
                }
                if (typeSearchIndex) {
                    var tCount = 0;
                    $.each(typeSearchIndex, function(index, item) {
                        item.category = catTypes;
                        var s = nestedName(item);
                        if (exactMatcher.test(s)) {
                            tresult.push(item);
                            tCount++;
                        } else if (camelCaseMatcher.test(s)) {
                            tresult.push(item);
                        } else if (secondaryMatcher.test(item.p + "." + item.l)) {
                            secondaryresult.push(item);
                        }
                    });
                    result = result.concat(concatResults(tresult, secondaryresult));
                    displayCount = (tCount > displayCount) ? tCount : displayCount;
                }
                if (memberSearchIndex) {
                    var mCount = 0;
                    $.each(memberSearchIndex, function(index, item) {
                        item.category = catMembers;
                        var s = nestedName(item);
                        if (exactMatcher.test(s)) {
                            mresult.push(item);
                            mCount++;
                        } else if (camelCaseMatcher.test(s)) {
                            mresult.push(item);
                        } else if (secondaryMatcher.test(item.c + "." + item.l)) {
                            secondaryresult.push(item);
                        }
                    });
                    result = result.concat(concatResults(mresult, secondaryresult));
                    displayCount = (mCount > displayCount) ? mCount : displayCount;
                }
                if (tagSearchIndex) {
                    var tgCount = 0;
                    $.each(tagSearchIndex, function(index, item) {
                        item.category = catSearchTags;
                        if (exactMatcher.test(item.l)) {
                            tgresult.push(item);
                            tgCount++;
                        } else if (secondaryMatcher.test(item.l)) {
                            secondaryresult.push(item);
                        }
                    });
                    result = result.concat(concatResults(tgresult, secondaryresult));
                    displayCount = (tgCount > displayCount) ? tgCount : displayCount;
                }
                displayCount = (displayCount > 500) ? displayCount : 500;
                var counter = function() {
                    var count = {Modules: 0, Packages: 0, Types: 0, Members: 0, SearchTags: 0};
                    var f = function(item) {
                        count[item.category] += 1;
                        return (count[item.category] <= displayCount);
                    };
                    return f;
                }();
                response(result.filter(counter));
            },
            response: function(event, ui) {
                if (!ui.content.length) {
                    ui.content.push(noResult);
                } else {
                    $("#search").empty();
                }
            },
            autoFocus: true,
            position: {
                collision: "flip"
            },
            select: function(event, ui) {
                if (ui.item.l !== noResult.l) {
                    var url = getURLPrefix(ui);
                    if (ui.item.category === catModules) {
                        if (useModuleDirectories) {
                            url += "module-summary.html";
                        } else {
                            url = ui.item.l + "-summary.html";
                        }
                    } else if (ui.item.category === catPackages) {
                        if (ui.item.url) {
                            url = ui.item.url;
                        } else {
                        url += ui.item.l.replace(/\./g, '/') + "/package-summary.html";
                        }
                    } else if (ui.item.category === catTypes) {
                        if (ui.item.url) {
                            url = ui.item.url;
                        } else if (ui.item.p === "") {
                            url += ui.item.l + ".html";
                        } else {
                            url += ui.item.p.replace(/\./g, '/') + "/" + ui.item.l + ".html";
                        }
                    } else if (ui.item.category === catMembers) {
                        if (ui.item.p === "") {
                            url += ui.item.c + ".html" + "#";
                        } else {
                            url += ui.item.p.replace(/\./g, '/') + "/" + ui.item.c + ".html" + "#";
                        }
                        if (ui.item.url) {
                            url += ui.item.url;
                        } else {
                            url += ui.item.l;
                        }
                    } else if (ui.item.category === catSearchTags) {
                        url += ui.item.u;
                    }
                    if (top !== window) {
                        parent.classFrame.location = pathtoroot + url;
                    } else {
                        window.location.href = pathtoroot + url;
                    }
                    $("#search").focus();
                }
            }
        });
    });

    ¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.23Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤





  • Druckansicht
    unsichere Verbindung
    Druckansicht
    Hier finden Sie eine Liste der Produkte des Unternehmens

    Mittel




    Lebenszyklus

    Die hierunter aufgelisteten Ziele sind für diese Firma wichtig


    Ziele

    Entwicklung einer Software für die statische Quellcodeanalyse


    Bot Zugriff