├── .azure ├── Makefile ├── azure-pipelines.yml ├── azure-pipelines.yml.m4 ├── defs.m4 └── jobs.m4 ├── .circleci ├── Makefile ├── config.yml ├── config.yml.m4 └── defs.m4 ├── .coderabbit.yaml ├── .github ├── ISSUE_TEMPLATE └── renovate.json ├── .gitignore ├── .python-version ├── CONTRIBUTING.md ├── LICENSE.txt ├── Makefile ├── README.md ├── covered-class ├── build.gradle └── src │ ├── main │ └── java │ │ └── randoop │ │ └── instrument │ │ ├── CoveredClassAgent.java │ │ └── CoveredClassTransformer.java │ └── test │ ├── java │ ├── instrument │ │ └── testcase │ │ │ ├── A.java │ │ │ ├── AE.java │ │ │ ├── AbstractTarget.java │ │ │ ├── B.java │ │ │ ├── BE.java │ │ │ ├── C.java │ │ │ ├── CE.java │ │ │ ├── ChildOfTarget.java │ │ │ ├── D.java │ │ │ ├── ImplementorOfTarget.java │ │ │ └── InterfaceTarget.java │ └── randoop │ │ └── instrument │ │ ├── CoverageInstrumentationTest.java │ │ ├── CoveredClassTest.java │ │ ├── LoadingWithAnnotationTest.java │ │ └── SpecialCoveredClassTest.java │ └── resources │ └── instrument │ └── testcase │ ├── allclasses.txt │ ├── annotatedclasses.txt │ ├── coveredclasses.txt │ ├── special-allclasses.txt │ └── special-coveredclasses.txt ├── gradle-mvn-push.gradle ├── gradle.properties ├── gradle └── wrapper │ ├── gradle-wrapper.jar │ └── gradle-wrapper.properties ├── gradlew ├── gradlew.bat ├── pyproject.toml ├── replacecall ├── build.gradle └── src │ ├── agentTest │ ├── java │ │ └── instrument │ │ │ └── CallReplacementTest.java │ └── resources │ │ └── replacecall-exclusions.txt │ ├── main │ ├── java │ │ └── randoop │ │ │ ├── MethodReplacements.java │ │ │ ├── SystemExitCalledError.java │ │ │ ├── instrument │ │ │ ├── CallReplacementTransformer.java │ │ │ ├── MethodSignature.java │ │ │ ├── ReplaceCallAgent.java │ │ │ ├── ReplacementFileException.java │ │ │ └── ReplacementFileReader.java │ │ │ └── mock │ │ │ ├── README │ │ │ ├── java │ │ │ ├── awt │ │ │ │ ├── Component.java │ │ │ │ ├── Dialog.java │ │ │ │ ├── Frame.java │ │ │ │ ├── GraphicsEnvironment.java │ │ │ │ └── Window.java │ │ │ ├── lang │ │ │ │ └── System.java │ │ │ └── util │ │ │ │ └── RandomReplace.java │ │ │ └── javax │ │ │ └── swing │ │ │ ├── JComponent.java │ │ │ ├── JDialog.java │ │ │ ├── JFrame.java │ │ │ ├── JOptionPane.java │ │ │ └── JWindow.java │ └── resources │ │ ├── default-load-exclusions.txt │ │ └── default-replacements.txt │ └── test │ ├── java │ └── randoop │ │ └── instrument │ │ └── ReplacementFileTest.java │ └── resources │ └── randoop │ └── instrument │ ├── badargumenttypereplacement.txt │ ├── badformatreplacement.txt │ ├── classreplacement.txt │ ├── missingclass.txt │ ├── missingclassreplacement.txt │ ├── missingmethodreplacement.txt │ ├── missingpackage.txt │ └── packagereplacement.txt ├── scripts ├── Dockerfile-README ├── Dockerfile-ubuntu-jdk11 ├── Dockerfile-ubuntu-jdk17 ├── Dockerfile-ubuntu-jdk21 ├── Dockerfile-ubuntu-jdk24 ├── Dockerfile-ubuntu-jdk8 ├── Dockerfile-ubuntu-jdkany ├── Dockerfile-ubuntu-jdkany-coverage ├── Makefile ├── count-klocs.pl ├── defects4j_README.md ├── defects4j_coverage.pl ├── defects4j_randoop.sh ├── defects4j_randoopBloodhound.sh ├── pre-commit ├── prepare-coverage.pl ├── replace-randoop-jars.sh ├── show-coverage.pl ├── test-misc.sh ├── test-nonSystemTest.sh └── test-systemTest.sh ├── settings.gradle ├── src ├── distribution │ ├── README.md │ └── resources │ │ └── README.txt ├── docs │ ├── CHANGELOG.md │ ├── README.md │ ├── files │ │ ├── randoop_case_study_2008.pdf │ │ ├── randoop_case_study_2008.ppt │ │ └── thesis_talk_post.pdf │ ├── images │ │ └── randoop-logo.png │ ├── index.html │ ├── manual │ │ ├── README.md │ │ ├── class_list_example.txt │ │ ├── dev.html │ │ ├── index.html │ │ ├── method_list_example.txt │ │ ├── net_connection_java.txt │ │ ├── net_connection_spec.json │ │ ├── stylesheets │ │ │ └── main.css │ │ ├── type-design.graffle │ │ └── type-design.pdf │ ├── projectideas.html │ ├── publications.html │ └── stylesheets │ │ └── styles.css ├── main │ ├── java │ │ └── randoop │ │ │ ├── CheckRep.java │ │ │ ├── DummyVisitor.java │ │ │ ├── ExceptionalExecution.java │ │ │ ├── ExecutionOutcome.java │ │ │ ├── ExecutionVisitor.java │ │ │ ├── Globals.java │ │ │ ├── MultiVisitor.java │ │ │ ├── NormalExecution.java │ │ │ ├── NotExecuted.java │ │ │ ├── ReplayFailureException.java │ │ │ ├── SideEffectFree.java │ │ │ ├── SubTypeSet.java │ │ │ ├── TestValue.java │ │ │ ├── compile │ │ │ ├── CompileUtil.java │ │ │ ├── FileCompiler.java │ │ │ ├── SequenceCompiler.java │ │ │ ├── SequenceCompilerException.java │ │ │ └── SequenceJavaFileObject.java │ │ │ ├── condition │ │ │ ├── ExecutableBooleanExpression.java │ │ │ ├── ExecutableSpecification.java │ │ │ ├── ExpectedOutcomeTable.java │ │ │ ├── GuardPropertyPair.java │ │ │ ├── GuardThrowsPair.java │ │ │ ├── RandoopSpecificationError.java │ │ │ ├── SpecificationCollection.java │ │ │ ├── SpecificationTranslator.java │ │ │ ├── ThrowsClause.java │ │ │ └── specification │ │ │ │ ├── AbstractBooleanExpression.java │ │ │ │ ├── Guard.java │ │ │ │ ├── Identifiers.java │ │ │ │ ├── OperationSignature.java │ │ │ │ ├── OperationSpecification.java │ │ │ │ ├── Postcondition.java │ │ │ │ ├── Precondition.java │ │ │ │ ├── Property.java │ │ │ │ ├── SpecificationClause.java │ │ │ │ └── ThrowsCondition.java │ │ │ ├── contract │ │ │ ├── CheckRepContract.java │ │ │ ├── CompareToAntiSymmetric.java │ │ │ ├── CompareToEquals.java │ │ │ ├── CompareToReflexive.java │ │ │ ├── CompareToReturnsNormally.java │ │ │ ├── CompareToSubs.java │ │ │ ├── CompareToTransitive.java │ │ │ ├── EnumValue.java │ │ │ ├── EqualsHashcode.java │ │ │ ├── EqualsReflexive.java │ │ │ ├── EqualsReturnsNormally.java │ │ │ ├── EqualsSymmetric.java │ │ │ ├── EqualsToNullRetFalse.java │ │ │ ├── EqualsTransitive.java │ │ │ ├── HashCodeReturnsNormally.java │ │ │ ├── IsNotNull.java │ │ │ ├── IsNull.java │ │ │ ├── ObjectContract.java │ │ │ ├── ObjectContractUtils.java │ │ │ ├── ObserverEqArray.java │ │ │ ├── ObserverEqValue.java │ │ │ ├── PrimValue.java │ │ │ ├── SizeToArrayLength.java │ │ │ └── ToStringReturnsNormally.java │ │ │ ├── execution │ │ │ ├── RunCommand.java │ │ │ └── TestEnvironment.java │ │ │ ├── field │ │ │ ├── AccessibleField.java │ │ │ └── FieldParser.java │ │ │ ├── generation │ │ │ ├── AbstractGenerator.java │ │ │ ├── Bloodhound.java │ │ │ ├── ComponentManager.java │ │ │ ├── CoverageTracker.java │ │ │ ├── DefaultOperationHistoryLogger.java │ │ │ ├── EqualsMethodMatcher.java │ │ │ ├── EverythingIsDifferentMatcher.java │ │ │ ├── ForwardGenerator.java │ │ │ ├── GrtFuzzer.java │ │ │ ├── GrtNumericFuzzer.java │ │ │ ├── GrtObjectFuzzer.java │ │ │ ├── GrtStringFuzzer.java │ │ │ ├── HelperSequenceCreator.java │ │ │ ├── IEventListener.java │ │ │ ├── IStopper.java │ │ │ ├── InputSequenceSelector.java │ │ │ ├── InputsAndSuccessFlag.java │ │ │ ├── ObjectCache.java │ │ │ ├── OperationHistoryLogInterface.java │ │ │ ├── OperationHistoryLogger.java │ │ │ ├── OperationOutcome.java │ │ │ ├── OrienteeringSelection.java │ │ │ ├── RandoopGenerationError.java │ │ │ ├── SeedSequences.java │ │ │ ├── SmallTestsSequenceSelection.java │ │ │ ├── StateMatcher.java │ │ │ ├── TestUtils.java │ │ │ ├── TypedOperationSelector.java │ │ │ ├── UniformRandomMethodSelection.java │ │ │ └── UniformRandomSequenceSelection.java │ │ │ ├── instrument │ │ │ └── CoveredClassVisitor.java │ │ │ ├── main │ │ │ ├── ClassNameErrorHandler.java │ │ │ ├── CommandHandler.java │ │ │ ├── ExceptionBehaviorClassifier.java │ │ │ ├── GenInputsAbstract.java │ │ │ ├── GenTests.java │ │ │ ├── Help.java │ │ │ ├── Main.java │ │ │ ├── Minimize.java │ │ │ ├── OptionsCache.java │ │ │ ├── RandoopBug.java │ │ │ ├── RandoopClassNameError.java │ │ │ ├── RandoopCommandError.java │ │ │ ├── RandoopUsageError.java │ │ │ ├── ThrowClassNameError.java │ │ │ └── WarnOnBadClassName.java │ │ │ ├── operation │ │ │ ├── ArrayCreation.java │ │ │ ├── ArrayElementSet.java │ │ │ ├── CallableOperation.java │ │ │ ├── ConstructorCall.java │ │ │ ├── EnumConstant.java │ │ │ ├── FieldGet.java │ │ │ ├── FieldSet.java │ │ │ ├── InitializedArrayCreation.java │ │ │ ├── MethodCall.java │ │ │ ├── NonreceiverTerm.java │ │ │ ├── Operation.java │ │ │ ├── OperationParseException.java │ │ │ ├── OperationParser.java │ │ │ ├── ReflectionArrayCreation.java │ │ │ ├── TypeArguments.java │ │ │ ├── TypedClassOperation.java │ │ │ ├── TypedClassOperationWithCast.java │ │ │ ├── TypedOperation.java │ │ │ ├── TypedTermOperation.java │ │ │ └── UncheckedCast.java │ │ │ ├── output │ │ │ ├── ClassRenamingVisitor.java │ │ │ ├── ClassTypeNameSimplifyVisitor.java │ │ │ ├── ClassTypeVisitor.java │ │ │ ├── CodeWriter.java │ │ │ ├── FailingAssertionCommentWriter.java │ │ │ ├── FieldAccessTypeNameSimplifyVisitor.java │ │ │ ├── JUnitCreator.java │ │ │ ├── JavaFileWriter.java │ │ │ ├── MethodTypeNameSimplifyVisitor.java │ │ │ ├── MinimizerWriter.java │ │ │ ├── NameGenerator.java │ │ │ ├── PrimitiveAndWrappedTypeVarNameCollector.java │ │ │ ├── RandoopOutputException.java │ │ │ └── SourceBuilder.java │ │ │ ├── reflection │ │ │ ├── AccessibilityPredicate.java │ │ │ ├── CheckRepExtractor.java │ │ │ ├── ClassLiteralExtractor.java │ │ │ ├── ClassVisitor.java │ │ │ ├── DeclarationExtractor.java │ │ │ ├── DefaultClassVisitor.java │ │ │ ├── DefaultReflectionPredicate.java │ │ │ ├── EverythingAllowedPredicate.java │ │ │ ├── FailedPredicateException.java │ │ │ ├── LiteralFileReader.java │ │ │ ├── OmitMethodsPredicate.java │ │ │ ├── OperationExtractor.java │ │ │ ├── OperationModel.java │ │ │ ├── RandoopInstantiationError.java │ │ │ ├── RawSignature.java │ │ │ ├── ReflectionManager.java │ │ │ ├── ReflectionPredicate.java │ │ │ ├── SignatureParseException.java │ │ │ ├── SignatureParser.java │ │ │ ├── StaticCache.java │ │ │ ├── TestValueExtractor.java │ │ │ ├── TypeExtractor.java │ │ │ ├── TypeInstantiator.java │ │ │ ├── TypeNames.java │ │ │ └── TypeTupleSet.java │ │ │ ├── runtime │ │ │ ├── ClosingStream.java │ │ │ ├── CreatedJUnitFile.java │ │ │ ├── ErrorRevealed.java │ │ │ ├── IMessage.java │ │ │ ├── RandoopFinished.java │ │ │ └── RandoopStarted.java │ │ │ ├── sequence │ │ │ ├── ClassLiterals.java │ │ │ ├── DummyVariable.java │ │ │ ├── ExecutableSequence.java │ │ │ ├── Execution.java │ │ │ ├── MappedSequences.java │ │ │ ├── PackageLiterals.java │ │ │ ├── ReferenceValue.java │ │ │ ├── Sequence.java │ │ │ ├── SequenceCollection.java │ │ │ ├── SequenceExceptionError.java │ │ │ ├── SequenceExecutionException.java │ │ │ ├── SequenceParseException.java │ │ │ ├── Statement.java │ │ │ ├── StringTooLongException.java │ │ │ ├── TupleSequence.java │ │ │ ├── Value.java │ │ │ ├── VarAndSeq.java │ │ │ ├── Variable.java │ │ │ └── VariableRenamer.java │ │ │ ├── test │ │ │ ├── Check.java │ │ │ ├── CompilableTestPredicate.java │ │ │ ├── ContractCheckingGenerator.java │ │ │ ├── ContractSet.java │ │ │ ├── DummyCheckGenerator.java │ │ │ ├── EmptyExceptionCheck.java │ │ │ ├── ErrorRevealingChecks.java │ │ │ ├── ErrorTestPredicate.java │ │ │ ├── ExceptionCheck.java │ │ │ ├── ExcludeTestPredicate.java │ │ │ ├── ExpectedExceptionCheck.java │ │ │ ├── ExpectedExceptionCheckGen.java │ │ │ ├── ExpectedExceptionGenerator.java │ │ │ ├── ExtendGenerator.java │ │ │ ├── IncludeIfCoversPredicate.java │ │ │ ├── IncludeTestPredicate.java │ │ │ ├── InvalidCheckGenerator.java │ │ │ ├── InvalidChecks.java │ │ │ ├── InvalidExceptionCheck.java │ │ │ ├── InvalidValueCheck.java │ │ │ ├── MissingExceptionCheck.java │ │ │ ├── NoExceptionCheck.java │ │ │ ├── ObjectCheck.java │ │ │ ├── PostConditionCheck.java │ │ │ ├── PostConditionCheckGenerator.java │ │ │ ├── RegressionCaptureGenerator.java │ │ │ ├── RegressionChecks.java │ │ │ ├── RegressionTestPredicate.java │ │ │ ├── TestCheckGenerator.java │ │ │ ├── TestChecks.java │ │ │ ├── ValidityCheckingGenerator.java │ │ │ └── ValueSizePredicate.java │ │ │ ├── types │ │ │ ├── ArrayType.java │ │ │ ├── BoundsCheck.java │ │ │ ├── CaptureTypeVariable.java │ │ │ ├── ClassOrInterfaceType.java │ │ │ ├── EagerReferenceBound.java │ │ │ ├── ExplicitTypeVariable.java │ │ │ ├── GenericClassType.java │ │ │ ├── InstantiatedType.java │ │ │ ├── IntersectionTypeBound.java │ │ │ ├── JDKTypes.java │ │ │ ├── JavaTypes.java │ │ │ ├── LazyParameterBound.java │ │ │ ├── LazyReferenceBound.java │ │ │ ├── NonParameterizedType.java │ │ │ ├── NullReferenceType.java │ │ │ ├── ParameterBound.java │ │ │ ├── ParameterType.java │ │ │ ├── ParameterizedType.java │ │ │ ├── PrimitiveType.java │ │ │ ├── PrimitiveTypes.java │ │ │ ├── RandoopTypeException.java │ │ │ ├── ReferenceArgument.java │ │ │ ├── ReferenceBound.java │ │ │ ├── ReferenceType.java │ │ │ ├── Substitution.java │ │ │ ├── Type.java │ │ │ ├── TypeArgument.java │ │ │ ├── TypeTuple.java │ │ │ ├── TypeVariable.java │ │ │ ├── VoidType.java │ │ │ ├── WildcardArgument.java │ │ │ └── WildcardType.java │ │ │ └── util │ │ │ ├── CheckpointingMultiMap.java │ │ │ ├── CheckpointingSet.java │ │ │ ├── ClassFileConstants.java │ │ │ ├── CollectionsExt.java │ │ │ ├── ConstructorReflectionCode.java │ │ │ ├── CountDownTimer.java │ │ │ ├── IMultiMap.java │ │ │ ├── IdentityMultiMap.java │ │ │ ├── JarReader.java │ │ │ ├── KeyToMultiSet.java │ │ │ ├── Log.java │ │ │ ├── MethodReflectionCode.java │ │ │ ├── MultiMap.java │ │ │ ├── MultiSet.java │ │ │ ├── ObjectContractReflectionCode.java │ │ │ ├── ProgressDisplay.java │ │ │ ├── Randomness.java │ │ │ ├── RandoopLoggingError.java │ │ │ ├── RandoopUncaughtRunnerThreadExceptionHandler.java │ │ │ ├── RecordListReader.java │ │ │ ├── RecordProcessor.java │ │ │ ├── ReflectionCode.java │ │ │ ├── ReflectionExecutor.java │ │ │ ├── RunnerThread.java │ │ │ ├── TestCoverageInfo.java │ │ │ ├── TupleSet.java │ │ │ ├── Util.java │ │ │ └── predicate │ │ │ ├── AlwaysFalse.java │ │ │ └── AlwaysTrue.java │ └── resources │ │ ├── JDK-nondet-methods.txt │ │ ├── JDK-sef-methods.txt │ │ ├── omit-classes-defaults.txt │ │ ├── omitmethods-defaults.txt │ │ └── specifications │ │ └── jdk │ │ ├── README │ │ ├── java-awt-AWTEvent.json │ │ ├── java-awt-AWTEventMulticaster.json │ │ ├── java-awt-AWTKeyStroke.json │ │ ├── java-awt-AWTPermission.json │ │ ├── java-awt-AlphaComposite.json │ │ ├── java-awt-BasicStroke.json │ │ ├── java-awt-BorderLayout.json │ │ ├── java-awt-BufferCapabilities.json │ │ ├── java-awt-Button.json │ │ ├── java-awt-Canvas.json │ │ ├── java-awt-Checkbox.json │ │ ├── java-awt-CheckboxGroup.json │ │ ├── java-awt-Choice.json │ │ ├── java-awt-Color.json │ │ ├── java-awt-Component.json │ │ ├── java-awt-Container.json │ │ ├── java-awt-ContainerOrderFocusTraversalPolicy.json │ │ ├── java-awt-DefaultKeyboardFocusManager.json │ │ ├── java-awt-Desktop.json │ │ ├── java-awt-Dialog.json │ │ ├── java-awt-DisplayMode.json │ │ ├── java-awt-Event.json │ │ ├── java-awt-EventQueue.json │ │ ├── java-awt-FileDialog.json │ │ ├── java-awt-FocusTraversalPolicy.json │ │ ├── java-awt-Font.json │ │ ├── java-awt-FontMetrics.json │ │ ├── java-awt-Frame.json │ │ ├── java-awt-GradientPaint.json │ │ ├── java-awt-Graphics.json │ │ ├── java-awt-Graphics2D.json │ │ ├── java-awt-GraphicsDevice.json │ │ ├── java-awt-GraphicsEnvironment.json │ │ ├── java-awt-IllegalComponentStateException.json │ │ ├── java-awt-Image.json │ │ ├── java-awt-JobAttributes.json │ │ ├── java-awt-KeyboardFocusManager.json │ │ ├── java-awt-Label.json │ │ ├── java-awt-LinearGradientPaint.json │ │ ├── java-awt-List.json │ │ ├── java-awt-Menu.json │ │ ├── java-awt-MenuComponent.json │ │ ├── java-awt-MenuShortcut.json │ │ ├── java-awt-MultipleGradientPaint.json │ │ ├── java-awt-PageAttributes.json │ │ ├── java-awt-Point.json │ │ ├── java-awt-Polygon.json │ │ ├── java-awt-PopupMenu.json │ │ ├── java-awt-RadialGradientPaint.json │ │ ├── java-awt-Rectangle.json │ │ ├── java-awt-RenderingHints.json │ │ ├── java-awt-Robot.json │ │ ├── java-awt-ScrollPane.json │ │ ├── java-awt-Scrollbar.json │ │ ├── java-awt-Shape.json │ │ ├── java-awt-SplashScreen.json │ │ ├── java-awt-SystemTray.json │ │ ├── java-awt-TextArea.json │ │ ├── java-awt-TextComponent.json │ │ ├── java-awt-TextField.json │ │ ├── java-awt-Toolkit.json │ │ ├── java-awt-TrayIcon.json │ │ ├── java-awt-Window.json │ │ ├── java-awt-color-ColorSpace.json │ │ ├── java-awt-color-ICC_ColorSpace.json │ │ ├── java-awt-color-ICC_Profile.json │ │ ├── java-awt-color-ICC_ProfileRGB.json │ │ ├── java-awt-datatransfer-Clipboard.json │ │ ├── java-awt-datatransfer-DataFlavor.json │ │ ├── java-awt-datatransfer-FlavorEvent.json │ │ ├── java-awt-datatransfer-MimeType.json │ │ ├── java-awt-datatransfer-StringSelection.json │ │ ├── java-awt-datatransfer-SystemFlavorMap.json │ │ ├── java-awt-dnd-DragGestureEvent.json │ │ ├── java-awt-dnd-DragGestureRecognizer.json │ │ ├── java-awt-dnd-DragSource.json │ │ ├── java-awt-dnd-DragSourceContext.json │ │ ├── java-awt-dnd-DragSourceDragEvent.json │ │ ├── java-awt-dnd-DragSourceDropEvent.json │ │ ├── java-awt-dnd-DragSourceEvent.json │ │ ├── java-awt-dnd-DropTarget.json │ │ ├── java-awt-dnd-DropTargetContext.json │ │ ├── java-awt-dnd-DropTargetDragEvent.json │ │ ├── java-awt-dnd-DropTargetDropEvent.json │ │ ├── java-awt-dnd-DropTargetEvent.json │ │ ├── java-awt-event-ActionEvent.json │ │ ├── java-awt-event-AdjustmentEvent.json │ │ ├── java-awt-event-ComponentEvent.json │ │ ├── java-awt-event-ContainerEvent.json │ │ ├── java-awt-event-FocusEvent.json │ │ ├── java-awt-event-HierarchyEvent.json │ │ ├── java-awt-event-InputEvent.json │ │ ├── java-awt-event-InputMethodEvent.json │ │ ├── java-awt-event-InvocationEvent.json │ │ ├── java-awt-event-ItemEvent.json │ │ ├── java-awt-event-KeyEvent.json │ │ ├── java-awt-event-MouseEvent.json │ │ ├── java-awt-event-MouseWheelEvent.json │ │ ├── java-awt-event-PaintEvent.json │ │ ├── java-awt-event-TextEvent.json │ │ ├── java-awt-event-WindowEvent.json │ │ ├── java-awt-font-GlyphMetrics.json │ │ ├── java-awt-font-GlyphVector.json │ │ ├── java-awt-font-GraphicAttribute.json │ │ ├── java-awt-font-ImageGraphicAttribute.json │ │ ├── java-awt-font-LayoutPath.json │ │ ├── java-awt-font-LineBreakMeasurer.json │ │ ├── java-awt-font-LineMetrics.json │ │ ├── java-awt-font-MultipleMaster.json │ │ ├── java-awt-font-NumericShaper.json │ │ ├── java-awt-font-ShapeGraphicAttribute.json │ │ ├── java-awt-font-StyledParagraph.json │ │ ├── java-awt-font-TextHitInfo.json │ │ ├── java-awt-font-TextLayout.json │ │ ├── java-awt-font-TextMeasurer.json │ │ ├── java-awt-font-TransformAttribute.json │ │ ├── java-awt-geom-AffineTransform.json │ │ ├── java-awt-geom-Arc2D.json │ │ ├── java-awt-geom-Area.json │ │ ├── java-awt-geom-CubicCurve2D.json │ │ ├── java-awt-geom-Dimension2D.json │ │ ├── java-awt-geom-Ellipse2D.json │ │ ├── java-awt-geom-FlatteningPathIterator.json │ │ ├── java-awt-geom-Line2D.json │ │ ├── java-awt-geom-Path2D.json │ │ ├── java-awt-geom-Point2D.json │ │ ├── java-awt-geom-QuadCurve2D.json │ │ ├── java-awt-geom-Rectangle2D.json │ │ ├── java-awt-geom-RectangularShape.json │ │ ├── java-awt-geom-RoundRectangle2D.json │ │ ├── java-awt-im-InputContext.json │ │ ├── java-awt-im-spi-InputMethod.json │ │ ├── java-awt-image-BandCombineOp.json │ │ ├── java-awt-image-BandedSampleModel.json │ │ ├── java-awt-image-BufferedImage.json │ │ ├── java-awt-image-BufferedImageFilter.json │ │ ├── java-awt-image-ByteLookupTable.json │ │ ├── java-awt-image-ColorConvertOp.json │ │ ├── java-awt-image-ColorModel.json │ │ ├── java-awt-image-ComponentColorModel.json │ │ ├── java-awt-image-ComponentSampleModel.json │ │ ├── java-awt-image-ConvolveOp.json │ │ ├── java-awt-image-DataBuffer.json │ │ ├── java-awt-image-DataBufferDouble.json │ │ ├── java-awt-image-DataBufferFloat.json │ │ ├── java-awt-image-DirectColorModel.json │ │ ├── java-awt-image-ImageFilter.json │ │ ├── java-awt-image-IndexColorModel.json │ │ ├── java-awt-image-Kernel.json │ │ ├── java-awt-image-LookupTable.json │ │ ├── java-awt-image-MemoryImageSource.json │ │ ├── java-awt-image-MultiPixelPackedSampleModel.json │ │ ├── java-awt-image-PackedColorModel.json │ │ ├── java-awt-image-PixelInterleavedSampleModel.json │ │ ├── java-awt-image-RGBImageFilter.json │ │ ├── java-awt-image-Raster.json │ │ ├── java-awt-image-RescaleOp.json │ │ ├── java-awt-image-SampleModel.json │ │ ├── java-awt-image-ShortLookupTable.json │ │ ├── java-awt-image-SinglePixelPackedSampleModel.json │ │ ├── java-awt-image-VolatileImage.json │ │ ├── java-awt-image-WritableRaster.json │ │ ├── java-awt-image-WritableRenderedImage.json │ │ ├── java-awt-image-renderable-ParameterBlock.json │ │ ├── java-awt-peer-ComponentPeer.json │ │ ├── java-awt-peer-ListPeer.json │ │ ├── java-awt-peer-TextAreaPeer.json │ │ ├── java-awt-peer-TextFieldPeer.json │ │ ├── java-awt-print-Book.json │ │ ├── java-awt-print-PageFormat.json │ │ ├── java-awt-print-PrinterJob.json │ │ ├── java-io-BufferedInputStream.json │ │ ├── java-io-BufferedOutputStream.json │ │ ├── java-io-BufferedReader.json │ │ ├── java-io-BufferedWriter.json │ │ ├── java-io-ByteArrayInputStream.json │ │ ├── java-io-ByteArrayOutputStream.json │ │ ├── java-io-CharArrayReader.json │ │ ├── java-io-CharArrayWriter.json │ │ ├── java-io-Console.json │ │ ├── java-io-DataInputStream.json │ │ ├── java-io-File.json │ │ ├── java-io-FileInputStream.json │ │ ├── java-io-FilePermission.json │ │ ├── java-io-FilterInputStream.json │ │ ├── java-io-FilterOutputStream.json │ │ ├── java-io-FilterReader.json │ │ ├── java-io-FilterWriter.json │ │ ├── java-io-InputStream.json │ │ ├── java-io-LineNumberReader.json │ │ ├── java-io-ObjectInputStream.json │ │ ├── java-io-ObjectOutputStream.json │ │ ├── java-io-PipedInputStream.json │ │ ├── java-io-PipedReader.json │ │ ├── java-io-PrintStream.json │ │ ├── java-io-PrintWriter.json │ │ ├── java-io-PushbackInputStream.json │ │ ├── java-io-PushbackReader.json │ │ ├── java-io-RandomAccessFile.json │ │ ├── java-io-Reader.json │ │ ├── java-io-SequenceInputStream.json │ │ ├── java-io-SerializablePermission.json │ │ ├── java-io-StringReader.json │ │ ├── java-io-StringWriter.json │ │ ├── java-io-UncheckedIOException.json │ │ ├── java-io-WriteAbortedException.json │ │ ├── java-io-Writer.json │ │ ├── java-lang-AbstractStringBuilder.json │ │ ├── java-lang-Appendable.json │ │ ├── java-lang-Boolean.json │ │ ├── java-lang-Byte.json │ │ ├── java-lang-CharSequence.json │ │ ├── java-lang-Character.json │ │ ├── java-lang-Class.json │ │ ├── java-lang-ClassLoader.json │ │ ├── java-lang-ClassValue.json │ │ ├── java-lang-Comparable.json │ │ ├── java-lang-Compiler.json │ │ ├── java-lang-Double.json │ │ ├── java-lang-Enum.json │ │ ├── java-lang-Float.json │ │ ├── java-lang-IllegalStateException.json │ │ ├── java-lang-Integer.json │ │ ├── java-lang-Iterable.json │ │ ├── java-lang-Long.json │ │ ├── java-lang-Math.json │ │ ├── java-lang-Object.json │ │ ├── java-lang-Package.json │ │ ├── java-lang-Process.json │ │ ├── java-lang-ProcessBuilder.json │ │ ├── java-lang-Readable.json │ │ ├── java-lang-Runtime.json │ │ ├── java-lang-RuntimePermission.json │ │ ├── java-lang-SecurityManager.json │ │ ├── java-lang-Short.json │ │ ├── java-lang-StackTraceElement.json │ │ ├── java-lang-StrictMath.json │ │ ├── java-lang-String.json │ │ ├── java-lang-StringBuffer.json │ │ ├── java-lang-StringBuilder.json │ │ ├── java-lang-System.json │ │ ├── java-lang-ThreadGroup.json │ │ ├── java-lang-ThreadLocal.json │ │ ├── java-lang-Throwable.json │ │ ├── java-lang-annotation-Annotation.json │ │ ├── java-lang-annotation-AnnotationTypeMismatchException.json │ │ ├── java-lang-annotation-ElementType.json │ │ ├── java-lang-annotation-IncompleteAnnotationException.json │ │ ├── java-lang-annotation-RetentionPolicy.json │ │ ├── java-lang-instrument-ClassDefinition.json │ │ ├── java-lang-instrument-Instrumentation.json │ │ ├── java-lang-invoke-CallSite.json │ │ ├── java-lang-invoke-ConstantCallSite.json │ │ ├── java-lang-invoke-MethodHandleInfo.json │ │ ├── java-lang-invoke-MethodHandleProxies.json │ │ ├── java-lang-invoke-MethodHandles.json │ │ ├── java-lang-invoke-MethodType.json │ │ ├── java-lang-invoke-MutableCallSite.json │ │ ├── java-lang-invoke-SwitchPoint.json │ │ ├── java-lang-invoke-VolatileCallSite.json │ │ ├── java-lang-management-ManagementFactory.json │ │ ├── java-lang-management-ManagementPermission.json │ │ ├── java-lang-management-MemoryPoolMXBean.json │ │ ├── java-lang-management-MemoryType.json │ │ ├── java-lang-management-MemoryUsage.json │ │ ├── java-lang-management-MonitorInfo.json │ │ ├── java-lang-management-PlatformComponent.json │ │ ├── java-lang-management-PlatformLoggingMXBean.json │ │ ├── java-lang-management-ThreadMXBean.json │ │ ├── java-lang-ref-Reference.json │ │ ├── java-lang-ref-ReferenceQueue.json │ │ ├── java-lang-reflect-AccessibleObject.json │ │ ├── java-lang-reflect-AnnotatedElement.json │ │ ├── java-lang-reflect-Array.json │ │ ├── java-lang-reflect-Constructor.json │ │ ├── java-lang-reflect-Executable.json │ │ ├── java-lang-reflect-Field.json │ │ ├── java-lang-reflect-Method.json │ │ ├── java-lang-reflect-Parameter.json │ │ ├── java-lang-reflect-ParameterizedType.json │ │ ├── java-lang-reflect-Proxy.json │ │ ├── java-lang-reflect-ReflectPermission.json │ │ ├── java-lang-reflect-WeakCache.json │ │ ├── java-nio-Buffer.json │ │ ├── java-nio-channels-AsynchronousByteChannel.json │ │ ├── java-nio-channels-AsynchronousChannelGroup.json │ │ ├── java-nio-channels-AsynchronousFileChannel.json │ │ ├── java-nio-channels-AsynchronousServerSocketChannel.json │ │ ├── java-nio-channels-AsynchronousSocketChannel.json │ │ ├── java-nio-channels-DatagramChannel.json │ │ ├── java-nio-channels-FileChannel.json │ │ ├── java-nio-channels-FileLock.json │ │ ├── java-nio-channels-MembershipKey.json │ │ ├── java-nio-channels-NetworkChannel.json │ │ ├── java-nio-channels-SeekableByteChannel.json │ │ ├── java-nio-channels-SelectableChannel.json │ │ ├── java-nio-channels-SelectionKey.json │ │ ├── java-nio-channels-Selector.json │ │ ├── java-nio-channels-ServerSocketChannel.json │ │ ├── java-nio-channels-SocketChannel.json │ │ ├── java-nio-channels-spi-AsynchronousChannelProvider.json │ │ ├── java-nio-charset-Charset.json │ │ ├── java-nio-charset-CoderResult.json │ │ ├── java-nio-file-AccessMode.json │ │ ├── java-nio-file-DirectoryIteratorException.json │ │ ├── java-nio-file-FileTreeIterator.json │ │ ├── java-nio-file-FileTreeWalker.json │ │ ├── java-nio-file-FileVisitOption.json │ │ ├── java-nio-file-FileVisitResult.json │ │ ├── java-nio-file-Files.json │ │ ├── java-nio-file-InvalidPathException.json │ │ ├── java-nio-file-LinkOption.json │ │ ├── java-nio-file-LinkPermission.json │ │ ├── java-nio-file-Path.json │ │ ├── java-nio-file-SecureDirectoryStream.json │ │ ├── java-nio-file-StandardCopyOption.json │ │ ├── java-nio-file-StandardOpenOption.json │ │ ├── java-nio-file-WatchEvent.json │ │ ├── java-nio-file-WatchKey.json │ │ ├── java-nio-file-attribute-AclEntry.json │ │ ├── java-nio-file-attribute-AclEntryFlag.json │ │ ├── java-nio-file-attribute-AclEntryPermission.json │ │ ├── java-nio-file-attribute-AclEntryType.json │ │ ├── java-nio-file-attribute-FileTime.json │ │ ├── java-nio-file-attribute-PosixFileAttributeView.json │ │ ├── java-nio-file-attribute-PosixFileAttributes.json │ │ ├── java-nio-file-attribute-PosixFilePermission.json │ │ ├── java-nio-file-attribute-PosixFilePermissions.json │ │ ├── java-nio-file-attribute-UserDefinedFileAttributeView.json │ │ ├── java-nio-file-attribute-UserPrincipalLookupService.json │ │ ├── java-nio-file-spi-FileSystemProvider.json │ │ ├── java-util-AbstractCollection.json │ │ ├── java-util-AbstractList.json │ │ ├── java-util-AbstractMap.json │ │ ├── java-util-AbstractQueue.json │ │ ├── java-util-AbstractSequentialList.json │ │ ├── java-util-ArrayDeque.json │ │ ├── java-util-ArrayList.json │ │ ├── java-util-Arrays.json │ │ ├── java-util-Base64.json │ │ ├── java-util-BitSet.json │ │ ├── java-util-Calendar.json │ │ ├── java-util-Collection.json │ │ ├── java-util-Collections.json │ │ ├── java-util-Comparator.json │ │ ├── java-util-Currency.json │ │ ├── java-util-Date.json │ │ ├── java-util-Deque.json │ │ ├── java-util-Dictionary.json │ │ ├── java-util-DoubleSummaryStatistics.json │ │ ├── java-util-DuplicateFormatFlagsException.json │ │ ├── java-util-EnumMap.json │ │ ├── java-util-EnumSet.json │ │ ├── java-util-EventObject.json │ │ ├── java-util-Formattable.json │ │ ├── java-util-Formatter.json │ │ ├── java-util-GregorianCalendar.json │ │ ├── java-util-HashMap.json │ │ ├── java-util-HashSet.json │ │ ├── java-util-Hashtable.json │ │ ├── java-util-IdentityHashMap.json │ │ ├── java-util-IllegalFormatFlagsException.json │ │ ├── java-util-IntSummaryStatistics.json │ │ ├── java-util-Iterator.json │ │ ├── java-util-JapaneseImperialCalendar.json │ │ ├── java-util-JumboEnumSet.json │ │ ├── java-util-LinkedHashMap.json │ │ ├── java-util-LinkedHashSet.json │ │ ├── java-util-LinkedList.json │ │ ├── java-util-List.json │ │ ├── java-util-Locale.json │ │ ├── java-util-LongSummaryStatistics.json │ │ ├── java-util-Map.json │ │ ├── java-util-NavigableMap.json │ │ ├── java-util-NavigableSet.json │ │ ├── java-util-Objects.json │ │ ├── java-util-Observable.json │ │ ├── java-util-Optional.json │ │ ├── java-util-PrimitiveIterator.json │ │ ├── java-util-PriorityQueue.json │ │ ├── java-util-Properties.json │ │ ├── java-util-PropertyPermission.json │ │ ├── java-util-PropertyResourceBundle.json │ │ ├── java-util-Queue.json │ │ ├── java-util-Random.json │ │ ├── java-util-RegularEnumSet.json │ │ ├── java-util-ResourceBundle.json │ │ ├── java-util-Scanner.json │ │ ├── java-util-Set.json │ │ ├── java-util-SimpleTimeZone.json │ │ ├── java-util-SortedMap.json │ │ ├── java-util-SortedSet.json │ │ ├── java-util-Spliterator.json │ │ ├── java-util-Spliterators.json │ │ ├── java-util-SplittableRandom.json │ │ ├── java-util-Stack.json │ │ ├── java-util-StringJoiner.json │ │ ├── java-util-StringTokenizer.json │ │ ├── java-util-TimeZone.json │ │ ├── java-util-Timer.json │ │ ├── java-util-TreeMap.json │ │ ├── java-util-TreeSet.json │ │ ├── java-util-UUID.json │ │ ├── java-util-UnknownFormatFlagsException.json │ │ ├── java-util-Vector.json │ │ ├── java-util-WeakHashMap.json │ │ ├── java-util-concurrent-AbstractExecutorService.json │ │ ├── java-util-concurrent-ArrayBlockingQueue.json │ │ ├── java-util-concurrent-BlockingDeque.json │ │ ├── java-util-concurrent-BlockingQueue.json │ │ ├── java-util-concurrent-CompletableFuture.json │ │ ├── java-util-concurrent-CompletionService.json │ │ ├── java-util-concurrent-CompletionStage.json │ │ ├── java-util-concurrent-ConcurrentHashMap.json │ │ ├── java-util-concurrent-ConcurrentLinkedDeque.json │ │ ├── java-util-concurrent-ConcurrentLinkedQueue.json │ │ ├── java-util-concurrent-ConcurrentMap.json │ │ ├── java-util-concurrent-ConcurrentNavigableMap.json │ │ ├── java-util-concurrent-ConcurrentSkipListMap.json │ │ ├── java-util-concurrent-ConcurrentSkipListSet.json │ │ ├── java-util-concurrent-CopyOnWriteArrayList.json │ │ ├── java-util-concurrent-CopyOnWriteArraySet.json │ │ ├── java-util-concurrent-CountDownLatch.json │ │ ├── java-util-concurrent-CountedCompleter.json │ │ ├── java-util-concurrent-CyclicBarrier.json │ │ ├── java-util-concurrent-DelayQueue.json │ │ ├── java-util-concurrent-Executor.json │ │ ├── java-util-concurrent-ExecutorCompletionService.json │ │ ├── java-util-concurrent-ExecutorService.json │ │ ├── java-util-concurrent-Executors.json │ │ ├── java-util-concurrent-ForkJoinPool.json │ │ ├── java-util-concurrent-ForkJoinTask.json │ │ ├── java-util-concurrent-Future.json │ │ ├── java-util-concurrent-FutureTask.json │ │ ├── java-util-concurrent-LinkedBlockingDeque.json │ │ ├── java-util-concurrent-LinkedBlockingQueue.json │ │ ├── java-util-concurrent-LinkedTransferQueue.json │ │ ├── java-util-concurrent-Phaser.json │ │ ├── java-util-concurrent-PriorityBlockingQueue.json │ │ ├── java-util-concurrent-RecursiveTask.json │ │ ├── java-util-concurrent-ScheduledExecutorService.json │ │ ├── java-util-concurrent-ScheduledThreadPoolExecutor.json │ │ ├── java-util-concurrent-Semaphore.json │ │ ├── java-util-concurrent-SynchronousQueue.json │ │ ├── java-util-concurrent-ThreadLocalRandom.json │ │ ├── java-util-concurrent-ThreadPoolExecutor.json │ │ ├── java-util-concurrent-TimeUnit.json │ │ ├── java-util-concurrent-TransferQueue.json │ │ ├── java-util-concurrent-atomic-AtomicBoolean.json │ │ ├── java-util-concurrent-atomic-AtomicInteger.json │ │ ├── java-util-concurrent-atomic-AtomicIntegerArray.json │ │ ├── java-util-concurrent-atomic-AtomicIntegerFieldUpdater.json │ │ ├── java-util-concurrent-atomic-AtomicLong.json │ │ ├── java-util-concurrent-atomic-AtomicLongArray.json │ │ ├── java-util-concurrent-atomic-AtomicLongFieldUpdater.json │ │ ├── java-util-concurrent-atomic-AtomicReference.json │ │ ├── java-util-concurrent-atomic-AtomicReferenceArray.json │ │ ├── java-util-concurrent-atomic-AtomicReferenceFieldUpdater.json │ │ ├── java-util-concurrent-atomic-DoubleAccumulator.json │ │ ├── java-util-concurrent-atomic-DoubleAdder.json │ │ ├── java-util-concurrent-atomic-LongAccumulator.json │ │ ├── java-util-concurrent-atomic-LongAdder.json │ │ ├── java-util-concurrent-locks-AbstractQueuedLongSynchronizer.json │ │ ├── java-util-concurrent-locks-AbstractQueuedSynchronizer.json │ │ ├── java-util-concurrent-locks-Condition.json │ │ ├── java-util-concurrent-locks-LockSupport.json │ │ ├── java-util-concurrent-locks-ReentrantLock.json │ │ ├── java-util-concurrent-locks-ReentrantReadWriteLock.json │ │ ├── java-util-concurrent-locks-StampedLock.json │ │ ├── java-util-function-BiConsumer.json │ │ ├── java-util-function-BiFunction.json │ │ ├── java-util-function-BiPredicate.json │ │ ├── java-util-function-BinaryOperator.json │ │ ├── java-util-function-Consumer.json │ │ ├── java-util-function-DoubleConsumer.json │ │ ├── java-util-function-DoublePredicate.json │ │ ├── java-util-function-DoubleUnaryOperator.json │ │ ├── java-util-function-Function.json │ │ ├── java-util-function-IntConsumer.json │ │ ├── java-util-function-IntPredicate.json │ │ ├── java-util-function-IntUnaryOperator.json │ │ ├── java-util-function-LongConsumer.json │ │ ├── java-util-function-LongPredicate.json │ │ ├── java-util-function-LongUnaryOperator.json │ │ ├── java-util-function-Predicate.json │ │ ├── java-util-jar-JarEntry.json │ │ ├── java-util-jar-JarInputStream.json │ │ ├── java-util-logging-FileHandler.json │ │ ├── java-util-logging-Formatter.json │ │ ├── java-util-logging-Handler.json │ │ ├── java-util-logging-Level.json │ │ ├── java-util-logging-LogManager.json │ │ ├── java-util-logging-Logger.json │ │ ├── java-util-logging-LoggingMXBean.json │ │ ├── java-util-logging-LoggingPermission.json │ │ ├── java-util-logging-MemoryHandler.json │ │ ├── java-util-logging-StreamHandler.json │ │ ├── java-util-logging-XMLFormatter.json │ │ ├── java-util-prefs-AbstractPreferences.json │ │ ├── java-util-prefs-Preferences.json │ │ ├── java-util-regex-Matcher.json │ │ ├── java-util-regex-Pattern.json │ │ ├── java-util-regex-UnicodeProp.json │ │ ├── java-util-spi-CalendarDataProvider.json │ │ ├── java-util-spi-CalendarNameProvider.json │ │ ├── java-util-spi-CurrencyNameProvider.json │ │ ├── java-util-spi-LocaleNameProvider.json │ │ ├── java-util-spi-LocaleServiceProvider.json │ │ ├── java-util-spi-ResourceBundleControlProvider.json │ │ ├── java-util-spi-TimeZoneNameProvider.json │ │ ├── java-util-stream-AbstractPipeline.json │ │ ├── java-util-stream-AbstractShortCircuitTask.json │ │ ├── java-util-stream-AbstractTask.json │ │ ├── java-util-stream-Collector.json │ │ ├── java-util-stream-DoubleStream.json │ │ ├── java-util-stream-IntPipeline.json │ │ ├── java-util-stream-IntStream.json │ │ ├── java-util-stream-LongPipeline.json │ │ ├── java-util-stream-LongStream.json │ │ ├── java-util-stream-Node.json │ │ ├── java-util-stream-ReferencePipeline.json │ │ ├── java-util-stream-SliceOps.json │ │ ├── java-util-stream-SpinedBuffer.json │ │ ├── java-util-stream-Stream.json │ │ ├── java-util-stream-StreamOpFlag.json │ │ ├── java-util-stream-StreamShape.json │ │ ├── java-util-stream-StreamSupport.json │ │ ├── java-util-zip-CheckedInputStream.json │ │ ├── java-util-zip-DeflaterInputStream.json │ │ ├── java-util-zip-DeflaterOutputStream.json │ │ ├── java-util-zip-GZIPInputStream.json │ │ ├── java-util-zip-GZIPOutputStream.json │ │ ├── java-util-zip-Inflater.json │ │ ├── java-util-zip-InflaterInputStream.json │ │ ├── java-util-zip-InflaterOutputStream.json │ │ ├── java-util-zip-ZipEntry.json │ │ ├── java-util-zip-ZipInputStream.json │ │ ├── javax-swing-AbstractButton.json │ │ ├── javax-swing-AbstractCellEditor.json │ │ ├── javax-swing-ArrayTable.json │ │ ├── javax-swing-BorderFactory.json │ │ ├── javax-swing-BoundedRangeModel.json │ │ ├── javax-swing-Box.json │ │ ├── javax-swing-BoxLayout.json │ │ ├── javax-swing-ButtonGroup.json │ │ ├── javax-swing-ClientPropertyKey.json │ │ ├── javax-swing-ComponentInputMap.json │ │ ├── javax-swing-DefaultCellEditor.json │ │ ├── javax-swing-DefaultDesktopManager.json │ │ ├── javax-swing-DefaultListModel.json │ │ ├── javax-swing-DefaultListSelectionModel.json │ │ ├── javax-swing-DefaultRowSorter.json │ │ ├── javax-swing-DropMode.json │ │ ├── javax-swing-GroupLayout.json │ │ ├── javax-swing-ImageIcon.json │ │ ├── javax-swing-JApplet.json │ │ ├── javax-swing-JButton.json │ │ ├── javax-swing-JCheckBox.json │ │ ├── javax-swing-JCheckBoxMenuItem.json │ │ ├── javax-swing-JColorChooser.json │ │ ├── javax-swing-JComboBox.json │ │ ├── javax-swing-JComponent.json │ │ ├── javax-swing-JDesktopPane.json │ │ ├── javax-swing-JDialog.json │ │ ├── javax-swing-JEditorPane.json │ │ ├── javax-swing-JFileChooser.json │ │ ├── javax-swing-JFormattedTextField.json │ │ ├── javax-swing-JFrame.json │ │ ├── javax-swing-JInternalFrame.json │ │ ├── javax-swing-JLabel.json │ │ ├── javax-swing-JLayer.json │ │ ├── javax-swing-JLayeredPane.json │ │ ├── javax-swing-JList.json │ │ ├── javax-swing-JMenu.json │ │ ├── javax-swing-JMenuBar.json │ │ ├── javax-swing-JMenuItem.json │ │ ├── javax-swing-JOptionPane.json │ │ ├── javax-swing-JPanel.json │ │ ├── javax-swing-JPasswordField.json │ │ ├── javax-swing-JPopupMenu.json │ │ ├── javax-swing-JProgressBar.json │ │ ├── javax-swing-JRadioButton.json │ │ ├── javax-swing-JRadioButtonMenuItem.json │ │ ├── javax-swing-JRootPane.json │ │ ├── javax-swing-JScrollBar.json │ │ ├── javax-swing-JScrollPane.json │ │ ├── javax-swing-JSeparator.json │ │ ├── javax-swing-JSlider.json │ │ ├── javax-swing-JSpinner.json │ │ ├── javax-swing-JSplitPane.json │ │ ├── javax-swing-JTabbedPane.json │ │ ├── javax-swing-JTable.json │ │ ├── javax-swing-JTextArea.json │ │ ├── javax-swing-JTextField.json │ │ ├── javax-swing-JTextPane.json │ │ ├── javax-swing-JToggleButton.json │ │ ├── javax-swing-JToolBar.json │ │ ├── javax-swing-JToolTip.json │ │ ├── javax-swing-JTree.json │ │ ├── javax-swing-JViewport.json │ │ ├── javax-swing-JWindow.json │ │ ├── javax-swing-KeyStroke.json │ │ ├── javax-swing-LayoutFocusTraversalPolicy.json │ │ ├── javax-swing-LayoutStyle.json │ │ ├── javax-swing-ListSelectionModel.json │ │ ├── javax-swing-LookAndFeel.json │ │ ├── javax-swing-OverlayLayout.json │ │ ├── javax-swing-Painter.json │ │ ├── javax-swing-Popup.json │ │ ├── javax-swing-PopupFactory.json │ │ ├── javax-swing-RowFilter.json │ │ ├── javax-swing-ScrollPaneLayout.json │ │ ├── javax-swing-Scrollable.json │ │ ├── javax-swing-SizeRequirements.json │ │ ├── javax-swing-SizeSequence.json │ │ ├── javax-swing-SortOrder.json │ │ ├── javax-swing-SortingFocusTraversalPolicy.json │ │ ├── javax-swing-SpinnerDateModel.json │ │ ├── javax-swing-SpinnerListModel.json │ │ ├── javax-swing-SpinnerNumberModel.json │ │ ├── javax-swing-Spring.json │ │ ├── javax-swing-SwingUtilities.json │ │ ├── javax-swing-SwingWorker.json │ │ ├── javax-swing-Timer.json │ │ ├── javax-swing-TransferHandler.json │ │ ├── javax-swing-UIDefaults.json │ │ ├── javax-swing-UIManager.json │ │ ├── javax-swing-border-AbstractBorder.json │ │ ├── javax-swing-border-StrokeBorder.json │ │ ├── javax-swing-border-TitledBorder.json │ │ ├── javax-swing-colorchooser-AbstractColorChooserPanel.json │ │ ├── javax-swing-colorchooser-ColorModelHSL.json │ │ ├── javax-swing-colorchooser-DefaultSwatchChooserPanel.json │ │ ├── javax-swing-event-ListSelectionEvent.json │ │ ├── javax-swing-event-RowSorterEvent.json │ │ ├── javax-swing-event-RowSorterListener.json │ │ ├── javax-swing-event-SwingPropertyChangeSupport.json │ │ ├── javax-swing-event-TreeModelEvent.json │ │ ├── javax-swing-filechooser-FileNameExtensionFilter.json │ │ ├── javax-swing-filechooser-FileSystemView.json │ │ ├── javax-swing-plaf-ComponentUI.json │ │ ├── javax-swing-plaf-LayerUI.json │ │ ├── javax-swing-plaf-ListUI.json │ │ ├── javax-swing-plaf-TextUI.json │ │ ├── javax-swing-plaf-basic-BasicArrowButton.json │ │ ├── javax-swing-plaf-basic-BasicButtonUI.json │ │ ├── javax-swing-plaf-basic-BasicComboBoxUI.json │ │ ├── javax-swing-plaf-basic-BasicComboPopup.json │ │ ├── javax-swing-plaf-basic-BasicEditorPaneUI.json │ │ ├── javax-swing-plaf-basic-BasicFileChooserUI.json │ │ ├── javax-swing-plaf-basic-BasicFormattedTextFieldUI.json │ │ ├── javax-swing-plaf-basic-BasicHTML.json │ │ ├── javax-swing-plaf-basic-BasicLabelUI.json │ │ ├── javax-swing-plaf-basic-BasicListUI.json │ │ ├── javax-swing-plaf-basic-BasicLookAndFeel.json │ │ ├── javax-swing-plaf-basic-BasicMenuItemUI.json │ │ ├── javax-swing-plaf-basic-BasicPanelUI.json │ │ ├── javax-swing-plaf-basic-BasicPasswordFieldUI.json │ │ ├── javax-swing-plaf-basic-BasicProgressBarUI.json │ │ ├── javax-swing-plaf-basic-BasicRadioButtonUI.json │ │ ├── javax-swing-plaf-basic-BasicScrollBarUI.json │ │ ├── javax-swing-plaf-basic-BasicScrollPaneUI.json │ │ ├── javax-swing-plaf-basic-BasicSliderUI.json │ │ ├── javax-swing-plaf-basic-BasicSpinnerUI.json │ │ ├── javax-swing-plaf-basic-BasicSplitPaneDivider.json │ │ ├── javax-swing-plaf-basic-BasicSplitPaneUI.json │ │ ├── javax-swing-plaf-basic-BasicTabbedPaneUI.json │ │ ├── javax-swing-plaf-basic-BasicTableHeaderUI.json │ │ ├── javax-swing-plaf-basic-BasicTableUI.json │ │ ├── javax-swing-plaf-basic-BasicTextAreaUI.json │ │ ├── javax-swing-plaf-basic-BasicTextFieldUI.json │ │ ├── javax-swing-plaf-basic-BasicTextPaneUI.json │ │ ├── javax-swing-plaf-basic-BasicTextUI.json │ │ ├── javax-swing-plaf-basic-BasicToolBarUI.json │ │ ├── javax-swing-plaf-basic-BasicTreeUI.json │ │ ├── javax-swing-plaf-metal-MetalButtonUI.json │ │ ├── javax-swing-plaf-metal-MetalComboBoxUI.json │ │ ├── javax-swing-plaf-metal-MetalFileChooserUI.json │ │ ├── javax-swing-plaf-metal-MetalLookAndFeel.json │ │ ├── javax-swing-plaf-metal-MetalMenuBarUI.json │ │ ├── javax-swing-plaf-metal-MetalTheme.json │ │ ├── javax-swing-plaf-metal-MetalToggleButtonUI.json │ │ ├── javax-swing-plaf-metal-MetalToolBarUI.json │ │ ├── javax-swing-plaf-metal-OceanTheme.json │ │ ├── javax-swing-plaf-multi-MultiLookAndFeel.json │ │ ├── javax-swing-plaf-nimbus-AbstractRegionPainter.json │ │ ├── javax-swing-plaf-nimbus-DerivedColor.json │ │ ├── javax-swing-plaf-nimbus-DropShadowEffect.json │ │ ├── javax-swing-plaf-nimbus-Effect.json │ │ ├── javax-swing-plaf-nimbus-InnerShadowEffect.json │ │ ├── javax-swing-plaf-nimbus-NimbusLookAndFeel.json │ │ ├── javax-swing-plaf-nimbus-NimbusStyle.json │ │ ├── javax-swing-plaf-synth-Region.json │ │ ├── javax-swing-plaf-synth-SynthBorder.json │ │ ├── javax-swing-plaf-synth-SynthButtonUI.json │ │ ├── javax-swing-plaf-synth-SynthComboBoxUI.json │ │ ├── javax-swing-plaf-synth-SynthContext.json │ │ ├── javax-swing-plaf-synth-SynthFormattedTextFieldUI.json │ │ ├── javax-swing-plaf-synth-SynthLookAndFeel.json │ │ ├── javax-swing-plaf-synth-SynthPasswordFieldUI.json │ │ ├── javax-swing-plaf-synth-SynthTextPaneUI.json │ │ ├── javax-swing-plaf-synth-SynthToolBarUI.json │ │ ├── javax-swing-table-AbstractTableModel.json │ │ ├── javax-swing-table-DefaultTableColumnModel.json │ │ ├── javax-swing-table-DefaultTableModel.json │ │ ├── javax-swing-table-JTableHeader.json │ │ ├── javax-swing-table-TableColumn.json │ │ ├── javax-swing-table-TableColumnModel.json │ │ ├── javax-swing-table-TableStringConverter.json │ │ ├── javax-swing-text-AbstractDocument.json │ │ ├── javax-swing-text-AsyncBoxView.json │ │ ├── javax-swing-text-AttributeSet.json │ │ ├── javax-swing-text-BoxView.json │ │ ├── javax-swing-text-Caret.json │ │ ├── javax-swing-text-ComponentView.json │ │ ├── javax-swing-text-CompositeView.json │ │ ├── javax-swing-text-DefaultCaret.json │ │ ├── javax-swing-text-DefaultEditorKit.json │ │ ├── javax-swing-text-DefaultFormatter.json │ │ ├── javax-swing-text-DefaultFormatterFactory.json │ │ ├── javax-swing-text-DefaultHighlighter.json │ │ ├── javax-swing-text-DefaultStyledDocument.json │ │ ├── javax-swing-text-Document.json │ │ ├── javax-swing-text-DocumentFilter.json │ │ ├── javax-swing-text-EditorKit.json │ │ ├── javax-swing-text-Element.json │ │ ├── javax-swing-text-FieldView.json │ │ ├── javax-swing-text-FlowView.json │ │ ├── javax-swing-text-GapContent.json │ │ ├── javax-swing-text-GapVector.json │ │ ├── javax-swing-text-GlyphPainter2.json │ │ ├── javax-swing-text-GlyphView.json │ │ ├── javax-swing-text-IconView.json │ │ ├── javax-swing-text-InternationalFormatter.json │ │ ├── javax-swing-text-JTextComponent.json │ │ ├── javax-swing-text-Keymap.json │ │ ├── javax-swing-text-LabelView.json │ │ ├── javax-swing-text-MaskFormatter.json │ │ ├── javax-swing-text-NavigationFilter.json │ │ ├── javax-swing-text-ParagraphView.json │ │ ├── javax-swing-text-PasswordView.json │ │ ├── javax-swing-text-PlainView.json │ │ ├── javax-swing-text-SimpleAttributeSet.json │ │ ├── javax-swing-text-StringContent.json │ │ ├── javax-swing-text-StyleConstants.json │ │ ├── javax-swing-text-StyleContext.json │ │ ├── javax-swing-text-StyledDocument.json │ │ ├── javax-swing-text-TabExpander.json │ │ ├── javax-swing-text-TabSet.json │ │ ├── javax-swing-text-TabableView.json │ │ ├── javax-swing-text-TableView.json │ │ ├── javax-swing-text-TextAction.json │ │ ├── javax-swing-text-TextLayoutStrategy.json │ │ ├── javax-swing-text-Utilities.json │ │ ├── javax-swing-text-View.json │ │ ├── javax-swing-text-WrappedPlainView.json │ │ ├── javax-swing-text-ZoneView.json │ │ ├── javax-swing-text-html-BlockView.json │ │ ├── javax-swing-text-html-CSS.json │ │ ├── javax-swing-text-html-EditableView.json │ │ ├── javax-swing-text-html-HRuleView.json │ │ ├── javax-swing-text-html-HTMLDocument.json │ │ ├── javax-swing-text-html-ImageView.json │ │ ├── javax-swing-text-html-InlineView.json │ │ ├── javax-swing-text-html-LineView.json │ │ ├── javax-swing-text-html-StyleSheet.json │ │ ├── javax-swing-text-html-TableView.json │ │ ├── javax-swing-text-html-parser-DTD.json │ │ ├── javax-swing-text-html-parser-Entity.json │ │ ├── javax-swing-tree-AbstractLayoutCache.json │ │ ├── javax-swing-tree-DefaultMutableTreeNode.json │ │ ├── javax-swing-tree-DefaultTreeCellRenderer.json │ │ ├── javax-swing-tree-DefaultTreeModel.json │ │ ├── javax-swing-tree-TreePath.json │ │ ├── javax-swing-undo-AbstractUndoableEdit.json │ │ ├── javax-swing-undo-CompoundEdit.json │ │ ├── javax-swing-undo-UndoManager.json │ │ └── org-apache-commons-math3-analysis-differentiation-DSCompiler.json ├── systemTest │ ├── README.txt │ ├── java │ │ └── randoop │ │ │ └── main │ │ │ ├── CompilationStatus.java │ │ │ ├── CoverageChecker.java │ │ │ ├── MethodCoverageMap.java │ │ │ ├── ProcessStatus.java │ │ │ ├── RandoopOptions.java │ │ │ ├── RandoopRunStatus.java │ │ │ ├── RandoopSystemTest.java │ │ │ ├── SystemTestEnvironment.java │ │ │ ├── SystemTestEnvironmentManager.java │ │ │ └── TestRunStatus.java │ └── resources │ │ ├── JDK7-omitmethods.txt │ │ ├── JDK7-sef-methods.txt │ │ ├── afterallcode.txt │ │ ├── aftereachcode.txt │ │ ├── beforeallcode.txt │ │ ├── beforeeachcode.txt │ │ ├── buggyclasses.txt │ │ ├── emptyclasslist.txt │ │ ├── jdk_classlist.txt │ │ ├── literalsfile.txt │ │ ├── method_list_example.txt │ │ ├── naiveomitfields.txt │ │ ├── randoop1_side_effect_free_methods.txt │ │ ├── replacecall-exclusions.txt │ │ ├── side_effect_free_Box_methods.txt │ │ ├── test-methodspecs │ │ ├── CollectionsTest.methodspecs │ │ ├── JDKTest.methodspecs │ │ └── NaiveCollectionsTest.methodspecs │ │ └── testclassomitfields.txt ├── test │ ├── java │ │ └── randoop │ │ │ ├── compile │ │ │ └── SequenceCompilerTest.java │ │ │ ├── condition │ │ │ ├── ConditionMethodTest.java │ │ │ ├── OperationSpecificationTest.java │ │ │ ├── SpecificationTranslatorTest.java │ │ │ └── specification │ │ │ │ ├── ConnectionSpecTest.java │ │ │ │ └── OperationTest.java │ │ │ ├── field │ │ │ ├── AccessibleFieldTest.java │ │ │ └── PublicFieldParserTest.java │ │ │ ├── generation │ │ │ ├── CollectionGenerationTest.java │ │ │ ├── Day.java │ │ │ ├── Flaky.java │ │ │ ├── FlakyStore.java │ │ │ ├── TestClassificationTest.java │ │ │ └── TestFilteringTest.java │ │ │ ├── main │ │ │ ├── minimizer │ │ │ │ ├── MinimizerTests.java │ │ │ │ ├── README.md │ │ │ │ └── dependencies │ │ │ │ │ ├── hamcrest-core-1.3.jar │ │ │ │ │ └── junit-4.12.jar │ │ │ └── testcode │ │ │ │ └── RandoopFlaky.java │ │ │ ├── operation │ │ │ ├── ArrayCreationTests.java │ │ │ ├── ClassReflectionTest.java │ │ │ ├── EnumConstantTest.java │ │ │ ├── EnumReflectionTest.java │ │ │ ├── FieldGetterTest.java │ │ │ ├── FieldReflectionTest.java │ │ │ ├── FieldSetterTest.java │ │ │ ├── OperationParserTests.java │ │ │ ├── ParameterInput.java │ │ │ ├── SimpleEnumForTests.java │ │ │ ├── TermTests.java │ │ │ ├── TypedClassOperationTest.java │ │ │ └── TypedOperationTest.java │ │ │ ├── output │ │ │ └── JUnitCreatorTest.java │ │ │ ├── reflection │ │ │ ├── AccessibilityTest.java │ │ │ ├── AnIterable.java │ │ │ ├── BMB.java │ │ │ ├── BST.java │ │ │ ├── CaptureInstantiationCase.java │ │ │ ├── ConstantFieldChild.java │ │ │ ├── ConstantFieldParent.java │ │ │ ├── FInterface.java │ │ │ ├── FieldInheritingClass.java │ │ │ ├── GenericBaseForInnerSub.java │ │ │ ├── GenericClass.java │ │ │ ├── GenericInterfaceForInnerSub.java │ │ │ ├── GenericTreeWithInnerNode.java │ │ │ ├── GenericWithInnerSub.java │ │ │ ├── InstantiationTest.java │ │ │ ├── LazyConversionInstantiationCase.java │ │ │ ├── OmitMethodsTest.java │ │ │ ├── OperationExtractorTest.java │ │ │ ├── OperationModelTest.java │ │ │ ├── PBInterface.java │ │ │ ├── PartialBindingInput.java │ │ │ ├── PureClass.java │ │ │ ├── SetUtility.java │ │ │ ├── SignatureParserTest.java │ │ │ ├── StringComparator.java │ │ │ ├── VisibilityBridgeTest.java │ │ │ ├── accessibilitytest │ │ │ │ ├── InaccessibleArgumentInput.java │ │ │ │ ├── PackagePrivateBase.java │ │ │ │ ├── PackagePrivateClass.java │ │ │ │ ├── PackageSubclass.java │ │ │ │ └── PublicClass.java │ │ │ ├── intersectiontypes │ │ │ │ ├── AccessibleInterval.java │ │ │ │ ├── BaseInterface.java │ │ │ │ ├── Dimensions.java │ │ │ │ ├── EuclideanSpace.java │ │ │ │ ├── ExtendedBase.java │ │ │ │ ├── Interval.java │ │ │ │ ├── RandomAccess.java │ │ │ │ ├── RandomAccessible.java │ │ │ │ └── RealInterval.java │ │ │ ├── omitinputs │ │ │ │ ├── p │ │ │ │ │ ├── C.java │ │ │ │ │ ├── E.java │ │ │ │ │ ├── G.java │ │ │ │ │ ├── M1Interface.java │ │ │ │ │ └── P.java │ │ │ │ └── q │ │ │ │ │ └── D.java │ │ │ └── supertypetest │ │ │ │ ├── InheritedEnum.java │ │ │ │ └── TheSupertype.java │ │ │ ├── sequence │ │ │ ├── DevExampleCode.java │ │ │ ├── GenericTypeWithDigit2.java │ │ │ ├── NonparameterizedTypeWithDigit19.java │ │ │ ├── SequenceWithExceptionalExecutionTest.java │ │ │ └── VariableNamerTest.java │ │ │ ├── test │ │ │ ├── AbstractPerformanceTest.java │ │ │ ├── CompilePredicateTest.java │ │ │ ├── DefaultReflectionPredicateTests.java │ │ │ ├── EmptyTest.java │ │ │ ├── EqualsNotSymmetricTests.java │ │ │ ├── EqualsNotTransitiveTests.java │ │ │ ├── EqualsToNullTests.java │ │ │ ├── ForwardExplorerPerformanceTest.java │ │ │ ├── ForwardExplorerTests.java │ │ │ ├── ForwardExplorerTests2.java │ │ │ ├── ICSE07ContainersTest.java │ │ │ ├── ListOfListsIteratorTests.java │ │ │ ├── ListOfListsSelectorTest.java │ │ │ ├── NonterminatingInputTest.java │ │ │ ├── PrintJdkTest.java │ │ │ ├── RandomnessTest.java │ │ │ ├── RandoopPerformanceTest.java │ │ │ ├── SeedSequencesTests.java │ │ │ ├── SequenceTests.java │ │ │ └── UtilTests.java │ │ │ ├── types │ │ │ ├── ArrayTypeTest.java │ │ │ ├── CaptureConversionTest.java │ │ │ ├── ConcreteTypeTest.java │ │ │ ├── GenericTypesTest.java │ │ │ ├── JDKTypesTest.java │ │ │ ├── ParameterizedTypeTest.java │ │ │ ├── SimpleTypeTest.java │ │ │ ├── TypeBoundTest.java │ │ │ ├── TypeTupleTest.java │ │ │ └── TypeVariableTest.java │ │ │ └── util │ │ │ └── ReplaceWordsTest.java │ └── resources │ │ ├── dependencytests-output.txt │ │ ├── dependencytests.txt │ │ ├── java.util.classlist.java1.6.txt │ │ ├── java.util.classlist.txt │ │ ├── minimizer │ │ ├── README │ │ ├── TestInputImportsFromSamePackage.java │ │ ├── TestInputImportsFromSamePackage.java.expected │ │ ├── TestInputImportsWithSameClassName.java │ │ ├── TestInputImportsWithSameClassName.java.expected │ │ ├── TestInputMultipleVarDeclarationsOnALine.java │ │ ├── TestInputMultipleVarDeclarationsOnALine.java.expected │ │ ├── TestInputSimplifyRightHandSideValues.java │ │ ├── TestInputSimplifyRightHandSideValues.java.expected │ │ ├── TestInputWithComments.java │ │ ├── TestInputWithComments.java.expected │ │ ├── TestInputWithMulitpleTestCases.java │ │ ├── TestInputWithMulitpleTestCases.java.expected │ │ ├── TestInputWithMultiplePassingAssertions.java │ │ ├── TestInputWithMultiplePassingAssertions.java.expected │ │ ├── TestInputWithNoFailingTests.java │ │ ├── TestInputWithNoFailingTests.java.expected │ │ ├── TestInputWithNonCompilingTest.java │ │ ├── TestInputWithPassingAssertionValue.java │ │ ├── TestInputWithPassingAssertionValue.java.expected │ │ ├── TestInputWithRuntimeException.java │ │ ├── TestInputWithRuntimeException.java.expected │ │ ├── TestInputWithVariableReassignment.java │ │ ├── TestInputWithVariableReassignment.java.expected │ │ ├── TestInputWithWhileLoop.java │ │ ├── TestInputWithWhileLoop.java.expected │ │ ├── TestInputWithWildcardImport.java │ │ ├── TestInputWithWildcardImport.java.expected │ │ ├── TestInputWithWrappedTypes.java │ │ ├── TestInputWithWrappedTypes.java.expected │ │ ├── dir_a │ │ │ ├── ClassA.java │ │ │ └── ClassB.java │ │ ├── dir_b │ │ │ └── ClassA.java │ │ └── testrootdir │ │ │ └── testsubdir │ │ │ ├── TestInputSubDir1.java │ │ │ └── TestInputSubDir1.java.expected │ │ ├── sequence_tests_script.txt │ │ └── universal_driver.txt └── testInput │ ├── COPYING │ ├── README.txt │ ├── java │ ├── ClassInDefaultPackage.java │ ├── collectiongen │ │ ├── ANonInputClass.java │ │ ├── AnInputClass.java │ │ ├── Day.java │ │ ├── InputClass.java │ │ └── Season.java │ ├── collections │ │ ├── BadCollection.java │ │ ├── NonNullCollection.java │ │ └── SeedIntegerCollection.java │ ├── compileerr │ │ └── WildcardCollection.java │ ├── components │ │ ├── ArrowIcon.java │ │ ├── BorderDemo.java │ │ ├── ButtonDemo.java │ │ ├── ButtonHtmlDemo.java │ │ ├── CheckBoxDemo.java │ │ ├── ColorChooserDemo.java │ │ ├── ColorChooserDemo2.java │ │ ├── ComboBoxDemo.java │ │ ├── ConversionPanel.java │ │ ├── Converter.java │ │ ├── ConverterRangeModel.java │ │ ├── Corner.java │ │ ├── CrayonPanel.java │ │ ├── CustomComboBoxDemo.java │ │ ├── CustomDialog.java │ │ ├── CustomIconDemo.java │ │ ├── DialogDemo.java │ │ ├── DialogRunner.java │ │ ├── DynamicTree.java │ │ ├── DynamicTreeDemo.java │ │ ├── FileChooserDemo.java │ │ ├── FileChooserDemo2.java │ │ ├── FollowerRangeModel.java │ │ ├── FormattedTextFieldDemo.java │ │ ├── FormatterFactoryDemo.java │ │ ├── FrameDemo.java │ │ ├── FrameDemo2.java │ │ ├── Framework.java │ │ ├── GenealogyExample.java │ │ ├── GenealogyModel.java │ │ ├── GenealogyTree.java │ │ ├── GlassPaneDemo.java │ │ ├── HtmlDemo.java │ │ ├── IconDemoApp.java │ │ ├── ImageFileView.java │ │ ├── ImageFilter.java │ │ ├── ImagePreview.java │ │ ├── InternalFrameDemo.java │ │ ├── LabelDemo.java │ │ ├── LayeredPaneDemo.java │ │ ├── LayeredPaneDemo2.java │ │ ├── ListDemo.java │ │ ├── ListDialog.java │ │ ├── ListDialogRunner.java │ │ ├── MenuDemo.java │ │ ├── MenuGlueDemo.java │ │ ├── MenuLayoutDemo.java │ │ ├── MenuLookDemo.java │ │ ├── MenuSelectionManagerDemo.java │ │ ├── MissingIcon.java │ │ ├── MyInternalFrame.java │ │ ├── PasswordDemo.java │ │ ├── Person.java │ │ ├── PopupMenuDemo.java │ │ ├── ProgressBarDemo.java │ │ ├── ProgressBarDemo2.java │ │ ├── ProgressMonitorDemo.java │ │ ├── README.md │ │ ├── RadioButtonDemo.java │ │ ├── RootLayeredPaneDemo.java │ │ ├── Rule.java │ │ ├── ScrollDemo.java │ │ ├── ScrollDemo2.java │ │ ├── ScrollablePicture.java │ │ ├── SharedModelDemo.java │ │ ├── SimpleTableDemo.java │ │ ├── SimpleTableSelectionDemo.java │ │ ├── SliderDemo.java │ │ ├── SliderDemo2.java │ │ ├── Unit.java │ │ └── Utils.java │ ├── examples │ │ ├── Buggy.java │ │ ├── CheckRep1.java │ │ ├── CheckRep2.java │ │ ├── Dummy.java │ │ ├── NaNBadness.java │ │ ├── Option.java │ │ └── Visibility.java │ ├── flaky │ │ ├── FlakyClass.java │ │ └── FlakyFileDependency.java │ ├── generation │ │ ├── Dim5Matrix.java │ │ ├── Dim6Matrix.java │ │ └── Matrix.java │ ├── generror │ │ └── Ints.java │ ├── graph │ │ ├── Graph.java │ │ ├── Main.java │ │ └── Node.java │ ├── input │ │ ├── NoExitClass.java │ │ └── SystemExitClass.java │ ├── instrument │ │ └── testcase │ │ │ ├── A.java │ │ │ ├── AE.java │ │ │ ├── AbstractTarget.java │ │ │ ├── B.java │ │ │ ├── BE.java │ │ │ ├── C.java │ │ │ ├── CE.java │ │ │ ├── ChildOfTarget.java │ │ │ ├── D.java │ │ │ ├── ImplementorOfTarget.java │ │ │ └── InterfaceTarget.java │ ├── java7 │ │ └── util7 │ │ │ ├── AbstractCollection.java │ │ │ ├── AbstractList.java │ │ │ ├── AbstractMap.java │ │ │ ├── AbstractQueue.java │ │ │ ├── AbstractSequentialList.java │ │ │ ├── AbstractSet.java │ │ │ ├── ArrayDeque.java │ │ │ ├── ArrayList.java │ │ │ ├── Arrays.java │ │ │ ├── BitSet.java │ │ │ ├── Collection.java │ │ │ ├── Collections.java │ │ │ ├── ComparableTimSort.java │ │ │ ├── Comparator.java │ │ │ ├── ConcurrentModificationException.java │ │ │ ├── Deque.java │ │ │ ├── Dictionary.java │ │ │ ├── DualPivotQuicksort.java │ │ │ ├── EmptyStackException.java │ │ │ ├── Enumeration.java │ │ │ ├── EventListener.java │ │ │ ├── EventListenerProxy.java │ │ │ ├── EventObject.java │ │ │ ├── HashMap.java │ │ │ ├── HashSet.java │ │ │ ├── Hashtable.java │ │ │ ├── IdentityHashMap.java │ │ │ ├── LinkedHashMap.java │ │ │ ├── LinkedHashSet.java │ │ │ ├── LinkedList.java │ │ │ ├── List.java │ │ │ ├── ListIterator.java │ │ │ ├── Map.java │ │ │ ├── MissingResourceException.java │ │ │ ├── NavigableMap.java │ │ │ ├── NavigableSet.java │ │ │ ├── NoSuchElementException.java │ │ │ ├── Observable.java │ │ │ ├── Observer.java │ │ │ ├── PriorityQueue.java │ │ │ ├── Queue.java │ │ │ ├── Random.java │ │ │ ├── RandomAccess.java │ │ │ ├── Set.java │ │ │ ├── SortedMap.java │ │ │ ├── SortedSet.java │ │ │ ├── Stack.java │ │ │ ├── StringTokenizer.java │ │ │ ├── TimSort.java │ │ │ ├── TimerTask.java │ │ │ ├── TooManyListenersException.java │ │ │ ├── TreeMap.java │ │ │ ├── TreeSet.java │ │ │ ├── Vector.java │ │ │ └── WeakHashMap.java │ ├── misc │ │ ├── BlowsUp.java │ │ ├── EqualsOnSameReturnsFalse.java │ │ ├── MyCmeList.java │ │ ├── NestedClasses.java │ │ ├── NonFaultyClass.java │ │ ├── PureStaticUnaryMethodExample.java │ │ ├── ThrowsAnonymousException.java │ │ ├── ThrowsNPE.java │ │ ├── ThrowsRuntimeException.java │ │ ├── elephantbrain │ │ │ ├── ChildA.java │ │ │ ├── ChildB.java │ │ │ ├── ElephantBrainTest.java │ │ │ ├── GrandParent.java │ │ │ └── Parent.java │ │ ├── impurity │ │ │ └── PureAndImpure.java │ │ └── puritypaper │ │ │ ├── Line.java │ │ │ ├── Main.java │ │ │ └── Point.java │ ├── muse │ │ ├── RecursiveBound.java │ │ └── SortContainer.java │ ├── net │ │ └── Connection.java │ ├── pkg │ │ ├── SubClass.java │ │ └── SuperClass.java │ ├── pkg_SubClass.java │ ├── pkg_SuperClass.java │ ├── ps1 │ │ ├── Main.java │ │ ├── RatNum.java │ │ ├── RatPoly.java │ │ ├── RatPolyStack.java │ │ ├── RatPolyTest.java │ │ ├── RatTerm.java │ │ └── RatTermVec.java │ ├── randoop │ │ ├── condition │ │ │ ├── ClassWithConditions.java │ │ │ ├── ConditionWithException.java │ │ │ ├── ConditionsInterface.java │ │ │ ├── ConditionsSuperClass.java │ │ │ ├── ConditionsSuperSuperClass.java │ │ │ ├── OtherConditionsInterface.java │ │ │ ├── OverridingConditionsClass.java │ │ │ ├── ParameterCheckInput.java │ │ │ └── ParentWithException.java │ │ ├── field │ │ │ ├── ClassWithFields.java │ │ │ └── SubclassWithFields.java │ │ ├── literals │ │ │ ├── A.java │ │ │ ├── A2.java │ │ │ └── B.java │ │ ├── main │ │ │ └── TimeOutBehavior.java │ │ ├── reflection │ │ │ ├── ClassWithMemberTypes.java │ │ │ ├── ConcreteClass.java │ │ │ ├── GenericBounds.java │ │ │ └── OrderedSet.java │ │ ├── test │ │ │ ├── A.java │ │ │ ├── A2.java │ │ │ ├── A3.java │ │ │ ├── AnIntegerPredicate.java │ │ │ ├── B.java │ │ │ ├── BiSort.java │ │ │ ├── BiSortVal.java │ │ │ ├── ClassWithInnerClass.java │ │ │ ├── ClassWithInnerEnum.java │ │ │ ├── Coin.java │ │ │ ├── CoinPurse.java │ │ │ ├── CompassDirection.java │ │ │ ├── EnumAsPredicate.java │ │ │ ├── Expression.java │ │ │ ├── LongString.java │ │ │ ├── OperatorEnum.java │ │ │ ├── PlayingCard.java │ │ │ ├── Seeds.java │ │ │ ├── SimpleEnum.java │ │ │ ├── Test_SomeDuplicates.java │ │ │ ├── Test_SomePass.java │ │ │ ├── UBStack.java │ │ │ ├── UBStack2.java │ │ │ ├── bh │ │ │ │ ├── BH.java │ │ │ │ ├── Body.java │ │ │ │ ├── Cell.java │ │ │ │ ├── MathVector.java │ │ │ │ ├── Node.java │ │ │ │ └── Tree.java │ │ │ ├── health │ │ │ │ ├── Health.java │ │ │ │ ├── Hospital.java │ │ │ │ ├── List.java │ │ │ │ ├── Patient.java │ │ │ │ ├── Results.java │ │ │ │ └── Village.java │ │ │ ├── inner │ │ │ │ └── Outer.java │ │ │ ├── issta2006 │ │ │ │ ├── BinTree.java │ │ │ │ ├── BinomialHeap.java │ │ │ │ ├── FibHeap.java │ │ │ │ ├── Node.java │ │ │ │ └── TreeMap.java │ │ │ ├── mst │ │ │ │ ├── Graph.java │ │ │ │ ├── Hashtable.java │ │ │ │ ├── MST.java │ │ │ │ └── Vertex.java │ │ │ ├── perimeter │ │ │ │ ├── BlackNode.java │ │ │ │ ├── GreyNode.java │ │ │ │ ├── NorthEast.java │ │ │ │ ├── NorthWest.java │ │ │ │ ├── Perimeter.java │ │ │ │ ├── QuadTreeNode.java │ │ │ │ ├── Quadrant.java │ │ │ │ ├── SouthEast.java │ │ │ │ ├── SouthWest.java │ │ │ │ └── WhiteNode.java │ │ │ ├── predicate │ │ │ │ ├── CUTForExceptionPredicate.java │ │ │ │ └── ExceptionClassifierTest.java │ │ │ ├── treeadd │ │ │ │ ├── TreeAdd.java │ │ │ │ └── TreeNode.java │ │ │ └── vmerrors │ │ │ │ └── VMErrors.java │ │ └── types │ │ │ ├── AbstractMultiary.java │ │ │ ├── CompoundFunction.java │ │ │ ├── ExampleClassesForTests.java │ │ │ ├── GenericsExamples.java │ │ │ ├── TypeBoundExamples.java │ │ │ └── test │ │ │ ├── BoxClass.java │ │ │ ├── CaptureTestClass.java │ │ │ ├── ComplexSubclass.java │ │ │ ├── Container.java │ │ │ ├── Gibberish.java │ │ │ ├── Nonsense.java │ │ │ ├── ParameterInput.java │ │ │ ├── Subclass.java │ │ │ ├── Superclass.java │ │ │ └── VariablesInput.java │ └── sideeffectfree │ │ ├── Box.java │ │ └── Square.java │ └── resources │ ├── ConnectionConditions.json │ ├── SubClassConditions.json │ ├── components │ ├── images │ │ ├── gifIcon.gif │ │ ├── jpgIcon.gif │ │ ├── middle.gif │ │ ├── pngIcon.png │ │ └── tiffIcon.gif │ └── omitfields.txt │ ├── instrument │ └── testcase │ │ ├── allclasses.txt │ │ ├── annotatedclasses.txt │ │ ├── coveredclasses.txt │ │ ├── special-allclasses.txt │ │ └── special-coveredclasses.txt │ ├── net │ └── net_connection_toradocu_spec.json │ ├── pkg │ └── pkg_subclass_toradocu_spec.json │ └── randoop │ └── condition │ ├── classwithconditions.json │ ├── condition_with_exception.json │ ├── conditionsinterface.json │ ├── conditionsuperclass.json │ ├── conditionsupersuperclass.json │ ├── java-io-PrintWriter.json │ ├── overridingconditionsclass.json │ └── pkg_subclass_conditions.json └── uv.lock /.azure/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/.azure/Makefile -------------------------------------------------------------------------------- /.azure/azure-pipelines.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/.azure/azure-pipelines.yml -------------------------------------------------------------------------------- /.azure/azure-pipelines.yml.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/.azure/azure-pipelines.yml.m4 -------------------------------------------------------------------------------- /.azure/defs.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/.azure/defs.m4 -------------------------------------------------------------------------------- /.azure/jobs.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/.azure/jobs.m4 -------------------------------------------------------------------------------- /.circleci/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/.circleci/Makefile -------------------------------------------------------------------------------- /.circleci/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/.circleci/config.yml -------------------------------------------------------------------------------- /.circleci/config.yml.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/.circleci/config.yml.m4 -------------------------------------------------------------------------------- /.circleci/defs.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/.circleci/defs.m4 -------------------------------------------------------------------------------- /.coderabbit.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/.coderabbit.yaml -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/.github/ISSUE_TEMPLATE -------------------------------------------------------------------------------- /.github/renovate.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/.github/renovate.json -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/.gitignore -------------------------------------------------------------------------------- /.python-version: -------------------------------------------------------------------------------- 1 | 3.14 2 | -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/README.md -------------------------------------------------------------------------------- /covered-class/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/covered-class/build.gradle -------------------------------------------------------------------------------- /covered-class/src/test/java/instrument/testcase/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/covered-class/src/test/java/instrument/testcase/A.java -------------------------------------------------------------------------------- /covered-class/src/test/java/instrument/testcase/AE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/covered-class/src/test/java/instrument/testcase/AE.java -------------------------------------------------------------------------------- /covered-class/src/test/java/instrument/testcase/B.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/covered-class/src/test/java/instrument/testcase/B.java -------------------------------------------------------------------------------- /covered-class/src/test/java/instrument/testcase/BE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/covered-class/src/test/java/instrument/testcase/BE.java -------------------------------------------------------------------------------- /covered-class/src/test/java/instrument/testcase/C.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/covered-class/src/test/java/instrument/testcase/C.java -------------------------------------------------------------------------------- /covered-class/src/test/java/instrument/testcase/CE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/covered-class/src/test/java/instrument/testcase/CE.java -------------------------------------------------------------------------------- /covered-class/src/test/java/instrument/testcase/D.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/covered-class/src/test/java/instrument/testcase/D.java -------------------------------------------------------------------------------- /covered-class/src/test/resources/instrument/testcase/annotatedclasses.txt: -------------------------------------------------------------------------------- 1 | instrument.testcase.D -------------------------------------------------------------------------------- /covered-class/src/test/resources/instrument/testcase/coveredclasses.txt: -------------------------------------------------------------------------------- 1 | instrument.testcase.A -------------------------------------------------------------------------------- /gradle-mvn-push.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/gradle-mvn-push.gradle -------------------------------------------------------------------------------- /gradle.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/gradle.properties -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/gradlew -------------------------------------------------------------------------------- /gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/gradlew.bat -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/pyproject.toml -------------------------------------------------------------------------------- /replacecall/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/replacecall/build.gradle -------------------------------------------------------------------------------- /replacecall/src/main/java/randoop/MethodReplacements.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/replacecall/src/main/java/randoop/MethodReplacements.java -------------------------------------------------------------------------------- /replacecall/src/main/java/randoop/SystemExitCalledError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/replacecall/src/main/java/randoop/SystemExitCalledError.java -------------------------------------------------------------------------------- /replacecall/src/main/java/randoop/mock/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/replacecall/src/main/java/randoop/mock/README -------------------------------------------------------------------------------- /replacecall/src/main/java/randoop/mock/java/awt/Dialog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/replacecall/src/main/java/randoop/mock/java/awt/Dialog.java -------------------------------------------------------------------------------- /replacecall/src/main/java/randoop/mock/java/awt/Frame.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/replacecall/src/main/java/randoop/mock/java/awt/Frame.java -------------------------------------------------------------------------------- /replacecall/src/main/java/randoop/mock/java/awt/Window.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/replacecall/src/main/java/randoop/mock/java/awt/Window.java -------------------------------------------------------------------------------- /replacecall/src/main/java/randoop/mock/java/lang/System.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/replacecall/src/main/java/randoop/mock/java/lang/System.java -------------------------------------------------------------------------------- /replacecall/src/main/resources/default-load-exclusions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/replacecall/src/main/resources/default-load-exclusions.txt -------------------------------------------------------------------------------- /replacecall/src/main/resources/default-replacements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/replacecall/src/main/resources/default-replacements.txt -------------------------------------------------------------------------------- /scripts/Dockerfile-README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/scripts/Dockerfile-README -------------------------------------------------------------------------------- /scripts/Dockerfile-ubuntu-jdk11: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/scripts/Dockerfile-ubuntu-jdk11 -------------------------------------------------------------------------------- /scripts/Dockerfile-ubuntu-jdk17: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/scripts/Dockerfile-ubuntu-jdk17 -------------------------------------------------------------------------------- /scripts/Dockerfile-ubuntu-jdk21: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/scripts/Dockerfile-ubuntu-jdk21 -------------------------------------------------------------------------------- /scripts/Dockerfile-ubuntu-jdk24: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/scripts/Dockerfile-ubuntu-jdk24 -------------------------------------------------------------------------------- /scripts/Dockerfile-ubuntu-jdk8: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/scripts/Dockerfile-ubuntu-jdk8 -------------------------------------------------------------------------------- /scripts/Dockerfile-ubuntu-jdkany: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/scripts/Dockerfile-ubuntu-jdkany -------------------------------------------------------------------------------- /scripts/Dockerfile-ubuntu-jdkany-coverage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/scripts/Dockerfile-ubuntu-jdkany-coverage -------------------------------------------------------------------------------- /scripts/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/scripts/Makefile -------------------------------------------------------------------------------- /scripts/count-klocs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/scripts/count-klocs.pl -------------------------------------------------------------------------------- /scripts/defects4j_README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/scripts/defects4j_README.md -------------------------------------------------------------------------------- /scripts/defects4j_coverage.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/scripts/defects4j_coverage.pl -------------------------------------------------------------------------------- /scripts/defects4j_randoop.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/scripts/defects4j_randoop.sh -------------------------------------------------------------------------------- /scripts/defects4j_randoopBloodhound.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/scripts/defects4j_randoopBloodhound.sh -------------------------------------------------------------------------------- /scripts/pre-commit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/scripts/pre-commit -------------------------------------------------------------------------------- /scripts/prepare-coverage.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/scripts/prepare-coverage.pl -------------------------------------------------------------------------------- /scripts/replace-randoop-jars.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/scripts/replace-randoop-jars.sh -------------------------------------------------------------------------------- /scripts/show-coverage.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/scripts/show-coverage.pl -------------------------------------------------------------------------------- /scripts/test-misc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/scripts/test-misc.sh -------------------------------------------------------------------------------- /scripts/test-nonSystemTest.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/scripts/test-nonSystemTest.sh -------------------------------------------------------------------------------- /scripts/test-systemTest.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/scripts/test-systemTest.sh -------------------------------------------------------------------------------- /settings.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/settings.gradle -------------------------------------------------------------------------------- /src/distribution/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/distribution/README.md -------------------------------------------------------------------------------- /src/distribution/resources/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/distribution/resources/README.txt -------------------------------------------------------------------------------- /src/docs/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/docs/CHANGELOG.md -------------------------------------------------------------------------------- /src/docs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/docs/README.md -------------------------------------------------------------------------------- /src/docs/files/randoop_case_study_2008.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/docs/files/randoop_case_study_2008.pdf -------------------------------------------------------------------------------- /src/docs/files/randoop_case_study_2008.ppt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/docs/files/randoop_case_study_2008.ppt -------------------------------------------------------------------------------- /src/docs/files/thesis_talk_post.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/docs/files/thesis_talk_post.pdf -------------------------------------------------------------------------------- /src/docs/images/randoop-logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/docs/images/randoop-logo.png -------------------------------------------------------------------------------- /src/docs/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/docs/index.html -------------------------------------------------------------------------------- /src/docs/manual/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/docs/manual/README.md -------------------------------------------------------------------------------- /src/docs/manual/class_list_example.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/docs/manual/class_list_example.txt -------------------------------------------------------------------------------- /src/docs/manual/dev.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/docs/manual/dev.html -------------------------------------------------------------------------------- /src/docs/manual/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/docs/manual/index.html -------------------------------------------------------------------------------- /src/docs/manual/method_list_example.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/docs/manual/method_list_example.txt -------------------------------------------------------------------------------- /src/docs/manual/net_connection_java.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/docs/manual/net_connection_java.txt -------------------------------------------------------------------------------- /src/docs/manual/net_connection_spec.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/docs/manual/net_connection_spec.json -------------------------------------------------------------------------------- /src/docs/manual/stylesheets/main.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/docs/manual/stylesheets/main.css -------------------------------------------------------------------------------- /src/docs/manual/type-design.graffle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/docs/manual/type-design.graffle -------------------------------------------------------------------------------- /src/docs/manual/type-design.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/docs/manual/type-design.pdf -------------------------------------------------------------------------------- /src/docs/projectideas.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/docs/projectideas.html -------------------------------------------------------------------------------- /src/docs/publications.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/docs/publications.html -------------------------------------------------------------------------------- /src/docs/stylesheets/styles.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/docs/stylesheets/styles.css -------------------------------------------------------------------------------- /src/main/java/randoop/CheckRep.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/CheckRep.java -------------------------------------------------------------------------------- /src/main/java/randoop/DummyVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/DummyVisitor.java -------------------------------------------------------------------------------- /src/main/java/randoop/ExceptionalExecution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/ExceptionalExecution.java -------------------------------------------------------------------------------- /src/main/java/randoop/ExecutionOutcome.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/ExecutionOutcome.java -------------------------------------------------------------------------------- /src/main/java/randoop/ExecutionVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/ExecutionVisitor.java -------------------------------------------------------------------------------- /src/main/java/randoop/Globals.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/Globals.java -------------------------------------------------------------------------------- /src/main/java/randoop/MultiVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/MultiVisitor.java -------------------------------------------------------------------------------- /src/main/java/randoop/NormalExecution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/NormalExecution.java -------------------------------------------------------------------------------- /src/main/java/randoop/NotExecuted.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/NotExecuted.java -------------------------------------------------------------------------------- /src/main/java/randoop/ReplayFailureException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/ReplayFailureException.java -------------------------------------------------------------------------------- /src/main/java/randoop/SideEffectFree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/SideEffectFree.java -------------------------------------------------------------------------------- /src/main/java/randoop/SubTypeSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/SubTypeSet.java -------------------------------------------------------------------------------- /src/main/java/randoop/TestValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/TestValue.java -------------------------------------------------------------------------------- /src/main/java/randoop/compile/CompileUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/compile/CompileUtil.java -------------------------------------------------------------------------------- /src/main/java/randoop/compile/FileCompiler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/compile/FileCompiler.java -------------------------------------------------------------------------------- /src/main/java/randoop/compile/SequenceCompiler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/compile/SequenceCompiler.java -------------------------------------------------------------------------------- /src/main/java/randoop/compile/SequenceCompilerException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/compile/SequenceCompilerException.java -------------------------------------------------------------------------------- /src/main/java/randoop/compile/SequenceJavaFileObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/compile/SequenceJavaFileObject.java -------------------------------------------------------------------------------- /src/main/java/randoop/condition/ExecutableSpecification.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/condition/ExecutableSpecification.java -------------------------------------------------------------------------------- /src/main/java/randoop/condition/ExpectedOutcomeTable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/condition/ExpectedOutcomeTable.java -------------------------------------------------------------------------------- /src/main/java/randoop/condition/GuardPropertyPair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/condition/GuardPropertyPair.java -------------------------------------------------------------------------------- /src/main/java/randoop/condition/GuardThrowsPair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/condition/GuardThrowsPair.java -------------------------------------------------------------------------------- /src/main/java/randoop/condition/SpecificationCollection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/condition/SpecificationCollection.java -------------------------------------------------------------------------------- /src/main/java/randoop/condition/SpecificationTranslator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/condition/SpecificationTranslator.java -------------------------------------------------------------------------------- /src/main/java/randoop/condition/ThrowsClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/condition/ThrowsClause.java -------------------------------------------------------------------------------- /src/main/java/randoop/condition/specification/Guard.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/condition/specification/Guard.java -------------------------------------------------------------------------------- /src/main/java/randoop/condition/specification/Property.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/condition/specification/Property.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/CheckRepContract.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/CheckRepContract.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/CompareToAntiSymmetric.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/CompareToAntiSymmetric.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/CompareToEquals.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/CompareToEquals.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/CompareToReflexive.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/CompareToReflexive.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/CompareToReturnsNormally.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/CompareToReturnsNormally.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/CompareToSubs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/CompareToSubs.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/CompareToTransitive.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/CompareToTransitive.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/EnumValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/EnumValue.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/EqualsHashcode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/EqualsHashcode.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/EqualsReflexive.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/EqualsReflexive.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/EqualsReturnsNormally.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/EqualsReturnsNormally.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/EqualsSymmetric.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/EqualsSymmetric.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/EqualsToNullRetFalse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/EqualsToNullRetFalse.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/EqualsTransitive.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/EqualsTransitive.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/HashCodeReturnsNormally.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/HashCodeReturnsNormally.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/IsNotNull.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/IsNotNull.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/IsNull.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/IsNull.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/ObjectContract.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/ObjectContract.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/ObjectContractUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/ObjectContractUtils.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/ObserverEqArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/ObserverEqArray.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/ObserverEqValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/ObserverEqValue.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/PrimValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/PrimValue.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/SizeToArrayLength.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/SizeToArrayLength.java -------------------------------------------------------------------------------- /src/main/java/randoop/contract/ToStringReturnsNormally.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/contract/ToStringReturnsNormally.java -------------------------------------------------------------------------------- /src/main/java/randoop/execution/RunCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/execution/RunCommand.java -------------------------------------------------------------------------------- /src/main/java/randoop/execution/TestEnvironment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/execution/TestEnvironment.java -------------------------------------------------------------------------------- /src/main/java/randoop/field/AccessibleField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/field/AccessibleField.java -------------------------------------------------------------------------------- /src/main/java/randoop/field/FieldParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/field/FieldParser.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/AbstractGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/AbstractGenerator.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/Bloodhound.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/Bloodhound.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/ComponentManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/ComponentManager.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/CoverageTracker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/CoverageTracker.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/EqualsMethodMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/EqualsMethodMatcher.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/ForwardGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/ForwardGenerator.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/GrtFuzzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/GrtFuzzer.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/GrtNumericFuzzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/GrtNumericFuzzer.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/GrtObjectFuzzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/GrtObjectFuzzer.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/GrtStringFuzzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/GrtStringFuzzer.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/HelperSequenceCreator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/HelperSequenceCreator.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/IEventListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/IEventListener.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/IStopper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/IStopper.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/InputSequenceSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/InputSequenceSelector.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/InputsAndSuccessFlag.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/InputsAndSuccessFlag.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/ObjectCache.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/ObjectCache.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/OperationHistoryLogger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/OperationHistoryLogger.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/OperationOutcome.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/OperationOutcome.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/OrienteeringSelection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/OrienteeringSelection.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/RandoopGenerationError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/RandoopGenerationError.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/SeedSequences.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/SeedSequences.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/StateMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/StateMatcher.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/TestUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/TestUtils.java -------------------------------------------------------------------------------- /src/main/java/randoop/generation/TypedOperationSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/generation/TypedOperationSelector.java -------------------------------------------------------------------------------- /src/main/java/randoop/instrument/CoveredClassVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/instrument/CoveredClassVisitor.java -------------------------------------------------------------------------------- /src/main/java/randoop/main/ClassNameErrorHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/main/ClassNameErrorHandler.java -------------------------------------------------------------------------------- /src/main/java/randoop/main/CommandHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/main/CommandHandler.java -------------------------------------------------------------------------------- /src/main/java/randoop/main/ExceptionBehaviorClassifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/main/ExceptionBehaviorClassifier.java -------------------------------------------------------------------------------- /src/main/java/randoop/main/GenInputsAbstract.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/main/GenInputsAbstract.java -------------------------------------------------------------------------------- /src/main/java/randoop/main/GenTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/main/GenTests.java -------------------------------------------------------------------------------- /src/main/java/randoop/main/Help.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/main/Help.java -------------------------------------------------------------------------------- /src/main/java/randoop/main/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/main/Main.java -------------------------------------------------------------------------------- /src/main/java/randoop/main/Minimize.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/main/Minimize.java -------------------------------------------------------------------------------- /src/main/java/randoop/main/OptionsCache.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/main/OptionsCache.java -------------------------------------------------------------------------------- /src/main/java/randoop/main/RandoopBug.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/main/RandoopBug.java -------------------------------------------------------------------------------- /src/main/java/randoop/main/RandoopClassNameError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/main/RandoopClassNameError.java -------------------------------------------------------------------------------- /src/main/java/randoop/main/RandoopCommandError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/main/RandoopCommandError.java -------------------------------------------------------------------------------- /src/main/java/randoop/main/RandoopUsageError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/main/RandoopUsageError.java -------------------------------------------------------------------------------- /src/main/java/randoop/main/ThrowClassNameError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/main/ThrowClassNameError.java -------------------------------------------------------------------------------- /src/main/java/randoop/main/WarnOnBadClassName.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/main/WarnOnBadClassName.java -------------------------------------------------------------------------------- /src/main/java/randoop/operation/ArrayCreation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/operation/ArrayCreation.java -------------------------------------------------------------------------------- /src/main/java/randoop/operation/ArrayElementSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/operation/ArrayElementSet.java -------------------------------------------------------------------------------- /src/main/java/randoop/operation/CallableOperation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/operation/CallableOperation.java -------------------------------------------------------------------------------- /src/main/java/randoop/operation/ConstructorCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/operation/ConstructorCall.java -------------------------------------------------------------------------------- /src/main/java/randoop/operation/EnumConstant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/operation/EnumConstant.java -------------------------------------------------------------------------------- /src/main/java/randoop/operation/FieldGet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/operation/FieldGet.java -------------------------------------------------------------------------------- /src/main/java/randoop/operation/FieldSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/operation/FieldSet.java -------------------------------------------------------------------------------- /src/main/java/randoop/operation/InitializedArrayCreation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/operation/InitializedArrayCreation.java -------------------------------------------------------------------------------- /src/main/java/randoop/operation/MethodCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/operation/MethodCall.java -------------------------------------------------------------------------------- /src/main/java/randoop/operation/NonreceiverTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/operation/NonreceiverTerm.java -------------------------------------------------------------------------------- /src/main/java/randoop/operation/Operation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/operation/Operation.java -------------------------------------------------------------------------------- /src/main/java/randoop/operation/OperationParseException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/operation/OperationParseException.java -------------------------------------------------------------------------------- /src/main/java/randoop/operation/OperationParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/operation/OperationParser.java -------------------------------------------------------------------------------- /src/main/java/randoop/operation/TypeArguments.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/operation/TypeArguments.java -------------------------------------------------------------------------------- /src/main/java/randoop/operation/TypedClassOperation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/operation/TypedClassOperation.java -------------------------------------------------------------------------------- /src/main/java/randoop/operation/TypedOperation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/operation/TypedOperation.java -------------------------------------------------------------------------------- /src/main/java/randoop/operation/TypedTermOperation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/operation/TypedTermOperation.java -------------------------------------------------------------------------------- /src/main/java/randoop/operation/UncheckedCast.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/operation/UncheckedCast.java -------------------------------------------------------------------------------- /src/main/java/randoop/output/ClassRenamingVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/output/ClassRenamingVisitor.java -------------------------------------------------------------------------------- /src/main/java/randoop/output/ClassTypeVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/output/ClassTypeVisitor.java -------------------------------------------------------------------------------- /src/main/java/randoop/output/CodeWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/output/CodeWriter.java -------------------------------------------------------------------------------- /src/main/java/randoop/output/JUnitCreator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/output/JUnitCreator.java -------------------------------------------------------------------------------- /src/main/java/randoop/output/JavaFileWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/output/JavaFileWriter.java -------------------------------------------------------------------------------- /src/main/java/randoop/output/MinimizerWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/output/MinimizerWriter.java -------------------------------------------------------------------------------- /src/main/java/randoop/output/NameGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/output/NameGenerator.java -------------------------------------------------------------------------------- /src/main/java/randoop/output/RandoopOutputException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/output/RandoopOutputException.java -------------------------------------------------------------------------------- /src/main/java/randoop/output/SourceBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/output/SourceBuilder.java -------------------------------------------------------------------------------- /src/main/java/randoop/reflection/CheckRepExtractor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/reflection/CheckRepExtractor.java -------------------------------------------------------------------------------- /src/main/java/randoop/reflection/ClassVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/reflection/ClassVisitor.java -------------------------------------------------------------------------------- /src/main/java/randoop/reflection/DeclarationExtractor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/reflection/DeclarationExtractor.java -------------------------------------------------------------------------------- /src/main/java/randoop/reflection/DefaultClassVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/reflection/DefaultClassVisitor.java -------------------------------------------------------------------------------- /src/main/java/randoop/reflection/LiteralFileReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/reflection/LiteralFileReader.java -------------------------------------------------------------------------------- /src/main/java/randoop/reflection/OmitMethodsPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/reflection/OmitMethodsPredicate.java -------------------------------------------------------------------------------- /src/main/java/randoop/reflection/OperationExtractor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/reflection/OperationExtractor.java -------------------------------------------------------------------------------- /src/main/java/randoop/reflection/OperationModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/reflection/OperationModel.java -------------------------------------------------------------------------------- /src/main/java/randoop/reflection/RawSignature.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/reflection/RawSignature.java -------------------------------------------------------------------------------- /src/main/java/randoop/reflection/ReflectionManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/reflection/ReflectionManager.java -------------------------------------------------------------------------------- /src/main/java/randoop/reflection/ReflectionPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/reflection/ReflectionPredicate.java -------------------------------------------------------------------------------- /src/main/java/randoop/reflection/SignatureParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/reflection/SignatureParser.java -------------------------------------------------------------------------------- /src/main/java/randoop/reflection/StaticCache.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/reflection/StaticCache.java -------------------------------------------------------------------------------- /src/main/java/randoop/reflection/TestValueExtractor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/reflection/TestValueExtractor.java -------------------------------------------------------------------------------- /src/main/java/randoop/reflection/TypeExtractor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/reflection/TypeExtractor.java -------------------------------------------------------------------------------- /src/main/java/randoop/reflection/TypeInstantiator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/reflection/TypeInstantiator.java -------------------------------------------------------------------------------- /src/main/java/randoop/reflection/TypeNames.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/reflection/TypeNames.java -------------------------------------------------------------------------------- /src/main/java/randoop/reflection/TypeTupleSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/reflection/TypeTupleSet.java -------------------------------------------------------------------------------- /src/main/java/randoop/runtime/ClosingStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/runtime/ClosingStream.java -------------------------------------------------------------------------------- /src/main/java/randoop/runtime/CreatedJUnitFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/runtime/CreatedJUnitFile.java -------------------------------------------------------------------------------- /src/main/java/randoop/runtime/ErrorRevealed.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/runtime/ErrorRevealed.java -------------------------------------------------------------------------------- /src/main/java/randoop/runtime/IMessage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/runtime/IMessage.java -------------------------------------------------------------------------------- /src/main/java/randoop/runtime/RandoopFinished.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/runtime/RandoopFinished.java -------------------------------------------------------------------------------- /src/main/java/randoop/runtime/RandoopStarted.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/runtime/RandoopStarted.java -------------------------------------------------------------------------------- /src/main/java/randoop/sequence/ClassLiterals.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/sequence/ClassLiterals.java -------------------------------------------------------------------------------- /src/main/java/randoop/sequence/DummyVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/sequence/DummyVariable.java -------------------------------------------------------------------------------- /src/main/java/randoop/sequence/ExecutableSequence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/sequence/ExecutableSequence.java -------------------------------------------------------------------------------- /src/main/java/randoop/sequence/Execution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/sequence/Execution.java -------------------------------------------------------------------------------- /src/main/java/randoop/sequence/MappedSequences.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/sequence/MappedSequences.java -------------------------------------------------------------------------------- /src/main/java/randoop/sequence/PackageLiterals.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/sequence/PackageLiterals.java -------------------------------------------------------------------------------- /src/main/java/randoop/sequence/ReferenceValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/sequence/ReferenceValue.java -------------------------------------------------------------------------------- /src/main/java/randoop/sequence/Sequence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/sequence/Sequence.java -------------------------------------------------------------------------------- /src/main/java/randoop/sequence/SequenceCollection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/sequence/SequenceCollection.java -------------------------------------------------------------------------------- /src/main/java/randoop/sequence/SequenceExceptionError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/sequence/SequenceExceptionError.java -------------------------------------------------------------------------------- /src/main/java/randoop/sequence/SequenceParseException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/sequence/SequenceParseException.java -------------------------------------------------------------------------------- /src/main/java/randoop/sequence/Statement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/sequence/Statement.java -------------------------------------------------------------------------------- /src/main/java/randoop/sequence/StringTooLongException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/sequence/StringTooLongException.java -------------------------------------------------------------------------------- /src/main/java/randoop/sequence/TupleSequence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/sequence/TupleSequence.java -------------------------------------------------------------------------------- /src/main/java/randoop/sequence/Value.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/sequence/Value.java -------------------------------------------------------------------------------- /src/main/java/randoop/sequence/VarAndSeq.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/sequence/VarAndSeq.java -------------------------------------------------------------------------------- /src/main/java/randoop/sequence/Variable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/sequence/Variable.java -------------------------------------------------------------------------------- /src/main/java/randoop/sequence/VariableRenamer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/sequence/VariableRenamer.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/Check.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/Check.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/CompilableTestPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/CompilableTestPredicate.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/ContractCheckingGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/ContractCheckingGenerator.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/ContractSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/ContractSet.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/DummyCheckGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/DummyCheckGenerator.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/EmptyExceptionCheck.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/EmptyExceptionCheck.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/ErrorRevealingChecks.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/ErrorRevealingChecks.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/ErrorTestPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/ErrorTestPredicate.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/ExceptionCheck.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/ExceptionCheck.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/ExcludeTestPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/ExcludeTestPredicate.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/ExpectedExceptionCheck.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/ExpectedExceptionCheck.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/ExpectedExceptionCheckGen.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/ExpectedExceptionCheckGen.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/ExpectedExceptionGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/ExpectedExceptionGenerator.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/ExtendGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/ExtendGenerator.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/IncludeIfCoversPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/IncludeIfCoversPredicate.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/IncludeTestPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/IncludeTestPredicate.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/InvalidCheckGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/InvalidCheckGenerator.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/InvalidChecks.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/InvalidChecks.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/InvalidExceptionCheck.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/InvalidExceptionCheck.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/InvalidValueCheck.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/InvalidValueCheck.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/MissingExceptionCheck.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/MissingExceptionCheck.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/NoExceptionCheck.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/NoExceptionCheck.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/ObjectCheck.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/ObjectCheck.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/PostConditionCheck.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/PostConditionCheck.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/RegressionCaptureGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/RegressionCaptureGenerator.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/RegressionChecks.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/RegressionChecks.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/RegressionTestPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/RegressionTestPredicate.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/TestCheckGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/TestCheckGenerator.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/TestChecks.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/TestChecks.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/ValidityCheckingGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/ValidityCheckingGenerator.java -------------------------------------------------------------------------------- /src/main/java/randoop/test/ValueSizePredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/test/ValueSizePredicate.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/ArrayType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/ArrayType.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/BoundsCheck.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/BoundsCheck.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/CaptureTypeVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/CaptureTypeVariable.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/ClassOrInterfaceType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/ClassOrInterfaceType.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/EagerReferenceBound.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/EagerReferenceBound.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/ExplicitTypeVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/ExplicitTypeVariable.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/GenericClassType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/GenericClassType.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/InstantiatedType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/InstantiatedType.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/IntersectionTypeBound.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/IntersectionTypeBound.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/JDKTypes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/JDKTypes.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/JavaTypes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/JavaTypes.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/LazyParameterBound.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/LazyParameterBound.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/LazyReferenceBound.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/LazyReferenceBound.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/NonParameterizedType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/NonParameterizedType.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/NullReferenceType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/NullReferenceType.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/ParameterBound.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/ParameterBound.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/ParameterType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/ParameterType.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/ParameterizedType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/ParameterizedType.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/PrimitiveType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/PrimitiveType.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/PrimitiveTypes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/PrimitiveTypes.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/RandoopTypeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/RandoopTypeException.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/ReferenceArgument.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/ReferenceArgument.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/ReferenceBound.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/ReferenceBound.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/ReferenceType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/ReferenceType.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/Substitution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/Substitution.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/Type.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/Type.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/TypeArgument.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/TypeArgument.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/TypeTuple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/TypeTuple.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/TypeVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/TypeVariable.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/VoidType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/VoidType.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/WildcardArgument.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/WildcardArgument.java -------------------------------------------------------------------------------- /src/main/java/randoop/types/WildcardType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/types/WildcardType.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/CheckpointingMultiMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/CheckpointingMultiMap.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/CheckpointingSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/CheckpointingSet.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/ClassFileConstants.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/ClassFileConstants.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/CollectionsExt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/CollectionsExt.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/ConstructorReflectionCode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/ConstructorReflectionCode.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/CountDownTimer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/CountDownTimer.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/IMultiMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/IMultiMap.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/IdentityMultiMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/IdentityMultiMap.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/JarReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/JarReader.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/KeyToMultiSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/KeyToMultiSet.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/Log.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/Log.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/MethodReflectionCode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/MethodReflectionCode.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/MultiMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/MultiMap.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/MultiSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/MultiSet.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/ProgressDisplay.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/ProgressDisplay.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/Randomness.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/Randomness.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/RandoopLoggingError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/RandoopLoggingError.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/RecordListReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/RecordListReader.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/RecordProcessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/RecordProcessor.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/ReflectionCode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/ReflectionCode.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/ReflectionExecutor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/ReflectionExecutor.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/RunnerThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/RunnerThread.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/TestCoverageInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/TestCoverageInfo.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/TupleSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/TupleSet.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/Util.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/Util.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/predicate/AlwaysFalse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/predicate/AlwaysFalse.java -------------------------------------------------------------------------------- /src/main/java/randoop/util/predicate/AlwaysTrue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/java/randoop/util/predicate/AlwaysTrue.java -------------------------------------------------------------------------------- /src/main/resources/JDK-nondet-methods.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/JDK-nondet-methods.txt -------------------------------------------------------------------------------- /src/main/resources/JDK-sef-methods.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/JDK-sef-methods.txt -------------------------------------------------------------------------------- /src/main/resources/omit-classes-defaults.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/omit-classes-defaults.txt -------------------------------------------------------------------------------- /src/main/resources/omitmethods-defaults.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/omitmethods-defaults.txt -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/README -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-awt-Button.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-awt-Button.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-awt-Canvas.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-awt-Canvas.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-awt-Choice.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-awt-Choice.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-awt-Color.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-awt-Color.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-awt-Dialog.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-awt-Dialog.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-awt-Event.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-awt-Event.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-awt-Font.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-awt-Font.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-awt-Frame.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-awt-Frame.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-awt-Image.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-awt-Image.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-awt-Label.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-awt-Label.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-awt-List.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-awt-List.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-awt-Menu.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-awt-Menu.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-awt-Point.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-awt-Point.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-awt-Robot.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-awt-Robot.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-awt-Shape.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-awt-Shape.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-awt-Window.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-awt-Window.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-io-Console.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-io-Console.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-io-File.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-io-File.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-io-Reader.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-io-Reader.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-io-Writer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-io-Writer.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-lang-Byte.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-lang-Byte.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-lang-Class.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-lang-Class.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-lang-Enum.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-lang-Enum.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-lang-Float.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-lang-Float.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-lang-Long.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-lang-Long.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-lang-Math.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-lang-Math.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-lang-Short.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-lang-Short.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-nio-Buffer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-nio-Buffer.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-util-Date.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-util-Date.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-util-Deque.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-util-Deque.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-util-List.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-util-List.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-util-Map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-util-Map.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-util-Queue.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-util-Queue.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-util-Set.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-util-Set.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-util-Stack.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-util-Stack.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-util-Timer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-util-Timer.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/java-util-UUID.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/java-util-UUID.json -------------------------------------------------------------------------------- /src/main/resources/specifications/jdk/javax-swing-Box.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/main/resources/specifications/jdk/javax-swing-Box.json -------------------------------------------------------------------------------- /src/systemTest/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/systemTest/README.txt -------------------------------------------------------------------------------- /src/systemTest/java/randoop/main/CompilationStatus.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/systemTest/java/randoop/main/CompilationStatus.java -------------------------------------------------------------------------------- /src/systemTest/java/randoop/main/CoverageChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/systemTest/java/randoop/main/CoverageChecker.java -------------------------------------------------------------------------------- /src/systemTest/java/randoop/main/MethodCoverageMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/systemTest/java/randoop/main/MethodCoverageMap.java -------------------------------------------------------------------------------- /src/systemTest/java/randoop/main/ProcessStatus.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/systemTest/java/randoop/main/ProcessStatus.java -------------------------------------------------------------------------------- /src/systemTest/java/randoop/main/RandoopOptions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/systemTest/java/randoop/main/RandoopOptions.java -------------------------------------------------------------------------------- /src/systemTest/java/randoop/main/RandoopRunStatus.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/systemTest/java/randoop/main/RandoopRunStatus.java -------------------------------------------------------------------------------- /src/systemTest/java/randoop/main/RandoopSystemTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/systemTest/java/randoop/main/RandoopSystemTest.java -------------------------------------------------------------------------------- /src/systemTest/java/randoop/main/TestRunStatus.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/systemTest/java/randoop/main/TestRunStatus.java -------------------------------------------------------------------------------- /src/systemTest/resources/JDK7-omitmethods.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/systemTest/resources/JDK7-omitmethods.txt -------------------------------------------------------------------------------- /src/systemTest/resources/JDK7-sef-methods.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/systemTest/resources/JDK7-sef-methods.txt -------------------------------------------------------------------------------- /src/systemTest/resources/afterallcode.txt: -------------------------------------------------------------------------------- 1 | System.out.println("After All"); 2 | -------------------------------------------------------------------------------- /src/systemTest/resources/aftereachcode.txt: -------------------------------------------------------------------------------- 1 | System.out.println("After Each"); 2 | -------------------------------------------------------------------------------- /src/systemTest/resources/beforeallcode.txt: -------------------------------------------------------------------------------- 1 | System.out.println("Before All"); 2 | -------------------------------------------------------------------------------- /src/systemTest/resources/beforeeachcode.txt: -------------------------------------------------------------------------------- 1 | System.out.println("Before Each"); 2 | -------------------------------------------------------------------------------- /src/systemTest/resources/buggyclasses.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/systemTest/resources/buggyclasses.txt -------------------------------------------------------------------------------- /src/systemTest/resources/emptyclasslist.txt: -------------------------------------------------------------------------------- 1 | 2 | 3 | -------------------------------------------------------------------------------- /src/systemTest/resources/jdk_classlist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/systemTest/resources/jdk_classlist.txt -------------------------------------------------------------------------------- /src/systemTest/resources/literalsfile.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/systemTest/resources/literalsfile.txt -------------------------------------------------------------------------------- /src/systemTest/resources/method_list_example.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/systemTest/resources/method_list_example.txt -------------------------------------------------------------------------------- /src/systemTest/resources/naiveomitfields.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/systemTest/resources/naiveomitfields.txt -------------------------------------------------------------------------------- /src/systemTest/resources/replacecall-exclusions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/systemTest/resources/replacecall-exclusions.txt -------------------------------------------------------------------------------- /src/systemTest/resources/side_effect_free_Box_methods.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/systemTest/resources/side_effect_free_Box_methods.txt -------------------------------------------------------------------------------- /src/systemTest/resources/testclassomitfields.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/systemTest/resources/testclassomitfields.txt -------------------------------------------------------------------------------- /src/test/java/randoop/compile/SequenceCompilerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/compile/SequenceCompilerTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/condition/ConditionMethodTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/condition/ConditionMethodTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/field/AccessibleFieldTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/field/AccessibleFieldTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/field/PublicFieldParserTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/field/PublicFieldParserTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/generation/Day.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/generation/Day.java -------------------------------------------------------------------------------- /src/test/java/randoop/generation/Flaky.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/generation/Flaky.java -------------------------------------------------------------------------------- /src/test/java/randoop/generation/FlakyStore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/generation/FlakyStore.java -------------------------------------------------------------------------------- /src/test/java/randoop/generation/TestFilteringTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/generation/TestFilteringTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/main/minimizer/MinimizerTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/main/minimizer/MinimizerTests.java -------------------------------------------------------------------------------- /src/test/java/randoop/main/minimizer/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/main/minimizer/README.md -------------------------------------------------------------------------------- /src/test/java/randoop/main/testcode/RandoopFlaky.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/main/testcode/RandoopFlaky.java -------------------------------------------------------------------------------- /src/test/java/randoop/operation/ArrayCreationTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/operation/ArrayCreationTests.java -------------------------------------------------------------------------------- /src/test/java/randoop/operation/ClassReflectionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/operation/ClassReflectionTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/operation/EnumConstantTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/operation/EnumConstantTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/operation/EnumReflectionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/operation/EnumReflectionTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/operation/FieldGetterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/operation/FieldGetterTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/operation/FieldReflectionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/operation/FieldReflectionTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/operation/FieldSetterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/operation/FieldSetterTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/operation/OperationParserTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/operation/OperationParserTests.java -------------------------------------------------------------------------------- /src/test/java/randoop/operation/ParameterInput.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/operation/ParameterInput.java -------------------------------------------------------------------------------- /src/test/java/randoop/operation/SimpleEnumForTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/operation/SimpleEnumForTests.java -------------------------------------------------------------------------------- /src/test/java/randoop/operation/TermTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/operation/TermTests.java -------------------------------------------------------------------------------- /src/test/java/randoop/operation/TypedOperationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/operation/TypedOperationTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/output/JUnitCreatorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/output/JUnitCreatorTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/AccessibilityTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/AccessibilityTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/AnIterable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/AnIterable.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/BMB.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/BMB.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/BST.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/BST.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/ConstantFieldChild.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/ConstantFieldChild.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/ConstantFieldParent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/ConstantFieldParent.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/FInterface.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/FInterface.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/FieldInheritingClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/FieldInheritingClass.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/GenericClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/GenericClass.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/GenericWithInnerSub.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/GenericWithInnerSub.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/InstantiationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/InstantiationTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/OmitMethodsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/OmitMethodsTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/OperationModelTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/OperationModelTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/PBInterface.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/PBInterface.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/PartialBindingInput.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/PartialBindingInput.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/PureClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/PureClass.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/SetUtility.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/SetUtility.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/SignatureParserTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/SignatureParserTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/StringComparator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/StringComparator.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/VisibilityBridgeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/VisibilityBridgeTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/omitinputs/p/C.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/omitinputs/p/C.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/omitinputs/p/E.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/omitinputs/p/E.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/omitinputs/p/G.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/omitinputs/p/G.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/omitinputs/p/P.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/omitinputs/p/P.java -------------------------------------------------------------------------------- /src/test/java/randoop/reflection/omitinputs/q/D.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/reflection/omitinputs/q/D.java -------------------------------------------------------------------------------- /src/test/java/randoop/sequence/DevExampleCode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/sequence/DevExampleCode.java -------------------------------------------------------------------------------- /src/test/java/randoop/sequence/GenericTypeWithDigit2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/sequence/GenericTypeWithDigit2.java -------------------------------------------------------------------------------- /src/test/java/randoop/sequence/VariableNamerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/sequence/VariableNamerTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/test/AbstractPerformanceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/test/AbstractPerformanceTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/test/CompilePredicateTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/test/CompilePredicateTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/test/EmptyTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/test/EmptyTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/test/EqualsNotSymmetricTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/test/EqualsNotSymmetricTests.java -------------------------------------------------------------------------------- /src/test/java/randoop/test/EqualsNotTransitiveTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/test/EqualsNotTransitiveTests.java -------------------------------------------------------------------------------- /src/test/java/randoop/test/EqualsToNullTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/test/EqualsToNullTests.java -------------------------------------------------------------------------------- /src/test/java/randoop/test/ForwardExplorerTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/test/ForwardExplorerTests.java -------------------------------------------------------------------------------- /src/test/java/randoop/test/ForwardExplorerTests2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/test/ForwardExplorerTests2.java -------------------------------------------------------------------------------- /src/test/java/randoop/test/ICSE07ContainersTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/test/ICSE07ContainersTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/test/ListOfListsIteratorTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/test/ListOfListsIteratorTests.java -------------------------------------------------------------------------------- /src/test/java/randoop/test/ListOfListsSelectorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/test/ListOfListsSelectorTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/test/NonterminatingInputTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/test/NonterminatingInputTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/test/PrintJdkTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/test/PrintJdkTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/test/RandomnessTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/test/RandomnessTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/test/RandoopPerformanceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/test/RandoopPerformanceTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/test/SeedSequencesTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/test/SeedSequencesTests.java -------------------------------------------------------------------------------- /src/test/java/randoop/test/SequenceTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/test/SequenceTests.java -------------------------------------------------------------------------------- /src/test/java/randoop/test/UtilTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/test/UtilTests.java -------------------------------------------------------------------------------- /src/test/java/randoop/types/ArrayTypeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/types/ArrayTypeTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/types/CaptureConversionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/types/CaptureConversionTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/types/ConcreteTypeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/types/ConcreteTypeTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/types/GenericTypesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/types/GenericTypesTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/types/JDKTypesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/types/JDKTypesTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/types/ParameterizedTypeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/types/ParameterizedTypeTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/types/SimpleTypeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/types/SimpleTypeTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/types/TypeBoundTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/types/TypeBoundTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/types/TypeTupleTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/types/TypeTupleTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/types/TypeVariableTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/types/TypeVariableTest.java -------------------------------------------------------------------------------- /src/test/java/randoop/util/ReplaceWordsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/java/randoop/util/ReplaceWordsTest.java -------------------------------------------------------------------------------- /src/test/resources/dependencytests-output.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/resources/dependencytests-output.txt -------------------------------------------------------------------------------- /src/test/resources/dependencytests.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/resources/dependencytests.txt -------------------------------------------------------------------------------- /src/test/resources/java.util.classlist.java1.6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/resources/java.util.classlist.java1.6.txt -------------------------------------------------------------------------------- /src/test/resources/java.util.classlist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/resources/java.util.classlist.txt -------------------------------------------------------------------------------- /src/test/resources/minimizer/README: -------------------------------------------------------------------------------- 1 | See file src/test/java/randoop/main/minimizer/README.md . 2 | -------------------------------------------------------------------------------- /src/test/resources/minimizer/TestInputWithComments.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/resources/minimizer/TestInputWithComments.java -------------------------------------------------------------------------------- /src/test/resources/minimizer/TestInputWithWhileLoop.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/resources/minimizer/TestInputWithWhileLoop.java -------------------------------------------------------------------------------- /src/test/resources/minimizer/dir_a/ClassA.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/resources/minimizer/dir_a/ClassA.java -------------------------------------------------------------------------------- /src/test/resources/minimizer/dir_a/ClassB.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/resources/minimizer/dir_a/ClassB.java -------------------------------------------------------------------------------- /src/test/resources/minimizer/dir_b/ClassA.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/resources/minimizer/dir_b/ClassA.java -------------------------------------------------------------------------------- /src/test/resources/sequence_tests_script.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/resources/sequence_tests_script.txt -------------------------------------------------------------------------------- /src/test/resources/universal_driver.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/test/resources/universal_driver.txt -------------------------------------------------------------------------------- /src/testInput/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/COPYING -------------------------------------------------------------------------------- /src/testInput/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/README.txt -------------------------------------------------------------------------------- /src/testInput/java/ClassInDefaultPackage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/ClassInDefaultPackage.java -------------------------------------------------------------------------------- /src/testInput/java/collectiongen/ANonInputClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/collectiongen/ANonInputClass.java -------------------------------------------------------------------------------- /src/testInput/java/collectiongen/AnInputClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/collectiongen/AnInputClass.java -------------------------------------------------------------------------------- /src/testInput/java/collectiongen/Day.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/collectiongen/Day.java -------------------------------------------------------------------------------- /src/testInput/java/collectiongen/InputClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/collectiongen/InputClass.java -------------------------------------------------------------------------------- /src/testInput/java/collectiongen/Season.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/collectiongen/Season.java -------------------------------------------------------------------------------- /src/testInput/java/collections/BadCollection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/collections/BadCollection.java -------------------------------------------------------------------------------- /src/testInput/java/collections/NonNullCollection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/collections/NonNullCollection.java -------------------------------------------------------------------------------- /src/testInput/java/collections/SeedIntegerCollection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/collections/SeedIntegerCollection.java -------------------------------------------------------------------------------- /src/testInput/java/compileerr/WildcardCollection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/compileerr/WildcardCollection.java -------------------------------------------------------------------------------- /src/testInput/java/components/ArrowIcon.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/ArrowIcon.java -------------------------------------------------------------------------------- /src/testInput/java/components/BorderDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/BorderDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/ButtonDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/ButtonDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/ButtonHtmlDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/ButtonHtmlDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/CheckBoxDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/CheckBoxDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/ColorChooserDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/ColorChooserDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/ColorChooserDemo2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/ColorChooserDemo2.java -------------------------------------------------------------------------------- /src/testInput/java/components/ComboBoxDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/ComboBoxDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/ConversionPanel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/ConversionPanel.java -------------------------------------------------------------------------------- /src/testInput/java/components/Converter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/Converter.java -------------------------------------------------------------------------------- /src/testInput/java/components/ConverterRangeModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/ConverterRangeModel.java -------------------------------------------------------------------------------- /src/testInput/java/components/Corner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/Corner.java -------------------------------------------------------------------------------- /src/testInput/java/components/CrayonPanel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/CrayonPanel.java -------------------------------------------------------------------------------- /src/testInput/java/components/CustomComboBoxDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/CustomComboBoxDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/CustomDialog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/CustomDialog.java -------------------------------------------------------------------------------- /src/testInput/java/components/CustomIconDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/CustomIconDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/DialogDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/DialogDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/DialogRunner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/DialogRunner.java -------------------------------------------------------------------------------- /src/testInput/java/components/DynamicTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/DynamicTree.java -------------------------------------------------------------------------------- /src/testInput/java/components/DynamicTreeDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/DynamicTreeDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/FileChooserDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/FileChooserDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/FileChooserDemo2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/FileChooserDemo2.java -------------------------------------------------------------------------------- /src/testInput/java/components/FollowerRangeModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/FollowerRangeModel.java -------------------------------------------------------------------------------- /src/testInput/java/components/FormattedTextFieldDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/FormattedTextFieldDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/FormatterFactoryDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/FormatterFactoryDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/FrameDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/FrameDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/FrameDemo2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/FrameDemo2.java -------------------------------------------------------------------------------- /src/testInput/java/components/Framework.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/Framework.java -------------------------------------------------------------------------------- /src/testInput/java/components/GenealogyExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/GenealogyExample.java -------------------------------------------------------------------------------- /src/testInput/java/components/GenealogyModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/GenealogyModel.java -------------------------------------------------------------------------------- /src/testInput/java/components/GenealogyTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/GenealogyTree.java -------------------------------------------------------------------------------- /src/testInput/java/components/GlassPaneDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/GlassPaneDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/HtmlDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/HtmlDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/IconDemoApp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/IconDemoApp.java -------------------------------------------------------------------------------- /src/testInput/java/components/ImageFileView.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/ImageFileView.java -------------------------------------------------------------------------------- /src/testInput/java/components/ImageFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/ImageFilter.java -------------------------------------------------------------------------------- /src/testInput/java/components/ImagePreview.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/ImagePreview.java -------------------------------------------------------------------------------- /src/testInput/java/components/InternalFrameDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/InternalFrameDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/LabelDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/LabelDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/LayeredPaneDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/LayeredPaneDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/LayeredPaneDemo2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/LayeredPaneDemo2.java -------------------------------------------------------------------------------- /src/testInput/java/components/ListDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/ListDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/ListDialog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/ListDialog.java -------------------------------------------------------------------------------- /src/testInput/java/components/ListDialogRunner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/ListDialogRunner.java -------------------------------------------------------------------------------- /src/testInput/java/components/MenuDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/MenuDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/MenuGlueDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/MenuGlueDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/MenuLayoutDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/MenuLayoutDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/MenuLookDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/MenuLookDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/MissingIcon.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/MissingIcon.java -------------------------------------------------------------------------------- /src/testInput/java/components/MyInternalFrame.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/MyInternalFrame.java -------------------------------------------------------------------------------- /src/testInput/java/components/PasswordDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/PasswordDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/Person.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/Person.java -------------------------------------------------------------------------------- /src/testInput/java/components/PopupMenuDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/PopupMenuDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/ProgressBarDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/ProgressBarDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/ProgressBarDemo2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/ProgressBarDemo2.java -------------------------------------------------------------------------------- /src/testInput/java/components/ProgressMonitorDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/ProgressMonitorDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/README.md -------------------------------------------------------------------------------- /src/testInput/java/components/RadioButtonDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/RadioButtonDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/RootLayeredPaneDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/RootLayeredPaneDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/Rule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/Rule.java -------------------------------------------------------------------------------- /src/testInput/java/components/ScrollDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/ScrollDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/ScrollDemo2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/ScrollDemo2.java -------------------------------------------------------------------------------- /src/testInput/java/components/ScrollablePicture.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/ScrollablePicture.java -------------------------------------------------------------------------------- /src/testInput/java/components/SharedModelDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/SharedModelDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/SimpleTableDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/SimpleTableDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/SliderDemo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/SliderDemo.java -------------------------------------------------------------------------------- /src/testInput/java/components/SliderDemo2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/SliderDemo2.java -------------------------------------------------------------------------------- /src/testInput/java/components/Unit.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/Unit.java -------------------------------------------------------------------------------- /src/testInput/java/components/Utils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/components/Utils.java -------------------------------------------------------------------------------- /src/testInput/java/examples/Buggy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/examples/Buggy.java -------------------------------------------------------------------------------- /src/testInput/java/examples/CheckRep1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/examples/CheckRep1.java -------------------------------------------------------------------------------- /src/testInput/java/examples/CheckRep2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/examples/CheckRep2.java -------------------------------------------------------------------------------- /src/testInput/java/examples/Dummy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/examples/Dummy.java -------------------------------------------------------------------------------- /src/testInput/java/examples/NaNBadness.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/examples/NaNBadness.java -------------------------------------------------------------------------------- /src/testInput/java/examples/Option.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/examples/Option.java -------------------------------------------------------------------------------- /src/testInput/java/examples/Visibility.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/examples/Visibility.java -------------------------------------------------------------------------------- /src/testInput/java/flaky/FlakyClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/flaky/FlakyClass.java -------------------------------------------------------------------------------- /src/testInput/java/flaky/FlakyFileDependency.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/flaky/FlakyFileDependency.java -------------------------------------------------------------------------------- /src/testInput/java/generation/Dim5Matrix.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/generation/Dim5Matrix.java -------------------------------------------------------------------------------- /src/testInput/java/generation/Dim6Matrix.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/generation/Dim6Matrix.java -------------------------------------------------------------------------------- /src/testInput/java/generation/Matrix.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/generation/Matrix.java -------------------------------------------------------------------------------- /src/testInput/java/generror/Ints.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/generror/Ints.java -------------------------------------------------------------------------------- /src/testInput/java/graph/Graph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/graph/Graph.java -------------------------------------------------------------------------------- /src/testInput/java/graph/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/graph/Main.java -------------------------------------------------------------------------------- /src/testInput/java/graph/Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/graph/Node.java -------------------------------------------------------------------------------- /src/testInput/java/input/NoExitClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/input/NoExitClass.java -------------------------------------------------------------------------------- /src/testInput/java/input/SystemExitClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/input/SystemExitClass.java -------------------------------------------------------------------------------- /src/testInput/java/instrument/testcase/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/instrument/testcase/A.java -------------------------------------------------------------------------------- /src/testInput/java/instrument/testcase/AE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/instrument/testcase/AE.java -------------------------------------------------------------------------------- /src/testInput/java/instrument/testcase/AbstractTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/instrument/testcase/AbstractTarget.java -------------------------------------------------------------------------------- /src/testInput/java/instrument/testcase/B.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/instrument/testcase/B.java -------------------------------------------------------------------------------- /src/testInput/java/instrument/testcase/BE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/instrument/testcase/BE.java -------------------------------------------------------------------------------- /src/testInput/java/instrument/testcase/C.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/instrument/testcase/C.java -------------------------------------------------------------------------------- /src/testInput/java/instrument/testcase/CE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/instrument/testcase/CE.java -------------------------------------------------------------------------------- /src/testInput/java/instrument/testcase/ChildOfTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/instrument/testcase/ChildOfTarget.java -------------------------------------------------------------------------------- /src/testInput/java/instrument/testcase/D.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/instrument/testcase/D.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/AbstractCollection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/AbstractCollection.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/AbstractList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/AbstractList.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/AbstractMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/AbstractMap.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/AbstractQueue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/AbstractQueue.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/AbstractSequentialList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/AbstractSequentialList.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/AbstractSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/AbstractSet.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/ArrayDeque.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/ArrayDeque.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/ArrayList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/ArrayList.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/Arrays.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/Arrays.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/BitSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/BitSet.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/Collection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/Collection.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/Collections.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/Collections.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/ComparableTimSort.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/ComparableTimSort.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/Comparator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/Comparator.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/Deque.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/Deque.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/Dictionary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/Dictionary.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/DualPivotQuicksort.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/DualPivotQuicksort.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/EmptyStackException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/EmptyStackException.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/Enumeration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/Enumeration.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/EventListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/EventListener.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/EventListenerProxy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/EventListenerProxy.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/EventObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/EventObject.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/HashMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/HashMap.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/HashSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/HashSet.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/Hashtable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/Hashtable.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/IdentityHashMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/IdentityHashMap.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/LinkedHashMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/LinkedHashMap.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/LinkedHashSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/LinkedHashSet.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/LinkedList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/LinkedList.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/List.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/List.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/ListIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/ListIterator.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/Map.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/Map.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/NavigableMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/NavigableMap.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/NavigableSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/NavigableSet.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/NoSuchElementException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/NoSuchElementException.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/Observable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/Observable.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/Observer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/Observer.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/PriorityQueue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/PriorityQueue.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/Queue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/Queue.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/Random.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/Random.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/RandomAccess.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/RandomAccess.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/Set.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/Set.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/SortedMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/SortedMap.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/SortedSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/SortedSet.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/Stack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/Stack.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/StringTokenizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/StringTokenizer.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/TimSort.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/TimSort.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/TimerTask.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/TimerTask.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/TreeMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/TreeMap.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/TreeSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/TreeSet.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/Vector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/Vector.java -------------------------------------------------------------------------------- /src/testInput/java/java7/util7/WeakHashMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/java7/util7/WeakHashMap.java -------------------------------------------------------------------------------- /src/testInput/java/misc/BlowsUp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/misc/BlowsUp.java -------------------------------------------------------------------------------- /src/testInput/java/misc/EqualsOnSameReturnsFalse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/misc/EqualsOnSameReturnsFalse.java -------------------------------------------------------------------------------- /src/testInput/java/misc/MyCmeList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/misc/MyCmeList.java -------------------------------------------------------------------------------- /src/testInput/java/misc/NestedClasses.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/misc/NestedClasses.java -------------------------------------------------------------------------------- /src/testInput/java/misc/NonFaultyClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/misc/NonFaultyClass.java -------------------------------------------------------------------------------- /src/testInput/java/misc/PureStaticUnaryMethodExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/misc/PureStaticUnaryMethodExample.java -------------------------------------------------------------------------------- /src/testInput/java/misc/ThrowsAnonymousException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/misc/ThrowsAnonymousException.java -------------------------------------------------------------------------------- /src/testInput/java/misc/ThrowsNPE.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/misc/ThrowsNPE.java -------------------------------------------------------------------------------- /src/testInput/java/misc/ThrowsRuntimeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/misc/ThrowsRuntimeException.java -------------------------------------------------------------------------------- /src/testInput/java/misc/elephantbrain/ChildA.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/misc/elephantbrain/ChildA.java -------------------------------------------------------------------------------- /src/testInput/java/misc/elephantbrain/ChildB.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/misc/elephantbrain/ChildB.java -------------------------------------------------------------------------------- /src/testInput/java/misc/elephantbrain/GrandParent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/misc/elephantbrain/GrandParent.java -------------------------------------------------------------------------------- /src/testInput/java/misc/elephantbrain/Parent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/misc/elephantbrain/Parent.java -------------------------------------------------------------------------------- /src/testInput/java/misc/impurity/PureAndImpure.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/misc/impurity/PureAndImpure.java -------------------------------------------------------------------------------- /src/testInput/java/misc/puritypaper/Line.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/misc/puritypaper/Line.java -------------------------------------------------------------------------------- /src/testInput/java/misc/puritypaper/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/misc/puritypaper/Main.java -------------------------------------------------------------------------------- /src/testInput/java/misc/puritypaper/Point.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/misc/puritypaper/Point.java -------------------------------------------------------------------------------- /src/testInput/java/muse/RecursiveBound.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/muse/RecursiveBound.java -------------------------------------------------------------------------------- /src/testInput/java/muse/SortContainer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/muse/SortContainer.java -------------------------------------------------------------------------------- /src/testInput/java/net/Connection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/net/Connection.java -------------------------------------------------------------------------------- /src/testInput/java/pkg/SubClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/pkg/SubClass.java -------------------------------------------------------------------------------- /src/testInput/java/pkg/SuperClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/pkg/SuperClass.java -------------------------------------------------------------------------------- /src/testInput/java/pkg_SubClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/pkg_SubClass.java -------------------------------------------------------------------------------- /src/testInput/java/pkg_SuperClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/pkg_SuperClass.java -------------------------------------------------------------------------------- /src/testInput/java/ps1/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/ps1/Main.java -------------------------------------------------------------------------------- /src/testInput/java/ps1/RatNum.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/ps1/RatNum.java -------------------------------------------------------------------------------- /src/testInput/java/ps1/RatPoly.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/ps1/RatPoly.java -------------------------------------------------------------------------------- /src/testInput/java/ps1/RatPolyStack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/ps1/RatPolyStack.java -------------------------------------------------------------------------------- /src/testInput/java/ps1/RatPolyTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/ps1/RatPolyTest.java -------------------------------------------------------------------------------- /src/testInput/java/ps1/RatTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/ps1/RatTerm.java -------------------------------------------------------------------------------- /src/testInput/java/ps1/RatTermVec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/ps1/RatTermVec.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/field/ClassWithFields.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/field/ClassWithFields.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/field/SubclassWithFields.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/field/SubclassWithFields.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/literals/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/literals/A.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/literals/A2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/literals/A2.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/literals/B.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/literals/B.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/main/TimeOutBehavior.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/main/TimeOutBehavior.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/reflection/ConcreteClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/reflection/ConcreteClass.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/reflection/GenericBounds.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/reflection/GenericBounds.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/reflection/OrderedSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/reflection/OrderedSet.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/A.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/A2.java: -------------------------------------------------------------------------------- 1 | package randoop.test; 2 | 3 | public class A2 extends A {} 4 | -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/A3.java: -------------------------------------------------------------------------------- 1 | package randoop.test; 2 | 3 | class A3 {} 4 | -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/AnIntegerPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/AnIntegerPredicate.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/B.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/B.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/BiSort.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/BiSort.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/BiSortVal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/BiSortVal.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/ClassWithInnerClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/ClassWithInnerClass.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/ClassWithInnerEnum.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/ClassWithInnerEnum.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/Coin.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/Coin.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/CoinPurse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/CoinPurse.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/CompassDirection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/CompassDirection.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/EnumAsPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/EnumAsPredicate.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/Expression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/Expression.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/LongString.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/LongString.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/OperatorEnum.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/OperatorEnum.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/PlayingCard.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/PlayingCard.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/Seeds.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/Seeds.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/SimpleEnum.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/SimpleEnum.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/Test_SomeDuplicates.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/Test_SomeDuplicates.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/Test_SomePass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/Test_SomePass.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/UBStack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/UBStack.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/UBStack2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/UBStack2.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/bh/BH.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/bh/BH.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/bh/Body.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/bh/Body.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/bh/Cell.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/bh/Cell.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/bh/MathVector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/bh/MathVector.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/bh/Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/bh/Node.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/bh/Tree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/bh/Tree.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/health/Health.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/health/Health.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/health/Hospital.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/health/Hospital.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/health/List.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/health/List.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/health/Patient.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/health/Patient.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/health/Results.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/health/Results.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/health/Village.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/health/Village.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/inner/Outer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/inner/Outer.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/issta2006/BinTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/issta2006/BinTree.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/issta2006/FibHeap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/issta2006/FibHeap.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/issta2006/Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/issta2006/Node.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/issta2006/TreeMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/issta2006/TreeMap.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/mst/Graph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/mst/Graph.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/mst/Hashtable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/mst/Hashtable.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/mst/MST.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/mst/MST.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/mst/Vertex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/mst/Vertex.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/perimeter/BlackNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/perimeter/BlackNode.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/perimeter/GreyNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/perimeter/GreyNode.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/perimeter/NorthEast.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/perimeter/NorthEast.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/perimeter/NorthWest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/perimeter/NorthWest.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/perimeter/Perimeter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/perimeter/Perimeter.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/perimeter/Quadrant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/perimeter/Quadrant.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/perimeter/SouthEast.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/perimeter/SouthEast.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/perimeter/SouthWest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/perimeter/SouthWest.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/perimeter/WhiteNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/perimeter/WhiteNode.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/treeadd/TreeAdd.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/treeadd/TreeAdd.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/treeadd/TreeNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/treeadd/TreeNode.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/test/vmerrors/VMErrors.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/test/vmerrors/VMErrors.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/types/AbstractMultiary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/types/AbstractMultiary.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/types/CompoundFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/types/CompoundFunction.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/types/GenericsExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/types/GenericsExamples.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/types/TypeBoundExamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/types/TypeBoundExamples.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/types/test/BoxClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/types/test/BoxClass.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/types/test/ComplexSubclass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/types/test/ComplexSubclass.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/types/test/Container.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/types/test/Container.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/types/test/Gibberish.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/types/test/Gibberish.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/types/test/Nonsense.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/types/test/Nonsense.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/types/test/ParameterInput.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/types/test/ParameterInput.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/types/test/Subclass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/types/test/Subclass.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/types/test/Superclass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/types/test/Superclass.java -------------------------------------------------------------------------------- /src/testInput/java/randoop/types/test/VariablesInput.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/randoop/types/test/VariablesInput.java -------------------------------------------------------------------------------- /src/testInput/java/sideeffectfree/Box.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/sideeffectfree/Box.java -------------------------------------------------------------------------------- /src/testInput/java/sideeffectfree/Square.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/java/sideeffectfree/Square.java -------------------------------------------------------------------------------- /src/testInput/resources/ConnectionConditions.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/resources/ConnectionConditions.json -------------------------------------------------------------------------------- /src/testInput/resources/SubClassConditions.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/resources/SubClassConditions.json -------------------------------------------------------------------------------- /src/testInput/resources/components/images/gifIcon.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/resources/components/images/gifIcon.gif -------------------------------------------------------------------------------- /src/testInput/resources/components/images/jpgIcon.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/resources/components/images/jpgIcon.gif -------------------------------------------------------------------------------- /src/testInput/resources/components/images/middle.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/resources/components/images/middle.gif -------------------------------------------------------------------------------- /src/testInput/resources/components/images/pngIcon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/resources/components/images/pngIcon.png -------------------------------------------------------------------------------- /src/testInput/resources/components/images/tiffIcon.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/resources/components/images/tiffIcon.gif -------------------------------------------------------------------------------- /src/testInput/resources/components/omitfields.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/resources/components/omitfields.txt -------------------------------------------------------------------------------- /src/testInput/resources/instrument/testcase/allclasses.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/src/testInput/resources/instrument/testcase/allclasses.txt -------------------------------------------------------------------------------- /src/testInput/resources/instrument/testcase/annotatedclasses.txt: -------------------------------------------------------------------------------- 1 | instrument.testcase.D -------------------------------------------------------------------------------- /src/testInput/resources/instrument/testcase/coveredclasses.txt: -------------------------------------------------------------------------------- 1 | instrument.testcase.A 2 | -------------------------------------------------------------------------------- /uv.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/randoop/randoop/HEAD/uv.lock --------------------------------------------------------------------------------