View Java Class Source Code in JAR file
- Download JD-GUI to open JAR file and explore Java source code file (.class .java)
- Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window lincheck-jvm-2.23-IDEA-PLUGIN.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
org.jetbrains.kotlinx.lincheck
├─ org.jetbrains.kotlinx.lincheck.Actor.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.ActorKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.ActorWithResult.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.CTestConfiguration.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.CTestConfigurationKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.CTestStructure.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.CancellabilitySupportClassTransformer.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.CancellabilitySupportMethodTransformer.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.CancellabilitySupportTransformerKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.CancellableContinuationHolder.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.CancellationResult.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.Cancelled.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.ClassVersionGetter.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.CustomObjectInputStream.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.CustomScenarioDSLKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.DSLParallelScenario.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.DSLScenarioBuilder.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.DSLThreadScenario.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.ExceptionNumberAndStacktrace.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.ExceptionResult.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.ExceptionStackTracesResult.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.ExceptionsProcessingResult.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.ExecutionClassLoader.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.IdeaPluginKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.InternalLincheckBugResult.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.InternalLincheckTestUnexpectedException.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.LinChecker.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.LinCheckerKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.LincheckAssertionError.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.LincheckInternalBugException.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.LoggingLevel.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.NoResult.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.ObjectTraverserKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.Options.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.RandomProvider.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.RandomProviderKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.Reporter.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.ReporterKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.Result.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.ResultKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.ResumedResult.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.ScenarioDSLMarker.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.StoreExceptionHandler.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.Suspended.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.SuspendedVoidResult.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.TableLayout.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.TransformationClassLoader.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.TransformationClassWriter.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.UtilsKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.ValueResult.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.VoidResult.class - [JAR]
org.jetbrains.kotlinx.lincheck.strategy
├─ org.jetbrains.kotlinx.lincheck.strategy.DeadlockWithDumpFailure.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.IncorrectResultsFailure.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.LincheckFailure.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.LincheckFailureKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.ObstructionFreedomViolationFailure.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.Strategy.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.UnexpectedExceptionFailure.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.ValidationFailure.class - [JAR]
org.jetbrains.kotlinx.lincheck.annotations
├─ org.jetbrains.kotlinx.lincheck.annotations.LogLevel.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.annotations.OpGroupConfig.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.annotations.Operation.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.annotations.Param.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.annotations.StateRepresentation.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.annotations.Validate.class - [JAR]
org.jetbrains.kotlinx.lincheck.paramgen
├─ org.jetbrains.kotlinx.lincheck.paramgen.BooleanGen.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.paramgen.ByteGen.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.paramgen.DoubleGen.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.paramgen.DummyParameterGenerator.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.paramgen.EnumGen.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.paramgen.ExpandingRangeIntGenerator.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.paramgen.FloatGen.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.paramgen.IntGen.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.paramgen.LongGen.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.paramgen.ParameterGenerator.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.paramgen.ParameterGeneratorsKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.paramgen.ShortGen.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.paramgen.StringGen.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.paramgen.ThreadIdGen.class - [JAR]
org.jetbrains.kotlinx.lincheck.runner
├─ org.jetbrains.kotlinx.lincheck.runner.CompletedInvocationResult.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.runner.CompletionStatus.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.runner.DeadlockInvocationResult.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.runner.ExecutionPart.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.runner.FixedActiveThreadsExecutor.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.runner.FixedActiveThreadsExecutorKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.runner.InvocationResult.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.runner.ObstructionFreedomViolationInvocationResult.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.runner.ParallelThreadsRunner.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.runner.ParallelThreadsRunnerKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.runner.Runner.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.runner.SpinCycleFoundAndReplayRequired.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.runner.TestThreadExecution.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.runner.TestThreadExecutionGenerator.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.runner.UnexpectedExceptionInvocationResult.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.runner.UseClocks.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.runner.ValidationFailureInvocationResult.class - [JAR]
org.jetbrains.kotlinx.lincheck.verifier
├─ org.jetbrains.kotlinx.lincheck.verifier.AbstractLTSVerifier.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.verifier.CachedVerifier.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.verifier.Completion.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.verifier.DummySequentialSpecification.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.verifier.EpsilonVerifier.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.verifier.LTS.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.verifier.LTSKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.verifier.Operation.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.verifier.OperationType.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.verifier.ResumptionInfo.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.verifier.SerializabilityVerifier.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.verifier.StateInfo.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.verifier.TransitionInfo.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.verifier.Verifier.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.verifier.VerifierContext.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.verifier.VerifierInterceptor.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.verifier.VerifierState.class - [JAR]
org.jetbrains.kotlinx.lincheck.execution
├─ org.jetbrains.kotlinx.lincheck.execution.ActorGenerator.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.execution.ExecutionGenerator.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.execution.ExecutionResult.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.execution.ExecutionResultKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.execution.ExecutionScenario.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.execution.ExecutionScenarioKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.execution.HBClock.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.execution.HBClockKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.execution.RandomExecutionGenerator.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.execution.ResultWithClock.class - [JAR]
org.jetbrains.kotlinx.lincheck.verifier.quiescent
├─ org.jetbrains.kotlinx.lincheck.verifier.quiescent.QuiescentConsistencyVerifier.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.verifier.quiescent.QuiescentConsistencyVerifierKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.verifier.quiescent.QuiescentConsistent.class - [JAR]
org.jetbrains.kotlinx.lincheck.verifier.linearizability
├─ org.jetbrains.kotlinx.lincheck.verifier.linearizability.LinearizabilityContext.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.verifier.linearizability.LinearizabilityVerifier.class - [JAR]
org.jetbrains.kotlinx.lincheck.strategy.stress
├─ org.jetbrains.kotlinx.lincheck.strategy.stress.StressCTest.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.stress.StressCTestConfiguration.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.stress.StressOptions.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.stress.StressStrategy.class - [JAR]
org.jetbrains.kotlinx.lincheck.strategy.managed.modelchecking
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.modelchecking.ModelCheckingCTest.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.modelchecking.ModelCheckingCTestConfiguration.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.modelchecking.ModelCheckingOptions.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.modelchecking.ModelCheckingStrategy.class - [JAR]
org.jetbrains.kotlinx.lincheck.strategy.managed
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.ActorNode.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.ActorResultNode.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.CallNode.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.CallStackTraceElement.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.CodeLocationIdProvider.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.CodeLocationTracePoint.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.CoroutineCancellationTracePoint.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.CycleInfo.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.ForcibleExecutionFinishException.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.InterleavingHistoryNode.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.InterleavingSequenceTrackableSet.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.InterleavingSequenceTrackableSetKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.JavaUtilRemapper.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.JavaUtilRemapperKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedCTestConfiguration.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedCTestConfigurationKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedGuaranteeType.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedOptions.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedStrategy.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedStrategyGuarantee.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedStrategyGuaranteeKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedStrategyKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedStrategyRunner.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedStrategyStateHolder.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedStrategyStateHolderKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedStrategyTransformer.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.ManagedStrategyTransformerKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.MethodCallTracePoint.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.MonitorEnterTracePoint.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.MonitorExitTracePoint.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.MonitorTracker.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.NotifyTracePoint.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.ObjectManager.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.ObstructionFreedomViolationExecutionAbortTracePoint.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.ParkTracePoint.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.ReadTracePoint.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.SpinCycleStartTracePoint.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.StateRepresentationTracePoint.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.SwitchEventTracePoint.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.SwitchReason.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.Trace.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.TraceEventRepresentation.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.TraceInnerNode.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.TraceLeafEvent.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.TraceNode.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.TracePoint.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.TracePointKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.TraceReporterKt.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.UnparkTracePoint.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.UnsafeHolder.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.WaitTracePoint.class - [JAR]
├─ org.jetbrains.kotlinx.lincheck.strategy.managed.WriteTracePoint.class - [JAR]