Exemplos de fszmq.props Mod4Binary em C# (CSharp)

Exemplo n.º 1

Arquivo: Observations.cs Projeto: pblasucci/checkprops

 public Property EncodeDecodeAreDuals_Collected(Mod4Binary input)
 {
     var processed = Z85.Decode(Z85.Encode(input.Data));
       return processed.SequenceEqual(input.Data)
               // gather individual sizes
               .Collect(input.Data.Length);
 }

Exemplo n.º 2

        public Property EncodeDecodeAreDuals_Trivial(Mod4Binary input)
        {
            var processed = Z85.Decode(Z85.Encode(input.Data));

            return(processed.SequenceEqual(input.Data)
                   // identify a special case
                   .Trivial(input.Data.Any(b => b == 70)));
        }

Exemplo n.º 3

        public Property EncodeDecodeAreDuals_Collected(Mod4Binary input)
        {
            var processed = Z85.Decode(Z85.Encode(input.Data));

            return(processed.SequenceEqual(input.Data)
                   // gather individual sizes
                   .Collect(input.Data.Length));
        }

Exemplo n.º 4

Arquivo: Observations.cs Projeto: pblasucci/checkprops

 public Property EncodeDecodeAreDuals_Classified(Mod4Binary input)
 {
     var processed = Z85.Decode(Z85.Encode(input.Data));
       return processed.SequenceEqual(input.Data)
               // bucket by common sizes
               .Classify(input.IsLarge (),"Large (64 .. ∞ bytes)"  )
               .Classify(input.IsMedium(),"Medium (24 .. 60 bytes)")
               .Classify(input.IsSmall (),"Small (8 .. 20 bytes)"  )
               .Classify(input.IsTiny  (),"Tiny (0 .. 4 bytes)"    );
 }

Exemplo n.º 5

        public Property EncodeDecodeAreDuals_Classified(Mod4Binary input)
        {
            var processed = Z85.Decode(Z85.Encode(input.Data));

            return(processed.SequenceEqual(input.Data)
                   // bucket by common sizes
                   .Classify(input.IsLarge(), "Large (64 .. ∞ bytes)")
                   .Classify(input.IsMedium(), "Medium (24 .. 60 bytes)")
                   .Classify(input.IsSmall(), "Small (8 .. 20 bytes)")
                   .Classify(input.IsTiny(), "Tiny (0 .. 4 bytes)"));
        }

Exemplo n.º 6

Arquivo: Observations.cs Projeto: pblasucci/checkprops

 public Property EncodeDecodeAreDuals_Combined(Mod4Binary input)
 {
     var processed = Z85.Decode(Z85.Encode(input.Data));
       return processed.SequenceEqual(input.Data)
               // identify a special case
               .Trivial(input.Data.Any (b => b == 70))
               // bucket by common sizes
               .Classify(input.IsLarge (),"Large (64 .. ∞ bytes)"  )
               .Classify(input.IsMedium(),"Medium (24 .. 60 bytes)")
               .Classify(input.IsSmall (),"Small (8 .. 20 bytes)"  )
               .Classify(input.IsTiny  (),"Tiny (0 .. 4 bytes)"    )
               // gather individual sizes
               .Collect(input.Data.Length);
 }

Exemplo n.º 7

        public Property EncodeDecodeAreDuals_Combined(Mod4Binary input)
        {
            var processed = Z85.Decode(Z85.Encode(input.Data));

            return(processed.SequenceEqual(input.Data)
                   // identify a special case
                   .Trivial(input.Data.Any(b => b == 70))
                   // bucket by common sizes
                   .Classify(input.IsLarge(), "Large (64 .. ∞ bytes)")
                   .Classify(input.IsMedium(), "Medium (24 .. 60 bytes)")
                   .Classify(input.IsSmall(), "Small (8 .. 20 bytes)")
                   .Classify(input.IsTiny(), "Tiny (0 .. 4 bytes)")
                   // gather individual sizes
                   .Collect(input.Data.Length));
        }

Exemplo n.º 8

Arquivo: Generation.cs Projeto: pblasucci/checkprops

 public Boolean EncodeDecodeAreDuals_Passing(Mod4Binary input)
 {
     var processed = Z85.Decode(Z85.Encode(input.Data));
       return processed.SequenceEqual(input.Data);
 }

Exemplo n.º 9

        public Boolean EncodeDecodeAreDuals_Passing(Mod4Binary input)
        {
            var processed = Z85.Decode(Z85.Encode(input.Data));

            return(processed.SequenceEqual(input.Data));
        }

Exemplo n.º 10

Arquivo: Observations.cs Projeto: pblasucci/checkprops

 public Property EncodeDecodeAreDuals_Trivial(Mod4Binary input)
 {
     var processed = Z85.Decode(Z85.Encode(input.Data));
       return processed.SequenceEqual(input.Data)
               // identify a special case
               .Trivial(input.Data.Any (b => b == 70));
 }

Exemplo n.º 11

 public static Boolean IsLarge(this Mod4Binary input)
 {
     return(input.Data.Length.Within(64, Int32.MaxValue));
 }

Exemplo n.º 12

 public static Boolean IsMedium(this Mod4Binary input)
 {
     return(input.Data.Length.Within(24, 60));
 }

Exemplo n.º 13

 public static Boolean IsSmall(this Mod4Binary input)
 {
     return(input.Data.Length.Within(8, 20));
 }

Exemplo n.º 14

 public static Boolean IsTiny(this Mod4Binary input)
 {
     return(input.Data.Length.Within(Int32.MinValue, 4));
 }