C# (CSharp) Reactor.State Exemples

Exemple #1

        public void SimpleTest(bool wt, bool restart)
        {
            Contract.Requires(this.state == Reactor.State.Off);

            this.state = Reactor.State.On;

            if (wt)
            {
                Contract.Assert(this.state == Reactor.State.On);
                this.state = Reactor.State.Off;
            }

            if (restart)
            {
                Contract.Assert(this.state == Reactor.State.On);
                this.state = Reactor.State.Off;
            }

            Contract.Assert(this.state == Reactor.State.Off);
        }

Exemple #2

        public void SimpleTest_DifferentPrecondition(bool wt, bool restart)
        {
            Contract.Requires(this.state == Reactor.State.Off);

            Contract.Requires(wt || restart);
            Contract.Requires(!wt || !restart);

            this.state = Reactor.State.On;

            if (wt)
            {
                Contract.Assert(this.state == Reactor.State.On);
                this.state = Reactor.State.Off;
            }

            if (restart)
            {
                Contract.Assert(this.state == Reactor.State.On);
                this.state = Reactor.State.Off;
            }

            Contract.Assert(this.state == Reactor.State.Off);
        }

Exemple #3

Fichier : Preconditions-Backwards.cs Projet : flcdrg/CodeContracts

    public void SimpleTest(bool wt, bool restart)
    {
      Contract.Requires(this.state == Reactor.State.Off);

      this.state = Reactor.State.On;

      if (wt)
      {
        Contract.Assert(this.state == Reactor.State.On);
        this.state = Reactor.State.Off;
      }

      if (restart)
      {
        Contract.Assert(this.state == Reactor.State.On);
        this.state = Reactor.State.Off;
      }

      Contract.Assert(this.state== Reactor.State.Off);

    }

Exemple #4

Fichier : Paths.cs Projet : asvishnyakov/CodeContracts

    public void SimpleTest_DifferentPrecondition(bool wt, bool restart)
    {
      Contract.Requires(this.state == Reactor.State.Off);

      Contract.Requires(wt || restart);
      Contract.Requires(!wt || !restart);

      this.state = Reactor.State.On;

      if (wt)
      {
        Contract.Assert(this.state == Reactor.State.On);
        this.state = Reactor.State.Off;
      }

      if (restart)
      {
        Contract.Assert(this.state == Reactor.State.On);
        this.state = Reactor.State.Off;
      }

      Contract.Assert(this.state == Reactor.State.Off);

    }