expectedSetCost:  152,
		},
		{
			name:             "map of numbers with all",
			schemaGenerator:  genMapWithRule("number", "self.all(x, true)"),
			expectedCalcCost: 1348169,
			setMaxElements:   10,
			expectedSetCost:  32,
		},
		{
			name:             "map of numbers with has",
			schemaGenerator:  genMapWithRule("number", "has(self.x)"),
			expectedCalcCost: 0,
			setMaxElements:   100,

package org.sample.numberutils;

public class Numbers {
   public static int add(int left, int right) { return left + right; }

package org.sample.numberutils;

public class Numbers {
   public static int add(int left, int right) { return left + right; }

package org.sample.numberutils;

public class Numbers {
   public static int add(int left, int right) { return left + right; }

package org.sample.numberutils;

public class Numbers {
   public static int add(int left, int right) { return left + right; }

package org.sample.numberutils;

public class Numbers {
   public static int add(int left, int right) { return left + right; }

package org.sample.numberutils;

public class Numbers {
   public static int add(int left, int right) { return left + right; }

          | Creator: \tnullCredentials(PasswordCredentials) @ build.gradle line 27, column 5
+ numbers
      | Type:   \tNumbers
      | Creator: \tnumbers(Numbers) { ... } @ build.gradle line 28, column 5
    + threshold
          | Type:   \tdouble
          | Value:  \t0.8
          | Creator: \tnumbers(Numbers) { ... } @ build.gradle line 28, column 5
    + value
          | Type:   \tjava.lang.Integer

// Functions to access/create device major and minor numbers matching the
// encoding used by the Linux kernel and glibc.
//
// The information below is extracted and adapted from bits/sysmacros.h in the
// glibc sources:
//
// dev_t in glibc is 64-bit, with 32-bit major and minor numbers. glibc's
// default encoding is MMMM Mmmm mmmM MMmm, where M is a hex digit of the major

	// with port numbers/ICMP(v6) types and other protocol numbers without port information.
	HashIPPort Type = "hash:ip,port"
	// HashIPPortIP represents the `hash:ip,port,ip` type ipset.  The hash:ip,port,ip set type uses a hash to store
	// IP address, port number and a second IP address triples.  The port number is interpreted together with a
	// protocol (default TCP) and zero protocol number cannot be used.