text:
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Windows.Forms;
using System.Diagnostics;

namespace WinFormsUtils
{
	public class SensibleScrollBar
	{
		public SensibleScrollBar(ScrollBar scrollBar)
		{
			if (scrollBar == null) throw new ArgumentNullException("scrollBar");
			this.scrollBar = scrollBar;
			this.scrollBar.Minimum = 0;

			this._maximum = this.scrollBar.Maximum - this.LargeChange + 1;
			this._largeChange = this.scrollBar.LargeChange;

			this.scrollBar.ValueChanged += this.HandleValueChanged;
		}

		public void Close()
		{
			this.scrollBar.ValueChanged -= this.HandleValueChanged;
		}

		private readonly ScrollBar scrollBar;

		private void UpdateScrollBar()
		{
			// ???
			this.scrollBar.Maximum = this.Maximum + this.LargeChange - 1;
			this.scrollBar.LargeChange = this.LargeChange;
		}

		private int _maximum;
		public int Maximum
		{
			get { return _maximum; }
			set
			{
				this.scrollBar.Enabled = value > 0;
				this._maximum = value;
				this.UpdateScrollBar();
			}
		}
		public int Value
		{
			get { return this.scrollBar.Value; }
			set { this.scrollBar.Value = value; }
		}
		public int SmallChange
		{
			get { return this.scrollBar.SmallChange; }
			set { this.scrollBar.SmallChange = value; }
		}
		private int _largeChange;
		public int LargeChange
		{
			get { return this._largeChange; }
			set
			{

				this._largeChange = value;
				this.UpdateScrollBar();
			}
		}

		public event EventHandler ValueChanged;

		protected virtual void OnValueChanged(EventArgs e)
		{
			var handler = this.ValueChanged;
			if (handler != null)
			{
				handler(this, e);
			}
		}

		private void HandleValueChanged(object sender, EventArgs e)
		{
			this.OnValueChanged(EventArgs.Empty);
		}
	}
}


text:
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace Glyma.Powershell.Model
{
    public class Domain : IDatabaseInfo
    {
        public Guid DomainId
        {
            get;
            set;
        }

        public Guid NodeId
        {
            get;
            set;
        }

        public string Name
        {
            get;
            set;
        }

        string IDatabaseInfo.DatabaseServer
        {
            get;
            set;
        }

        string IDatabaseInfo.DatabaseName
        {
            get;
            set;
        }

        string IDatabaseInfo.ConnectionString
        {
            get
            {
                IDatabaseInfo dbInfo = this;

                return "Data Source=" + dbInfo.DatabaseServer + ";Initial Catalog=" + dbInfo.DatabaseName + ";Integrated Security=True;Connection Timeout=180;";
            }
        }

        /// <summary>
        /// Returns true if valid, false otherwise.
        /// </summary>
        /// <returns></returns>
        public bool CheckIsValid()
        {
            IDatabaseInfo databaseInfo = this;

            /// Check DomainId and NodeId.
            if (DomainId == Guid.Empty || NodeId == Guid.Empty)
            {
                return false;
            }

            /// Check that DatabaseServer and DatabaseName have been provided.
            if (string.IsNullOrEmpty(databaseInfo.DatabaseServer) || string.IsNullOrEmpty(databaseInfo.DatabaseName))
            {
                return false;
            }

            return true;
        }
    }
}

redpajama_set_name: RedPajamaGithub


text:
<!DOCTYPE html>

    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>interval: 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 / interval - 4.5.1

            « Up

              interval

                4.5.1
                Error 🔥

📅  (2022-06-09 02:07:39 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              4           Virtual package relying on a GMP lib system installation
coq                   dev         Formal proof management system
dune                  3.2.0       Fast, portable, and opinionated build system
ocaml                 4.14.0      The OCaml compiler (virtual package)
ocaml-base-compiler   4.14.0      Official release 4.14.0
ocaml-config          2           OCaml Switch Configuration
ocaml-options-vanilla 1           Ensure that OCaml is compiled with no special options enabled
ocamlfind             1.9.3       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: "https://coqinterval.gitlabpages.inria.fr/"
dev-repo: "git+https://gitlab.inria.fr/coqinterval/interval.git"
bug-reports: "https://gitlab.inria.fr/coqinterval/interval/issues"
license: "CeCILL-C"
build: [
  ["autoconf"] {dev}
  ["./configure"]
  ["./remake" "-j%{jobs}%"]
]
install: ["./remake" "install"]
depends: [
  "coq" {>= "8.8"}
  "coq-bignums"
  "coq-flocq" {>= "3.1"}
  "coq-mathcomp-ssreflect" {>= "1.6"}
  "coq-coquelicot" {>= "3.0"}
  "conf-autoconf" {build & dev}
  ("conf-g++" {build} | "conf-clang" {build})
]
tags: [
  "keyword:interval arithmetic"
  "keyword:decision procedure"
  "keyword:floating-point arithmetic"
  "keyword:reflexive tactic"
  "keyword:Taylor models"
  "category:Mathematics/Real Calculus and Topology"
  "category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures"
  "logpath:Interval"
  "date:2022-04-14"
]
authors: [
  "Guillaume Melquiond <guillaume.melquiond@inria.fr>"
  "Érik Martin-Dorel <erik.martin-dorel@irit.fr>"
  "Pierre Roux <pierre.roux@onera.fr>"
  "Thomas Sibut-Pinote <thomas.sibut-pinote@inria.fr>"
]
synopsis: "A Coq tactic for proving bounds on real-valued expressions automatically"
url {
  src: "https://coqinterval.gitlabpages.inria.fr/releases/interval-4.5.1.tar.gz"
  checksum: "sha512=de64ac2525160bd41de22d0dc57e39050f500f1544cd96d7eb1143367649db4e1cea02de0cb6ea5371f914cb59543b65c80e4170b7e20925f26c03b9a8af4ebb"
}

Lint

Command

true

Return code

0

Dry install 🏜

Dry install with the current Coq version:

Command

opam install -y --show-action coq-interval.4.5.1 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 4h opam install -y --deps-only coq-interval.4.5.1 coq.dev

Return code

0

Duration

11 m 6 s

Install 🚀

Command

opam list; echo; ulimit -Sv 16000000; timeout 4h opam install -y -v coq-interval.4.5.1 coq.dev

Return code

7936

Duration

4 m 1 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               4           Virtual package relying on a GMP lib system installation
coq                    dev         Formal proof management system
coq-bignums            dev         Bignums, the Coq library of arbitrary large numbers
coq-coquelicot         dev         A Coq formalization of real analysis compatible with the standard library.
coq-flocq              dev         A floating-point formalization for the Coq system
coq-mathcomp-ssreflect dev         Small Scale Reflection
dune                   3.2.0       Fast, portable, and opinionated build system
ocaml                  4.14.0      The OCaml compiler (virtual package)
ocaml-base-compiler    4.14.0      Official release 4.14.0
ocaml-config           2           OCaml Switch Configuration
ocaml-options-vanilla  1           Ensure that OCaml is compiled with no special options enabled
ocamlfind              1.9.3       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-interval 4.5.1
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/1: [coq-interval.4.5.1: http]
[coq-interval.4.5.1] downloaded from https://coqinterval.gitlabpages.inria.fr/releases/interval-4.5.1.tar.gz
Processing  1/1:
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/2: [coq-interval: ./configure]
+ /home/bench/.opam/opam-init/hooks/sandbox.sh "build" "./configure" (CWD=/home/bench/.opam/ocaml-base-compiler.4.14.0/.opam-switch/build/coq-interval.4.5.1)
- checking for gcc... gcc
- 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 gcc accepts -g...
- yes
- checking for gcc option to accept ISO C89... none needed
- checking how to run the C preprocessor... gcc -E
- checking for coqc... /home/bench/.opam/ocaml-base-compiler.4.14.0/bin/coqc
- checking Coq version... 81600
- checking for coqdep... /home/bench/.opam/ocaml-base-compiler.4.14.0/bin/coqdep
- checking for coqdoc... /home/bench/.opam/ocaml-base-compiler.4.14.0/bin/coqdoc
- checking for ocamlfind... /home/bench/.opam/ocaml-base-compiler.4.14.0/bin/ocamlfind
- checking for Flocq...
- yes
- checking for primitive floats... yes
- checking for Ssreflect...
- yes
- checking for Coquelicot...
- yes
- checking for Bignums...
- yes
- checking for native development files... yes
- checking for bytecode development files... yes
- checking for g++... g++
- checking whether we are using the GNU C++ compiler...
- yes
- checking whether g++ accepts -g... yes
- configure: building remake...
- /usr/bin/ld: /opam-tmp/ccs1R7WZ.o: in function `main':
- remake.cpp:(.text.startup+0xae0): warning: the use of `tempnam' is dangerous, better use `mkstemp'
-
- === Summary ===
- Installation directory   /home/bench/.opam/ocaml-base-compiler.4.14.0/lib/coq/user-contrib
- Plot tactic              native bytecode
-
- configure: creating ./config.status
- config.status: creating Remakefile
Processing  1/2: [coq-interval: ./remake]
+ /home/bench/.opam/opam-init/hooks/sandbox.sh "build" "./remake" "-j4" (CWD=/home/bench/.opam/ocaml-base-compiler.4.14.0/.opam-switch/build/coq-interval.4.5.1)
- Building src/Tactic_float.v
- Building src/Plot/interval_plot.ml
- Finished src/Tactic_float.v
- Building src/Tactic.vo
- Building src/Eval/Eval.vo
- Building src/Eval/Prog.vo
- Finished src/Plot/interval_plot.ml
- Building src/Eval/Reify.vo
- Building src/Eval/Tree.vo
- Building src/Float/Basic.vo
- Building src/Float/Generic.vo
- Building src/Float/Generic_ops.vo
- Building src/Float/Generic_proof.vo
- Building src/Float/Specific_bigint.vo
- Building src/Float/Specific_ops.vo
- Building src/Float/Specific_sig.vo
- Building src/Float/Specific_stdz.vo
- Building src/Float/Sig.vo
- Building src/Integral/Bertrand.vo
- Building src/Integral/Integral.vo
- Building src/Integral/Priority.vo
- Building src/Integral/Refine.vo
- Building src/Interval/Interval.vo
- Building src/Interval/Interval_compl.vo
- Building src/Interval/Float.vo
- Building src/Interval/Float_full.vo
- Building src/Interval/Transcend.vo
- Building src/Interval/Univariate_sig.vo
- Building src/Missing/Coquelicot.vo
- Building src/Missing/MathComp.vo
- Building src/Missing/Stdlib.vo
- Building src/Poly/Basic_rec.vo
- Building src/Poly/Bound.vo
- Building src/Poly/Bound_quad.vo
- File "./src/Integral/Priority.v", line 42, characters 10-16:
- Warning: Notation lt_S_n is deprecated since 8.16.
- The Arith.Lt file is obsolete. Use the bidirectional version Nat.succ_lt_mono instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Integral/Priority.v", line 42, characters 10-16:
- Warning: Notation lt_S_n is deprecated since 8.16.
- The Arith.Lt file is obsolete. Use the bidirectional version Nat.succ_lt_mono instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Integral/Priority.v", line 71, characters 6-12:
- Warning: Notation lt_S_n is deprecated since 8.16.
- The Arith.Lt file is obsolete. Use the bidirectional version Nat.succ_lt_mono instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Integral/Priority.v", line 71, characters 6-12:
- Warning: Notation lt_S_n is deprecated since 8.16.
- The Arith.Lt file is obsolete. Use the bidirectional version Nat.succ_lt_mono instead.
- [deprecated-syntactic-definition,deprecated]
- Building src/Poly/Datatypes.vo
- Building src/Poly/Taylor_model.vo
- Building src/Poly/Taylor_model_sharp.vo
- File "./src/Integral/Priority.v", line 238, characters 12-22:
- Warning: Notation minus_plus is deprecated since 8.16.
- The Arith.Minus file is obsolete. Use Nat.add_sub (together with Nat.add_com) instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Integral/Priority.v", line 238, characters 12-22:
- Warning: Notation minus_plus is deprecated since 8.16.
- The Arith.Minus file is obsolete. Use Nat.add_sub (together with Nat.add_com) instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Missing/MathComp.v", line 24, characters 0-88:
- Warning: Notation "_ + _" was already used in scope nat_scope.
- [notation-overridden,parsing]
- File "./src/Missing/MathComp.v", line 24, characters 0-88:
- Warning: Notation "_ - _" was already used in scope nat_scope.
- [notation-overridden,parsing]
- File "./src/Missing/MathComp.v", line 24, characters 0-88:
- Warning: Notation "_ <= _" was already used in scope nat_scope.
- [notation-overridden,parsing]
- File "./src/Missing/MathComp.v", line 24, characters 0-88:
- Warning: Notation "_ < _" was already used in scope nat_scope.
- [notation-overridden,parsing]
- File "./src/Missing/MathComp.v", line 24, characters 0-88:
- Warning: Notation "_ >= _" was already used in scope nat_scope.
- [notation-overridden,parsing]
- File "./src/Missing/MathComp.v", line 24, characters 0-88:
- Warning: Notation "_ > _" was already used in scope nat_scope.
- [notation-overridden,parsing]
- File "./src/Missing/MathComp.v", line 24, characters 0-88:
- Warning: Notation "_ <= _ <= _" was already used in scope nat_scope.
- [notation-overridden,parsing]
- File "./src/Missing/MathComp.v", line 24, characters 0-88:
- Warning: Notation "_ < _ <= _" was already used in scope nat_scope.
- [notation-overridden,parsing]
- File "./src/Integral/Priority.v", line 238, characters 12-22:
- Warning: Notation minus_plus is deprecated since 8.16.
- The Arith.Minus file is obsolete. Use Nat.add_sub (together with Nat.add_com) instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Missing/MathComp.v", line 24, characters 0-88:
- Warning: Notation "_ <= _ < _" was already used in scope nat_scope.
- [notation-overridden,parsing]
- File "./src/Missing/MathComp.v", line 24, characters 0-88:
- Warning: Notation "_ < _ < _" was already used in scope nat_scope.
- [notation-overridden,parsing]
- File "./src/Integral/Priority.v", line 238, characters 12-22:
- Warning: Notation minus_plus is deprecated since 8.16.
- The Arith.Minus file is obsolete. Use Nat.add_sub (together with Nat.add_com) instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Integral/Priority.v", line 249, characters 8-17:
- Warning: Notation plus_comm is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_comm instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Integral/Priority.v", line 249, characters 8-17:
- Warning: Notation plus_comm is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_comm instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Integral/Priority.v", line 254, characters 8-17:
- Warning: Notation plus_comm is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_comm instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Integral/Priority.v", line 254, characters 8-17:
- Warning: Notation plus_comm is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_comm instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Integral/Priority.v", line 269, characters 10-20:
- Warning: Notation minus_plus is deprecated since 8.16.
- The Arith.Minus file is obsolete. Use Nat.add_sub (together with Nat.add_com) instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Integral/
[...] truncated
ers 58-67:
- Warning: Notation plus_comm is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_comm instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 1457, characters 58-67:
- Warning: Notation plus_comm is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_comm instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 1457, characters 58-67:
- Warning: Notation plus_comm is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_comm instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 1462, characters 16-24:
- Warning: Notation plus_0_r is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_0_r instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 1462, characters 16-24:
- Warning: Notation plus_0_r is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_0_r instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 1462, characters 16-24:
- Warning: Notation plus_0_r is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_0_r instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 1470, characters 31-41:
- Warning: Notation plus_assoc is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_assoc instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 1470, characters 31-41:
- Warning: Notation plus_assoc is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_assoc instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 1470, characters 31-41:
- Warning: Notation plus_assoc is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_assoc instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 1485, characters 15-25:
- Warning: Notation minus_Sn_m is deprecated since 8.16.
- The Arith.Minus file is obsolete. Use Nat.sub_succ_l (and symmetry of equality) instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 1485, characters 15-25:
- Warning: Notation minus_Sn_m is deprecated since 8.16.
- The Arith.Minus file is obsolete. Use Nat.sub_succ_l (and symmetry of equality) instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 1485, characters 15-25:
- Warning: Notation minus_Sn_m is deprecated since 8.16.
- The Arith.Minus file is obsolete. Use Nat.sub_succ_l (and symmetry of equality) instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 1485, characters 15-25:
- Warning: Notation minus_Sn_m is deprecated since 8.16.
- The Arith.Minus file is obsolete. Use Nat.sub_succ_l (and symmetry of equality) instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 1743, characters 12-20:
- Warning: Notation Rsqr_div is deprecated since 8.16. Use Rsqr_div'.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 1743, characters 12-20:
- Warning: Notation Rsqr_div is deprecated since 8.16. Use Rsqr_div'.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 1743, characters 12-20:
- Warning: Notation Rsqr_div is deprecated since 8.16. Use Rsqr_div'.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 2015, characters 12-22:
- Warning: Notation minus_diag is deprecated since 8.16.
- The Arith.Minus file is obsolete. Use Nat.sub_diag instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 2015, characters 12-22:
- Warning: Notation minus_diag is deprecated since 8.16.
- The Arith.Minus file is obsolete. Use Nat.sub_diag instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 2015, characters 12-22:
- Warning: Notation minus_diag is deprecated since 8.16.
- The Arith.Minus file is obsolete. Use Nat.sub_diag instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 2016, characters 12-19:
- Warning: Notation le_refl is deprecated since 8.16.
- The Arith.Le file is obsolete. Use Nat.le_refl instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 2016, characters 12-19:
- Warning: Notation le_refl is deprecated since 8.16.
- The Arith.Le file is obsolete. Use Nat.le_refl instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 2042, characters 11-21:
- Warning: Notation minus_Sn_m is deprecated since 8.16.
- The Arith.Minus file is obsolete. Use Nat.sub_succ_l (and symmetry of equality) instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 2042, characters 11-21:
- Warning: Notation minus_Sn_m is deprecated since 8.16.
- The Arith.Minus file is obsolete. Use Nat.sub_succ_l (and symmetry of equality) instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 2042, characters 11-21:
- Warning: Notation minus_Sn_m is deprecated since 8.16.
- The Arith.Minus file is obsolete. Use Nat.sub_succ_l (and symmetry of equality) instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 2050, characters 20-30:
- Warning: Notation plus_assoc is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_assoc instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 2050, characters 20-30:
- Warning: Notation plus_assoc is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_assoc instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 2050, characters 20-30:
- Warning: Notation plus_assoc is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_assoc instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 2056, characters 8-17:
- Warning: Notation plus_comm is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_comm instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 2056, characters 8-17:
- Warning: Notation plus_comm is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_comm instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 2056, characters 8-17:
- Warning: Notation plus_comm is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_comm instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 2057, characters 8-17:
- Warning: Notation mult_comm is deprecated since 8.16.
- The Arith.Mult file is obsolete. Use Nat.mul_comm instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 2057, characters 8-17:
- Warning: Notation mult_comm is deprecated since 8.16.
- The Arith.Mult file is obsolete. Use Nat.mul_comm instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 2057, characters 8-17:
- Warning: Notation mult_comm is deprecated since 8.16.
- The Arith.Mult file is obsolete. Use Nat.mul_comm instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 2072, characters 14-24:
- Warning: Notation plus_assoc is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_assoc instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 2072, characters 14-24:
- Warning: Notation plus_assoc is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_assoc instead.
- [deprecated-syntactic-definition,deprecated]
- File "./src/Interval/Transcend.v", line 2072, characters 14-24:
- Warning: Notation plus_assoc is deprecated since 8.16.
- The Arith.Plus file is obsolete. Use Nat.add_assoc instead.
- [deprecated-syntactic-definition,deprecated]
- Finished src/Interval/Transcend.vo
- Finished src/Interval/Float_full.vo
[ERROR] The compilation of coq-interval failed at "/home/bench/.opam/opam-init/hooks/sandbox.sh build ./remake -j4".
#=== ERROR while compiling coq-interval.4.5.1 =================================#
# context              2.0.10 | linux/x86_64 | ocaml-base-compiler.4.14.0 | file:///home/bench/run/opam-coq-archive/released
# path                 ~/.opam/ocaml-base-compiler.4.14.0/.opam-switch/build/coq-interval.4.5.1
# command              ~/.opam/opam-init/hooks/sandbox.sh build ./remake -j4
# exit-code            1
# env-file             ~/.opam/log/coq-interval-1222-2dea01.env
# output-file          ~/.opam/log/coq-interval-1222-2dea01.out
### output ###
# [...]
# The Arith.Plus file is obsolete. Use Nat.add_assoc instead.
# [deprecated-syntactic-definition,deprecated]
# File "./src/Interval/Transcend.v", line 2072, characters 14-24:
# Warning: Notation plus_assoc is deprecated since 8.16.
# The Arith.Plus file is obsolete. Use Nat.add_assoc instead.
# [deprecated-syntactic-definition,deprecated]
# File "./src/Interval/Transcend.v", line 2072, characters 14-24:
# Warning: Notation plus_assoc is deprecated since 8.16.
# The Arith.Plus file is obsolete. Use Nat.add_assoc instead.
# [deprecated-syntactic-definition,deprecated]
# Finished src/Interval/Transcend.vo
# Finished src/Interval/Float_full.vo
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build coq-interval 4.5.1
+-
- No changes have been performed
# Run eval $(opam env) to update the current shell environment
'opam install -y -v coq-interval.4.5.1 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:
package com.github.soniex2.notebetter.note;

import com.github.soniex2.notebetter.api.NoteBetterInstrument;
import net.minecraft.util.ResourceLocation;

import javax.annotation.Nonnull;

/**
 * @author soniex2
 */
public class MaterialSound {
    @Nonnull
    protected final ResourceLocation blockName;
    @Nonnull
    protected final NoteBetterInstrument instrument;

    public MaterialSound(@Nonnull ResourceLocation blockName, @Nonnull NoteBetterInstrument instrument) {
        this.blockName = blockName;
        this.instrument = instrument;
    }

    @Nonnull
    public ResourceLocation blockName() {
        return blockName;
    }

    @Nonnull
    public NoteBetterInstrument instrument() {
        return instrument;
    }
}


text:
package com.messagemedia.clientgui;

import com.messagemedia.client.MessageMediaSoapClient;
import com.messagemedia.service.BlockNumbersResultType;
import com.messagemedia.service.CheckRepliesResultType;
import com.messagemedia.service.CheckReportsResultType;
import com.messagemedia.service.CheckUserResultType;
import com.messagemedia.service.ConfirmRepliesResultType;
import com.messagemedia.service.ConfirmReportsResultType;
import com.messagemedia.service.DeleteScheduledMessagesResultType;
import com.messagemedia.service.GetBlockedNumbersResultType;
import com.messagemedia.service.MessageErrorType;
import com.messagemedia.service.MessageFormatType;
import com.messagemedia.service.MessageListType;
import com.messagemedia.service.MessageSendModeType;
import com.messagemedia.service.MessageType;
import com.messagemedia.service.RecipientType;
import com.messagemedia.service.RecipientsType;
import com.messagemedia.service.ReplyType;
import com.messagemedia.service.ReportType;
import com.messagemedia.service.SendMessagesBodyType;
import com.messagemedia.service.SendMessagesResultType;
import com.messagemedia.service.UnblockNumbersResultType;

import javax.swing.*;
import javax.swing.table.DefaultTableModel;
import javax.xml.datatype.DatatypeFactory;
import javax.xml.datatype.XMLGregorianCalendar;
import java.text.SimpleDateFormat;
import java.util.ArrayList;
import java.util.Collections;
import java.util.Date;
import java.util.GregorianCalendar;
import java.util.List;
import java.util.Vector;

public class Manager {

	private static String userId;
	private static String password;

	private static final SimpleDateFormat DATE_FORMAT = new SimpleDateFormat("yyyy-MM-dd'T'HH:mm:ss");

    /**
     * This example demonstrates how to authenticate a user and fetch their details.
     */
	public static String logIn(Window mWindow) {
		HeaderPanel panel = mWindow.getHeaderPanel();

		String inputUserId = panel.getUserIdField().getText();
		String inputPassword = new String(panel.getPasswordField().getPassword());

		// Check credentials
    	try{
    		// Build client and make SOAP request
	        MessageMediaSoapClient client = new MessageMediaSoapClient(inputUserId,inputPassword);
	        CheckUserResultType result = client.GetUserInfo();

	        // No exception was thrown, therefore the authorisation was successful.

			// Extract account details
			String userType = String.valueOf(result.getAccountDetails().getType());
			String creditLimit = String.valueOf(result.getAccountDetails().getCreditLimit());
			String creditremaining = String.valueOf(result.getAccountDetails().getCreditRemaining());

			// Update GUI
			panel.getUserLabel().setText(inputUserId);
			panel.getTypeLabel().setText(userType);
			panel.getMessagesLabel().setText(creditremaining + "/" + creditLimit);
			mWindow.getHeaderPanel().getLoginPanel().setVisible(false);
			mWindow.getHeaderPanel().getLogoutPanel().setVisible(true);
			mWindow.buildInterface();

			// Update session userid and password
			userId = inputUserId;
			password = inputPassword;

			return "Login successful";
    	}catch(Exception e){
    		// Authorisation was unsuccessful
    		return "Error: " + e.getMessage();
    	}
	}

    /**
     * This example demonstrates how to log out.
     */
	public static void logOut(Window mWindow) {
		// Update GUI
		HeaderPanel panel = mWindow.getHeaderPanel();
		panel.getLoginPanel().setVisible(true);
		panel.getLogoutPanel().setVisible(false);
		panel.getUserIdField().setText("");
		panel.getPasswordField().setText("");

		mWindow.destroyInterface();

		// Remove session userid and password
		userId = "";
		password = "";
	}

    /**
     * This example demonstrates how to send a single message.
     * TODO: Add support for sending multiple messages in a single batch.
     */
    public static String sendMessage(SendPanel panel){
    	// Extract message attributes from GUI
    	String content   = panel.getContentField().getText();
    	String to        = panel.getToField().getText();
    	String origin    = panel.getOriginField().getText();
    	boolean delivery = panel.getDeliveryReportBox().isSelected();
		XMLGregorianCalendar scheduled = null;

    	short validity   = 1;
    	long uid         = 0;

    	// Confirm fields are non-empty before attempting to cast
		if (!"".equals(panel.getUidField().getText())){
			try{
				uid = Long.parseLong(panel.getUidField().getText());
			}catch(NumberFormatException e){
                System.err.println(e.getMessage());
            }
		}

		if (!"".equals(panel.getValidityPeriodField().getText())){
			try{
				validity = Short.parseShort(panel.getValidityPeriodField().getText());
			}catch(NumberFormatException e){
                System.err.println(e.getMessage());
            }
		}

		if (!"".equals(panel.getScheduledField().getText())) {
			try {
				Date date = DATE_FORMAT.parse(panel.getScheduledField().getText());
				GregorianCalendar gregorianCalendar = (GregorianCalendar) GregorianCalendar.getInstance();
				gregorianCalendar.setTime(date);
				scheduled = DatatypeFactory.newInstance().newXMLGregorianCalendar(gregorianCalendar);
			} catch (Exception e) {
                System.err.println(e.getMessage());
            }
		}

    	// Build message
		MessageType message = new MessageType();
        message.setFormat(MessageFormatType.SMS);

		message.setContent(content);
        message.setDeliveryReport(delivery);
        message.setValidityPeriod(validity);

		if (!"".equals(origin)) {
			message.setOrigin(origin);
		}

		message.setScheduled(scheduled);

        // Add recipients
		RecipientType recipient = new RecipientType(uid, to);
		RecipientsType recipients = new RecipientsType();
		recipients.getRecipient().add(recipient);
		message.setRecipients(recipients);

		MessageListType messageList = new MessageListType();
		messageList.setSendMode(MessageSendModeType.NORMAL);
		messageList.getMessage().add(message);

		// The batch of messages are sent using a SendMessagesBodyType object.
        SendMessagesBodyType sendMessageBody = new SendMessagesBodyType();
        sendMessageBody.setMessages(messageList);

        try{
        	// Build client and make SOAP request
	        MessageMediaSoapClient client = new MessageMediaSoapClient(userId, password);
            SendMessagesResultType result = client.SendMessage(sendMessageBody);

            return DisplaySendMessageResult(result);
    	}catch(Exception e){
    		return "Error: " + e.getMessage();
    	}
    }

	public static String deleteScheduledMessage(SendPanel panel) {
		try {
			long uid = 0;

			if (!"".equals(panel.getUidField().getText())) {
				try {
					uid = Long.parseLong(panel.getUidField().getText());
				} catch(NumberFormatException e){}
			}
			// Build client and make SOAP request
			MessageMediaSoapClient client = new MessageMediaSoapClient(userId, password);
			DeleteScheduledMessagesResultType result = client.DeleteScheduledMessages(Collections.singletonList(uid));

			return "Messages unscheduled: " + result.getUnscheduled();
		} catch(Exception e){
			return "Error: " + e.getMessage();
		}
	}

    /**
     * This example demonstrates how to fetch replies.
     * You must then confirm receipt of each reply using the ConfirmReplies method.
     */
    public static String getReplies(ReplyPanel panel){
    	String output = "";

		// Clear replies table
    	panel.getDataModel().setRowCount(0);

        try{
        	// Build client and make SOAP request
            MessageMediaSoapClient client = new MessageMediaSoapClient(userId, password);
            CheckRepliesResultType reply = client.CheckReplies();

            output = "Replies returned: " + reply.getReturned() +
            		 "\nRemaining replies: " + reply.getRemaining();

            if (reply.getReplies() != null){
            	DefaultTableModel model = panel.getDataModel();

            	// Update GUI
                for (ReplyType item : reply.getReplies().getReply()){
                	model.addRow(new Object[]{
                			item.getReceiptId(),
                			item.getOrigin(),
                			item.getContent(),
                			item.getUid(),
                			getPresentableDate(item.getReceived())});
                }
            }
            return output;
        }
        catch(Exception ex){
        	output = "Error: " + ex.getMessage();
        	return output;
        }
    }

    /**
     * This example demonstrates how to confirm receipt of a list of replies.
     */
    public static String confirmReplies(ReplyPanel panel){
    	String output = "";

    	DefaultTableModel model = panel.getDataModel();
    	List<Long> listOfReceiptIds = new ArrayList<Long>();

    	if(model.getRowCount() != 0){
    		for(int i=0 ; i < model.getRowCount() ; i++){
    			listOfReceiptIds.add((Long) model.getValueAt(i,0));
    		}

            try{
            	// Build client and make SOAP request
                MessageMediaSoapClient client = new MessageMediaSoapClient(userId, password);
                ConfirmRepliesResultType reply = client.ConfirmReplies(listOfReceiptIds);

                output = "Replies confirmed: " + reply.getConfirmed();

        		// Clear replies table
                model.setRowCount(0);

            }catch (Exception ex){
            	output = "Error: " + ex.getMessage();
            	return output;
            }
    	}else{
    		output = "Error: No replies to confirm.";
    	}

        return output;
    }

    /**
     * This example demonstrates how to fetch reports.
     * You must then confirm receipt of each report using the ConfirmReports method.
     */
    public static String getReports(ReportPanel panel){
    	String output = "";

		// Clear reports table
    	panel.getDataModel().setRowCount(0);

        try{
        	// Build client and make SOAP request
            MessageMediaSoapClient client = new MessageMediaSoapClient(userId, password);
            CheckReportsResultType report = client.CheckReports();

            output = "Reports returned: " + report.getReturned() +
            		 "\nRemaining reports: " + report.getRemaining();

            // Update GUI
            if (report.getReports() != null){
            	DefaultTableModel model = panel.getDataModel();

                for (ReportType item : report.getReports().getReport()){
                	model.addRow(new Object[]{
                			item.getReceiptId(),
                			item.getRecipient(),
                			item.getStatus(),
                			item.getUid(),
                			getPresentableDate(item.getTimestamp())});
                }
            }
            return output;
        }
        catch(Exception ex){
        	output = "Error: " + ex.getMessage();
        	return output;
        }
    }

    /**
     * This example demonstrates how to confirm receipt of a list of reports.
     */
    public static String confirmReports(ReportPanel panel){
    	String output = "";

    	DefaultTableModel model = panel.getDataModel();
    	List<Long> listOfReceiptIds = new ArrayList<Long>();

    	if(model.getRowCount() != 0){
    		for(int i=0 ; i < model.getRowCount() ; i++){
    			listOfReceiptIds.add((Long) model.getValueAt(i,0));
    		}

            try{
            	// Build client and make SOAP request
                MessageMediaSoapClient client = new MessageMediaSoapClient(userId, password);
                ConfirmReportsResultType report = client.ConfirmReports(listOfReceiptIds);

                output = "Reports confirmed: " + report.getConfirmed();

        		// Clear reports table
                model.setRowCount(0);

            }catch (Exception ex){
            	output = "Error: " + ex.getMessage();
            	return output;
            }
    	}else{
    		output = "Error: No reports to confirm.";
    	}

        return output;
    }

    /**
     * This example demonstrates how to fetch a list of blocked numbers.
     */
	public static String getBlockedNumbers(BlockPanel panel) {
		String output = "";

		// Clear blocked numbers table
		panel.getDataModel().setSize(0);

        try{
        	// Build client and make SOAP request
            MessageMediaSoapClient client = new MessageMediaSoapClient(userId, password);
            GetBlockedNumbersResultType blocked = client.GetBlockedNumbers();

            output = "Blocked numbers found: " + blocked.getFound() +
            		 "\nBlocked numbers returned: " + blocked.getReturned();

            if (blocked.getRecipients() != null){
            	DefaultListModel<String> model = panel.getDataModel();

                for (RecipientType item : blocked.getRecipients().getRecipient()){
                	model.addElement(item.getValue());
                }
            }
            return output;
        }
        catch(Exception ex){
        	output = "Error: " + ex.getMessage();
        	return output;
        }
	}

    /**
     * This example demonstrates how to block a single number.
     */
	public static String blockNumber(BlockPanel panel) {
		String number = panel.getBlockedNumberField().getText();

		if(number.isEmpty()){
			return "Error: No number to block";
		}

        // Add the recipients
		RecipientType recipient = new RecipientType(0, number);
		RecipientType[] recipients = new RecipientType[1];
		recipients[0] = recipient;

        try{
        	// Build client and make SOAP request
            MessageMediaSoapClient client = new MessageMediaSoapClient(userId, password);
            BlockNumbersResultType result = client.BlockNumbers(recipients);

            // Update table of blocked numbers
            getBlockedNumbers(panel);

            return DisplayBlockNumberResult(result);
        }
        catch(Exception ex){
        	return "Error: " + ex.getMessage();
        }
	}

    /**
     * This example demonstrates how to unblock a single number.
     */
	public static String unblockNumbers(BlockPanel panel,boolean selectedOnly) {
		Vector<RecipientType> recipients = new Vector<RecipientType>();

		// Get list data
		DefaultListModel<String> model = panel.getDataModel();
		JList<String> list = panel.getlist();

		// Get recipients
		for(int i = 0 ; i < model.size() ; i ++){
			if(selectedOnly && list.isSelectedIndex(i) || !selectedOnly){
				// Add recipient
				recipients.add(new RecipientType(0, model.get(i).toString()));
			}
		}

		// Convert to array
		RecipientType[] recipientsArr = recipients.toArray(new RecipientType[0]);

		if(recipientsArr.length == 0){
			return "Error: No numbers to unblock";
		}

        try{
        	// Build client and make SOAP request
            MessageMediaSoapClient client = new MessageMediaSoapClient(userId, password);
            UnblockNumbersResultType result = client.UnblockNumbers(recipientsArr);

            // Update table of blocked numbers
            getBlockedNumbers(panel);

            return DisplayUnblockNumberResult(result);
        }
        catch(Exception ex){
        	return "Error: " + ex.getMessage();
        }
	}

    /**
     * Private helper method used to render the results of sending a message.
     */
    private static String DisplaySendMessageResult(SendMessagesResultType result){
    	String output = "";

        // Build confirmation message
        output = "Messages sent: " + result.getSent() +
        		  "\nMessages failed: " + result.getFailed() +
        		  "\nMessages scheduled: " + result.getScheduled();

        // Build error message
        if(result.getErrors() != null){
        	output += "\nErrors total: " + result.getErrors().getError().size();

            for (MessageErrorType error : result.getErrors().getError())
            {
            	output += "\nError code: " + error.getCode();
            	output += "\nError content: " + error.getContent();
            	output += "\nError sequence number: " + error.getSequenceNumber();

                if (error.getRecipients() != null)
                {
                    for (RecipientType currentRecipient : error.getRecipients().getRecipient())
                    {
                    	output += "\nError recipient: Uid: " + currentRecipient.getUid();
                    	output += "\nValue: " + currentRecipient.getValue();
                    }
                }
            }
        }
        return output;
    }

    /**
     * Private helper method used to render the results of blocking a number.
     */
    private static String DisplayBlockNumberResult(BlockNumbersResultType result){
    	String output = "";

        // Build confirmation message
        output = "Numbers blocked: " + result.getBlocked() +
        		  "\nBlocks failed: " + result.getFailed();

        // Build error message
        if(result.getErrors() != null){
        	output += "\nErrors total: " + result.getErrors().getError().size();

            for (MessageErrorType error : result.getErrors().getError())
            {
            	output += "\nError code: " + error.getCode();
            	output += "\nError content: " + error.getContent();
            	output += "\nError sequence number: " + error.getSequenceNumber();

                if (error.getRecipients() != null)
                {
                    for (RecipientType currentRecipient : error.getRecipients().getRecipient())
                    {
                    	output += "\nError recipient: Uid: " + currentRecipient.getUid();
                    	output += "\nValue: " + currentRecipient.getValue();
                    }
                }
            }
        }
        return output;
    }

    /**
     * Private helper method used to render the results of unblocking a number.
     */
    private static String DisplayUnblockNumberResult(UnblockNumbersResultType result){
    	String output = "";

        // Build confirmation message
        output = "Numbers unblocked: " + result.getUnblocked() +
        		  "\nUnlocks failed: " + result.getFailed();

        // Build error message
        if(result.getErrors() != null){
        	output += "\nErrors total: " + result.getErrors().getError().size();

            for (MessageErrorType error : result.getErrors().getError())
            {
            	output += "\nError code: " + error.getCode();
            	output += "\nError content: " + error.getContent();
            	output += "\nError sequence number: " + error.getSequenceNumber();

                if (error.getRecipients() != null)
                {
                    for (RecipientType currentRecipient : error.getRecipients().getRecipient())
                    {
                    	output += "\nError recipient: Uid: " + currentRecipient.getUid();
                    	output += "\nValue: " + currentRecipient.getValue();
                    }
                }
            }
        }
        return output;
    }

    /**
     * Private helper method used to produce a presentable date from an XMLGregorianCalendar object.
     */
    private static String getPresentableDate(XMLGregorianCalendar calendar)
    {
    	return DATE_FORMAT.format(calendar.toGregorianCalendar().getTime());
    }
}


text:
require 'spec_helper'

describe Mongoid::History::Tracker do
  before :all do
    class Element
      include Mongoid::Document
      include Mongoid::Timestamps
      include Mongoid::History::Trackable

      field :body

      track_history on: [:body], track_create: true, track_update: true, track_destroy: true
    end

    class Prompt < Element
    end
  end

  it 'tracks subclass create and update' do
    prompt = Prompt.new
    expect { prompt.save! }.to change(Tracker, :count).by(1)
    expect { prompt.update_attributes!(body: 'one') }.to change(Tracker, :count).by(1)
    prompt.undo!
    expect(prompt.body).to be_blank
    prompt.redo! nil, 2
    expect(prompt.body).to eq('one')
    expect { prompt.destroy }.to change(Tracker, :count).by(1)
  end
end


text:
<?php

/**
 * The plugin bootstrap file
 *
 * This file is read by WordPress to generate the plugin information in the plugin
 * admin area. This file also includes all of the dependencies used by the plugin,
 * registers the activation and deactivation functions, and defines a function
 * that starts the plugin.
 *
 * @link              meccaproduction.com
 * @since             1.0.0
 * @package           Meccaproduction
 *
 * @wordpress-plugin
 * Plugin Name:       Mecca Production
 * Plugin URI:        meccaproduction.com
 * Description:       A plugin for Mecca Production customizations
 * Version:           1.0.0
 * Author:            Mecca Production
 * Author URI:        meccaproduction.com
 * License:           GPL-2.0+
 * License URI:       http://www.gnu.org/licenses/gpl-2.0.txt
 * Text Domain:       meccaproduction
 * Domain Path:       /languages
 */

// If this file is called directly, abort.
if ( ! defined( 'WPINC' ) ) {
	die;
}

include('meccaproduction_filters.php');
include('meccaproduction_shortcodes.php' );
include(plugin_dir_path( __FILE__ ) . 'public/meccaproduction-product-types.php' );

/**
 * The code that runs during plugin activation.
 * This action is documented in includes/class-meccaproduction-activator.php
 */
function activate_meccaproduction() {
	require_once plugin_dir_path( __FILE__ ) . 'includes/class-meccaproduction-activator.php';
	Meccaproduction_Activator::activate();
}

/**
 * The code that runs during plugin deactivation.
 * This action is documented in includes/class-meccaproduction-deactivator.php
 */
function deactivate_meccaproduction() {
	require_once plugin_dir_path( __FILE__ ) . 'includes/class-meccaproduction-deactivator.php';
	Meccaproduction_Deactivator::deactivate();
}

register_activation_hook( __FILE__, 'activate_meccaproduction' );
register_deactivation_hook( __FILE__, 'deactivate_meccaproduction' );

/**
 * The core plugin class that is used to define internationalization,
 * admin-specific hooks, and public-facing site hooks.
 */
require plugin_dir_path( __FILE__ ) . 'includes/class-meccaproduction.php';

/**
 * Begins execution of the plugin.
 *
 * Since everything within the plugin is registered via hooks,
 * then kicking off the plugin from this point in the file does
 * not affect the page life cycle.
 *
 * @since    1.0.0
 */
function run_meccaproduction() {

	$plugin = new Meccaproduction();
	$plugin->run();

}
run_meccaproduction();


text:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
                "http://www.w3.org/TR/REC-html40/loose.dtd">

  <title>Description of plotGaussEllipses</title>
  <meta name="keywords" content="plotGaussEllipses">
  <meta name="description" content="Plots 2D ellipses derived from 2D Gaussians specified by mus & Cs.">
  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
  <meta name="generator" content="m2html © 2003 Guillaume Flandin">
  <meta name="robots" content="index, follow">
  <link type="text/css" rel="stylesheet" href="../m2html.css">

plotGaussEllipses

PURPOSE

Plots 2D ellipses derived from 2D Gaussians specified by mus & Cs.

SYNOPSIS

function hs = plotGaussEllipses( mus, Cs, rad )

DESCRIPTION

 Plots 2D ellipses derived from 2D Gaussians specified by mus & Cs.

 USAGE
  hs = plotGaussEllipses( mus, Cs, [rad] )

 INPUTS
  mus     - k x 2 matrix of means
  Cs      - 2 x 2 x k  covariance matricies
  rad     - [2] Number of std to create the ellipse to

 OUTPUTS
  hs      - handles to ellipses

 EXAMPLE
  plotGaussEllipses( [ 10 10; 10 10 ], cat(3,eye(2),eye(2)*2) );

 See also PLOTELLIPSE, GAUSS2ELLIPSE

 Piotr's Image&Video Toolbox      Version 2.0
 Copyright 2012 Piotr Dollar.  [pdollar-at-caltech.edu]
 Please email me if you find bugs, or have suggestions or questions!
 Licensed under the Simplified BSD License [see external/bsd.txt]

CROSS-REFERENCE INFORMATION

This function calls:

gauss2ellipse	Creates an ellipse representing the 2D Gaussian distribution.

plotEllipse	Adds an ellipse to the current plot.

This function is called by:

imMlGauss	Calculates max likelihood params of Gaussian that gave rise to image G.

<address>Generated by m2html © 2003</address>


text:
package com.ra4king.circuitsim;

import com.ra4king.circuitsim.simulator.Circuit;
import com.ra4king.circuitsim.simulator.Simulator;
import com.ra4king.circuitsim.simulator.WireValue;
import com.ra4king.circuitsim.simulator.components.Subcircuit;
import com.ra4king.circuitsim.simulator.components.arithmetic.Adder;
import com.ra4king.circuitsim.simulator.components.wiring.Pin;

/**
 * @author Roi Atalla
 */
public class SubcircuitTest {
	public static void main(String[] args) {
		Simulator sim = new Simulator();
		Circuit circuit = new Circuit("Subcircuit Test - Circuit 1", sim);
		Adder adder = circuit.addComponent(new Adder("", 4));
		Pin inA = circuit.addComponent(new Pin("A", 4, true));
		Pin inB = circuit.addComponent(new Pin("B", 4, true));
		Pin inC = circuit.addComponent(new Pin("C", 1, true));
		Pin out = circuit.addComponent(new Pin("Out", 4, false));
		adder.getPort(Adder.PORT_A).linkPort(inA.getPort(Pin.PORT));
		adder.getPort(Adder.PORT_B).linkPort(inB.getPort(Pin.PORT));
		adder.getPort(Adder.PORT_CARRY_IN).linkPort(inC.getPort(Pin.PORT));
		adder.getPort(Adder.PORT_OUT).linkPort(out.getPort(Pin.PORT));

		inA.setValue(circuit.getTopLevelState(), WireValue.of(5, 4));
		inB.setValue(circuit.getTopLevelState(), WireValue.of(3, 4));
		inC.setValue(circuit.getTopLevelState(), WireValue.of(0, 1));
		sim.stepAll();

		Circuit circuit2 = new Circuit("Subcircuit Test - Circuit 2", sim);
		Subcircuit subcircuit = circuit2.addComponent(new Subcircuit("", circuit));
		Pin in2A = circuit2.addComponent(new Pin("A2", 4, true));
		Pin in2B = circuit2.addComponent(new Pin("B2", 4, true));
		Pin in2C = circuit2.addComponent(new Pin("C2", 1, true));
		Pin out2 = circuit2.addComponent(new Pin("Out2", 4, false));
		subcircuit.getPort(inA).linkPort(in2A.getPort(Pin.PORT));
		subcircuit.getPort(inB).linkPort(in2B.getPort(Pin.PORT));
		subcircuit.getPort(inC).linkPort(in2C.getPort(Pin.PORT));
		subcircuit.getPort(out).linkPort(out2.getPort(Pin.PORT));

		in2A.setValue(circuit2.getTopLevelState(), WireValue.of(2, 4));
		in2B.setValue(circuit2.getTopLevelState(), WireValue.of(4, 4));
		in2C.setValue(circuit2.getTopLevelState(), WireValue.of(1, 1));
		sim.stepAll();
	}
}


text:
Search-Dump.ps1
===============

A simple script for searching through a dump of data, such as compromised
credentials. It has been tested to work with GNU/Linux, MacOS, and Cygwin Bash.
For a Bash version of this script, see
[search-dump.sh](https://github.com/seanthegeek/toolbox/blob/master/search-dump/search-dump.sh).

Assumptions
-----------

- The data that you want to find is in text format
- The names of the files to be searched end in `.txt` or `.TXT`

Usage
-----

1. Create a list of domains or other terms that you would like to search for,
one term per line. Save the list as `mydomains.csv`
2. Place `mydomains.csv` in the same directory as the files that you wish to
search
3. `cd` to the directory
4. Run `Search-Dump.ps1`

Like any other command, you can redirect the output to a file:

    Search-Dump.ps1 > output.csv

Parameters
----------

**InputFiles** (String, Optional)

A filename or wildcard matching the file(s) to search. `*.txt` by default.

**SearchList** (String, Optional)

The path to a file containing a list of strings to search for, such as domain
names, one per line. `mydomains.csv` by default.


text:
Delete files through the Slack API through node.js

## Installing

(Requires node.js and npm)

1. Download or checkout this repo.
2. Run `npm install` from the folder containing the repo

## Usage

Before using, you need to create an access token for your Slack at https://api.slack.com/web

```
Usage: ./index.js [options]

Options:

  -h, --help           output usage information
  -V, --version        output the version number
  -t, --token <token>  Your Slack API token (required)
  -x, --types <items>  A list of filetypes (e.g. "png,jpg,mp3") to delete
  -s, --size <size>    All files above the specified size will be deleted
  -d, --dry            Perform a dry run only
  -l, --list           List all files on Slack ordered by filesize
```

## Examples

Perform a dry run deleting all files with filetypes jpg, png or gif:

`./index.js -t abcd-0123456789-0123456789-0123456789-0123456abc -x jpg,png,gif -d`

Delete all files larger than 100 megabytes:

`./index.js -t abcd-0123456789-0123456789-0123456789-0123456abc -s 100M`

List all files visible to the user associated with the token:

`./index.js -t abcd-0123456789-0123456789-0123456789-0123456abc -l`


text:
using sapHowmuch.Base.Extensions;
using System;
using System.Collections.Generic;
using System.Configuration;
using System.Data.SqlClient;

namespace sapHowmuch.Base.Helpers
{
	public class SboRecordsetQuery : IDisposable
	{
		private SAPbobsCOM.Recordset _recordset;

		public SboRecordsetQuery(string query, params object[] args)
		{
			_recordset = SapStream.DICompany.GetBusinessObject(SAPbobsCOM.BoObjectTypes.BoRecordset) as SAPbobsCOM.Recordset;
			_recordset.DoQuery(string.Format(query, args));
		}

		public int Count => _recordset.RecordCount;

		public SAPbobsCOM.Recordset Recordset => _recordset;

		public IEnumerable<SAPbobsCOM.Fields> Result
		{
			get
			{
				while (!_recordset.EoF)
				{
					yield return _recordset.Fields;
					_recordset.MoveNext();
				}
			}
		}

		public void Dispose()
		{
			if (_recordset != null) _recordset.ReleaseComObject();

			_recordset = null;
		}
	}

	public class SboRecordsetQuery<T> : IDisposable
	{
		private SAPbobsCOM.Recordset _recordset;
		private dynamic _businessObject;

		public SboRecordsetQuery(string query, SAPbobsCOM.BoObjectTypes boObjectTypes, params object[] args)
		{
			_recordset = SapStream.DICompany.GetBusinessObject(SAPbobsCOM.BoObjectTypes.BoRecordset) as SAPbobsCOM.Recordset;
			_businessObject = SapStream.DICompany.GetBusinessObject(boObjectTypes);

			_recordset.DoQuery(string.Format(query, args));
			_businessObject.Browser.Recordset = _recordset;
		}

		public int Count => _recordset.RecordCount;

		public T BusinessObject => _businessObject;
		public SAPbobsCOM.Recordset Recordset => _recordset;

		public IEnumerable<T> Result
		{
			get
			{
				while (!_businessObject.Browser.Eof)
				{
					yield return _businessObject;
					_businessObject.Browser.MoveNext();
				}
			}
		}

		public void Dispose()
		{
			if (_recordset != null) _recordset.ReleaseComObject();
			if (_businessObject != null) _businessObject.ReleaseComObject();

			_recordset = null;
			_businessObject = null;
		}
	}

	public static class SboRecordset
	{
		public static int NonQuery(string sql, params object[] args)
		{
			var recordset = SapStream.DICompany.GetBusinessObject(SAPbobsCOM.BoObjectTypes.BoRecordset) as SAPbobsCOM.Recordset;

			try
			{
				if (recordset == null)
					throw new ArgumentNullException(nameof(recordset));

				recordset.DoQuery(string.Format(sql, args));

				return recordset.RecordCount;
			}
			catch (Exception ex)
			{
				sapHowmuchLogger.Debug($"NonQuery error: {ex.Message}{Environment.NewLine}SQL={sql}");
				throw;
			}
			finally
			{
				if (recordset != null) recordset.ReleaseComObject();
			}
		}
	}

	public class SboSqlConnection : IDisposable
	{
		private readonly SqlConnection _sqlConnection;
		private readonly SqlDataReader _reader;

		public SboSqlConnection(string query = null)
		{
			var dbPassword = ConfigurationManager.AppSettings["sapDbPassword"];
			var connectionString = $"Server={SapStream.DICompany.Server};Initial Catalog={SapStream.DICompany.CompanyDB};User ID={SapStream.DICompany.DbUserName};Password={dbPassword}";
			_sqlConnection = new SqlConnection(connectionString);

			if (string.IsNullOrWhiteSpace(query))
				return;

			var command = new SqlCommand(query, _sqlConnection);
			_sqlConnection.Open();
			_reader = command.ExecuteReader();
		}

		public SqlConnection SqlConnection => _sqlConnection;
		public bool HasRows => _reader.HasRows;

		public IEnumerable<SqlDataReader> Result
		{
			get
			{
				while (_reader.Read())
				{
					yield return _reader;
				}

				_reader.Close();
			}
		}

		public void Dispose()
		{
			throw new NotImplementedException();
		}
	}
}


text:
@interface Coroutine : NSObject

@property (nonatomic) char *goto_name;
@property (nonatomic) void *goto_address;

@property (nonatomic)id target;
@property (nonatomic)  SEL method;
@property (nonatomic) id continuation_value;

+ (instancetype)coroutineForTarget:target method:(SEL)method;

- objectForKeyedSubscript:(id)key;
- (void)setObject:(id)obj forKeyedSubscript:(id <NSCopying>)key;

- objectForKey:(id)aKey;
-(void)setObject:anObject forKey:(id <NSCopying>)key;

@end

@interface NSObject (CoroutineCache)

- (Coroutine*)coroutineForMethod:(SEL)selector;
- (Coroutine*)releaseCoroutineForMethod:(SEL)selector;

- (void)resumeCoroutineForMethod:(SEL)methodSelector withValue:value;
- (void)resumeCoroutineForMethod:(SEL)methodSelector;

@end

#define BEGIN_COROUTINE() \
    Coroutine *__crx = [self coroutineForMethod:_cmd]; \
    void *__goto_tag = __crx.goto_address; \
    if (__goto_tag != NULL) goto *(__goto_tag);

#define END_COROUTINE() [self releaseCoroutineForMethod:_cmd]

#define RETURN_VALUE __crx.continuation_value

#define RESUME(_target, _method, ...) [\
    [_target resumeCoroutineForMethod:@selector(_method)] withValue:__VA_ARGS__]; \
    [_target _method]

#define TOKENPASTE(x, y) x ## y
#define TOKENPASTE2(x, y) TOKENPASTE(x, y)

#define YIELD(...) \
    __goto_tag = && TOKENPASTE2(L_, __LINE__); __crx.goto_address = __goto_tag; \
    return __VA_ARGS__; \
    TOKENPASTE2(L_, __LINE__):

#define YIELD_RETURNING(_return_value) YIELD(); continuation_value = RETURN_VALUE


text:
require File.expand_path('spec_helper', File.dirname(__FILE__))

require 'rails_generator/scripts/generate'

describe "shen_spec generator" do
  include Shenandoah::Spec::RailsRoot
  include Shenandoah::Spec::UseGenerators

  def generate(name='common')
    Rails::Generator::Scripts::Generate.new.run(["shen_spec", name, "-q"])
  end

  describe "generation" do
    %w(spec test examples).each do |dir|
      describe "when the rails project has a #{dir}" do
        before do
          FileUtils.mkdir "#{RAILS_ROOT}/#{dir}"
          generate
        end

        it "puts the HTML fixture in the right place" do
          File.exist?("#{RAILS_ROOT}/#{dir}/javascript/common.html").should be_true
        end

        it "puts the JavaScript spec in the right place" do
          File.exist?("#{RAILS_ROOT}/#{dir}/javascript/common_spec.js").should be_true
        end
      end
    end

    {
      'common' => ['common', 'Common'],
      'some_spec' => ['some', 'Some'],
      'models/hat' => ['models/hat', 'models.Hat'],
      'models/helicopter_spec' => ['models/helicopter', 'models.Helicopter'],
      'themes/light/alison' => ['themes/light/alison', 'themes.light.Alison']
    }.each do |input, (expected_filename, expected_classname)|
      describe "for '#{input}'" do
        describe "the HTML" do
          before do
            generate(input)
            @html = File.read("#{RAILS_ROOT}/test/javascript/#{expected_filename}.html")
          end

          it "includes the name in the title" do
            @html.should =~ %r{<title>#{expected_filename}.js | JavaScript Testing Results</title>}
          end

          it "includes the runner script" do
            @html.should =~ %r{src="/shenandoah/browser-runner.js"}
          end

          it "includes shenandoah.css" do
            @html.should =~ %r{href="/shenandoah.css"}
          end
        end

        describe "the JS" do
          before do
            @input = input
            @filename = expected_filename
          end

          def js
            @js ||= begin
              generate(@input)
              File.read("#{RAILS_ROOT}/test/javascript/#{@filename}_spec.js")
            end
          end

          it "builds a Screw.Unit spec" do
            js.should =~ %r{Screw.Unit}
          end

          it "requires the spec_helper if it exists" do
            FileUtils.mkdir_p "#{RAILS_ROOT}/test/javascript"
            File.open("#{RAILS_ROOT}/test/javascript/spec_helper.js", 'w') { }
            js.should =~ %r{require_spec\('spec_helper.js'\);\n}
          end

          it "does not require the spec_helper if it does not" do
            js.should_not =~ %r{require_spec\('spec_helper.js'\);}
            js.should =~ %r{^require_main} # ensure no blank line
          end

          it "requires the presumed main file" do
            js.should =~ %r{require_main\('#{expected_filename}.js'\);}
          end

          it "describes the main file" do
            js.should =~ %r{describe\('#{expected_classname}', function \(\) \{}
          end
        end
      end
    end
  end
end


text:
<?hh //strict

/**
 * This file is part of hhpack\typechecker package.
 *
 * (c) Noritaka Horio <holy.shared.design@gmail.com>
 *
 * This source file is subject to the MIT license that is bundled
 * with this source code in the file LICENSE.
 */

namespace HHPack\TypeChecker;

interface Visitor<T>
{
    public function visit(T $node) : void;
}


text:
//---------------------------------------------------------------------
// <copyright file="LinqLengthPropertyExpression.cs" company="Microsoft">
//      Copyright (C) Microsoft Corporation. All rights reserved. See License.txt in the project root for license information.
// </copyright>
//---------------------------------------------------------------------

namespace Microsoft.Test.Taupo.Query.Contracts.Linq.Expressions
{
    using System.Globalization;

    /// <summary>
    /// Expression node representing 'Length' property in a Linq query.
    /// </summary>
    public class LinqLengthPropertyExpression : QueryExpression
    {
        internal LinqLengthPropertyExpression(QueryExpression instance, QueryType type)
            : base(type)
        {
            this.Instance = instance;
        }

        /// <summary>
        /// Gets the instance for the property.
        /// </summary>
        public QueryExpression Instance { get; private set; }

        /// <summary>
        /// Returns a <see cref="System.String"/> that represents this instance.
        /// </summary>
        /// <returns>
        /// A <see cref="System.String"/> that represents this instance.
        /// </returns>
        public override string ToString()
        {
            return string.Format(CultureInfo.InvariantCulture, "{0}.Length", this.Instance);
        }

        /// <summary>
        /// The Accept method used to support the double-dispatch visitor pattern with a visitor that returns a result.
        /// </summary>
        /// <typeparam name="TResult">The result type returned by the visitor.</typeparam>
        /// <param name="visitor">The visitor that is visiting this expression.</param>
        /// <returns>The result of visiting this expression.</returns>
        public override TResult Accept<TResult>(ICommonExpressionVisitor<TResult> visitor)
        {
            return ((ILinqExpressionVisitor<TResult>)visitor).Visit(this);
        }
    }
}


text:
exports.win = function(){
	var listView = require('ui/detail/listView');

	var formView = require('ui/detail/formView');

	var animate = require('modules/animation');

	var addBtn = Ti.UI.createButton({
		title:'Add'
	});

	var win = Ti.UI.createWindow({
		title:L('local')+' '+L('artists'),
		backgroundColor:'white',
		rightNavButton:addBtn
	});

	var mainView = Ti.UI.createView({height:'fill', width:'fill'});

	var list = listView.list('artists');

	mainView.add(list);

	win.add(mainView);

	addBtn.addEventListener('click', function(){

			var cancelBtn = Ti.UI.createButton({
				title:'Cancel'
			});
			win.setRightNavButton(cancelBtn);

			var form = formView.create('artists', function(e){

			if(e.status == 'success'){
				animate.fadeOut(form, 1000);
				mainView.remove(form);
				form = null;
				listView.refresh('artists', function(data){
					list.setData(data);
				});

			} else {
				animate.fadeOut(form, 1000);
				mainView.remove(form);
				form = null;
			}
			});
			form.hide();
			mainView.add(form);
			animate.puffIn(form);

			cancelBtn.addEventListener('click', function(){
				animate.fadeOut(form, 1000);
				mainView.remove(form);
				form = null;
				win.setRightNavButton(addBtn);
			})

	});

	return win;
}


text:
package in.xnnyygn.attic.command.httpclient;

import in.xnnyygn.attic.api.CommandArguments;
import in.xnnyygn.attic.api.CommandContext;

import java.io.IOException;

import org.apache.commons.httpclient.methods.GetMethod;

public class GetAsStringCommand extends AbstractGetCommand {

  static final String DEFAULT_RESPONSE_VARIABLE_NAME =
      "httpclient.response.string";
  private String responseVariableName;

  public void setArguments(CommandArguments arguments) {
    responseVariableName =
        arguments.getParameter(1, DEFAULT_RESPONSE_VARIABLE_NAME);
  }

  String getResponseVariableName() {
    return responseVariableName;
  }

  @Override
  void postGet(CommandContext context, GetMethod method) throws IOException {
    context.setVariable(responseVariableName, method.getResponseBodyAsString());
  }

}


text:
AIRFLOW_SOURCES_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")"/../../../ && pwd)"
export AIRFLOW_SOURCES_DIR

usage() {
    local cmdname
    cmdname="$(basename -- "$0")"

    cat << EOF
Usage: ${cmdname} <AIRFLOW_VERSION>

Prepares prod docker images for the version specified.

EOF
}

if [[ "$#" -ne 1 ]]; then
    >&2 echo "You must provide Airflow version."
    usage
    exit 1
fi

export INSTALL_AIRFLOW_VERSION="${1}"

for python_version in "3.6" "3.7" "3.8" "3.9"
do
  export PYTHON_MAJOR_MINOR_VERSION=${python_version}
  "${AIRFLOW_SOURCES_DIR}/scripts/ci/tools/build_dockerhub.sh"
done


text:
In this codelab we use Cloud Dataflow to transform data with non-variant segments (such as data that was in source format Genome VCF ([gVCF](https://sites.google.com/site/gvcftools/home/about-gvcf/gvcf-conventions)) or Complete Genomics) to variant-only data with calls from non-variant-segments merged into the variants with which they overlap.

* [Motivation](#motivation)
* [Run the Cluster Compute Job](#run-the-cluster-compute-job)
* [Results](#results)
* [Optional: Modify the Cluster Compute Job](#optional-modify-the-cluster-compute-job)
* [Appendix](#appendix)

## Motivation

Data from source files in [gVCF](https://sites.google.com/site/gvcftools/home/about-gvcf/gvcf-conventions) format or in Complete Genomics format can be challenging to work with due to the presence of non-variant segment records.

For example to use BigQuery lookup [rs9536314](http://www.ncbi.nlm.nih.gov/SNP/snp_ref.cgi?rs=rs9536314) in the Klotho gene, the `WHERE` clause
```
    WHERE
      reference_name = 'chr13'
      AND start = 33628137
```
becomes
```
    WHERE
      reference_name = 'chr13'
      AND start <= 33628137
      AND end >= 33628138
```
to capture not only that variant, but any other records that overlap that genomic position.

Suppose we want to calculate an aggregate for a particular variant, such as the number of samples with the variant on one or both alleles and of samples that match the reference?  The WHERE clause above will do the trick.  But then suppose we want to do this for all SNPs in our dataset?  There are [a few ways to do this](https://github.com/googlegenomics/bigquery-examples/tree/master/pgp/data-stories/schema-comparisons#motivation). In this codelab we will use a cluster computing job to transform data with non-variant segments to variant-only data with calls from non-variant-segments merged into the variants with which they overlap.
* This is currently done only for SNP variants. Indels and structural variants are left as-is.
* The resultant data is emitted to a BigQuery table.

> The result of this cluster compute job is used specifically in codelab [Quality Control using Google Genomics](../../R/PlatinumGenomes-QC).

## Run the Cluster Compute Job

_Note: This codelab assumes you have already worked with Google Genomics, Google Cloud Storage, and BigQuery and set up those necessary prerequsites._

The following example makes use of [Illumina Platinum Genomes](http://www.illumina.com/platinumgenomes/).  For more detail about how this data was loaded into the Google Genomics API, please see [Google Genomics Public Data](https://cloud.google.com/genomics/data/platinum-genomes).

This job retrieves variants from the Genomics API, transforms them and writes the result to a new BigQuery table.
* The schema contains the common fields found in all variants exported from Google Genomics, but we did not run a Google Genomics variants export --> instead this is a custom export.
* It adds the reference-matching calls to the relevant SNP variant records --> essentially adding redundant data in an effort to enable easier querying.

### Instructions

(1) Follow the Google Cloud Dataflow [getting started instructions](https://cloud.google.com/dataflow/getting-started) to set up your environment for Dataflow.

(2) Use [Apache Maven](http://maven.apache.org/download.cgi) to build the code.
```
cd codelabs/Java/PlatinumGenomes-variant-transformation
mvn compile
mvn bundle:bundle
```
(3) Create a BigQuery dataset in the web UI to hold the data.
* Open the [BigQuery web UI](https://bigquery.cloud.google.com/).
* Click the down arrow icon  next to your project name in the navigation
* Then click **Create new dataset**.

(4) Run the pipeline locally over BRCA1 in Platinum Genomes with the command line:
```
java -cp target/non-variant-segment-transformer-*.jar \
  com.google.cloud.genomics.examples.TransformNonVariantSegmentData \
  --project=YOUR_GOOGLE_CLOUD_PLATFORM_PROJECT_ID \
  --stagingLocation=gs://YOUR_BUCKET/dataflow-staging \
  --genomicsSecretsFile=/PATH/TO/YOUR/client_secrets.json \
  --datasetId=3049512673186936334 \
  --references=chr17:41196311:41277499 \
  --hasNonVariantSegments \
  --output=YOUR_BIGQUERY_DATASET.YOUR_BIGQUERY_DESTINATION_TABLE
```

To run this job on the entire dataset:
* Add `--runner=DataflowPipelineRunner` to run the job on Google Cloud instead of locally.
* Use `--allReferences` instead of `--references=chr17:41196311:41277499` to run over the entire genome.

## Results

You have now created a table like [google.com:biggene:platinum_genomes.transformed_variants](https://bigquery.cloud.google.com/table/google.com:biggene:platinum_genomes.transformed_variants?pli=1)

# Appendix

### How to Run this Job Against Your Own Data

Pass `--datasetId=YOUR_GOOGLE_GENOMICS_DATASET_ID` instead of `--datasetId=3049512673186936334`.

## Optional: Modify the Cluster Compute Job

Some ideas:
* Add additional fields from the variant to the BigQuery schema.
* Note that for a large cohort with many, many more rare variants we may wish to instead modify the logic here to summarize the number of calls that match the reference for each variant instead of adding those individual calls to the record.
* merge calls in records with 1/2 genotypes with the same variant found in records with 0/1 genotypes

Reference Name | Start     | End       | Reference Bases | Alternate Bases
---------------|-----------|-----------|-----------------|-----------------
chr6           | 120458771 | 120458773 |TA               |TAA
chr6           | 120458771 | 120458773 |TA               |TAA,T

--------------------------------------------------------


text:
The ultimate microservice logging plugin

## How to use it

```js
    var logger = require('proper-logger').init(config.host, config.appName);
    var log = logger.log;
    var logData = logger.logData;
    exports.log = log;
    exports.logData = logData;
```

```js
    var logData logData(request);
    log('info', data.logData, 'createLogin', request.payload);
```

## Log format
    [LEVEL]: [ISO TIME] - [CALLER TRACE]:[TRACE] [APPLICATION:MS-NAME] [HOST] - [METHOD] - [/URI] - [LOG MESSAGE] - [CODE] - [OPERATION] - [EXTADATA: {}]

## Result
    info: 2016-08-27T19:11:35.981Z - :aba25256-1a49-458e-a273-e6c19d8442f9 - KAFKA:listener - localhost - POST - /v1/listener/msg - getDefaultModule OK response - {"result":{"statusCode":200,"code":"HERMESMSQUEUE200","message":"correctly delivered}}


text:
<?php

namespace Drupal\Tests\taxonomy\Kernel\Views;

use Drupal\taxonomy\Entity\Vocabulary;
use Drupal\views\Views;

/**
 * Tests the plugin of the taxonomy: taxonomy_term_name argument validator.
 *
 * @group taxonomy
 */
class ArgumentValidatorTermNameTest extends TaxonomyTestBase {

  /**
   * Stores the taxonomy term used by this test.
   *
   * @var array
   */
  protected $terms = [];

  /**
   * Stores the taxonomy names used by this test.
   *
   * @var array
   */
  protected $names = [];

  /**
   * Stores the taxonomy IDs used by this test.
   *
   * @var array
   */
  protected $ids = [];

  /**
   * {@inheritdoc}
   */
  public static $testViews = ['test_taxonomy_name_argument'];

  /**
   * {@inheritdoc}
   */
  protected function setUp($import_test_views = TRUE): void {
    parent::setUp($import_test_views);

    // Add three terms to the 'tags' vocabulary.
    for ($i = 0; $i < 3; $i++) {
      $this->terms[] = $term = $this->createTerm();
      $this->names[] = $term->label();
      $this->ids[] = $term->id();
    }

    // Create a second vocabulary.
    $vocabulary2 = Vocabulary::create([
      'name' => 'Views testing tags 2',
      'vid' => 'views_testing_tags_2',
    ]);
    $vocabulary2->save();
    // Add term in this vocabulary that has same name as term 3.
    $duplicate = $this->createTerm([
      'name' => $this->names[2],
      'vid' => 'views_testing_tags_2',
    ]);
    $this->terms[] = $duplicate;
    $this->names[] = $duplicate->label();
    $this->ids[] = $duplicate->id();

    // Add uniquely named term in second vocab as well.
    $unique = $this->createTerm([
      'vid' => 'views_testing_tags_2',
    ]);
    $this->terms[] = $unique;
    $this->names[] = $unique->label();
    $this->ids[] = $unique->id();
  }

  /**
   * Tests the term name argument validator plugin.
   */
  public function testArgumentValidatorTermName() {
    $view = Views::getView('test_taxonomy_name_argument');
    $view->initHandlers();

    // Test with name that does not correspond to any term.
    $this->assertFalse($view->argument['name']->setArgument('not a term name'));
    $view->argument['name']->validated_title = NULL;
    $view->argument['name']->argument_validated = NULL;

    // Test with term in the wrong vocabulary.
    $this->assertFalse($view->argument['name']->setArgument($this->names[4]));
    $view->argument['name']->validated_title = NULL;
    $view->argument['name']->argument_validated = NULL;

    // Test with a couple valid names.
    $this->assertTrue($view->argument['name']->setArgument($this->names[0]));
    $this->assertEquals($this->names[0], $view->argument['name']->getTitle());
    $view->argument['name']->validated_title = NULL;
    $view->argument['name']->argument_validated = NULL;

    $this->assertTrue($view->argument['name']->setArgument($this->names[1]));
    $this->assertEquals($this->names[1], $view->argument['name']->getTitle());
    $view->argument['name']->validated_title = NULL;
    $view->argument['name']->argument_validated = NULL;

    // Test that multiple valid terms don't validate because multiple arguments
    // are currently not supported.
    $multiple_terms = $this->names[0] . '+' . $this->names[1];
    $this->assertFalse($view->argument['name']->setArgument($multiple_terms));
    $view->argument['name']->validated_title = NULL;
    $view->argument['name']->argument_validated = NULL;

    // Test term whose name is shared by term in disallowed bundle.
    $this->assertTrue($view->argument['name']->setArgument($this->names[2]));
    $this->assertEquals($this->names[2], $view->argument['name']->getTitle());
    $view->argument['name']->validated_title = NULL;
    $view->argument['name']->argument_validated = NULL;

    // Add the second vocabulary as an allowed bundle.
    $view->argument['name']->options['validate_options']['bundles']['views_testing_tags_2'] = 'views_testing_tags_2';

    // Test that an array of bundles is handled by passing terms with unique
    // names in each bundle.
    $this->assertTrue($view->argument['name']->setArgument($this->names[0]));
    $this->assertEquals($this->names[0], $view->argument['name']->getTitle());
    $view->argument['name']->validated_title = NULL;
    $view->argument['name']->argument_validated = NULL;

    $this->assertTrue($view->argument['name']->setArgument($this->names[4]));
    $this->assertEquals($this->names[4], $view->argument['name']->getTitle());
    $view->argument['name']->validated_title = NULL;
    $view->argument['name']->argument_validated = NULL;

    // Allow any and all bundles.
    $view->argument['name']->options['validate_options']['bundles'] = [];

    // Test that an empty array of bundles is handled by testing terms with
    // unique names in each bundle.
    $this->assertTrue($view->argument['name']->setArgument($this->names[0]));
    $this->assertEquals($this->names[0], $view->argument['name']->getTitle());
    $view->argument['name']->validated_title = NULL;
    $view->argument['name']->argument_validated = NULL;

    $this->assertTrue($view->argument['name']->setArgument($this->names[4]));
    $this->assertEquals($this->names[4], $view->argument['name']->getTitle());
  }

  /**
   * Tests the access checking in term name argument validator plugin.
   */
  public function testArgumentValidatorTermNameAccess() {
    $this->installConfig(['user']);
    $this->setCurrentUser($this->createUser(['access content']));
    $view = Views::getView('test_taxonomy_name_argument');
    $view->initHandlers();

    // Enable access checking on validator.
    $view->argument['name']->options['validate_options']['access'] = TRUE;
    // Allow all bundles.
    $view->argument['name']->options['validate_options']['bundles'] = [];

    // A uniquely named unpublished term in an allowed bundle.
    $this->terms[0]->setUnpublished()->save();
    $this->assertFalse($view->argument['name']->setArgument($this->names[0]));
    $view->argument['name']->validated_title = NULL;
    $view->argument['name']->argument_validated = NULL;

    // A name used by two terms in a single vocabulary. One is unpublished.
    // We re-name the second term to match the first one.
    $this->terms[1]->set('name', $this->names[0])->save();
    $this->names[1] = $this->terms[1]->label();
    $this->assertTrue($view->argument['name']->setArgument($this->names[0]));
    $this->assertEquals($this->names[0], $view->argument['name']->getTitle());
    $view->argument['name']->validated_title = NULL;
    $view->argument['name']->argument_validated = NULL;

    // A name shared by a term in each vocabulary. One is unpublished.
    $this->terms[3]->setUnpublished()->save();
    $this->assertTrue($view->argument['name']->setArgument($this->names[3]));
    $this->assertEquals($this->names[3], $view->argument['name']->getTitle());
  }

}


text:
package test;

import org.sourcecodemetrics.measurer.api.BuildException;
import org.sourcecodemetrics.measurer.api.IClass;
import org.sourcecodemetrics.measurer.api.IMethod;
import org.sourcecodemetrics.measurer.api.IPackage;
import org.sourcecodemetrics.measurer.api.IProject;
import org.sourcecodemetrics.measurer.api.ISourceFile;
import org.sourcecodemetrics.measurer.api.MeasurementException;
import java.io.IOException;
import java.io.OutputStream;
import java.io.PrintStream;
import java.util.Collection;
import java.util.Iterator;
import junit.framework.Test;
import org.netbeans.junit.NbModuleSuite;
import org.netbeans.junit.NbModuleSuite.Configuration;
import org.openide.filesystems.FileObject;

/**
 *
 * @author Krystian Warzocha
 */
public class ShouldCountNOP extends BasicTestCase {

    public ShouldCountNOP(String testName) {
        super(testName);
    }

    public static Test suite() {
        Configuration testConfig = NbModuleSuite.createConfiguration(ShouldCountNOP.class);
        testConfig.addTest(ShouldCountNOP.class, "testShouldCountNOP");
        return NbModuleSuite.create(testConfig);
    }

    public void testShouldCountNOP() throws IOException, MeasurementException, BuildException {
        // given the java file with the depth of 3
        FileObject testPackage = src.createFolder(PACKAGE_NAME);
        OutputStream outputStream = testPackage.createAndOpen(FILE_NAME);
        PrintStream testJavaStream = new PrintStream(outputStream);
        testJavaStream.println("package " + PACKAGE_NAME + ";");
        testJavaStream.println("public class " + CLASS_NAME + "{");
        testJavaStream.println("public void " + METHOD_NAME + "(int a, String[] b, double c) {");
        testJavaStream.println("}");
        testJavaStream.println("}");
        testJavaStream.close();

        // when measure mestrics for the whole project
        IProject result = measurer.measure(project);

        // then the computed cyclomatic complexity should be equal to 3
        assertNotNull("Result is null", result);

        Collection<IPackage> packages = result.getPackages();
        assertNotNull("The list of packages is null.", packages);
        assertEquals("Number ofpackages is not correct", 2, packages.size());

        IPackage package1 = null;
        Iterator<IPackage> it1 = packages.iterator();
        while (it1.hasNext()) {
            IPackage pkg = it1.next();
            if (PACKAGE_NAME.equals(pkg.getName())) {
                package1 = pkg;
                break;
            }
        }

        assertNotNull("The package is null", package1);

        Collection<ISourceFile> sourceFiles = package1.getSourceFiles();
        assertNotNull("The set of source files is null", sourceFiles);
        assertEquals("Number of source files is not correct", 1, sourceFiles.size());

        ISourceFile sourceFile = sourceFiles.iterator().next();
        assertNotNull("The source file is null", sourceFile);

        Collection<IClass> classes = sourceFile.getClasses();
        assertNotNull("The set of classes is null", classes);
        assertEquals("The number of classes is not correct", 1, classes.size());

        IClass class1 = classes.iterator().next();
        assertNotNull("The class is null", class1);

        Collection<IMethod> methods = class1.getMethods();
        assertNotNull("The set of methods is null", methods);
        assertEquals("Number of methods is not correct", 1, methods.size());

        Iterator<IMethod> it = methods.iterator();
        //it.next(); // omit the constructor
        IMethod method = it.next();
        assertNotNull("Method is null", method);
        assertEquals("Method name is wrong", METHOD_NAME, method.getName());

        Integer nop = method.getNOP();
        assertEquals("NOP metric is null", Integer.valueOf(3), nop);
    }
}


text:
/* AUTO-GENERATED FILE.  DO NOT MODIFY.
 *
 * This class was automatically generated by the
 * aapt tool from the resource data it found.  It
 * should not be modified by hand.
 */
package com.google.android.gms;

public final class R {
	public static final class array {
	}
	public static final class attr {
		public static final int buttonSize = 0x7f0100ce;
		public static final int circleCrop = 0x7f0100b8;
		public static final int colorScheme = 0x7f0100cf;
		public static final int imageAspectRatio = 0x7f0100b7;
		public static final int imageAspectRatioAdjust = 0x7f0100b6;
		public static final int scopeUris = 0x7f0100d0;
	}
	public static final class color {
		public static final int common_google_signin_btn_text_dark = 0x7f0a0073;
		public static final int common_google_signin_btn_text_dark_default = 0x7f0a002d;
		public static final int common_google_signin_btn_text_dark_disabled = 0x7f0a002e;
		public static final int common_google_signin_btn_text_dark_focused = 0x7f0a002f;
		public static final int common_google_signin_btn_text_dark_pressed = 0x7f0a0030;
		public static final int common_google_signin_btn_text_light = 0x7f0a0074;
		public static final int common_google_signin_btn_text_light_default = 0x7f0a0031;
		public static final int common_google_signin_btn_text_light_disabled = 0x7f0a0032;
		public static final int common_google_signin_btn_text_light_focused = 0x7f0a0033;
		public static final int common_google_signin_btn_text_light_pressed = 0x7f0a0034;
	}
	public static final class dimen {
	}
	public static final class drawable {
		public static final int common_full_open_on_phone = 0x7f02006d;
		public static final int common_google_signin_btn_icon_dark = 0x7f02006e;
		public static final int common_google_signin_btn_icon_dark_disabled = 0x7f02006f;
		public static final int common_google_signin_btn_icon_dark_focused = 0x7f020070;
		public static final int common_google_signin_btn_icon_dark_normal = 0x7f020071;
		public static final int common_google_signin_btn_icon_dark_pressed = 0x7f020072;
		public static final int common_google_signin_btn_icon_light = 0x7f020073;
		public static final int common_google_signin_btn_icon_light_disabled = 0x7f020074;
		public static final int common_google_signin_btn_icon_light_focused = 0x7f020075;
		public static final int common_google_signin_btn_icon_light_normal = 0x7f020076;
		public static final int common_google_signin_btn_icon_light_pressed = 0x7f020077;
		public static final int common_google_signin_btn_text_dark = 0x7f020078;
		public static final int common_google_signin_btn_text_dark_disabled = 0x7f020079;
		public static final int common_google_signin_btn_text_dark_focused = 0x7f02007a;
		public static final int common_google_signin_btn_text_dark_normal = 0x7f02007b;
		public static final int common_google_signin_btn_text_dark_pressed = 0x7f02007c;
		public static final int common_google_signin_btn_text_light = 0x7f02007d;
		public static final int common_google_signin_btn_text_light_disabled = 0x7f02007e;
		public static final int common_google_signin_btn_text_light_focused = 0x7f02007f;
		public static final int common_google_signin_btn_text_light_normal = 0x7f020080;
		public static final int common_google_signin_btn_text_light_pressed = 0x7f020081;
	}
	public static final class id {
		public static final int adjust_height = 0x7f0b001d;
		public static final int adjust_width = 0x7f0b001e;
		public static final int auto = 0x7f0b0027;
		public static final int button = 0x7f0b0030;
		public static final int center = 0x7f0b0032;
		public static final int dark = 0x7f0b0028;
		public static final int icon_only = 0x7f0b0024;
		public static final int light = 0x7f0b0029;
		public static final int none = 0x7f0b000e;
		public static final int normal = 0x7f0b000a;
		public static final int radio = 0x7f0b0054;
		public static final int standard = 0x7f0b0025;
		public static final int text = 0x7f0b0091;
		public static final int text2 = 0x7f0b008f;
		public static final int wide = 0x7f0b0026;
		public static final int wrap_content = 0x7f0b0019;
	}
	public static final class integer {
		public static final int google_play_services_version = 0x7f0c0003;
	}
	public static final class layout {
	}
	public static final class raw {
	}
	public static final class string {
		public static final int common_google_play_services_enable_button = 0x7f060024;
		public static final int common_google_play_services_enable_text = 0x7f060025;
		public static final int common_google_play_services_enable_title = 0x7f060026;
		public static final int common_google_play_services_install_button = 0x7f060027;
		public static final int common_google_play_services_install_text = 0x7f060028;
		public static final int common_google_play_services_install_title = 0x7f060029;
		public static final int common_google_play_services_notification_ticker = 0x7f06002a;
		public static final int common_google_play_services_unknown_issue = 0x7f06002b;
		public static final int common_google_play_services_unsupported_text = 0x7f06002c;
		public static final int common_google_play_services_update_button = 0x7f06002d;
		public static final int common_google_play_services_update_text = 0x7f06002e;
		public static final int common_google_play_services_update_title = 0x7f06002f;
		public static final int common_google_play_services_updating_text = 0x7f060030;
		public static final int common_google_play_services_wear_update_text = 0x7f060031;
		public static final int common_open_on_phone = 0x7f060032;
		public static final int common_signin_button_text = 0x7f060033;
		public static final int common_signin_button_text_long = 0x7f060034;
	}
	public static final class style {
	}
	public static final class styleable {
		public static final int[] LoadingImageView = { 0x7f0100b6, 0x7f0100b7, 0x7f0100b8 };
		public static final int LoadingImageView_circleCrop = 2;
		public static final int LoadingImageView_imageAspectRatio = 1;
		public static final int LoadingImageView_imageAspectRatioAdjust = 0;
		public static final int[] SignInButton = { 0x7f0100ce, 0x7f0100cf, 0x7f0100d0 };
		public static final int SignInButton_buttonSize = 0;
		public static final int SignInButton_colorScheme = 1;
		public static final int SignInButton_scopeUris = 2;
	}
}


text:
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<beans xmlns="http://www.springframework.org/schema/beans"
       xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
       xsi:schemaLocation="            http://www.springframework.org/schema/beans            http://www.springframework.org/schema/beans/spring-beans-4.3.xsd            http://www.springframework.org/schema/context            http://www.springframework.org/schema/context/spring-context-4.3.xsd"
       xmlns:context="http://www.springframework.org/schema/context">
    <context:component-scan base-package="com.haulmont.cuba.restapi"/>
</beans>


text:
package main_test

import (
	"io/ioutil"
	"os"
	"path/filepath"
	"regexp"
	"testing"

	_ "v.io/x/ref/runtime/factories/generic"
	"v.io/x/ref/test/v23test"
)

func writeRoledConfig() (path string, shutdown func(), err error) {
	dir, err := ioutil.TempDir("", "")
	if err != nil {
		return dir, nil, err
	}
	err = ioutil.WriteFile(filepath.Join(dir, "therole.conf"), []byte(`
{
  "Members": ["root:child"],
  "Extend": true
}
`), 0644)
	return dir, func() { os.RemoveAll(dir) }, err
}

func TestV23BecomeRole(t *testing.T) {
	v23test.SkipUnlessRunningIntegrationTests(t)
	sh := v23test.NewShell(t, nil)
	defer sh.Cleanup()

	vbecome := v23test.BuildGoPkg(sh, "v.io/x/ref/services/agent/vbecome")
	principal := v23test.BuildGoPkg(sh, "v.io/x/ref/cmd/principal")
	roled := v23test.BuildGoPkg(sh, "v.io/x/ref/services/role/roled")

	sh.StartRootMountTable()

	dir, shutdown, err := writeRoledConfig()
	if err != nil {
		t.Fatalf("Couldn't write roled config: %v", err)
	}
	defer shutdown()

	sh.Cmd(roled, "--v23.tcp.address=127.0.0.1:0", "--config-dir", dir, "--name", "roled").WithCredentials(sh.ForkCredentials("master")).Start()

	output := sh.Cmd(vbecome, "--role=roled/therole", principal, "dump").Stdout()
	want := regexp.MustCompile(`Default Blessings\s+root:master:therole:root:child`)
	if !want.MatchString(output) {
		t.Errorf("Principal didn't have the role blessing:\n %s", output)
	}
}

func TestV23BecomeName(t *testing.T) {
	v23test.SkipUnlessRunningIntegrationTests(t)
	sh := v23test.NewShell(t, nil)
	defer sh.Cleanup()

	vbecome := v23test.BuildGoPkg(sh, "v.io/x/ref/services/agent/vbecome")
	principal := v23test.BuildGoPkg(sh, "v.io/x/ref/cmd/principal")

	sh.StartRootMountTable()

	output := sh.Cmd(vbecome, "--name=bob", principal, "dump").Stdout()
	want := regexp.MustCompile(`Default Blessings\s+root:child:bob`)
	if !want.MatchString(output) {
		t.Errorf("Principal didn't have the expected blessing:\n %s", output)
	}
}

func TestV23BecomeRoleAndName(t *testing.T) {
	v23test.SkipUnlessRunningIntegrationTests(t)
	sh := v23test.NewShell(t, nil)
	defer sh.Cleanup()

	vbecome := v23test.BuildGoPkg(sh, "v.io/x/ref/services/agent/vbecome")
	principal := v23test.BuildGoPkg(sh, "v.io/x/ref/cmd/principal")
	roled := v23test.BuildGoPkg(sh, "v.io/x/ref/services/role/roled")

	sh.StartRootMountTable()

	dir, shutdown, err := writeRoledConfig()
	if err != nil {
		t.Fatalf("Couldn't write roled config: %v", err)
	}
	defer shutdown()

	sh.Cmd(roled, "--v23.tcp.address=127.0.0.1:0", "--config-dir", dir, "--name", "roled").WithCredentials(sh.ForkCredentials("master")).Start()

	output := sh.Cmd(vbecome, "--role=roled/therole", "--name=bob", principal, "dump").Stdout()
	want := regexp.MustCompile(`Default Blessings\s+root:child:bob,root:master:therole:root:child`)
	if !want.MatchString(output) {
		t.Errorf("Principal didn't have the role blessing:\n %s", output)
	}
}

func TestMain(m *testing.M) {
	v23test.TestMain(m)
}


text:
require "rubygems"
require "json"
require "datalanche"

begin
    config = JSON.load(open(File.expand_path(File.dirname(__FILE__)) + '/../config.json'))

    # Please find your API credentials here: https://www.datalanche.com/account before use
    YOUR_API_KEY = config['api_key']
    YOUR_API_SECRET = config['api_secret']

    client = DLClient.new(key = YOUR_API_KEY, secret = YOUR_API_SECRET)

    q = DLQuery.new(database = 'my_database')
    q.drop_table('my_schema.my_table')
    q.cascade(true)

    begin
        client.query(q)
    rescue DLException => e
        puts JSON.pretty_generate(e.detail)
        exit(1)
    else
        puts "drop_table succeeded!\n"
    end
end