All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register

    • net.jqwik.engine.properties.arbitraries.WildcardArbitrary Maven / Gradle / Ivy

    There is a newer version: 1.9.1
    Show newest version
    package net.jqwik.engine.properties.arbitraries;

import java.io.*;
import java.util.*;

import net.jqwik.api.*;
import net.jqwik.engine.properties.arbitraries.randomized.*;

public class WildcardArbitrary implements Arbitrary {
	@Override
	public RandomGenerator generator(int genSize) {
		return RandomGenerators.integers(0, genSize/2).map(WildcardObject::new);
	}

	public static class WildcardObject implements Comparable, Serializable {
		private final Integer index;

		public WildcardObject(Integer index) {
			this.index = index;
		}

		@Override
		public String toString() {
			return String.format("Any[%d]", index);
		}

		@Override
		public boolean equals(Object o) {
			if (o == null || getClass() != o.getClass()) return false;
			WildcardObject that = (WildcardObject) o;
			return Objects.equals(index, that.index);
		}

		@Override
		public int hashCode() {
			return Objects.hash(index);
		}

		@Override
		public int compareTo(WildcardObject o) {
			return Integer.compare(this.index, o.index);
		}
	}
}
    
    
    
    

    




    
    
    © 2015 - 2025 Weber Informatics LLC | Privacy Policy