<commit_before><!-- NOTE:
     data-target is set in order to avoid a jquery problem.
     Check http://stackoverflow.com/questions/16785264/jquery-syntax-error
-->
<!-- Navigation -->

  <div class="container wrapper-white" ng-controller="NavbarController">
    <div class="row">
        <div class="col-lg-12">
            <ul class="nav navbar-nav navbar-right pre-header">
                <!-- Development only -->
                <li ng-show="logoutButton" class="dropdown" ng-controller="MenuController">
                    <a class="dropdown-toggle" data-toggle="dropdown" role="button" href="#">Development menu<span class="caret"></span></a>
                    <ul class="dropdown-menu" aria-labelledby="dropdownMenu1">
                        <li ng-show="showMenu('publish')"><a ui-sref="publish" data-target="#publish" >Publish Service</a></li>
                        <!--<li ng-show="showMenu('catalogue')"><a ui-sref="catalogue">Service Catalogue</a></li>-->
                        <li ng-show="showMenu('list')"><a ui-sref="list" data-target="#list" >Services List - Manager</a></li>
                        <li ng-show="showMenu('user_manager')"><a ui-sref="user_manager" data-target="#user_manager" >User Manager</a></li>
                        <li ng-show="showMenu('org_manager')"><a ui-sref="org_manager" data-target="#org_manager" >Org Manager</a></li>
                        <li ng-show="showMenu('toscaide')"><a ui-sref="toscaide" data-target="#toscaide">Tosca IDE</a></li>
                        <!--<li ng-show="showMenu('manager')"><a ui-sref="manager">User/Org Manager</a></li>-->
                        <li>- These should not be in the menu -</li>
                        <li ng-show="showMenu('button')"><a ui-sref="button" data-target="#button" >Button Screen</a></li>
                        <!--<li ng-show="showMenu('detail')"><a ui-sref="detail">Service Detail</a></li>-->
                        <!--<li ng-show="showMenu('subscriber')"><a ui-sref="subscriber" data-target="#subscriber" >Service Subscriber</a></li>-->
                        <!--<li ng-show="showMenu('addDeploy')"><a ui-sref="addDeploy" data-target="#addDeploy" >Add/Deploy Service</a></li>-->
                        <!--<li ng-show="showMenu('instances')"><a ui-sref="instances">Instances List - Manager</a></li>-->
                        <!--<li ng-show="showMenu('taylor')"><a ui-sref="taylor">Taylor Service</a></li>-->
                        <!--<li ng-show="showMenu('management')"><a ui-sref="management" data-target="#management" >Service Management</a></li>-->
                        <!--<li ng-show="showMenu('monitoring')"><a ui-sref="monitoring" data-target="#monitoring" >Service Monitoring</a></li>-->
                        <!--<li ng-show="showMenu('logs')"><a ui-sref="logs" data-target="#logs" >Service Logs</a></li>-->
                        <!--<li ng-show="showMenu('form_generation')"><a ui-sref="form_generation">Form Generation Screen</a></li>-->
                    </ul><commit_msg>Changed names of the menus.<commit_after><!-- NOTE:
     data-target is set in order to avoid a jquery problem.
     Check http://stackoverflow.com/questions/16785264/jquery-syntax-error
-->
<!-- Navigation -->

  <div class="container wrapper-white" ng-controller="NavbarController">
    <div class="row">
        <div class="col-lg-12">
            <ul class="nav navbar-nav navbar-right pre-header">
                <!-- Development only -->
                <li ng-show="logoutButton" class="dropdown" ng-controller="MenuController">
                    <a class="dropdown-toggle" data-toggle="dropdown" role="button" href="#">Menu<span class="caret"></span></a>
                    <ul class="dropdown-menu" aria-labelledby="dropdownMenu1">
                        <li ng-show="showMenu('publish')"><a ui-sref="publish" data-target="#publish" >Publish Service</a></li>
                        <!--<li ng-show="showMenu('catalogue')"><a ui-sref="catalogue">Service Catalogue</a></li>-->
                        <li ng-show="showMenu('list')"><a ui-sref="list" data-target="#list" >Services Manager</a></li>
                        <li ng-show="showMenu('user_manager')"><a ui-sref="user_manager" data-target="#user_manager" >User Manager</a></li>
                        <li ng-show="showMenu('org_manager')"><a ui-sref="org_manager" data-target="#org_manager" >Org Manager</a></li>
                        <li ng-show="showMenu('toscaide')"><a ui-sref="toscaide" data-target="#toscaide">Tosca IDE</a></li>
                        <!--<li ng-show="showMenu('manager')"><a ui-sref="manager">User/Org Manager</a></li>-->
                        <li ng-show="showMenu('button')"><a ui-sref="button" data-target="#button" >(Button Screen)</a></li>
                        <!--<li ng-show="showMenu('detail')"><a ui-sref="detail">Service Detail</a></li>-->
                        <!--<li ng-show="showMenu('subscriber')"><a ui-sref="subscriber" data-target="#subscriber" >Service Subscriber</a></li>-->
                        <!--<li ng-show="showMenu('addDeploy')"><a ui-sref="addDeploy" data-target="#addDeploy" >Add/Deploy Service</a></li>-->
                        <!--<li ng-show="showMenu('instances')"><a ui-sref="instances">Instances List - Manager</a></li>-->
                        <!--<li ng-show="showMenu('taylor')"><a ui-sref="taylor">Taylor Service</a></li>-->
                        <!--<li ng-show="showMenu('management')"><a ui-sref="management" data-target="#management" >Service Management</a></li>-->
                        <!--<li ng-show="showMenu('monitoring')"><a ui-sref="monitoring" data-target="#monitoring" >Service Monitoring</a></li>-->
                        <!--<li ng-show="showMenu('logs')"><a ui-sref="logs" data-target="#logs" >Service Logs</a></li>-->
                        <!--<li ng-show="showMenu('form_generation')"><a ui-sref="form_generation">Form Generation Screen</a></li>-->
                    </ul>
{'fraction_non_alphanumeric': 0.21220735785953176, 'fraction_numerical': 0.0036789297658862876, 'mean_word_length': 2.4612268518518516, 'pattern_counts': {'":': 0, '<': 191, '<?xml version=': 0, '>': 191, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 3, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2144064', 'n_tokens_mistral': 1808, 'n_tokens_neox': 1719, 'n_words': 284}