move jetCheck to org.jetbrains

java/java-tests/testSrc/com/intellij/java/propertyBased/AbstractApplyAndRevertTestCase.java

@@ -43,7 +43,7 @@ import com.intellij.testFramework.PlatformTestCase;
 import com.intellij.testFramework.TestDataProvider;
 import com.intellij.testFramework.UsefulTestCase;
 import com.intellij.util.containers.ContainerUtil;
-import jetCheck.Generator;
+import org.jetbrains.jetCheck.Generator;
 
 import java.io.File;
 import java.util.ArrayList;

java/java-tests/testSrc/com/intellij/java/propertyBased/JavaCodeInsightSanityTest.java

@@ -23,8 +23,8 @@ import com.intellij.testFramework.LightProjectDescriptor;
 import com.intellij.testFramework.SkipSlowTestLocally;
 import com.intellij.testFramework.fixtures.LightCodeInsightFixtureTestCase;
 import com.intellij.testFramework.propertyBased.*;
-import jetCheck.Generator;
-import jetCheck.PropertyChecker;
+import org.jetbrains.jetCheck.Generator;
+import org.jetbrains.jetCheck.PropertyChecker;
 import org.jetbrains.annotations.NotNull;
 
 import java.util.function.Function;

java/java-tests/testSrc/com/intellij/java/propertyBased/JavaPsiIndexConsistencyTest.kt

@@ -33,8 +33,8 @@ import com.intellij.testFramework.propertyBased.PsiIndexConsistencyTester.Action
 import com.intellij.testFramework.propertyBased.PsiIndexConsistencyTester.Action.*
 import com.intellij.testFramework.propertyBased.PsiIndexConsistencyTester.Model
 import com.intellij.testFramework.propertyBased.PsiIndexConsistencyTester.RefKind
-import jetCheck.Generator
-import jetCheck.PropertyChecker
+import org.jetbrains.jetCheck.Generator
+import org.jetbrains.jetCheck.PropertyChecker
 
 /**
  * @author peter

java/java-tests/testSrc/com/intellij/java/propertyBased/UnivocityTest.java

@@ -23,9 +23,9 @@ import com.intellij.testFramework.SkipSlowTestLocally;
 import com.intellij.testFramework.propertyBased.*;
 import com.intellij.util.SystemProperties;
 import com.intellij.util.containers.ContainerUtil;
-import jetCheck.Generator;
-import jetCheck.IntDistribution;
-import jetCheck.PropertyChecker;
+import org.jetbrains.jetCheck.Generator;
+import org.jetbrains.jetCheck.IntDistribution;
+import org.jetbrains.jetCheck.PropertyChecker;
 
 import java.util.List;
 import java.util.concurrent.atomic.AtomicLong;

jetCheck/src/org/jetbrains/jetCheck/AbstractDataStructure.java

@@ -1,4 +1,4 @@
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import org.jetbrains.annotations.NotNull;
 

jetCheck/src/org/jetbrains/jetCheck/BoundedIntDistribution.java

@@ -1,4 +1,4 @@
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import java.util.Random;
 import java.util.function.ToIntFunction;

jetCheck/src/org/jetbrains/jetCheck/CannotRestoreValue.java

@@ -1,4 +1,4 @@
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 /**
  * @author peter

jetCheck/src/org/jetbrains/jetCheck/CannotSatisfyCondition.java

@@ -1,4 +1,4 @@
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import org.jetbrains.annotations.NotNull;
 

jetCheck/src/org/jetbrains/jetCheck/CounterExampleImpl.java

@@ -1,4 +1,4 @@
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;

jetCheck/src/org/jetbrains/jetCheck/DataStructure.java

@@ -1,4 +1,4 @@
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import org.jetbrains.annotations.NotNull;
 

jetCheck/src/org/jetbrains/jetCheck/FrequencyGenerator.java

@@ -1,4 +1,4 @@
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import org.jetbrains.annotations.NotNull;
 

jetCheck/src/org/jetbrains/jetCheck/GenerativeDataStructure.java

@@ -1,4 +1,4 @@
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import org.jetbrains.annotations.NotNull;
 

jetCheck/src/org/jetbrains/jetCheck/Generator.java

@@ -1,4 +1,4 @@
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import org.jetbrains.annotations.NotNull;
 

jetCheck/src/org/jetbrains/jetCheck/GeneratorException.java

@@ -1,4 +1,4 @@
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 /**
  * @author peter

jetCheck/src/org/jetbrains/jetCheck/ImperativeCommand.java

@@ -1,7 +1,7 @@
 /*
  * Copyright 2000-2017 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
  */
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;

jetCheck/src/org/jetbrains/jetCheck/IntCustomizer.java

@@ -1,5 +1,5 @@
 // Copyright 2000-2017 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import org.jetbrains.annotations.Nullable;
 

jetCheck/src/org/jetbrains/jetCheck/IntDistribution.java

@@ -1,4 +1,4 @@
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import java.util.List;
 import java.util.Random;

jetCheck/src/org/jetbrains/jetCheck/Iteration.java

@@ -1,4 +1,4 @@
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import org.jetbrains.annotations.Nullable;
 

jetCheck/src/org/jetbrains/jetCheck/NodeId.java

@@ -1,5 +1,5 @@
 // Copyright 2000-2017 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;

jetCheck/src/org/jetbrains/jetCheck/PropertyChecker.java

@@ -1,4 +1,4 @@
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import org.jetbrains.annotations.NotNull;
 

jetCheck/src/org/jetbrains/jetCheck/PropertyFailure.java

@@ -1,4 +1,4 @@
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;

jetCheck/src/org/jetbrains/jetCheck/PropertyFailureImpl.java

@@ -1,4 +1,4 @@
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;

jetCheck/src/org/jetbrains/jetCheck/PropertyFalsified.java

@@ -1,4 +1,4 @@
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import java.util.ArrayList;
 import java.util.List;
@@ -106,7 +106,7 @@ public class PropertyFalsified extends RuntimeException {
     List<String> result = new ArrayList<>();
     for (StackTraceElement element : e.getStackTrace()) {
       String s = element.toString();
-      if (s.startsWith("jetCheck.CounterExampleImpl.checkProperty")) {
+      if (s.startsWith("org.jetbrains.jetCheck.CounterExampleImpl.checkProperty")) {
         break;
       }
       result.add(s);

jetCheck/src/org/jetbrains/jetCheck/RemoveListRange.java

@@ -1,7 +1,7 @@
 /*
  * Copyright 2000-2017 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
  */
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;

jetCheck/src/org/jetbrains/jetCheck/ReplayDataStructure.java

@@ -1,4 +1,4 @@
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import org.jetbrains.annotations.NotNull;
 

jetCheck/src/org/jetbrains/jetCheck/Scenario.java

@@ -1,7 +1,7 @@
 /*
  * Copyright 2000-2017 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
  */
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 /** Represents the execution history of an {@link ImperativeCommand} sequence */
 public interface Scenario {

jetCheck/src/org/jetbrains/jetCheck/ScenarioImpl.java

@@ -1,7 +1,7 @@
 /*
  * Copyright 2000-2017 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
  */
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;

jetCheck/src/org/jetbrains/jetCheck/ShrinkStep.java

@@ -1,7 +1,7 @@
 /*
  * Copyright 2000-2017 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
  */
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;

jetCheck/src/org/jetbrains/jetCheck/StatusNotifier.java

@@ -1,4 +1,4 @@
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import org.jetbrains.annotations.NotNull;
 

jetCheck/src/org/jetbrains/jetCheck/StructureNode.java

@@ -1,4 +1,4 @@
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;

jetCheck/test/org/jetbrains/jetCheck/ExceptionTest.java

@@ -1,6 +1,9 @@
-package jetCheck;
+/*
+ * Copyright 2000-2018 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
+ */
+package org.jetbrains.jetCheck;
 
-import static jetCheck.Generator.*;
+import static org.jetbrains.jetCheck.Generator.*;
 
 /**
  * @author peter

jetCheck/test/org/jetbrains/jetCheck/GeneratorTest.java

@@ -1,10 +1,13 @@
-package jetCheck;
+/*
+ * Copyright 2000-2018 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
+ */
+package org.jetbrains.jetCheck;
 
 import java.util.*;
 import java.util.function.Predicate;
 import java.util.stream.Collectors;
 
-import static jetCheck.Generator.*;
+import static org.jetbrains.jetCheck.Generator.*;
 
 /**
  * @author peter

jetCheck/test/org/jetbrains/jetCheck/PropertyCheckerTestCase.java

@@ -1,4 +1,7 @@
-package jetCheck;
+/*
+ * Copyright 2000-2018 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
+ */
+package org.jetbrains.jetCheck;
 
 import junit.framework.TestCase;
 

jetCheck/test/org/jetbrains/jetCheck/RecursiveGeneratorTest.java

@@ -1,4 +1,7 @@
-package jetCheck;
+/*
+ * Copyright 2000-2018 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
+ */
+package org.jetbrains.jetCheck;
 
 import java.util.List;
 import java.util.stream.Collectors;

jetCheck/test/org/jetbrains/jetCheck/ShrinkTest.java

@@ -1,7 +1,7 @@
 /*
- * Copyright 2000-2017 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
+ * Copyright 2000-2018 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
  */
-package jetCheck;
+package org.jetbrains.jetCheck;
 
 import java.util.Arrays;
 import java.util.HashSet;
@@ -9,7 +9,7 @@ import java.util.List;
 import java.util.Set;
 import java.util.function.Predicate;
 
-import static jetCheck.Generator.*;
+import static org.jetbrains.jetCheck.Generator.*;
 
 /**
  * @author peter

jetCheck/test/org/jetbrains/jetCheck/StatefulGeneratorTest.java

@@ -1,5 +1,7 @@
-// Copyright 2000-2017 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
-package jetCheck;
+/*
+ * Copyright 2000-2018 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
+ */
+package org.jetbrains.jetCheck;
 
 import org.jetbrains.annotations.NotNull;
 
@@ -7,7 +9,7 @@ import java.util.List;
 import java.util.Objects;
 import java.util.concurrent.atomic.AtomicInteger;
 
-import static jetCheck.Generator.*;
+import static org.jetbrains.jetCheck.Generator.*;
 
 /**
  * @author peter

platform/platform-tests/testSrc/com/intellij/psi/impl/PsiEventConsistencyTest.kt

@@ -12,9 +12,9 @@ import com.intellij.psi.impl.source.tree.*
 import com.intellij.psi.tree.IElementType
 import com.intellij.testFramework.LightPlatformTestCase
 import com.intellij.testFramework.fixtures.LightPlatformCodeInsightFixtureTestCase
-import jetCheck.Generator
-import jetCheck.IntDistribution
-import jetCheck.PropertyChecker
+import org.jetbrains.jetCheck.Generator
+import org.jetbrains.jetCheck.IntDistribution
+import org.jetbrains.jetCheck.PropertyChecker
 import one.util.streamex.IntStreamEx
 
 /**

platform/testFramework/testSrc/com/intellij/testFramework/propertyBased/CheckHighlighterConsistency.java

@@ -24,7 +24,7 @@ import com.intellij.psi.PsiFile;
 import com.intellij.testFramework.LexerTestCase;
 import org.jetbrains.annotations.NotNull;
 import org.junit.Assert;
-import jetCheck.Generator;
+import org.jetbrains.jetCheck.Generator;
 
 /**
  * Checks that incrementally updated editor highlighter produces the same result as it would

platform/testFramework/testSrc/com/intellij/testFramework/propertyBased/DeleteRange.java

@@ -21,8 +21,8 @@ import com.intellij.psi.PsiElement;
 import com.intellij.psi.PsiFile;
 import com.intellij.psi.util.PsiTreeUtil;
 import org.jetbrains.annotations.NotNull;
-import jetCheck.Generator;
-import jetCheck.IntDistribution;
+import org.jetbrains.jetCheck.Generator;
+import org.jetbrains.jetCheck.IntDistribution;
 
 import java.util.Objects;
 

platform/testFramework/testSrc/com/intellij/testFramework/propertyBased/InsertLineComment.java

@@ -5,7 +5,7 @@ import com.intellij.openapi.command.WriteCommandAction;
 import com.intellij.openapi.util.TextRange;
 import com.intellij.psi.PsiElement;
 import com.intellij.psi.PsiFile;
-import jetCheck.Generator;
+import org.jetbrains.jetCheck.Generator;
 import org.jetbrains.annotations.NotNull;
 
 import java.util.Objects;

platform/testFramework/testSrc/com/intellij/testFramework/propertyBased/InsertString.java

@@ -18,7 +18,7 @@ package com.intellij.testFramework.propertyBased;
 import com.intellij.openapi.command.WriteCommandAction;
 import com.intellij.psi.PsiFile;
 import org.jetbrains.annotations.NotNull;
-import jetCheck.Generator;
+import org.jetbrains.jetCheck.Generator;
 
 public class InsertString extends ActionOnRange {
   private final String myToInsert;

platform/testFramework/testSrc/com/intellij/testFramework/propertyBased/InvokeCompletion.java

@@ -40,8 +40,8 @@ import com.intellij.testFramework.PsiTestUtil;
 import com.intellij.testFramework.fixtures.TestLookupElementPresentation;
 import com.intellij.util.containers.ContainerUtil;
 import com.intellij.util.ui.UIUtil;
-import jetCheck.Generator;
-import jetCheck.IntDistribution;
+import org.jetbrains.jetCheck.Generator;
+import org.jetbrains.jetCheck.IntDistribution;
 import junit.framework.TestCase;
 import org.jetbrains.annotations.NotNull;
 

platform/testFramework/testSrc/com/intellij/testFramework/propertyBased/InvokeIntention.java

@@ -34,7 +34,7 @@ import com.intellij.psi.util.PsiUtilBase;
 import com.intellij.testFramework.PsiTestUtil;
 import com.intellij.testFramework.fixtures.impl.CodeInsightTestFixtureImpl;
 import com.intellij.util.containers.ContainerUtil;
-import jetCheck.Generator;
+import org.jetbrains.jetCheck.Generator;
 import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;
 

platform/testFramework/testSrc/com/intellij/testFramework/propertyBased/MadTestingUtil.java

@@ -42,9 +42,9 @@ import com.intellij.testFramework.UsefulTestCase;
 import com.intellij.testFramework.fixtures.CodeInsightTestFixture;
 import com.intellij.util.ThrowableRunnable;
 import com.intellij.util.ui.UIUtil;
-import jetCheck.DataStructure;
-import jetCheck.Generator;
-import jetCheck.IntDistribution;
+import org.jetbrains.jetCheck.DataStructure;
+import org.jetbrains.jetCheck.Generator;
+import org.jetbrains.jetCheck.IntDistribution;
 import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;
 

platform/testFramework/testSrc/com/intellij/testFramework/propertyBased/PsiIndexConsistencyTester.kt

@@ -29,7 +29,7 @@ import com.intellij.psi.impl.source.PsiFileImpl
 import com.intellij.testFramework.PlatformTestUtil
 import com.intellij.testFramework.fixtures.CodeInsightTestFixture
 import com.intellij.util.FileContentUtilCore
-import jetCheck.Generator
+import org.jetbrains.jetCheck.Generator
 
 /**
  * @author peter

platform/util/testSrc/com/intellij/util/text/StringUtilTest.java

@@ -8,8 +8,8 @@ import com.intellij.openapi.util.text.StringUtil;
 import com.intellij.util.LineSeparator;
 import com.intellij.util.containers.ContainerUtil;
 import com.intellij.xml.util.XmlStringUtil;
-import jetCheck.Generator;
-import jetCheck.PropertyChecker;
+import org.jetbrains.jetCheck.Generator;
+import org.jetbrains.jetCheck.PropertyChecker;
 import org.jdom.Verifier;
 import org.jetbrains.annotations.NotNull;
 import org.junit.Test;

python/testSrc/com/intellij/python/propertyBased/PythonCodeInsightSanityTest.java

@@ -23,8 +23,8 @@ import com.intellij.testFramework.fixtures.CodeInsightTestFixture;
 import com.intellij.testFramework.propertyBased.*;
 import com.jetbrains.env.PyEnvTestCase;
 import com.jetbrains.env.PyExecutionFixtureTestTask;
-import jetCheck.Generator;
-import jetCheck.PropertyChecker;
+import org.jetbrains.jetCheck.Generator;
+import org.jetbrains.jetCheck.PropertyChecker;
 import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;
 import org.junit.Test;