def getty_csi_init(html_file, iso):
    with open(html_file, 'r+') as f:
        html_string = f.read()
        anchor = "__getty_stub__"
        isolation_ctrl = "<div id='csi-iso-ctrl' style='display:none;'><p>No Impact Isolation</p></div>\n"
        if iso:
            iso_links = ""
            active_style = "color:blue;background:whitesmoke;"
            inactive_style = "color:gray;background:linear-gradient(whitesmoke, lightgray);"
            for iso_type, iso_text, link_style, tiptext in [
                    ("ni", "Source & Test Change", active_style, "old src & tests\nvs.\nnew src & tests"),
                    ("si", "Source Change Only", inactive_style, "old vs. new src\n(with same tests)"),
                    ("ti4o", "Test Change (for OLD Source)", inactive_style, "old tests vs. new tests\n(both for old src)"),
                    ("ti4n", "Test Change (for NEW Source)", inactive_style, "old tests vs. new tests\n(both for new src)")]:
                iso_links += \
                    "    <a id='csi-iso-link-" + iso_type + "' class='csi-iso-ctrl-group' href='#' " + \
                    " style='" + link_style + "' " + \
                    "onclick='return iso_type_reset(\"" + iso_type + "\");'>" + iso_text + \
                    "<span class='iso-type-tip'><pre>" + tiptext + "</pre></span></a>\n"
            iso_links = "<div class='link-button-tabs-bottom'>" + iso_links + "</div>"
            isolation_ctrl = "<div id='csi-iso-ctrl' style='margin-top:10px;'>\n" + \
                "    <span class='more-inv-display-option-listing menu-words'>Invariant Changes Due To:</span>\n" + \
                iso_links + "</div>\n"
        legends = "<div style='float:right;'>" + \
            "<span class='menu-words' style='margin-left: 32px;'>Legends:&nbsp;&nbsp;&nbsp;&nbsp;</span>" + \
            "<span class='program-words'>" + \
            "<span><u>code-changed</u>&nbsp;</span>" + \
            "<span style='color:red;'>invariant-changed</span>&nbsp;" + \
            "<span style='color:darkgray;'>invariant-unchanged</span>&nbsp;" + \
            "<span>...(#old-calls + #newly-added)</span>" + \
            "</span></div>"
        html_string = html_string.replace(anchor,
            "<div id='csi-output-targets'></div>\n" + \
            "<div id='csi-output-neighbors-outer'>" + \
            "  <div id='csi-output-menu' class='menu-words'>" + \
            "<span style='margin-right:4px;'>More Methods </span>\n" + \
            "  " + create_show_hide_toggle("onoffswitch", "moremethodscb", "return toggle_show_invequal();") + \
            "<span style='margin: 0px 4px 0 80px;'>Tests </span>" + \
            "  " + create_show_hide_toggle("onoffswitch", "moretestscb", "return toggle_show_tests();") + \
            legends + \
            "  </div>\n" + \
            "  <div id='csi-output-neighbors' style='margin:8px;'>" + \
            "    <div style='text-align: center;'>" + \
            "Choose a method/class from above to show its invocation neighbors." + \
            "    </div>\n" + \
            "  </div>\n" + \
            "</div>\n" + \
            "<div id='csi-output-invcomp-outer'>\n" + isolation_ctrl + \
            "  <div id='csi-output-invcomp' style='margin: 8px 2px;'>" + \
            "    <div style='margin: 8px 4px; text-align: center;'>Invariant differentials will be shown here." + \
            "</div></div></div>")
        f.seek(0)
        f.truncate()
        f.write(html_string)
def getty_csi_init(html_file, iso):
    with open(html_file, 'r+') as f:
        html_string = f.read()
        anchor = "__getty_stub__"
        isolation_ctrl = "<div id='csi-iso-ctrl' style='display:none;'><p>No Impact Isolation</p></div>\n"
        if iso:
            iso_links = ""
            active_style = "color:blue;background:whitesmoke;"
            inactive_style = "color:gray;background:linear-gradient(whitesmoke, lightgray);"
            for iso_type, iso_text, link_style, tiptext in [
                ("ni", "Source & Test Change", inactive_style,
                 "old src & tests\nvs.\nnew src & tests"),
                ("si", "Source Change Only", active_style,
                 "old vs. new src\n(with same tests)"),
                ("ti4o", "Test Change (for OLD Source)", inactive_style,
                 "old tests vs. new tests\n(both for old src)"),
                ("ti4n", "Test Change (for NEW Source)", inactive_style,
                 "old tests vs. new tests\n(both for new src)")
            ]:
                iso_links += \
                    "    <a id='csi-iso-link-" + iso_type + "' class='csi-iso-ctrl-group' href='#' " + \
                    " style='" + link_style + "' " + \
                    "onclick='return iso_type_reset(\"" + iso_type + "\");'>" + iso_text + \
                    "<span class='iso-type-tip'><pre>" + tiptext + "</pre></span></a>\n"
            iso_links = "<div class='link-button-tabs-bottom'>" + iso_links + "</div>"
            isolation_ctrl = "<div id='csi-iso-ctrl' style='margin-top:10px;'>\n" + \
                "    <span class='more-inv-display-option-listing menu-words'>Invariant Changes Due To:</span>\n" + \
                iso_links + "</div>\n"
        html_string = html_string.replace(anchor,
            "<div id='csi-output-targets'></div>\n" + \
            "<div id='csi-output-neighbors-outer'>" + \
            "  <div id='csi-output-menu' class='menu-words'>" + \
            "<span style='margin-right:4px;'>Methods without invariant changes </span>\n" + \
            "  " + create_show_hide_toggle("onoffswitch", "moremethodscb", "return toggle_show_invequal();") + "\n" + \
            "<span style='margin: 0px 4px 0 80px;'>Test cases </span>" + \
            "  " + create_show_hide_toggle("onoffswitch", "moretestscb", "return toggle_show_tests();") + "\n" + \
            "  " + create_legends_tooltip() + "\n" + \
            "  </div>\n" + \
            "  <div id='csi-output-neighbors' style='margin:8px;'>" + \
            "    <div style='text-align: center;'>" + \
            "Choose a method/class from above to show its invocation neighbors." + \
            "    </div>\n" + \
            "  </div>\n" + \
            "</div>\n" + \
            "<div id='csi-output-invcomp-outer'>\n" + isolation_ctrl + \
            "  <div id='csi-output-invcomp' style='margin: 8px 2px;'>" + \
            "    <div style='margin: 8px 4px; text-align: center;'>Invariant differentials will be shown here." + \
            "</div></div></div>")
        f.seek(0)
        f.truncate()
        f.write(html_string)
    <meta property="dc:modified" content="{4}" />
    <meta name="description" content="{2}" />
    <meta property="dc:abstract" content="{2}" />
</head>
"""

html_hdr = basic_html_hdr + """
<body style='overflow-y:scroll;'>
    __getty_stub__
    <div style='padding-left:4px;' id='sh-srcdiff-switch'>
      <div class='menu-words' style='margin: 24px 0 8px 0;'>
        List of All Code Changes&nbsp;&nbsp;
        {0}
    </div></div>
    <div id='getty-full-code-diff' style="display:none;">
""".format(create_show_hide_toggle('btn-sh-sd', 'btn-sh-sd',
                '$(\"div#getty-full-code-diff\").toggle();return false;', checked=False))

continue_hdr = """</div>
    <div style='display:none;padding-left:4px;margin-top:8px;' id='sh-invdiff-switch'>
      <div class='menu-words' style='margin: 24px 0 8px 0;'>
        List of Invariant Differentials&nbsp;&nbsp;
        {0}
    </div></div>
    <div id='getty-full-inv-diff' style='display:none;'>
""".format(create_show_hide_toggle('btn-sh-id', 'btn-sh-id',
                '$(\"div#getty-full-inv-diff\").toggle();return false;', checked=False))

footer_info = """<footer>
    <p><br>--------<br>Generated at {0}. Getty - Semantiful Differentials.    </p>
</footer>
"""
def getty_csi_targets_prep(html_file, go, prev_hash, post_hash, common_package,
                           all_changed_tests, old_changed_tests, new_changed_tests,
                           new_modified_src, new_all_src,
                           old_test_set, new_test_set,
                           old_caller_of, old_callee_of, old_pred_of, old_succ_of,
                           new_caller_of, new_callee_of, new_pred_of, new_succ_of,
                           old_refined_target_set, new_refined_target_set, refined_target_set,
                           all_classes_set, iso):
    # TODO: 
    #   Consider to use new_refined_target_set, old_refined_target_set for better results
    
    all_whose_inv_changed = set()
    if config.analyze_tests and not config.limit_interest:
        all_considered = (set(new_all_src) | set(new_test_set))
    elif config.limit_interest:
        all_considered = refined_target_set
    else:
        all_considered = set(new_all_src)
    for mtd in all_considered:
        if iso:
            if is_possibly_different(mtd, go, prev_hash, post_hash, preprocessed=True):
                all_whose_inv_changed.add(mtd);
        else:
            if is_different(mtd, go, prev_hash, post_hash):
                all_whose_inv_changed.add(mtd);
    
    all_whose_clsobj_inv_changed = set()
    for cls in all_classes_set:
        if iso:
            if is_possibly_different(cls, go, prev_hash, post_hash, preprocessed=True):
                all_whose_clsobj_inv_changed.add(cls)
        else:
            if is_different(cls, go, prev_hash, post_hash):
                all_whose_clsobj_inv_changed.add(cls)

    with open(html_file, 'r') as rf:
        html_string = rf.read()
    targets_place_holder = "<div id='csi-output-targets'></div>"
    cpkg_disclaimer = ""
    if common_package != '' and common_package is not None:
        common_package_display = "<span class='program-words'>" + common_package + "</span>"
        cpkg_disclaimer = "<div style='float:right;' class='target-top-row menu-words'>" + \
            "<b>Common Package:</b>&nbsp;&nbsp;" + common_package_display + "</div>"
    compare_commit_msgs = "<div class='target-top-row menu-words'><b>Compare Commits:</b>&nbsp;&nbsp;" + \
        "<a id='commit-msg-link' href='#'>" + prev_hash + " vs. " + post_hash + "</a></div>"
    replace_header = \
        "<div id='csi-output-targets'>" + cpkg_disclaimer + compare_commit_msgs + \
        "<div class='menu-words entry-header'><b>Updated Source:</b></div>"
    if new_modified_src:
        replacement = "<div class='target-sep'>,</div>".join(
                            [__link_to_show_neighbors(t, common_package)
                                for t in sorted(list(new_modified_src))])
    else:
        replacement = "<span>None</span>"
    embed_test_update = "<br><div class='menu-words entry-header'><b>Updated Tests:</b></div>"
    if all_changed_tests:
        tests_replacement = "<div class='target-sep'>,</div>".join(
                                [__link_to_show_neighbors(t, common_package)
                                    for t in sorted(list(all_changed_tests))])
    else:
        tests_replacement = "<span>None</span>"
    inv_change_update = \
        "<div class='menu-words entry-header'><b>Methods & Classes with Possible Invariant Changes </b></div>" + \
        create_show_hide_toggle("onoffswitch", "inv-change-list-sh",
            "$(\"div#invariant-change-list-divs\").toggle();return false;", checked=False,
            extra_style="margin-top:8px;")
    if all_whose_inv_changed or all_whose_clsobj_inv_changed:
        if all_whose_inv_changed:
            invch_mtd_replacement = "<span class='menu-words'>Methods: </span>" + \
                "<div class='target-sep'>,</div>".join(
                    [__link_to_show_neighbors(t, common_package, "output-invc-highlight")
                        for t in sorted(list(all_whose_inv_changed))])
        else:
            invch_mtd_replacement = "<span class='menu-words'>Methods: None</span>"
        if all_whose_clsobj_inv_changed:
            invch_cls_replacement = "<span class='menu-words'>Classes: </span>" + \
                "<div class='target-sep'>,</div>".join(
                    [__link_to_show_neighbors(t, common_package, "output-invc-highlight")
                        for t in sorted(list(all_whose_clsobj_inv_changed))])
        else:
            invch_cls_replacement = "<span class='menu-words'>Classes: None</span>"
        invch_replacement = invch_mtd_replacement + "<br>" + invch_cls_replacement
    else:
        invch_replacement = "<span>None</span>"
    invch_replacement = "<div id='invariant-change-list-divs' style='display:none;'>" + invch_replacement + "</div>"
    replace_footer = "</div>"
    html_string = html_string.replace(targets_place_holder,
                                      replace_header + replacement + \
                                      embed_test_update + tests_replacement + \
                                      "<div>" + inv_change_update + invch_replacement + "</div>" + \
                                      replace_footer)

    html_string = _getty_csi_setvars(html_string, go, prev_hash, post_hash, common_package,
                                     all_changed_tests, old_changed_tests, new_changed_tests,
                                     new_modified_src, new_all_src,
                                     old_test_set, new_test_set,
                                     old_caller_of, old_callee_of, old_pred_of, old_succ_of,
                                     new_caller_of, new_callee_of, new_pred_of, new_succ_of,
                                     all_whose_inv_changed, all_whose_clsobj_inv_changed)
    
    with open(html_file, 'w') as wf:
        wf.write(html_string)
示例#5
0
</head>
"""

html_hdr = basic_html_hdr + """
<body style='overflow-y:scroll;'>
    __getty_stub__
    <div style='padding-left:4px;' id='sh-srcdiff-switch'>
      <div class='menu-words' style='margin: 24px 0 8px 0;'>
        List of All Code Changes&nbsp;&nbsp;
        {0}
    </div></div>
    <div id='getty-full-code-diff' style="display:none;">
""".format(
    create_show_hide_toggle(
        'btn-sh-sd',
        'btn-sh-sd',
        '$(\"div#getty-full-code-diff\").toggle();return false;',
        checked=False))

continue_hdr = """</div>
    <div style='display:none;padding-left:4px;margin-top:8px;' id='sh-invdiff-switch'>
      <div class='menu-words' style='margin: 24px 0 8px 0;'>
        List of Invariant Differentials&nbsp;&nbsp;
        {0}
    </div></div>
    <div id='getty-full-inv-diff' style='display:none;'>
""".format(
    create_show_hide_toggle(
        'btn-sh-id',
        'btn-sh-id',
        '$(\"div#getty-full-inv-diff\").toggle();return false;',
def getty_csi_targets_prep(html_file,
                           go,
                           prev_hash,
                           post_hash,
                           common_package,
                           all_changed_tests,
                           old_changed_tests,
                           new_changed_tests,
                           all_changed_methods,
                           new_modified_src,
                           new_all_src,
                           old_test_set,
                           new_test_set,
                           old_caller_of,
                           old_callee_of,
                           old_pred_of,
                           old_succ_of,
                           new_caller_of,
                           new_callee_of,
                           new_pred_of,
                           new_succ_of,
                           old_refined_target_set,
                           new_refined_target_set,
                           refined_target_set,
                           all_classes_set,
                           iso,
                           expansion_set=None):
    all_whose_inv_changed_candidates = set()
    if config.analyze_tests and not config.limit_interest:
        all_considered = (set(new_all_src) | set(new_test_set))
    elif config.limit_interest:
        all_considered = refined_target_set
    else:
        all_considered = set(new_all_src)
    if config.class_level_expansion:
        all_considered = all_considered | expansion_set

    for mtd in all_considered:
        if iso:
            if is_possibly_different(mtd,
                                     go,
                                     prev_hash,
                                     post_hash,
                                     preprocessed=True):
                all_whose_inv_changed_candidates.add(mtd)
        else:
            if is_different(mtd, go, prev_hash, post_hash):
                all_whose_inv_changed_candidates.add(mtd)

    all_whose_inv_changed = set()
    for one_target in all_whose_inv_changed_candidates:
        if one_target.find(":") != -1:
            all_whose_inv_changed.add(one_target)

    all_whose_clsobj_inv_changed = set()
    for cls in all_classes_set:
        if iso:
            if is_possibly_different(cls,
                                     go,
                                     prev_hash,
                                     post_hash,
                                     preprocessed=True):
                all_whose_clsobj_inv_changed.add(cls)
        else:
            if is_different(cls, go, prev_hash, post_hash):
                all_whose_clsobj_inv_changed.add(cls)

    with open(html_file, 'r') as rf:
        html_string = rf.read()
    targets_place_holder = "<div id='csi-output-targets'></div>"
    cpkg_disclaimer = ""
    if common_package != '' and common_package is not None:
        common_package_display = "<span class='program-words'>" + common_package + "</span>"
        cpkg_disclaimer = "<div style='float:right;' class='target-top-row menu-words'>" + \
            "<b>Common Package:</b>&nbsp;&nbsp;" + common_package_display + "</div>"
    compare_commit_msgs = "<div class='target-top-row menu-words'><b>Compare Commits:</b>&nbsp;&nbsp;" + \
        "<a id='commit-msg-link' href='#'>" + prev_hash + " vs. " + post_hash + "</a></div>"
    replace_header = \
        "<div id='csi-output-targets'>" + cpkg_disclaimer + compare_commit_msgs + \
        "<div class='menu-words entry-header'><b>Updated Source:</b></div>"

    all_method_changes = set(all_changed_methods) | set(all_changed_tests)
    all_class_changes = set()
    for cm in all_method_changes:
        colon_pos = cm.find(":")
        if colon_pos != -1:
            all_class_changes.add(cm[:colon_pos])
        else:
            all_class_changes.add(cm)

    if all_changed_methods:
        replacement = "<div class='target-sep'>,</div>".join([
            __link_to_show_neighbors(t,
                                     common_package,
                                     all_invc_to_check=all_whose_inv_changed)
            for t in sorted(list(all_changed_methods))
        ])
    else:
        replacement = "<span>None</span>"
    embed_test_update = "<br><div class='menu-words entry-header'><b>Updated Tests:</b></div>"
    if all_changed_tests:
        tests_replacement = "<div class='target-sep'>,</div>".join([
            __link_to_show_neighbors(t,
                                     common_package,
                                     all_invc_to_check=all_whose_inv_changed)
            for t in sorted(list(all_changed_tests))
        ])
    else:
        tests_replacement = "<span>None</span>"
    inv_change_update = \
        "<div class='menu-words entry-header'><b>Methods & Classes with Possible Invariant Changes </b></div>" + \
        create_show_hide_toggle("onoffswitch", "inv-change-list-sh",
            "$(\"div#invariant-change-list-divs\").toggle();return false;", checked=True,
            extra_style="margin-top:8px;")
    if all_whose_inv_changed or all_whose_clsobj_inv_changed:
        if all_whose_inv_changed:
            invch_mtd_replacement = "<span class='menu-words'>Methods: </span>" + \
                "<div class='target-sep'>,</div>".join(
                    [__link_to_show_neighbors(t, common_package,
                                              all_codec_to_check=all_method_changes)
                        for t in sorted(list(all_whose_inv_changed))])
        else:
            invch_mtd_replacement = "<span class='menu-words'>Methods: None</span>"
        if all_whose_clsobj_inv_changed:
            invch_cls_replacement = "<span class='menu-words'>Classes: </span>" + \
                "<div class='target-sep'>,</div>".join(
                    [__link_to_show_neighbors(t, common_package,
                                              all_codec_to_check=all_class_changes)
                        for t in sorted(list(all_whose_clsobj_inv_changed))])
        else:
            invch_cls_replacement = "<span class='menu-words'>Classes: None</span>"
        invch_replacement = invch_mtd_replacement + "<br>" + invch_cls_replacement
    else:
        invch_replacement = "<span>None</span>"
    invch_replacement = "<div id='invariant-change-list-divs'>" + invch_replacement + "</div>"
    replace_footer = "</div>"
    html_string = html_string.replace(targets_place_holder,
                                      replace_header + replacement + \
                                      embed_test_update + tests_replacement + \
                                      "<div>" + inv_change_update + invch_replacement + "</div>" + \
                                      replace_footer)

    html_string = _getty_csi_setvars(
        html_string, go, prev_hash, post_hash, common_package,
        all_changed_tests, old_changed_tests, new_changed_tests,
        all_changed_methods, new_all_src, old_test_set, new_test_set,
        old_caller_of, old_callee_of, old_pred_of, old_succ_of, new_caller_of,
        new_callee_of, new_pred_of, new_succ_of, all_whose_inv_changed,
        all_whose_clsobj_inv_changed, iso)

    with open(html_file, 'w') as wf:
        wf.write(html_string)