internal static void Register() { Arbitrary.Register(new Arbitrary <char> ( Gen.Elements(CharCandidates().ToArray()), ShrinkChar)); Arbitrary.Register(new Arbitrary <int> ( Gen.ChooseInt(), x => ShrinkInteger(x).Distinct())); Arbitrary.Register(new Arbitrary <long> ( Gen.ChooseInt().ToLong(), x => ShrinkInteger((int)x).Distinct().Select(i => (long)i))); Arbitrary.Register(new Arbitrary <float> ( Gen.ChooseDouble().ToFloat(), x => ShrinkDouble(x).Select(d => (float)d))); Arbitrary.Register(new Arbitrary <double> ( Gen.ChooseDouble(), ShrinkDouble)); Arbitrary.Register(new Arbitrary <string> ( from a in Arbitrary.Gen <char> ().ArrayOf() select new string (a), x => ShrinkEnumerable(x).Select(cs => new string (cs.ToArray())))); Arbitrary.Register(typeof(Enumerable <>)); Arbitrary.Register(typeof(Array <>)); Arbitrary.Register(typeof(AList <>)); }
/* ## Registering Default Arbitrary Types ## All of the default arbitrary types are registered automatically in the ## static constructor. Most of these types rely on the helper methods, ## which are introduced below. We will discuss the details of each type ## in context of the helper methods. */ internal static void Register() { /* ### Character Type ###Characters are randomly selected from a predefined set. This ###produces simpler and more readable characters than randomly ###generating ASCII codes. */ Arbitrary.Register(new Arbitrary <char> ( Gen.ChooseFrom(CharCandidates().ToArray()), ShrinkChar)); /* ### Integral Types ###Integral types `int` and `long` use the same helpers to generate ###and shrink the values. The maximum number generated depends on the ###size parameter used by the generators. */ Arbitrary.Register(new Arbitrary <int> ( Gen.ChooseInt(), x => ShrinkInteger(x).Distinct())); Arbitrary.Register(new Arbitrary <long> ( Gen.ChooseInt().ToLong(), x => ShrinkInteger((int)x).Distinct().Select(i => (long)i))); /* ### Floating Point Types ###`float` and `double` types are generated and shrunk with the same ###methods. The results are casted to lower precision when necessary. */ Arbitrary.Register(new Arbitrary <float> ( Gen.ChooseDouble().ToFloat(), x => ShrinkDouble(x).Select(d => (float)d))); Arbitrary.Register(new Arbitrary <double> ( Gen.ChooseDouble(), ShrinkDouble)); /* ### Strings ###Strings are arrays of characters, so they can be composed from ###arbitrary characters with appropriate combinators. */ Arbitrary.Register(new Arbitrary <string> ( from a in Arbitrary.Gen <char> ().ArrayOf() select new string (a), x => ShrinkEnumerable(x).Select(cs => new string (cs.ToArray())))); /* ### Collection Types ###The arbitrary implementations for collections are generic. ###Therefore, they work with any item type. Their implementation is ###discussed below. */ Arbitrary.Register(typeof(Enumerable <>)); Arbitrary.Register(typeof(Array <>)); Arbitrary.Register(typeof(AList <>)); }