Skip to content

Commit c9cee75

Browse files
SaloedSaloed
committed
Rename .java to .kt
1 parent 09a465e commit c9cee75

File tree

116 files changed

+0
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

116 files changed

+0
-0
lines changed

‎utbot-framework/src/main/java/org/utbot/quickcheck/NonTrackingGenerationStatus.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/NonTrackingGenerationStatus.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/ComponentizedGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/ComponentizedGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/DecimalGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/DecimalGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/Distinct.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/Distinct.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/Gen.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/Gen.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/GenerationStatus.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/GenerationStatus.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/Generator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/Generator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/GeneratorConfiguration.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/GeneratorConfiguration.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/GeneratorConfigurationException.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/GeneratorConfigurationException.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/Generators.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/Generators.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/InRange.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/InRange.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/IntegralGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/IntegralGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/Lambdas.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/Lambdas.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/NullAllowed.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/NullAllowed.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/Precision.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/Precision.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/Size.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/Size.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/VoidGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/VoidGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/lang/AbstractStringGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/lang/AbstractStringGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/lang/BooleanGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/lang/BooleanGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/lang/ByteGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/lang/ByteGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/lang/CharacterGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/lang/CharacterGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/lang/DoubleGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/lang/DoubleGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/lang/Encoded.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/lang/Encoded.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/lang/FloatGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/lang/FloatGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/lang/IntegerGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/lang/IntegerGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/lang/LongGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/lang/LongGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/lang/PrimitiveBooleanGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/lang/PrimitiveBooleanGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/lang/PrimitiveByteGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/lang/PrimitiveByteGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/lang/PrimitiveCharGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/lang/PrimitiveCharGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/lang/PrimitiveDoubleGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/lang/PrimitiveDoubleGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/lang/PrimitiveFloatGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/lang/PrimitiveFloatGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/lang/PrimitiveIntGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/lang/PrimitiveIntGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/lang/PrimitiveLongGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/lang/PrimitiveLongGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/lang/PrimitiveShortGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/lang/PrimitiveShortGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/lang/ShortGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/lang/ShortGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/lang/StringGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/lang/StringGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/lang/strings/CodePoints.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/lang/strings/CodePoints.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/math/BigDecimalGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/math/BigDecimalGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/math/BigIntegerGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/math/BigIntegerGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/nio/charset/CharsetGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/nio/charset/CharsetGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/time/ClockGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/time/ClockGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/time/DurationGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/time/DurationGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/time/InstantGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/time/InstantGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/time/LocalDateGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/time/LocalDateGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/time/LocalDateTimeGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/time/LocalDateTimeGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/time/LocalTimeGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/time/LocalTimeGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/time/MonthDayGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/time/MonthDayGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/time/OffsetDateTimeGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/time/OffsetDateTimeGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/time/OffsetTimeGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/time/OffsetTimeGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/time/PeriodGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/time/PeriodGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/time/YearGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/time/YearGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/time/YearMonthGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/time/YearMonthGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/time/ZoneIdGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/time/ZoneIdGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/time/ZoneOffsetGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/time/ZoneOffsetGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/time/ZonedDateTimeGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/time/ZonedDateTimeGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/ArrayListGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/ArrayListGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/BitSetGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/BitSetGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/CollectionGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/CollectionGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/DateGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/DateGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/HashMapGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/HashMapGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/HashSetGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/HashSetGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/HashtableGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/HashtableGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/LinkedHashMapGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/LinkedHashMapGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/LinkedHashSetGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/LinkedHashSetGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/LinkedListGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/LinkedListGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/ListGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/ListGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/LocaleGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/LocaleGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/MapGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/MapGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/OptionalDoubleGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/OptionalDoubleGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/OptionalGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/OptionalGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/OptionalIntGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/OptionalIntGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/OptionalLongGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/OptionalLongGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/PropertiesGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/PropertiesGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/RFC4122.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/RFC4122.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/SetGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/SetGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/StackGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/StackGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/TimeZoneGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/TimeZoneGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/VectorGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/VectorGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/concurrent/CallableGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/concurrent/CallableGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/function/BiFunctionGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/function/BiFunctionGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/function/BiPredicateGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/function/BiPredicateGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/function/BinaryOperatorGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/function/BinaryOperatorGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/function/DoubleFunctionGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/function/DoubleFunctionGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/function/FunctionGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/function/FunctionGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/function/IntFunctionGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/function/IntFunctionGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/function/LongFunctionGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/function/LongFunctionGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/function/PredicateGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/function/PredicateGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/function/SupplierGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/function/SupplierGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/function/ToDoubleBiFunctionGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/function/ToDoubleBiFunctionGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/function/ToDoubleFunctionGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/function/ToDoubleFunctionGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/function/ToIntBiFunctionGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/function/ToIntBiFunctionGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/function/ToIntFunctionGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/function/ToIntFunctionGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/function/ToLongBiFunctionGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/function/ToLongBiFunctionGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/function/ToLongFunctionGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/function/ToLongFunctionGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/generator/java/util/function/UnaryOperatorGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/generator/java/util/function/UnaryOperatorGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/internal/DefaultMethodHandleMaker.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/internal/DefaultMethodHandleMaker.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/internal/FakeAnnotatedTypeFactory.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/internal/FakeAnnotatedTypeFactory.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/internal/GeometricDistribution.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/internal/GeometricDistribution.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/internal/Items.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/internal/Items.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/internal/ParameterTypeContext.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/internal/ParameterTypeContext.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/internal/Ranges.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/internal/Ranges.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/internal/Reflection.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/internal/Reflection.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/internal/ReflectionException.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/internal/ReflectionException.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/internal/Weighted.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/internal/Weighted.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/internal/Zilch.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/internal/Zilch.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/internal/generator/AbstractGenerationStatus.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/internal/generator/AbstractGenerationStatus.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/internal/generator/ArrayGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/internal/generator/ArrayGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/internal/generator/CompositeGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/internal/generator/CompositeGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/internal/generator/EnumGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/internal/generator/EnumGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/internal/generator/GeneratorRepository.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/internal/generator/GeneratorRepository.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/internal/generator/LambdaGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/internal/generator/LambdaGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/internal/generator/MarkerInterfaceGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/internal/generator/MarkerInterfaceGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/internal/generator/NullableGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/internal/generator/NullableGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/internal/generator/SimpleGenerationStatus.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/internal/generator/SimpleGenerationStatus.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/internal/generator/ZilchGenerator.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/internal/generator/ZilchGenerator.kt

File renamed without changes.

‎utbot-framework/src/main/java/org/utbot/quickcheck/random/SourceOfRandomness.java renamed to ‎utbot-framework/src/main/kotlin/org/utbot/quickcheck/random/SourceOfRandomness.kt

File renamed without changes.

0 commit comments

Comments
 (0)