text:
#pragma once
#include <aws/textract/Textract_EXPORTS.h>
#include <aws/textract/TextractRequest.h>
#include <aws/core/utils/memory/stl/AWSString.h>
#include <utility>

namespace Aws
{
namespace Textract
{
namespace Model
{

  /**
   */
  class AWS_TEXTRACT_API GetExpenseAnalysisRequest : public TextractRequest
  {
  public:
    GetExpenseAnalysisRequest();

    // Service request name is the Operation name which will send this request out,
    // each operation should has unique request name, so that we can get operation's name from this request.
    // Note: this is not true for response, multiple operations may have the same response name,
    // so we can not get operation's name from response.
    inline virtual const char* GetServiceRequestName() const override { return "GetExpenseAnalysis"; }

    Aws::String SerializePayload() const override;

    Aws::Http::HeaderValueCollection GetRequestSpecificHeaders() const override;

    /**
     *
A unique identifier for the text detection job. The JobId is
     * returned from StartExpenseAnalysis. A JobId value is
     * only valid for 7 days.

     */
    inline const Aws::String& GetJobId() const{ return m_jobId; }

    /**
     *
A unique identifier for the text detection job. The JobId is
     * returned from StartExpenseAnalysis. A JobId value is
     * only valid for 7 days.

     */
    inline bool JobIdHasBeenSet() const { return m_jobIdHasBeenSet; }

    /**
     *
A unique identifier for the text detection job. The JobId is
     * returned from StartExpenseAnalysis. A JobId value is
     * only valid for 7 days.

     */
    inline void SetJobId(const Aws::String& value) { m_jobIdHasBeenSet = true; m_jobId = value; }

    /**
     *
A unique identifier for the text detection job. The JobId is
     * returned from StartExpenseAnalysis. A JobId value is
     * only valid for 7 days.

     */
    inline void SetJobId(Aws::String&& value) { m_jobIdHasBeenSet = true; m_jobId = std::move(value); }

    /**
     *
A unique identifier for the text detection job. The JobId is
     * returned from StartExpenseAnalysis. A JobId value is
     * only valid for 7 days.

     */
    inline void SetJobId(const char* value) { m_jobIdHasBeenSet = true; m_jobId.assign(value); }

    /**
     *
A unique identifier for the text detection job. The JobId is
     * returned from StartExpenseAnalysis. A JobId value is
     * only valid for 7 days.

     */
    inline GetExpenseAnalysisRequest& WithJobId(const Aws::String& value) { SetJobId(value); return *this;}

    /**
     *
A unique identifier for the text detection job. The JobId is
     * returned from StartExpenseAnalysis. A JobId value is
     * only valid for 7 days.

     */
    inline GetExpenseAnalysisRequest& WithJobId(Aws::String&& value) { SetJobId(std::move(value)); return *this;}

    /**
     *
A unique identifier for the text detection job. The JobId is
     * returned from StartExpenseAnalysis. A JobId value is
     * only valid for 7 days.

     */
    inline GetExpenseAnalysisRequest& WithJobId(const char* value) { SetJobId(value); return *this;}

    /**
     *
The maximum number of results to return per paginated call. The largest value
     * you can specify is 20. If you specify a value greater than 20, a maximum of 20
     * results is returned. The default value is 20.

     */
    inline int GetMaxResults() const{ return m_maxResults; }

    /**
     *
The maximum number of results to return per paginated call. The largest value
     * you can specify is 20. If you specify a value greater than 20, a maximum of 20
     * results is returned. The default value is 20.

     */
    inline bool MaxResultsHasBeenSet() const { return m_maxResultsHasBeenSet; }

    /**
     *
The maximum number of results to return per paginated call. The largest value
     * you can specify is 20. If you specify a value greater than 20, a maximum of 20
     * results is returned. The default value is 20.

     */
    inline void SetMaxResults(int value) { m_maxResultsHasBeenSet = true; m_maxResults = value; }

    /**
     *
The maximum number of results to return per paginated call. The largest value
     * you can specify is 20. If you specify a value greater than 20, a maximum of 20
     * results is returned. The default value is 20.

     */
    inline GetExpenseAnalysisRequest& WithMaxResults(int value) { SetMaxResults(value); return *this;}

    /**
     *
If the previous response was incomplete (because there are more blocks to
     * retrieve), Amazon Textract returns a pagination token in the response. You can
     * use this pagination token to retrieve the next set of blocks.

     */
    inline const Aws::String& GetNextToken() const{ return m_nextToken; }

    /**
     *
If the previous response was incomplete (because there are more blocks to
     * retrieve), Amazon Textract returns a pagination token in the response. You can
     * use this pagination token to retrieve the next set of blocks.

     */
    inline bool NextTokenHasBeenSet() const { return m_nextTokenHasBeenSet; }

    /**
     *
If the previous response was incomplete (because there are more blocks to
     * retrieve), Amazon Textract returns a pagination token in the response. You can
     * use this pagination token to retrieve the next set of blocks.

     */
    inline void SetNextToken(const Aws::String& value) { m_nextTokenHasBeenSet = true; m_nextToken = value; }

    /**
     *
If the previous response was incomplete (because there are more blocks to
     * retrieve), Amazon Textract returns a pagination token in the response. You can
     * use this pagination token to retrieve the next set of blocks.

     */
    inline void SetNextToken(Aws::String&& value) { m_nextTokenHasBeenSet = true; m_nextToken = std::move(value); }

    /**
     *
If the previous response was incomplete (because there are more blocks to
     * retrieve), Amazon Textract returns a pagination token in the response. You can
     * use this pagination token to retrieve the next set of blocks.

     */
    inline void SetNextToken(const char* value) { m_nextTokenHasBeenSet = true; m_nextToken.assign(value); }

    /**
     *
If the previous response was incomplete (because there are more blocks to
     * retrieve), Amazon Textract returns a pagination token in the response. You can
     * use this pagination token to retrieve the next set of blocks.

     */
    inline GetExpenseAnalysisRequest& WithNextToken(const Aws::String& value) { SetNextToken(value); return *this;}

    /**
     *
If the previous response was incomplete (because there are more blocks to
     * retrieve), Amazon Textract returns a pagination token in the response. You can
     * use this pagination token to retrieve the next set of blocks.

     */
    inline GetExpenseAnalysisRequest& WithNextToken(Aws::String&& value) { SetNextToken(std::move(value)); return *this;}

    /**
     *
If the previous response was incomplete (because there are more blocks to
     * retrieve), Amazon Textract returns a pagination token in the response. You can
     * use this pagination token to retrieve the next set of blocks.

     */
    inline GetExpenseAnalysisRequest& WithNextToken(const char* value) { SetNextToken(value); return *this;}

  private:

    Aws::String m_jobId;
    bool m_jobIdHasBeenSet;

    int m_maxResults;
    bool m_maxResultsHasBeenSet;

    Aws::String m_nextToken;
    bool m_nextTokenHasBeenSet;
  };

} // namespace Model
} // namespace Textract
} // namespace Aws


text:
<?xml version="1.0" encoding="utf-8"?>
<RelativeLayout xmlns:android="http://schemas.android.com/apk/res/android"
    android:orientation="vertical" android:layout_width="match_parent"
    android:layout_height="match_parent"
    android:paddingLeft="@dimen/activity_horizontal_margin"
    android:paddingRight="@dimen/activity_horizontal_margin"
    android:paddingTop="@dimen/activity_vertical_margin"
    android:paddingBottom="@dimen/activity_vertical_margin">
    <android.support.v7.widget.RecyclerView
        android:layout_width="match_parent"
        android:layout_height="match_parent"
        android:id="@+id/listRules">

    </android.support.v7.widget.RecyclerView>
    <TextView
        android:id="@+id/empty_view"
        android:layout_width="match_parent"
        android:layout_height="match_parent"
        android:gravity="center"
        android:visibility="gone"
        android:text="No rules defined. The database is empty" />
    <android.support.design.widget.FloatingActionButton
        android:layout_width="wrap_content"
        android:layout_height="wrap_content"
        android:layout_gravity="bottom"
        android:layout_margin="16dp"
        android:clickable="true"
        android:layout_alignParentRight="true"
        android:layout_alignParentBottom="true"
        android:src="@drawable/ic_add_white_24dp"
        android:id="@+id/floatingActionButton"
        />
</RelativeLayout>

redpajama_set_name: RedPajamaGithub


text: Docker image centered around vim


text:
W8-Client-Connector
===================

The Windows 8 Client to share data using Datwendo's Client Connector from your W8 destop applications


text:
<?php
/**
 * ©[2016] SugarCRM Inc.  Licensed by SugarCRM under the Apache 2.0 license.
 */

namespace SugarAPI\SDK\Exception;

class SDKException extends \Exception {

    protected $default_message = 'Unknown SDK Exception occurred.';

    public function __construct($message = '') {
        if (empty($message)){
            $message = $this->default_message;
        }
        parent::__construct($message);
    }

}


text:
package com.github.discvrseq.walkers;

import au.com.bytecode.opencsv.CSVWriter;
import com.github.discvrseq.tools.DiscvrSeqInternalProgramGroup;
import htsjdk.samtools.util.IOUtil;
import org.apache.commons.lang3.StringUtils;
import org.broadinstitute.barclay.argparser.Argument;
import org.broadinstitute.barclay.argparser.CommandLineProgramProperties;
import org.broadinstitute.barclay.help.DocumentedFeature;
import org.broadinstitute.hellbender.cmdline.StandardArgumentDefinitions;
import org.broadinstitute.hellbender.engine.FeatureContext;
import org.broadinstitute.hellbender.engine.ReadWalker;
import org.broadinstitute.hellbender.engine.ReferenceContext;
import org.broadinstitute.hellbender.exceptions.GATKException;
import org.broadinstitute.hellbender.utils.read.GATKRead;
import org.broadinstitute.hellbender.utils.read.SAMFileGATKReadWriter;

import java.io.File;
import java.io.IOException;
import java.text.NumberFormat;
import java.util.*;

/**
 * Iterate a 10x BAM and summarize alignments per gene, including instances where reads map to multiple genes are are filtered.
 * The original purpose is to provide QC over 10x feature counting, such as identifying genes in a GTF that will be systematically under-counted.
 *
 *
Usage example:

 *

 *  java -jar DISCVRseq.jar Summarize10xAlignments \
 *     -I possorted_bam.bam \
 *     -O output.txt
 *

 */
@DocumentedFeature
@CommandLineProgramProperties(
        summary = "Iterate a 10x BAM and summarize alignments per gene",
        oneLineSummary = "Iterate a 10x BAM and summarize alignments per gene",
        programGroup = DiscvrSeqInternalProgramGroup.class
)
public class Summarize10xAlignments extends ReadWalker {
    @Argument(doc="File to which the output table should be written", fullName = StandardArgumentDefinitions.OUTPUT_LONG_NAME, shortName = StandardArgumentDefinitions.OUTPUT_SHORT_NAME, optional = false)
    public String outFile = null;

    Map<String, Long> readsPerGeneId = new HashMap<>();
    Map<String, Long> multimapReadsPerGeneId = new HashMap<>();
    Map<String, Set<String>> overlappingPerGeneId = new HashMap<>();

    Map<String, Long> readsPerGene = new HashMap<>();
    Map<String, Long> multimapReadsPerGene = new HashMap<>();
    Map<String, Set<String>> overlappingPerGene = new HashMap<>();

    SAMFileGATKReadWriter writer;

    @Override
    public void onTraversalStart() {
        IOUtil.assertFileIsWritable(new File(outFile));
    }

    @Override
    public void apply(GATKRead read, ReferenceContext referenceContext, FeatureContext featureContext) {
        if (read.hasAttribute("GX")) {
            appendValues(read, read.getAttributeAsString("GX"), readsPerGeneId, multimapReadsPerGeneId, overlappingPerGeneId);
        }

        if (read.hasAttribute("GN")) {
            appendValues(read, read.getAttributeAsString("GN"), readsPerGene, multimapReadsPerGene, overlappingPerGene);
        }
    }

    private void appendValues(GATKRead read, String attr, Map<String, Long> readsPerGene, Map<String, Long> multimapReadsPerGene, Map<String, Set<String>> overlappingPerGene) {
        Set<String> genes = new HashSet<>(Arrays.asList(attr.split(";")));
        genes.remove("None");
        if (genes.isEmpty()) {
            return;
        }

        if (genes.size() > 1) {
            for (String gene : genes) {
                multimapReadsPerGene.put(gene, multimapReadsPerGene.getOrDefault(gene, 0L) + 1);

                if (!overlappingPerGene.containsKey(gene)) {
                    overlappingPerGene.put(gene, new HashSet<>());
                }

                overlappingPerGene.get(gene).addAll(genes);
            }
        }
        else {
            readsPerGene.put(genes.iterator().next(), readsPerGene.getOrDefault(genes.iterator().next(), 0L) + 1);
        }
    }

    @Override
    public Object onTraversalSuccess() {
        NumberFormat fmt = NumberFormat.getNumberInstance();
        fmt.setMaximumFractionDigits(2);

        try (CSVWriter csvWriter = new CSVWriter(IOUtil.openFileForBufferedUtf8Writing(new File(outFile)), '\t', CSVWriter.NO_QUOTE_CHARACTER)) {
            csvWriter.writeNext(new String[]{"Type", "Gene", "TotalReads", "MultiMappedReads", "FractionMultiMapped", "OverlappingGenes"});

            Set<String> features = new TreeSet<>(readsPerGene.keySet());
            features.addAll(multimapReadsPerGene.keySet());
            for (String key : features) {
                Set<String> overlaps = overlappingPerGene.getOrDefault(key, Collections.emptySet());
                if (overlaps.contains(key)) {
                    overlaps.remove(key);
                }

                long denominator = readsPerGene.getOrDefault(key, 0L) + multimapReadsPerGene.getOrDefault(key, 0L);
                double pct = denominator == 0 ? 0 : (double)multimapReadsPerGene.getOrDefault(key, 0L) / denominator;
                csvWriter.writeNext(new String[]{"GeneName", key, String.valueOf(readsPerGene.getOrDefault(key, 0L)), String.valueOf(multimapReadsPerGene.getOrDefault(key, 0L)), fmt.format(pct), overlaps.isEmpty() ? "" : StringUtils.join(overlaps, ",")});
            }

            features = new TreeSet<>(readsPerGeneId.keySet());
            features.addAll(multimapReadsPerGeneId.keySet());
            for (String key : features) {
                Set<String> overlaps = overlappingPerGene.getOrDefault(key, Collections.emptySet());
                if (overlaps.contains(key)) {
                    overlaps.remove(key);
                }

                long denominator = readsPerGeneId.getOrDefault(key, 0L) + multimapReadsPerGeneId.getOrDefault(key, 0L);
                double pct = denominator == 0 ? 0 : (double)multimapReadsPerGeneId.getOrDefault(key, 0L) / denominator;
                csvWriter.writeNext(new String[]{"GeneId", key, String.valueOf(readsPerGeneId.getOrDefault(key, 0L)), String.valueOf(multimapReadsPerGeneId.getOrDefault(key, 0L)), fmt.format(pct), overlaps.isEmpty() ? "" : StringUtils.join(overlaps, ",")});
            }
        }
        catch (IOException e) {
            throw new GATKException(e.getMessage(), e);
        }

        return super.onTraversalSuccess();
    }
}


text:
/**
 * Map model (contains map related properties) - Singleton
 *
 * This module is defined as a singleton object and as such,
 * contains a different architecture than other modules.
 *
 * @class map-model
 **/

(function() {

    "use strict";

    define([
        "dojo/dom-construct",
        "dojo/dom",
        "dojo/dom-class",
        "dojo/on",
        "dojo/topic",
        "dojo/query",
        "dojo/_base/connect",
        "esri/map",
        "esri/layers/WMSLayer",
        "esri/layers/ArcGISDynamicMapServiceLayer",
        "esri/layers/ArcGISTiledMapServiceLayer",
        "app/helpers/bookmark-delegate",
        "app/helpers/layer-delegate",
        "app/config/cbrConfig",
        "app/config/clusterConfig",
        "app/config/employmentConfig",
        "esri/layers/FeatureLayer",
        "app/resources/js/ClusterFeatureLayer",
        "esri/geometry/Point",
        "esri/SpatialReference",

        "esri/geometry/Extent",
        "esri/dijit/Scalebar",
        "esri/dijit/HomeButton",
        "esri/dijit/LocateButton",
        "esri/dijit/Geocoder",
        "esri/symbols/PictureMarkerSymbol",

        "esri/Color",
        "esri/symbols/SimpleMarkerSymbol",
        "esri/symbols/SimpleLineSymbol",
        "esri/symbols/SimpleFillSymbol",
        "esri/renderers/SimpleRenderer",
        "esri/renderers/UniqueValueRenderer",
        "esri/renderers/ClassBreaksRenderer",

        "esri/dijit/Popup",
        "esri/dijit/PopupTemplate",
        "esri/InfoTemplate",
        "dojo/domReady!"
    ], function(dc, dom, domClass, on, tp, query, connect, Map, WMSLayer, ArcGISDynamicMapServiceLayer, ArcGISTiledMapServiceLayer, bookmarkDelegate, layerDelegate, conf, clusterConfig, employmentConfig, FeatureLayer, ClusterFeatureLayer, Point, SpatialReference, Extent, Scalebar, HomeButton, LocateButton, Geocoder, PictureMarkerSymbol, Color, SimpleMarkerSymbol, SimpleLineSymbol, SimpleFillSymbol, SimpleRenderer, UniqueValueRenderer, ClassBreaksRenderer, Popup, PopupTemplate, InfoTemplate) {

        /**
         * Holds reference to the map.
         *
         * @property instance
         * @type {map}
         */
        var instance = null; //no globals!

        /**
         * Contains properties and methods to manage the ESRI map.
         *
         * @class MapModel
         * @constructor
         */
        function MapModel() {
            if (instance !== null) {
                throw new Error("Cannot instantiate more than one MapModel, use MapModel.getInstance()");
            }
            this.mapInstance = null;
            this.mapLayers = [];
            this.anonymousMapLayers = [];
            this.allowedMapLayers = [];
            this.basemapLayers = [];
            this.layerCategories = [];
            this.selectableLayers = [{
                "title": "Custom Shape"
            }];
            this.initializationData = undefined;
            this.initializing = true;
            this.initialize();
            this.self = this;
        }

        MapModel.prototype = {

            /**
             * Initialize the class and load the map layers.
             *
             * @method initialize
             */
            initialize: function() {
                var node = dc.create("div", {
                    id: "map"
                }, "display", "first");

                // create div for loading gif. vw
                var loading = dc.create("div", {
                    id: "loading"
                }, "map", "after");
                var img = dc.create("img", {
                    id: "loadimag",
                    src: "app/resources/img/loading.gif"
                }, "loading", "first");
                // hide div till called. vw
                esri.hide(dom.byId("loading"));

                this.initializationData = bookmarkDelegate.getQueryStringMapDataObj();

                // create a popup to replace the map's info window
                var fillSymbol = new SimpleFillSymbol(SimpleFillSymbol.STYLE_BACKWARD_DIAGONAL,
                    new SimpleLineSymbol(SimpleLineSymbol.STYLE_SOLID,
                        new Color([0, 255, 255]), 2),
                    new Color([0, 255, 255, 0.25]));

                var pointSymbol = new SimpleMarkerSymbol("circle", 26, null,
                    new Color([0, 0, 0, 0.25]));

                var popup = new Popup({
                    fillSymbol: fillSymbol,
                    // lineSymbol:
                    markerSymbol: pointSymbol,
                    titleInBody: false,
                    //visibleWhenEmpty: false,
                    //hideDelay: -1
                }, dc.create("div"));
                popup.resize(325, 300);

                self.FDI = function(value, key, data) {
                    if (value === 1) {
                        return "
Parent Company: " + data["ParentCompanyName"] + "
Parent Country: " + data["ParentCountry"];
                    }
                    return "";
                };

                self.Sector = function(value, key, data) {

                    var returnValue = "
Key Industries: ";

                    if (data["Aerospace"]) {
                        returnValue += "Aerospace";
                    }
                    if (data["Finance"]) {
                        returnValue += "Finance";
                    }
                    if (data["HealthCare"]) {
                        returnValue += "Health Care";
                    }
                    if (data["InfoTech"]) {
                        returnValue += "Information Technology ";
                    }
                    if (data["Manufacturing"]) {
                        returnValue += "Manufacturing";
                    }
                    if (data["WhseDistr"]) {
                        returnValue += "Warehouse/Distribution";
                    }

                    if (returnValue !== "
Key Industries: ") {
                        return returnValue + "
";
                    }
                    return "";
                };

                /**
                 * infoTemplate for Popup for Job Centers
                 * @type {InfoTemplate}
                 */
                self.jobsInfoTemplate = new InfoTemplate();
                self.jobsInfoTemplate.setTitle("Job Centers 2017");
                self.jobsInfoTemplate.setContent("

${JCName}

" +
                    "
" +
                    "City: ${MPAName}
" +
                    "Job Center Id: ${JCID}
" +
                    "Size: ${Acres:NumberFormat(places:0)} Acres
" +
                    "Number of Businesses: ${BUSSUM:NumberFormat}
" +
                    "Number of Jobs: ${EMPSUM:NumberFormat}"
                );

                /**
                 * infoTemplate for Municipal Planning Areas
                 * @type {InfoTemplate}
                 */
                self.mpaInfoTemplate = new InfoTemplate();
                self.mpaInfoTemplate.setTitle("Municipal Planning Area");
                self.mpaInfoTemplate.setContent("${MPA_Name}${MPA_Name_Long}
");

                /**
                 * infoTemplate for Zip Codes
                 * @type {InfoTemplate}
                 */
                self.zipCodeInfoTemplate = new InfoTemplate();
                self.zipCodeInfoTemplate.setTitle("ZIP Code");
                self.zipCodeInfoTemplate.setContent("${NAME}

${ZIPCODE}
");

                /**
                 * infoTemplate for HUB Zones
                 * @type {InfoTemplate}
                 */
                self.hubZoneInfoTemplate = new InfoTemplate();
                self.hubZoneInfoTemplate.setTitle("HUBZones");
                self.hubZoneInfoTemplate.setContent("Geo ID: ${GEOID10}
Tract: ${NAME10}
City: ${CITY}
County: ${COUNTY}
Status: ${STATUS_AS_OF_20150101}");

                /**
                 * infoTemplate for Employers
                 * @type {InfoTemplate}
                 */
                self.empInfoTemplate = new InfoTemplate();
                self.empInfoTemplate.setTitle("Employers");
                self.empInfoTemplate.setContent("
${EmpName}

" + "Number of Employees: ${Employees:NumberFormat}
" + "City: ${JURISDICTION}
" + "Cluster: ${Cluster}
" + "${Sector:Sector}" + "${International:FDI}");

                /**
                 * infoTemplate for Foreign Trade Zones
                 * @type {InfoTemplate}
                 */
                self.ftzInfoTemplate = new InfoTemplate();
                self.ftzInfoTemplate.setTitle("Foreign Trade Zone");
                self.ftzInfoTemplate.setContent("Name: ${NAME}");

                /**
                 * infoTemplate for Commute Shed Centroids
                 * @type {InfoTemplate}
                 */
                self.commuteShedInfoTemplate = new InfoTemplate();
                self.commuteShedInfoTemplate.setTitle("Commute Shed");
                self.commuteShedInfoTemplate.setContent("
${name}
City: ${mpa}
Business Count: ${BUSSUM:NumberFormat}
Employee Count: ${EMPSUM:NumberFormat}
Maximum Travel Time: ${max_time} minutes");

                var extent;
                if (this.initializationData) {
                    extent = new Extent(this.initializationData.E);
                } else {
                    extent = new Extent(appConfig.initExtent);
                }

                this.mapInstance = new Map("map", {
                    extent: extent,
                    infoWindow: popup,
                    minZoom: 8,
                    maxZoom: 19,
                    sliderPosition: "bottom-left",
                    showAttribution: false,
                    logo: false
                });

                var scalebar = new Scalebar({
                    map: this.mapInstance,
                    scalebarUnit: this.units
                });

                // create div for homebutton. vw
                var homeButton = new HomeButton({
                    map: this.mapInstance,
                    visible: true //show the button
                }, dc.create("div", {
                    id: "HomeButton"
                }, "map", "after"));
                homeButton._homeNode.title = "Original Extent";
                homeButton.startup();

                // for proportional symbols layer
                this.sizeInfo = {
                    field: "Employees",
                    valueUnit: "unknown",
                    // valueRepresentation:"area"
                    minSize: 4,
                    maxSize: 80,
                    minDataValue: 25,
                    maxDataValue: 9000
                };
                // for proportional symbols layer
                this.opacityInfo = {
                    field: "Employees",
                    minDataValue: 25,
                    maxDataValue: 9000,
                    opacityValues: [0.65, 1]
                };

                on(this.mapInstance, "LayerAddResult", this.mapOnLayerAddResult);
                on(this.mapInstance, "Load", this.mapLoaded);
                on(this.mapInstance, "extent-change", this.extentChanged);

                //set default bookmark options
                bookmarkDelegate.mapClassType = "natural-breaks";
                bookmarkDelegate.mapBreakCount = 5;
                bookmarkDelegate.mapColorPicker = "BuGn";
                bookmarkDelegate.mapCustomBreaks = [];

                var linkHTML = "";

                var linkCollection = [];

                for (var i = 0; i < appConfig.layerInfo.length; i++) {
                    var layer = appConfig.layerInfo[i];
                    if (layer.link === true) {
                        var Link = dc.create("a", {
                            "class": "action",
                            "id": layer.id + "Link",
                            "type": "button",
                            "innerHTML": "View Summary",
                            "href": "#"
                        }, query(".actionList", this.mapInstance.infoWindow.domNode)[0]);
                        on(Link, "click", this.linkClicked);
                        linkCollection.push(layer.id + "Link");
                    }
                }

            },
            // ===================================================================================================>
            // end initialize

            /**
             * Used to coordinate popups with interactive tools
             * found in the interactive-vm.js
             * @return {[type]} [description]
             */
            hideInfoWindow: function() {
                // this.mapInstance.infoWindow = false;
                this.mapInstance.infoWindow.hide();
                this.mapInstance.setInfoWindowOnClick(false);
            },

            /**
             * Used to coordinate popups with interactive tools
             * found in the employment-vm.js
             * @return {[type]} [description]
             */
            showInfoWindow: function() {
                // this.mapInstance.infoWindow = true;
                this.mapInstance.setInfoWindowOnClick(true);
            },

            /**
             * Fired when a layer is added to the map.
             *
             * @event onLayerAddResult
             * @param {Layer} layer - the layer added to the map.
             * @param {Error} error - any errors that occurred loading the layer.
             */
            mapOnLayerAddResult: function(layer, error) {
                if (error) {
                    alert(layer);
                    console.log(layer);
                }
                tp.publish("mapLayerAdded");
            },

            extentChanged: function(e) {
                bookmarkDelegate.mapExtent = e;
                $("td:contains('EMPSUM')").css("display", "none");
            },

            /**
             * Loads the thematic legend
             * @return {[type]} [description]
             */
            mapLoaded: function() {
                tp.publish("Map Loaded");
            },

            /**
             * Fired when link on Job Center Popup infoWindow is clicked
             * @return {[type]} [description]
             */
            linkClicked: function(e) {
                // console.log(e.target.id);
                tp.publish(e.target.id + "Click");

                // tp.publish("jobsLinkClick");
            },

            /**
             * Read layer info from config.js and add the layers to the map.
             *
             * @method createLayers
             */
            createLayers: function() {
                //appConfig.layerInfo.reverse();
                var layersToAdd = []; // add all layers to TOC
                var layersTOC = []; // add only certain layers to TOC

                for (var i = 0; i < appConfig.layerInfo.length; i++) {
                    var info = appConfig.layerInfo[i];
                    var layer;

                    var token = "";
                    if (typeof info.token !== "undefined") {
                        token = "?token=" + info.token;
                    }
                    var customRendering = false;

                    switch (info.type) {
                        case "wms":
                            var resourceInfo = {
                                extent: this.getMapExtent(),
                                layerInfos: info.layers,
                                version: info.version
                            };
                            var vlayers = [];
                            for (var x = 0; x < info.layers.length; x++) {
                                var li = info.layers[x];
                                vlayers.push(li.name);
                            }
                            layer = new WMSLayer(info.url, {
                                id: info.id,
                                visible: info.visible,
                                resourceInfo: resourceInfo,
                                visibleLayers: vlayers,
                                opacity: info.opacity
                            });
                            layer.setImageFormat("png");
                            break;
                        case "dynamic":
                            layer = new ArcGISDynamicMapServiceLayer(info.url + token, {
                                id: info.id,
                                visible: info.visible,
                                opacity: info.opacity
                            });
                            layer.setVisibleLayers(info.layers);
                            break;
                        case "tile":
                            layer = new ArcGISTiledMapServiceLayer(info.url + token, {
                                id: info.id,
                                visible: info.visible,
                                opacity: info.opacity
                            });
                            break;
                        case "feature":
                            var featureTemplate;
                            var fieldOrder;
                            if (info.id === "jobCenters") {
                                featureTemplate = self.jobsInfoTemplate;
                                fieldOrder = [""];
                            }
                            if (info.id === "mpaBoundaries") {
                                featureTemplate = self.mpaInfoTemplate;
                                fieldOrder = [""];
                            }
                            if (info.id === "zipCodes") {
                                featureTemplate = self.zipCodeInfoTemplate;
                                fieldOrder = [""];
                            }
                            if (info.id === "HUBZones") {
                                featureTemplate = self.hubZoneInfoTemplate;
                                fieldOrder = [""];
                            }
                            if (info.id === "employers") {
                                featureTemplate = self.empInfoTemplate;
                                fieldOrder = ["Employees DESC"];
                                customRendering = true;
                            }
                            if (info.id === "fdiEmployers") {
                                featureTemplate = self.empInfoTemplate;
                                fieldOrder = [""];
                            }
                            if (info.id === "ftZones") {
                                featureTemplate = self.ftzInfoTemplate;
                                fieldOrder = [""];
                            }
                            if (info.id === "commuteShedCentroid") {
                                featureTemplate = self.commuteShedInfoTemplate;
                                fieldOrder = [""];
                            }
                            layer = new FeatureLayer(info.url + token, {
                                id: info.id,
                                visible: info.visible,
                                opacity: info.opacity,
                                mode: FeatureLayer.MODE_ONDEMAND,
                                orderByFields: fieldOrder,
                                outFields: info.outFields,
                                infoTemplate: featureTemplate,
                                //styling: !customRendering
                            });
                            break;
                    }

                    layer.tocIndex = i;
                    this.applyLayerProperties(layer, info);
                    layersToAdd.push(layer);

                    if (info.showTOC !== false) {
                        layersTOC.push(layer);
                    }

                    // Hack: workaround inability to create legend when appending token to url
                    //http://forums.arcgis.com/threads/65481-Legend-problems-with-secured-services-when-migrating-to-3.0-3.1
                    if (typeof info.token !== "undefined") {
                        layer.url = layer.originalUrl;
                        layer.queryUrl = layer.queryUrl + "?token=" + layer.token;
                    }
                }

                this.mapInstance.addLayers(layersToAdd.reverse());

                tp.publish("addTOCLayers", layersTOC);

            },
            // end createLayers

            /**
             * Add additional layer properties to the layer before adding it to the map.
             *
             * @method applyLayerProperties
             * @param {Layer} layer - the layer to apply properties to.
             * @param {Object} info - the layer info object from the config.js file.
             */
            applyLayerProperties: function(layer, info) {
                layer.layerType = info.type;
                layer.layers = info.layers;
                layer.title = info.title;
                layer.description = info.description;
                layer.filters = info.filters;
                layer.category = info.category;
                layer.selectable = info.selectable;
                layer.queryUrl = info.queryUrl;
                layer.historical = info.historical;
                layer.originalUrl = info.url;
                layer.token = info.token;
                layer.queryWhere = info.queryWhere;
                layer.layerDefField = info.layerDefField;
                layer.isBasemap = (info.isBasemap) ? true : false;

                if (typeof layer.queryWhere === "undefined" || layer.queryWhere === "") {
                    layer.queryWhere = "1=1";
                }
                if (typeof info.layerDefField === "undefined") {
                    layer.layerDefField = "";
                }
                if (typeof info.historical === "undefined") {
                    layer.historical = false;
                }

                //Apply a definition expression on the layer if
                //it is a historical layer
                layer.defExp = "";

                // for display of employer data in proportional symbols
                if (layer.id === "employers" || layer.id === "fdiEmployers") {

                    var color = [0, 89, 190, 1];

                    if (layer.id === "fdiEmployers") {
                        color = [189, 19, 0, 1];
                    }

                    // symbol color used to draw Employer points
                    var empSymbol = new SimpleMarkerSymbol(SimpleMarkerSymbol.STYLE_CIRCLE, 12,
                        new SimpleLineSymbol(SimpleLineSymbol.STYLE_SOLID,
                            new Color("black"), 1),
                        new Color(color)
                    );

                    var sizeInfo = {
                        field: "Employees",
                        valueUnit: "unknown",
                        minSize: 5,
                        maxSize: 40,
                        minDataValue: 25,
                        maxDataValue: 9000
                    };
                    layer.setRenderer(new SimpleRenderer(empSymbol));
                    layer.renderer.setSizeInfo(sizeInfo);

                    on(layer, "mouse-over", function(evt) {
                        var employeeCount = evt.graphic.attributes.Employees;
                        var selector = "#legend_" + evt.graphic.attributes.SIZE;
                        $(selector).addClass("active");
                    });

                    $("#legend").on("mouseover", ".symbol", function() {
                        var size = $(this)[0].classList[1];

                        var classList = ["small", "medium", "large", "xlarge", "xxlarge"];

                        for (var i = 0; i < classList.length; i++) {
                            if (size !== classList[i]) {
                                $("#map ." + classList[i]).hide();
                            }
                        }

                        var elements = $("#map ." + size);

                        for (var i = 0; i < elements.length; i++) {
                            var classes = $(elements[i]).attr("class").toString();
                            elements[i].setAttribute("class", "symbol highlightPoint " + size);
                        }
                    });
                    $("#legend").on("mouseout", ".symbol", function() {
                        var size = $(this)[0].classList[1];
                        $(".symbol").show();
                        var elements = $("#map ." + size);

                        for (var i = 0; i < elements.length; i++) {
                            var classes = $(elements[i]).attr("class").toString();
                            elements[i].setAttribute("class", "symbol " + size);
                        }
                    });

                    on(layer, "mouse-out", function(evt) {
                        var selector = "#legend_" + evt.graphic.attributes.SIZE;
                        $(selector).removeClass("active");
                    });
                    on(layer, "graphic-draw", function(evt) {
                        var employeeCount = evt.graphic.attributes.Employees;
                        var employerSize;

                        for (var i = 0; i < conf.classBreaks.length; i++) {
                            if (employeeCount >= conf.classBreaks.infos[0][i].min && employeeCount <= conf.classBreaks.infos[0][i].max) {
                                employerSize = conf.classBreaks.infos[0][i].size;
                                evt.node.setAttribute("r", conf.classBreaks.infos[0][i].r);
                            }
                        }

                        // set the data attributes for the feature
                        evt.node.setAttribute("class", employerSize + " symbol");
                        evt.graphic.attributes.SIZE = employerSize;
                        evt.node.setAttribute("id", evt.graphic.attributes.OBJECTID);
                    });

                }

                //Add observable properties
                layer.loading = kendo.observable(false);
                layer.isVisible = kendo.observable(layer.visible);
                layer.optionsVisible = kendo.observable(false);

                layer.refreshOpacity = function() {
                    this.opacityLevel((this.opacity * 100) + "%");
                };

                //Categorize layer
                if (layer.isBasemap) {
                    this.basemapLayers.push(layer);
                } else {
                    this.mapLayers.push(layer);
                    //this.categorizeLayer(layer);
                    if (layer.selectable) {
                        this.selectableLayers.push(layer);
                    }
                }
            },

            updateClustering: function(value) {
                var cbox = $("#cboxCluster");
                var checked = $(cbox).is(":checked");

                if (value === "On") {
                    var layer = this.mapInstance.getLayer("employers");
                    var layer2 = this.mapInstance.getLayer("clusters");

                    if (checked) {
                        $(cbox).prop("checked", true);
                    }

                    layer.hide();
                    layer2.show();
                } else {
                    var layer = this.mapInstance.getLayer("clusters");
                    var layer2 = this.mapInstance.getLayer("employers");
                    if (!checked) {
                        $(cbox).removeAttr("checked");
                    }

                    layer.hide();
                    layer2.show();
                }
            },

            /**
             * Optionally categorize layers.
             *
             * @method categorizeLayer
             * @param {Layer} layer - the layer to be categorized.
             */
            categorizeLayer: function(layer) {
                var l = this.layerCategories.length;
                var exists = false;
                var obj;

                //Categorize the layer
                for (var x = 0; x < l; x++) {
                    obj = this.layerCategories[x];
                    if (obj.category === layer.category) {
                        obj.layers.push(layer);
                        if (layer.historical) {
                            obj.historical = true;
                            exists = true;
                            break;
                        }
                    }
                }

                if (!exists) {
                    var id = Math.floor(Math.random() * 1000000);
                    var d = new Date();
                    d.setDate(d.getDate() - 1);
                    var curr_date = d.getDate();
                    var curr_month = d.getMonth() + 1; //Months are zero based
                    var curr_year = d.getFullYear();
                    var yesterday = curr_year + "-" + curr_month + "-" + curr_date;
                    obj = {
                        id: id,
                        category: layer.category,
                        historical: layer.historical,
                        fromDate: yesterday,
                        toDate: yesterday,
                        layers: [layer]
                    };
                    this.layerCategories.push(obj);
                }

                //Categorize the layer filters
                l = layer.filters.length;
                var filterCategories = [];
                for (var x = 0; x < l; x++) {
                    exists = false;
                    var filter = layer.filters[x];
                    for (var y = 0; y < filterCategories.length; y++) {
                        obj = filterCategories[y];
                        if (obj.category === filter.category) {
                            obj.filters.push(filter);
                            exists = true;
                            break;
                        }
                    }
                    if (!exists) {
                        filterCategories.push({
                            category: filter.category,
                            filters: [filter]
                        });
                    }
                }
                layer.filters = kendo.observable(filterCategories);
            },

            /**
             * Get the map instance.
             *
             * @method getMap
             * @returns {Map}
             */
            getMap: function() {
                return this.mapInstance;
            },

            /**
             * Get the graphics layer from the map.
             *
             * @method getGraphics
             * @returns {GraphicsLayer}
             */
            getGraphics: function(map) {
                var graphics;
                if (map) {
                    graphics = map.graphics;
                } else {
                    graphics = this.mapInstance.graphics;
                }

                return graphics;
            },

            /**
             * Get the spatial reference of the map.
             *
             * @method getSpatialReference
             * @returns {SpatialReference}
             */
            getSpatialReference: function() {
                return this.mapInstance.spatialReference;
            },

            /**
             * Resize the map to fit it's parent container.
             *
             * @method resizeMap
             */
            resizeMap: function() {
                if (this.mapInstance) {
                    this.mapInstance.reposition();
                    this.mapInstance.resize();
                }
            },

            getClusterLayer: function(where) {
                var map = this.mapInstance;

                var clusterLayer = new ClusterFeatureLayer({
                    "url": clusterConfig.clusterOptions.url,
                    "distance": clusterConfig.clusterOptions.distance,
                    "MODE_SNAPSHOT": false,
                    "id": "clusters",
                    "labelColor": clusterConfig.clusterOptions.labelColor,
                    "resolution": map.extent.getWidth() / map.width,
                    "singleColor": "#888",
                    "singleTemplate": self.empInfoTemplate,
                    "showSingles": false,
                    "useDefaultSymbol": true,
                    "objectIdField": "OBJECTID",
                    "outFields": ["*"],
                    "where": where
                });

                on(clusterLayer, "graphic-draw", function(evt) {
                    if (evt.graphic.attributes.clusterCount === 1) {

                        var employeeCount = evt.graphic.attributes.Employees;
                        var employerSize;

                        for (var i = 0; i < conf.classBreaks.length; i++) {
                            if (employeeCount >= conf.classBreaks.infos[0][i].min && employeeCount <= conf.classBreaks.infos[0][i].max) {
                                employerSize = conf.classBreaks.infos[0][i].size;
                                evt.node.setAttribute("r", conf.classBreaks.infos[0][i].r);
                            }
                        }

                        // set the data attributes for the feature
                        evt.node.setAttribute("class", employerSize + " symbol");
                        evt.graphic.attributes.SIZE = employerSize;
                        evt.node.setAttribute("id", evt.graphic.attributes.OBJECTID);
                    }
                });

                $("body").on("mouseenter mouseleave", "#clusters_layer text", function(e) {
                    if (e.relatedTarget) {
                        var oldRadius = e.relatedTarget.getAttribute("oldR");
                        if (e.type === "mouseenter") {
                            if (oldRadius !== null) {
                                e.relatedTarget.setAttribute("r", parseInt(oldRadius) + 2);
                            } else {
                                e.relatedTarget.setAttribute("r", parseInt(e.relatedTarget.getAttribute("r")) + 2);
                            }
                            //e.relatedTarget.setAttribute("fill-opacity", "1");
                        }
                        // else if (e.type === "mouseleave") {
                        //     //e.relatedTarget.setAttribute("fill-opacity", "1");
                        // }
                    }
                });

                $("body").on("mouseenter mouseleave", "#clusters_layer > circle", function(e) {
                    var oldRadius = e.target.getAttribute("oldR");
                    if (e.type === "mouseenter") {
                        $("#clusters_layer circle").each(function(index, value) {
                            if (value.getAttribute("class") === null) {
                                value.setAttribute("fill-opacity", "0.7");
                            }
                            var oldRadius = value.getAttribute("oldR");
                            if (oldRadius !== null) {
                                value.setAttribute("r", oldRadius);
                            }
                        });
                        var radius = parseInt(e.target.getAttribute("r"));
                        e.target.setAttribute("r", radius + 2);
                        if (oldRadius === null) {
                            e.target.setAttribute("oldR", radius);
                        }
                        //e.target.setAttribute("fill-opacity", "1");
                    } else if (e.type === "mouseleave") {
                        if (oldRadius !== null) {
                            e.target.setAttribute("r", oldRadius);
                        }
                        e.target.setAttribute("fill-opacity", "0.7");
                    }
                });

                var defaultSym = new SimpleMarkerSymbol(SimpleMarkerSymbol.STYLE_CIRCLE, 12,
                    new SimpleLineSymbol(SimpleLineSymbol.STYLE_SOLID,
                        new Color("black"), 1),
                    new Color([0, 89, 190, 1])
                );

                var renderer = new ClassBreaksRenderer(defaultSym, "clusterCount");
                var sls = SimpleLineSymbol;
                var sms = SimpleMarkerSymbol;

                $.each(clusterConfig.classBreaks, function(index, classBreak) {
                    var symbol = new sms();
                    symbol.style = sms.STYLE_CIRCLE;
                    symbol.outline = new sls(sls.STYLE_SOLID, new Color(classBreak.outsideCircle.color));
                    symbol.size = classBreak.radius;
                    symbol.color = new Color(classBreak.insideCircle.color);

                    renderer.addBreak(classBreak.min, classBreak.max, symbol);
                });

                // Providing a ClassBreakRenderer is also optional
                clusterLayer.setRenderer(renderer);
                return clusterLayer;
            },

            /**
             * Get the current map extent.
             *
             * @method getMapExtent
             * @returns {Extent}
             */
            getMapExtent: function() {
                return this.mapInstance.extent;
            },

            /**
             * Set the map extent to the extent of the provided geometry.
             *
             * @method setMapExtent
             * @param {Geometry} geometry - source geometry for new extent.
             */
            setMapExtent: function(geometry) {
                var extent = new Extent();
                switch (geometry.type) {
                    case "extent":
                        extent = geometry;
                        break;
                    case "polygon":
                        extent = geometry.getExtent();
                        break;
                    case "point":
                        var tol = 5000;
                        extent.update(geometry.x - tol, geometry.y - tol, geometry.x + tol, geometry.y + tol);
                        break;
                }
                this.mapInstance.setExtent(extent, true);
            },

            /**
             * Center the map on the given point.
             *
             * @method centerMap
             * @param {Point} pt - point to center map on.
             */
            centerMap: function(pt) {
                this.mapInstance.centerAt(pt);
            },

            /**
             * Center the map on the given latitude and longitude.
             *
             * @method centerMapAtLatLon
             * @param {number} lat - latitude uses for center point.
             * @param {number} lon - longitude used for center point.
             */
            centerMapAtLatLon: function(lat, lon) {
                var geoPt = new Point(lon, lat, new SpatialReference({
                    wkid: 102100
                }));
                var convertedPt = esri.geometry.geographicToWebMercator(geoPt);
                this.mapInstance.centerAt(convertedPt);
            },

            /**
             * Center and zoom the map on a given point.
             *
             * @method zoomToPoint
             * @param {Point} pt - point to center and zoom to.
             */
            zoomToPoint: function(pt) {
                this.mapInstance.centerAndZoom(pt, 14);
            },

            /**
             * Clears definition expression of employers layer if not already clear.
             *
             * @method resetEmployerPoints
             */
            resetEmployerPoints: function() {
                var layer = this.mapInstance.getLayer("employers");
                var layer2 = this.mapInstance.getLayer("clusters");
                var employersCbox = $("#cemployers");
                var echecked = $(employersCbox).is(":checked");
                var clusterCbox = $("#cboxCluster");
                var cchecked = $(clusterCbox).is(":checked");

                var currentDefExpress = layer.getDefinitionExpression();
                if (currentDefExpress !== "1 = 1") {
                    layer.setDefinitionExpression("1 = 1");
                }
                this.mapInstance.removeLayer(layer2);
                var newLayer = this.getClusterLayer("1 = 1");
                this.mapInstance.addLayer(newLayer);
                if (echecked === false || cchecked === false || this.mapInstance.getZoom() > 11) {
                    newLayer.setVisibility(false);
                }
            },

            /**
             * Add a graphic to the map graphics layer.
             *
             * @method addGraphic
             * @param {Graphic} graphic - feature to be added.
             * @param {string} color - name of the color to use as a fill color.
             */
            addGraphic: function(graphic, color, hasSymbol) {
                if (!hasSymbol) {
                    var symbol = this.getSymbol(graphic.geometry, color);
                    graphic.symbol = symbol;
                    this.mapInstance.graphics.add(graphic);
                } else {
                    //console.log(graphic);
                    this.mapInstance.graphics.add(graphic);
                }
            },

            /**
             * Add multiple graphics to the map graphics layer.
             *
             * @method addGraphics
             * @param {Graphics[]} graphics - array of features to be added.
             */
            addGraphics: function(graphics, color) {
                if (graphics.length === 0) {
                    return;
                }
                var geometry = graphics[0].geometry;
                var symbol = this.getSymbol(geometry, color);
                for (var x = 0; x < graphics.length; x++) {
                    var g = graphics[x];
                    g.symbol = symbol;
                    this.mapInstance.graphics.add(g);
                }
            },

            /**
             * Set (change) the symbol of the given graphic.
             *
             * @method setSymbol
             * @param {Graphic} graphic - the graphic whose symbol is to be set.
             * @param {string} color - name of the color to use as a fill color.
             */
            setSymbol: function(graphic, color) {
                var symbol = this.getSymbol(graphic.geometry, color);
                graphic.setSymbol(symbol);
            },

            /**
             * Determine symbol for graphic based on supplied color and geometry type.
             *
             * @method getSymbol
             * @param {Geometry} geometry - the geometry to be symbolized.
             * @param {string} color - name of the color to use as a fill color.
             * @returns {Symbol}
             */
            getSymbol: function(geometry, color) {
                var symbol, dojoColor;
                color = (typeof color === "undefined") ? "cyan" : color;

                switch (color) {
                    case "cyan":
                        dojoColor = new Color([0, 255, 255, 0.20]);
                        break;
                    case "yellow":
                        dojoColor = new Color([255, 255, 0, 0.50]);
                        break;
                    case "red":
                        dojoColor = new Color([255, 0, 0, 0.25]);
                        break;
                    case "green":
                        dojoColor = new Color([0, 255, 0, 0.25]);
                        break;
                    case "blue":
                        dojoColor = new Color([0, 0, 255, 0.25]);
                        break;
                    case "grey":
                        dojoColor = new Color([117, 117, 117, 1]);
                        break;
                }

                switch (geometry.type) {
                    case "point":
                        symbol = new SimpleMarkerSymbol(SimpleMarkerSymbol.STYLE_SQUARE, 10, new SimpleLineSymbol(SimpleLineSymbol.STYLE_SOLID, new Color([255, 0, 0]), 1), dojoColor);
                        break;
                    case "polyline":
                        symbol = new SimpleLineSymbol(SimpleLineSymbol.STYLE_SOLID, new Color([255, 0, 0]), 2);
                        break;
                    case "polygon":
                        symbol = new SimpleFillSymbol(SimpleFillSymbol.STYLE_SOLID, new SimpleLineSymbol(SimpleLineSymbol.STYLE_SOLID, new Color([0, 255, 255]), 3), dojoColor);
                        break;
                    case "extent":
                        symbol = new SimpleFillSymbol(SimpleFillSymbol.STYLE_SOLID, new SimpleLineSymbol(SimpleLineSymbol.STYLE_SOLID, new Color([50, 50, 50]), 2), dojoColor);
                        break;
                    case "multipoint":
                        symbol = new SimpleMarkerSymbol(SimpleMarkerSymbol.STYLE_SQUARE, 10, new SimpleLineSymbol(SimpleLineSymbol.STYLE_SOLID, new Color([255, 0, 0]), 1), dojoColor);
                        break;
                }
                return symbol;
            },

            /**
             * Clear all graphics from map graphics layer
             *
             * @method clearGraphics
             */
            clearGraphics: function() {
                if (this.mapInstance !== null) {
                    if (this.mapInstance.graphics !== null) {
                        this.mapInstance.graphics.clear();
                    }
                }
            }

        }; // End prototype

        /**
         * Get the singleton instance of the map.
         *
         * @method getInstance
         * @returns {Map}
         */
        MapModel.getInstance = function() {
            // summary:
            //      Gets an instance of the singleton
            if (instance === null) {
                instance = new MapModel();
            }
            return instance;
        };

        return MapModel.getInstance();
    });
}());


text:
// Copyright (C) 2008 The Android Open Source Project
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

package com.google.gerrit.reviewdb.client;

import com.google.gerrit.extensions.client.InheritableBoolean;
import com.google.gerrit.extensions.client.ProjectState;
import com.google.gerrit.extensions.client.SubmitType;
import com.google.gwtorm.client.Column;
import com.google.gwtorm.client.StringKey;

/** Projects match a source code repository managed by Gerrit */
public final class Project {
  /** Project name key */
  public static class NameKey extends
      StringKey<com.google.gwtorm.client.Key<?>> {
    private static final long serialVersionUID = 1L;

    @Column(id = 1)
    protected String name;

    protected NameKey() {
    }

    public NameKey(final String n) {
      name = n;
    }

    @Override
    public String get() {
      return name;
    }

    @Override
    protected void set(String newValue) {
      name = newValue;
    }

    @Override
    public int hashCode() {
      return get().hashCode();
    }

    @Override
    public boolean equals(Object b) {
      if (b instanceof NameKey) {
        return get().equals(((NameKey) b).get());
      }
      return false;
    }

    /** Parse a Project.NameKey out of a string representation. */
    public static NameKey parse(final String str) {
      final NameKey r = new NameKey();
      r.fromString(str);
      return r;
    }
  }

  protected NameKey name;

  protected String description;

  protected InheritableBoolean useContributorAgreements;

  protected InheritableBoolean useSignedOffBy;

  protected SubmitType submitType;

  protected ProjectState state;

  protected NameKey parent;

  protected InheritableBoolean requireChangeID;

  protected String maxObjectSizeLimit;

  protected InheritableBoolean useContentMerge;

  protected String defaultDashboardId;

  protected String localDefaultDashboardId;

  protected String themeName;

  protected InheritableBoolean createNewChangeForAllNotInTarget;

  protected InheritableBoolean enableSignedPush;
  protected InheritableBoolean requireSignedPush;

  protected Project() {
  }

  public Project(Project.NameKey nameKey) {
    name = nameKey;
    submitType = SubmitType.MERGE_IF_NECESSARY;
    state = ProjectState.ACTIVE;
    useContributorAgreements = InheritableBoolean.INHERIT;
    useSignedOffBy = InheritableBoolean.INHERIT;
    requireChangeID = InheritableBoolean.INHERIT;
    useContentMerge = InheritableBoolean.INHERIT;
    createNewChangeForAllNotInTarget = InheritableBoolean.INHERIT;
    enableSignedPush = InheritableBoolean.INHERIT;
    requireSignedPush = InheritableBoolean.INHERIT;
  }

  public Project.NameKey getNameKey() {
    return name;
  }

  public String getName() {
    return name != null ? name.get() : null;
  }

  public String getDescription() {
    return description;
  }

  public void setDescription(final String d) {
    description = d;
  }

  public InheritableBoolean getUseContributorAgreements() {
    return useContributorAgreements;
  }

  public InheritableBoolean getUseSignedOffBy() {
    return useSignedOffBy;
  }

  public InheritableBoolean getUseContentMerge() {
    return useContentMerge;
  }

  public InheritableBoolean getRequireChangeID() {
    return requireChangeID;
  }

  public String getMaxObjectSizeLimit() {
    return maxObjectSizeLimit;
  }

  public void setUseContributorAgreements(final InheritableBoolean u) {
    useContributorAgreements = u;
  }

  public void setUseSignedOffBy(final InheritableBoolean sbo) {
    useSignedOffBy = sbo;
  }

  public void setUseContentMerge(final InheritableBoolean cm) {
    useContentMerge = cm;
  }

  public void setRequireChangeID(final InheritableBoolean cid) {
    requireChangeID = cid;
  }

  public InheritableBoolean getCreateNewChangeForAllNotInTarget() {
    return createNewChangeForAllNotInTarget;
  }

  public void setCreateNewChangeForAllNotInTarget(
      InheritableBoolean useAllNotInTarget) {
    this.createNewChangeForAllNotInTarget = useAllNotInTarget;
  }

  public InheritableBoolean getEnableSignedPush() {
    return enableSignedPush;
  }

  public void setEnableSignedPush(InheritableBoolean enable) {
    enableSignedPush = enable;
  }

  public InheritableBoolean getRequireSignedPush() {
    return requireSignedPush;
  }

  public void setRequireSignedPush(InheritableBoolean require) {
    requireSignedPush = require;
  }

  public void setMaxObjectSizeLimit(final String limit) {
    maxObjectSizeLimit = limit;
  }

  public SubmitType getSubmitType() {
    return submitType;
  }

  public void setSubmitType(final SubmitType type) {
    submitType = type;
  }

  public ProjectState getState() {
    return state;
  }

  public void setState(final ProjectState newState) {
    state = newState;
  }

  public String getDefaultDashboard() {
    return defaultDashboardId;
  }

  public void setDefaultDashboard(final String defaultDashboardId) {
    this.defaultDashboardId = defaultDashboardId;
  }

  public String getLocalDefaultDashboard() {
    return localDefaultDashboardId;
  }

  public void setLocalDefaultDashboard(final String localDefaultDashboardId) {
    this.localDefaultDashboardId = localDefaultDashboardId;
  }

  public String getThemeName() {
    return themeName;
  }

  public void setThemeName(final String themeName) {
    this.themeName = themeName;
  }

  public void copySettingsFrom(final Project update) {
    description = update.description;
    useContributorAgreements = update.useContributorAgreements;
    useSignedOffBy = update.useSignedOffBy;
    useContentMerge = update.useContentMerge;
    requireChangeID = update.requireChangeID;
    submitType = update.submitType;
    state = update.state;
    maxObjectSizeLimit = update.maxObjectSizeLimit;
    createNewChangeForAllNotInTarget = update.createNewChangeForAllNotInTarget;
  }

  /**
   * Returns the name key of the parent project.
   *
   * @return name key of the parent project, {@code null} if this project
   *         is the wild project, {@code null} or the name key of the wild
   *         project if this project is a direct child of the wild project
   */
  public Project.NameKey getParent() {
    return parent;
  }

  /**
   * Returns the name key of the parent project.
   *
   * @param allProjectsName name key of the wild project
   * @return name key of the parent project, {@code null} if this project
   *         is the wild project
   */
  public Project.NameKey getParent(final Project.NameKey allProjectsName) {
    if (parent != null) {
      return parent;
    }

    if (name.equals(allProjectsName)) {
      return null;
    }

    return allProjectsName;
  }

  public String getParentName() {
    return parent != null ? parent.get() : null;
  }

  public void setParentName(String n) {
    parent = n != null ? new NameKey(n) : null;
  }

  public void setParentName(NameKey n) {
    parent = n;
  }
}


text:
using System.Windows;
using Jcq.Core;
using Jcq.Ux.Main.Views;
using Jcq.Ux.ViewModel;
using Jcq.Ux.ViewModel.Contracts;

namespace Jcq.Ux.Main.Services
{
    public class NavigationService : Service, INavigationService
    {
        void INavigationService.NavigateToContactsPage()
        {
            Application.Current.MainWindow.Content = new ContactsPage();

            var w1 = new PrivacyWindow();
            w1.Show();

            var w2 = new RateLimitsWindow();
            w2.Show();
        }

        void INavigationService.NavigateToCreateIdentityPage()
        {
            Application.Current.MainWindow.Content = new CreateIdentityPage();
        }

        void INavigationService.NavigateToSignInPage()
        {
            Application.Current.Dispatcher.Invoke(() => { Application.Current.MainWindow.Content = new SignInPage(); });
        }

        void INavigationService.NavigateToEditIdentityPage(IcqIdentity identity)
        {
            Application.Current.MainWindow.Content = new EditIcqIdentityPage(identity);
        }

        void INavigationService.NavigateToSigningInPage()
        {
            Application.Current.MainWindow.Content = new SigningInPage();
        }
    }
}


text:
<?php

declare(strict_types=1);

namespace Doctrine\Tests\ORM\Hydration;

use Doctrine\ORM\Internal\Hydration\SingleScalarHydrator;
use Doctrine\ORM\NonUniqueResultException;
use Doctrine\ORM\Query\ResultSetMapping;
use Doctrine\Tests\Mocks\ArrayResultFactory;
use Doctrine\Tests\Models\CMS\CmsUser;

use function in_array;

class SingleScalarHydratorTest extends HydrationTestCase
{
    /** Result set provider for the HYDRATE_SINGLE_SCALAR tests */
    public static function singleScalarResultSetProvider(): array
    {
        return [
            // valid
            'valid' => [
                'name'      => 'result1',
                'resultSet' => [
                    ['u__name' => 'romanb'],
                ],
            ],
            // valid
            [
                'name'      => 'result2',
                'resultSet' => [
                    ['u__id' => '1'],
                ],
            ],
            // invalid
            [
                'name'      => 'result3',
                'resultSet' => [
                    [
                        'u__id'   => '1',
                        'u__name' => 'romanb',
                    ],
                ],
            ],
            // invalid
            [
                'name'      => 'result4',
                'resultSet' => [
                    ['u__id' => '1'],
                    ['u__id' => '2'],
                ],
            ],
        ];
    }

    /**
     * select u.name from CmsUser u where u.id = 1
     *
     * @dataProvider singleScalarResultSetProvider
     */
    public function testHydrateSingleScalar($name, $resultSet): void
    {
        $rsm = new ResultSetMapping();
        $rsm->addEntityResult(CmsUser::class, 'u');
        $rsm->addFieldResult('u', 'u__id', 'id');
        $rsm->addFieldResult('u', 'u__name', 'name');

        $stmt     = ArrayResultFactory::createFromArray($resultSet);
        $hydrator = new SingleScalarHydrator($this->entityManager);

        if ($name === 'result1') {
            $result = $hydrator->hydrateAll($stmt, $rsm);
            self::assertEquals('romanb', $result);

            return;
        }

        if ($name === 'result2') {
            $result = $hydrator->hydrateAll($stmt, $rsm);
            self::assertEquals(1, $result);

            return;
        }

        if (in_array($name, ['result3', 'result4'], true)) {
            $this->expectException(NonUniqueResultException::class);
            $hydrator->hydrateAll($stmt, $rsm);
        }
    }
}


text:
package org.opensmartgridplatform.dto.valueobjects.smartmetering;

public enum MethodAccessModeTypeDto {

    NO_ACCESS,
    ACCESS,
    AUTHENTICATED_ACCESS;

}


text:
// Copyright (c) 2014 Dustin Leavins
// See the file 'LICENSE' for copying permission.

package info.dustin_leavins.calculatord;

/**
 * Represents a calculator operation.
 * @author Dustin Leavins
 */
public enum Operation {
    /**
     * Addition.
     */
    PLUS {
        Fraction apply(Fraction l, Fraction r) {
            return l.add(r);
        }
    },

    /**
     * Subtraction.
     */
    MINUS {
        Fraction apply(Fraction l, Fraction r) {
            return l.subtract(r);
        }
    },

    /**
     * Multiplication.
     */
    MULTIPLY {
        Fraction apply(Fraction l, Fraction r) {
            return l.multiply(r);
        }
    },

    /**
     * Division
     */
    DIVIDE {
        Fraction apply(Fraction l, Fraction r) {
            return l.divide(r);
        }
    };

    abstract Fraction apply(Fraction left, Fraction right);
}


text:
<!DOCTYPE html>

    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>coquelicot: Error</title>
    <link rel="shortcut icon" type="image/png" href="../../../../../favicon.png" />
    <link href="../../../../../bootstrap.min.css" rel="stylesheet">
    <link href="../../../../../bootstrap-custom.css" rel="stylesheet">
    <link href="//maxcdn.bootstrapcdn.com/font-awesome/4.2.0/css/font-awesome.min.css" rel="stylesheet">

             Coq bench

clean / extra-dev

dev / coquelicot - 3.1.0

            « Up

              coquelicot

                3.1.0
                Error

 (2021-04-06 20:47:58 UTC)

Context

# Packages matching: installed
# Name              # Installed # Synopsis
base-bigarray       base
base-threads        base
base-unix           base
conf-findutils      1           Virtual package relying on findutils
conf-gmp            3           Virtual package relying on a GMP lib system installation
coq                 dev         Formal proof management system
num                 1.4         The legacy Num library for arbitrary-precision integer and rational arithmetic
ocaml               4.10.1      The OCaml compiler (virtual package)
ocaml-base-compiler 4.10.1      Official release 4.10.1
ocaml-config        1           OCaml Switch Configuration
ocamlfind           1.9.1       A library manager for OCaml
zarith              1.12        Implements arithmetic and logical operations over arbitrary-precision integers
# opam file:
opam-version: "2.0"
maintainer: "guillaume.melquiond@inria.fr"
homepage: "http://coquelicot.saclay.inria.fr/"
dev-repo: "git+https://gitlab.inria.fr/coquelicot/coquelicot.git"
bug-reports: "https://gitlab.inria.fr/coquelicot/coquelicot/issues"
license: "LGPL-3.0-or-later"
patches: [
  "remake.patch"
]
build: [
  ["autoconf"] {dev}
  ["./configure"]
  ["./remake" "-j%{jobs}%"]
]
install: ["./remake" "install"]
depends: [
  "coq" {>= "8.8"}
  "coq-mathcomp-ssreflect" {>= "1.6"}
  "conf-autoconf" {build & dev}
  ("conf-g++" {build} | "conf-clang" {build})
]
tags: [ "keyword:real analysis" "keyword:topology" "keyword:filters" "keyword:metric spaces" "category:Mathematics/Real Calculus and Topology" "logpath:Coquelicot" "date:2020-02-24" ]
authors: [ "Sylvie Boldo <sylvie.boldo@inria.fr>" "Catherine Lelay <catherine.lelay@inria.fr>" "Guillaume Melquiond <guillaume.melquiond@inria.fr>" ]
synopsis: "A Coq formalization of real analysis compatible with the standard library"
url {
  src: "https://gforge.inria.fr/frs/download.php/file/38287/coquelicot-3.1.0.tar.gz"
  checksum: "sha512=f9aa6279250d3bf47255273d7af96d1d1845bc531426e4ce8de7ede183975cfd894d88baaa13af6cd056656ad434add4d9fd2e5f9b4d59f6887cc235ec6f0a5b"
}

Lint

Command

true

Return code

0

Dry install

Dry install with the current Coq version:

Command

opam install -y --show-action coq-coquelicot.3.1.0 coq.dev

Return code

0

Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:

Command

true

Return code

0

Install dependencies

Command

opam list; echo; ulimit -Sv 4000000; timeout 2h opam install -y --deps-only coq-coquelicot.3.1.0 coq.dev

Return code

0

Duration

1 m 41 s

Install

Command

opam list; echo; ulimit -Sv 16000000; timeout 2h opam install -y -v coq-coquelicot.3.1.0 coq.dev

Return code

7936

Duration

1 m 56 s

Output

# Packages matching: installed
# Name                 # Installed # Synopsis
base-bigarray          base
base-threads           base
base-unix              base
conf-findutils         1           Virtual package relying on findutils
conf-g++               1.0         Virtual package relying on the g++ compiler (for C++)
conf-gmp               3           Virtual package relying on a GMP lib system installation
coq                    dev         Formal proof management system
coq-mathcomp-ssreflect dev         Small Scale Reflection
num                    1.4         The legacy Num library for arbitrary-precision integer and rational arithmetic
ocaml                  4.10.1      The OCaml compiler (virtual package)
ocaml-base-compiler    4.10.1      Official release 4.10.1
ocaml-config           1           OCaml Switch Configuration
ocamlfind              1.9.1       A library manager for OCaml
zarith                 1.12        Implements arithmetic and logical operations over arbitrary-precision integers
[NOTE] Package coq is already installed (current version is dev).
The following actions will be performed:
  - install coq-coquelicot 3.1.0
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/1: [coq-coquelicot.3.1.0: http]
[coq-coquelicot.3.1.0] downloaded from https://gforge.inria.fr/frs/download.php/file/38287/coquelicot-3.1.0.tar.gz
Processing  1/1:
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/2: [coq-coquelicot: patch]
Processing  1/2: [coq-coquelicot: ./configure]
+ /home/bench/.opam/opam-init/hooks/sandbox.sh "build" "./configure" (CWD=/home/bench/.opam/ocaml-base-compiler.4.10.1/.opam-switch/build/coq-coquelicot.3.1.0)
- checking for g++... g++
- checking whether the C++ compiler works...
- yes
- checking for C++ compiler default output file name... a.out
- checking for suffix of executables...
- checking whether we are cross compiling... no
- checking for suffix of object files... o
- checking whether we are using the GNU C++ compiler... yes
- checking whether g++ accepts -g...
- yes
- checking for coqc... /home/bench/.opam/ocaml-base-compiler.4.10.1/bin/coqc
- checking for coqdep... /home/bench/.opam/ocaml-base-compiler.4.10.1/bin/coqdep
- checking for coqdoc... /home/bench/.opam/ocaml-base-compiler.4.10.1/bin/coqdoc
- checking for SSReflect... yes
- configure: building remake...
- /usr/bin/ld: /tmp/ccH1DGeC.o: in function `main':
- remake.cpp:(.text.startup+0xae0): warning: the use of `tempnam' is dangerous, better use `mkstemp'
- configure: creating ./config.status
- config.status: creating Remakefile
Processing  1/2: [coq-coquelicot: ./remake]
+ /home/bench/.opam/opam-init/hooks/sandbox.sh "build" "./remake" "-j4" (CWD=/home/bench/.opam/ocaml-base-compiler.4.10.1/.opam-switch/build/coq-coquelicot.3.1.0)
- Building theories/AutoDerive.vo
- Building theories/Compactness.vo
- Building theories/Complex.vo
- Building theories/Continuity.vo
- Building theories/Derive.vo
- Building theories/Hierarchy.vo
- Building theories/Rcomplements.vo
- Building theories/Lim_seq.vo
- Building theories/Iter.vo
- Building theories/Equiv.vo
- Building theories/Lub.vo
- Building theories/Markov.vo
- Building theories/Rbar.vo
- Building theories/Derive_2d.vo
- Building theories/ElemFct.vo
- Building theories/RInt.vo
- Building theories/RInt_analysis.vo
- Building theories/PSeries.vo
- Building theories/SF_seq.vo
- Building theories/Seq_fct.vo
- Building theories/Series.vo
- Building theories/Coquelicot.vo
- Building theories/KHInt.vo
- Building theories/RInt_gen.vo
- File "./theories/Rcomplements.v", line 660, characters 2-37:
- Warning: Duplicate clear of H [duplicate-clear,ssr]
- File "./theories/Rcomplements.v", line 676, characters 2-20:
- Warning: Duplicate clear of n [duplicate-clear,ssr]
- File "./theories/Rcomplements.v", line 1383, characters 2-54:
- Warning: Duplicate clear of n [duplicate-clear,ssr]
- File "./theories/Rcomplements.v", line 1413, characters 2-54:
- Warning: Duplicate clear of n [duplicate-clear,ssr]
- File "./theories/Rcomplements.v", line 1434, characters 2-49:
- Warning: Duplicate clear of Hl [duplicate-clear,ssr]
- File "./theories/Rcomplements.v", line 1439, characters 2-26:
- Warning: Duplicate clear of Hl [duplicate-clear,ssr]
- File "./theories/Rcomplements.v", line 1630, characters 2-460:
- Warning: Notation RList.nil is deprecated since 8.12. use List.nil instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1630, characters 2-460:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1630, characters 2-460:
- Warning: Notation RList.nil is deprecated since 8.12. use List.nil instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1637, characters 19-28:
- Warning: Notation RList.nil is deprecated since 8.12. use List.nil instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1630, characters 2-460:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1638, characters 24-34:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1630, characters 2-460:
- Warning: Notation RList.nil is deprecated since 8.12. use List.nil instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1630, characters 2-460:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1630, characters 2-460:
- Warning: Notation RList.nil is deprecated since 8.12. use List.nil instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1630, characters 2-460:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1630, characters 2-460:
- Warning: Notation RList.nil is deprecated since 8.12. use List.nil instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1637, characters 19-28:
- Warning: Notation RList.nil is deprecated since 8.12. use List.nil instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1630, characters 2-460:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1638, characters 24-34:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1630, characters 2-460:
- Warning: Notation RList.nil is deprecated since 8.12. use List.nil instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1637, characters 19-28:
- Warning: Notation RList.nil is deprecated since 8.12. use List.nil instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1630, characters 2-460:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1638, characters 24-34:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1656, characters 35-48:
- Warning: Notation RList.Rlength is deprecated since 8.12.
- use List.length instead [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1657, characters 19-29:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1657, characters 34-44:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1658, characters 21-31:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1658, characters 36-46:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1666, characters 35-45:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/Rcomplements.v", line 1666, characters 49-59:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- Finished theories/Rcomplements.vo
- File "./theories/Rbar.v", line 49, characters 0-27:
- Warning:
- New coercion path [real; Finite] : Rbar >-> Rbar is not definitionally an identity function.
- [ambiguous-paths,typechecker]
- File "./theories/Iter.v", line 187, characters 12-20:
- Warning: Notation iota_add is deprecated since mathcomp 1.13.0.
- Use iotaD instead. [deprecated-syntactic-definition,deprecated]
- File "./theories/Iter.v", line 187, characters 12-20:
- Warning: Notation iota_add is deprecated since mathcomp 1.13.0.
- Use iotaD instead. [deprecated-syntactic-definition,deprecated]
- File "./theories/Iter.v", line 187, characters 12-20:
- Warning: Notation iota_add is deprecated since mathcomp 1.13.0.
- Use iotaD instead. [deprecated-syntactic-definition,deprecated]
- Finished theories/Iter.vo
- Finished theories/Markov.vo
- Finished theories/Compactness.vo
- Finished theories/Rbar.v
[...] truncated
ctic-definition,deprecated]
- File "./theories/RInt.v", line 3593, characters 33-43:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/RInt.v", line 3593, characters 49-59:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/RInt.v", line 3593, characters 33-43:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/RInt.v", line 3593, characters 49-59:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/RInt.v", line 3597, characters 33-43:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/RInt.v", line 3597, characters 49-59:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/RInt.v", line 3597, characters 33-43:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/RInt.v", line 3597, characters 49-59:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/RInt.v", line 3618, characters 2-51:
- Warning: Duplicate clear of Hx [duplicate-clear,ssr]
- File "./theories/RInt.v", line 3618, characters 2-51:
- Warning: Duplicate clear of Hx [duplicate-clear,ssr]
- File "./theories/RInt.v", line 3620, characters 34-44:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/RInt.v", line 3620, characters 34-44:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/RInt.v", line 3624, characters 27-37:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/RInt.v", line 3624, characters 27-37:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/RInt.v", line 3624, characters 27-37:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/RInt.v", line 3664, characters 2-55:
- Warning: Duplicate clear of Hx [duplicate-clear,ssr]
- File "./theories/RInt.v", line 3664, characters 2-55:
- Warning: Duplicate clear of Hx [duplicate-clear,ssr]
- File "./theories/RInt.v", line 3666, characters 34-44:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/RInt.v", line 3666, characters 34-44:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/RInt.v", line 3670, characters 27-37:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/RInt.v", line 3670, characters 27-37:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/RInt.v", line 3670, characters 27-37:
- Warning: Notation RList.cons is deprecated since 8.12. use List.cons instead
- [deprecated-syntactic-definition,deprecated]
- File "./theories/RInt.v", line 3749, characters 2-107:
- Warning: Duplicate clear of IH [duplicate-clear,ssr]
- File "./theories/RInt.v", line 3805, characters 2-148:
- Warning: Duplicate clear of Hptd [duplicate-clear,ssr]
- File "./theories/RInt.v", line 3814, characters 2-159:
- Warning: Duplicate clear of IH [duplicate-clear,ssr]
- File "./theories/PSeries.v", line 2045, characters 4-64:
- Warning: Duplicate clear of Hn [duplicate-clear,ssr]
- File "./theories/PSeries.v", line 2045, characters 4-64:
- Warning: Duplicate clear of Hn [duplicate-clear,ssr]
- File "./theories/PSeries.v", line 2441, characters 4-46:
- Warning: Duplicate clear of r [duplicate-clear,ssr]
- File "./theories/PSeries.v", line 2457, characters 3-82:
- Warning: Duplicate clear of Hw [duplicate-clear,ssr]
- Finished theories/PSeries.vo
- File "./theories/RInt.v", line 3904, characters 4-50:
- Warning: Duplicate clear of Hab [duplicate-clear,ssr]
- File "./theories/RInt.v", line 3904, characters 4-50:
- Warning: Duplicate clear of Hab [duplicate-clear,ssr]
- File "./theories/RInt.v", line 4023, characters 4-79:
- Warning: Duplicate clear of Hx [duplicate-clear,ssr]
- File "./theories/RInt.v", line 4294, characters 2-23:
- Warning: Duplicate clear of HIf [duplicate-clear,ssr]
- File "./theories/RInt.v", line 4309, characters 2-23:
- Warning: Duplicate clear of HIf [duplicate-clear,ssr]
- File "./theories/RInt.v", line 4332, characters 2-22:
- Warning: Duplicate clear of HIf [duplicate-clear,ssr]
- File "./theories/RInt.v", line 4394, characters 2-23:
- Warning: Duplicate clear of HIf [duplicate-clear,ssr]
- File "./theories/RInt.v", line 4454, characters 6-34:
- Warning: Duplicate clear of H1 [duplicate-clear,ssr]
- File "./theories/RInt.v", line 4454, characters 6-34:
- Warning: Duplicate clear of H1 [duplicate-clear,ssr]
- File "./theories/RInt.v", line 4489, characters 6-34:
- Warning: Duplicate clear of Ht [duplicate-clear,ssr]
- File "./theories/RInt.v", line 4489, characters 6-34:
- Warning: Duplicate clear of Ht [duplicate-clear,ssr]
- File "./theories/RInt.v", line 4503, characters 6-34:
- Warning: Duplicate clear of H1 [duplicate-clear,ssr]
- File "./theories/RInt.v", line 4503, characters 6-34:
- Warning: Duplicate clear of H1 [duplicate-clear,ssr]
- File "./theories/RInt.v", line 4592, characters 2-23:
- Warning: Duplicate clear of HIf [duplicate-clear,ssr]
- Finished theories/RInt.vo
- File "./theories/RInt_analysis.v", line 27, characters 0-66:
- Warning:
- New coercion path [real; Finite] : Rbar >-> Rbar is not definitionally an identity function.
- [ambiguous-paths,typechecker]
- File "./theories/RInt_analysis.v", line 48, characters 4-104:
- Warning: Duplicate clear of CIf [duplicate-clear,ssr]
- File "./theories/RInt_analysis.v", line 113, characters 2-114:
- Warning: Duplicate clear of CIf [duplicate-clear,ssr]
- File "./theories/RInt_analysis.v", line 338, characters 2-59:
- Warning: Duplicate clear of Hf [duplicate-clear,ssr]
- File "./theories/RInt_analysis.v", line 470, characters 2-95:
- Warning: Duplicate clear of Ha [duplicate-clear,ssr]
- File "./theories/RInt_analysis.v", line 474, characters 2-95:
- Warning: Duplicate clear of Hb [duplicate-clear,ssr]
- Finished theories/KHInt.vo
- File "./theories/RInt_analysis.v", line 692, characters 2-60:
- Warning: Duplicate clear of Hf [duplicate-clear,ssr]
- File "./theories/RInt_analysis.v", line 773, characters 0-57:
- Warning: Duplicate clear of Ca [duplicate-clear,ssr]
- File "./theories/RInt_analysis.v", line 793, characters 0-57:
- Warning: Duplicate clear of Ca [duplicate-clear,ssr]
- File "./theories/RInt_analysis.v", line 794, characters 0-57:
- Warning: Duplicate clear of Cb [duplicate-clear,ssr]
- File "./theories/RInt_analysis.v", line 1283, characters 0-58:
- Warning: Duplicate clear of Hy [duplicate-clear,ssr]
- Finished theories/RInt_analysis.vo
- File "./theories/ElemFct.v", line 24, characters 0-96:
- Warning:
- New coercion path [real; Finite] : Rbar >-> Rbar is not definitionally an identity function.
- [ambiguous-paths,typechecker]
- File "./theories/RInt_gen.v", line 24, characters 0-88:
- Warning:
- New coercion path [real; Finite] : Rbar >-> Rbar is not definitionally an identity function.
- [ambiguous-paths,typechecker]
- Finished theories/RInt_gen.vo
- File "./theories/ElemFct.v", line 556, characters 2-30:
- Warning: Duplicate clear of Hy [duplicate-clear,ssr]
- File "./theories/ElemFct.v", line 570, characters 2-36:
- Warning: Duplicate clear of n [duplicate-clear,ssr]
- File "./theories/ElemFct.v", line 604, characters 2-28:
- Error: No applicable tactic.
-
- Failed to build theories/ElemFct.vo
- Failed to build all
- Failed to build theories/AutoDerive.vo
- Failed to build theories/Coquelicot.vo
[ERROR] The compilation of coq-coquelicot failed at "/home/bench/.opam/opam-init/hooks/sandbox.sh build ./remake -j4".
#=== ERROR while compiling coq-coquelicot.3.1.0 ===============================#
# context              2.0.6 | linux/x86_64 | ocaml-base-compiler.4.10.1 | file:///home/bench/run/opam-coq-archive/released
# path                 ~/.opam/ocaml-base-compiler.4.10.1/.opam-switch/build/coq-coquelicot.3.1.0
# command              ~/.opam/opam-init/hooks/sandbox.sh build ./remake -j4
# exit-code            1
# env-file             ~/.opam/log/coq-coquelicot-17829-d474c2.env
# output-file          ~/.opam/log/coq-coquelicot-17829-d474c2.out
### output ###
# [...]
# Finished theories/RInt_gen.vo
# File "./theories/ElemFct.v", line 556, characters 2-30:
# Warning: Duplicate clear of Hy [duplicate-clear,ssr]
# File "./theories/ElemFct.v", line 570, characters 2-36:
# Warning: Duplicate clear of n [duplicate-clear,ssr]
# File "./theories/ElemFct.v", line 604, characters 2-28:
# Error: No applicable tactic.
#
# Failed to build theories/ElemFct.vo
# Failed to build all
# Failed to build theories/AutoDerive.vo
# Failed to build theories/Coquelicot.vo
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build coq-coquelicot 3.1.0
+-
- No changes have been performed
# Run eval $(opam env) to update the current shell environment
'opam install -y -v coq-coquelicot.3.1.0 coq.dev' failed.
The middle of the output is truncated (maximum 20000 characters)

Installation size

No files were installed.

Uninstall

Command

true

Return code

0

Missing removes

                none

Wrong removes

                none

          Sources are on GitHub. © Guillaume Claret.


text:
<?php

namespace Atan\Parser\Syntax;

use Atan\Parser\Structure\BaseStack;

class SyntacticStack extends BaseStack {}