C# (CSharp) SwitchTests SomeOtherClass Examples

Example #1

File: Switch.cs Project: wang-xinhong/CodeContracts

        public int Switch_ViaMethodReturnValue(SomeOtherClass so)
        {
            Contract.Requires(so != null);
            var i = 0;

            var e = so.ReturnAnEnumValue();

            switch (e)
            {
            case MyEnum.One:
                i += 1;
                break;

            case MyEnum.Two:
                i += 2;
                break;

            default:
                throw Helper.FailedAssertion();
            }

            return(i);
        }

Example #2

File: Switch.cs Project: asvishnyakov/CodeContracts

	public int Switch_ViaMethodReturnValue(SomeOtherClass so)
    {
      Contract.Requires(so != null);
      var i = 0;

      var e = so.ReturnAnEnumValue();

      switch (e)
      {
        case MyEnum.One:
          i += 1;
          break;

        case MyEnum.Two:
          i += 2;
          break;

        default:
          throw Helper.FailedAssertion();
      }

      return i;
    }