products/sources/formale Sprachen/Coq/test-suite/bugs/closed image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: layer.xml   Sprache: XML

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE filesystem PUBLIC "-//NetBeans//DTD Filesystem 1.1//EN" "http://www.netbeans.org/dtds/filesystem-1_1.dtd">
<filesystem>
      <folder name="Filters">
        <file name="Color by category" url="filters/color.filter">
            <attr name="enabled" boolvalue="true"/>
        </file>
        <file name="Color by execution frequency" url="filters/colorFrequency.filter">
            <attr name="enabled" boolvalue="false"/>
            <attr name="after" stringvalue="Color by category"/>
        </file>
        <file name="Show node warnings" url="filters/showWarnings.filter">
            <attr name="enabled" boolvalue="true"/>
            <attr name="after" stringvalue="Color by execution frequency"/>
        </file>
        <file name="Simplify graph" url="filters/structural.filter">
            <attr name="enabled" boolvalue="false"/>
            <attr name="after" stringvalue="Show node warnings"/>
        </file>
        <file name="Hide data subgraph" url="filters/hideData.filter">
            <attr name="enabled" boolvalue="false"/>
            <attr name="after" stringvalue="Simplify graph"/>
        </file>
        <file name="Hide memory subgraph" url="filters/hideMemory.filter">
            <attr name="enabled" boolvalue="false"/>
            <attr name="after" stringvalue="Hide data subgraph"/>
        </file>
        <file name="Hide control subgraph" url="filters/hideControl.filter">
            <attr name="enabled" boolvalue="false"/>
            <attr name="after" stringvalue="Hide memory subgraph"/>
        </file>
        <file name="Hide mixed subgraph" url="filters/hideMixed.filter">
            <attr name="enabled" boolvalue="false"/>
            <attr name="after" stringvalue="Hide control subgraph"/>
        </file>
        <file name="Hide other subgraph" url="filters/hideOther.filter">
            <attr name="enabled" boolvalue="false"/>
            <attr name="after" stringvalue="Hide mixed subgraph"/>
        </file>
        <file name="Show control flow only" url="filters/onlyControlFlow.filter">
            <attr name="enabled" boolvalue="false"/>
            <attr name="after" stringvalue="Hide other subgraph"/>
        </file>
        <file name="Hide data edges" url="filters/hideDataEdges.filter">
            <attr name="enabled" boolvalue="false"/>
            <attr name="after" stringvalue="Show control flow only"/>
        </file>
        <file name="Hide memory edges" url="filters/hideMemoryEdges.filter">
            <attr name="enabled" boolvalue="false"/>
            <attr name="after" stringvalue="Hide data edges"/>
        </file>
        <file name="Hide control edges" url="filters/hideControlEdges.filter">
            <attr name="enabled" boolvalue="false"/>
            <attr name="after" stringvalue="Hide memory edges"/>
        </file>
        <file name="Hide mixed edges" url="filters/hideMixedEdges.filter">
            <attr name="enabled" boolvalue="false"/>
            <attr name="after" stringvalue="Hide control edges"/>
        </file>
        <file name="Hide other edges" url="filters/hideOtherEdges.filter">
            <attr name="enabled" boolvalue="false"/>
            <attr name="after" stringvalue="Hide mixed edges"/>
        </file>
        <file name="Hide root block" url="filters/hideRootBlock.filter">
            <attr name="enabled" boolvalue="false"/>
            <attr name="after" stringvalue="Hide other edges"/>
        </file>
        <file name="Hide uncommon trap blocks" url="filters/hideUncommonTrapBlocks.filter">
            <attr name="enabled" boolvalue="false"/>
            <attr name="after" stringvalue="Hide root block"/>
        </file>
        <file name="Hide exception blocks" url="filters/hideExceptionBlocks.filter">
            <attr name="enabled" boolvalue="false"/>
            <attr name="after" stringvalue="Hide uncommon trap blocks"/>
        </file>
    </folder>
</filesystem>

¤ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ¤





Download des
Quellennavigators
Download des
sprechenden Kalenders

in der Quellcodebibliothek suchen




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 ist noch experimentell.


Bot Zugriff