This is an automated email from the ASF dual-hosted git repository.
ifesdjeen pushed a change to branch trunk
in repository https://gitbox.apache.org/repos/asf/cassandra-harry.git
from 490286c Remove notion of Modification
add e314bf4 History Builder API 2.0
No new revisions were added by this update.
Summary of changes:
Makefile | 6 +-
README.md | 6 +-
harry-core/src/harry/checker/ModelChecker.java | 230 ++++++
harry-core/src/harry/core/Configuration.java | 62 +-
harry-core/src/harry/core/Run.java | 12 +-
.../src/harry/corruptor/AddExtraRowCorruptor.java | 4 +-
.../src/harry/corruptor/ChangeValueCorruptor.java | 8 +-
.../src/harry/corruptor/HideRowCorruptor.java | 4 +-
.../src/harry/corruptor/HideValueCorruptor.java | 26 +-
.../harry/corruptor/QueryResponseCorruptor.java | 4 +-
harry-core/src/harry/corruptor/RowCorruptor.java | 2 +-
.../src/harry/corruptor/ShowValueCorruptor.java | 8 +-
harry-core/src/harry/data/ResultSetRow.java | 59 +-
harry-core/src/harry/ddl/ColumnSpec.java | 15 +
harry-core/src/harry/ddl/SchemaSpec.java | 26 +-
.../src/harry/dsl/BatchOperationBuilder.java | 14 +
harry-core/src/harry/dsl/BatchVisitBuilder.java | 138 ++++
harry-core/src/harry/dsl/HistoryBuilder.java | 849 ++++++++++-----------
.../PartitionVisitState.java} | 16 +-
.../src/harry/dsl/ReplayingHistoryBuilder.java | 118 +++
.../src/harry/dsl/SingleOperationBuilder.java | 53 ++
.../src/harry/dsl/SingleOperationVisitBuilder.java | 295 +++++++
.../harry/dsl/ValueDescriptorIndexGenerator.java | 77 ++
.../src/harry/generators/BooleanGenerator.java | 2 +-
harry-core/src/harry/generators/EntropySource.java | 94 +++
harry-core/src/harry/generators/Generator.java | 8 +-
.../harry/generators/JdkRandomEntropySource.java | 81 ++
harry-core/src/harry/generators/PcgRSUFast.java | 52 +-
.../src/harry/generators/RandomGenerator.java | 86 ---
harry-core/src/harry/generators/Surjections.java | 11 +-
harry-core/src/harry/model/AgainstSutChecker.java | 98 +++
.../harry/model/AlwaysSamePartitionSelector.java | 2 +-
harry-core/src/harry/model/OpSelectors.java | 53 +-
harry-core/src/harry/model/QuiescentChecker.java | 31 +-
harry-core/src/harry/model/SelectHelper.java | 39 +-
...teMonotonicClock.java => ApproximateClock.java} | 39 +-
harry-core/src/harry/model/clock/OffsetClock.java | 6 +-
.../sut/{PrintlnSut.java => DoubleWritingSut.java} | 49 +-
.../src/harry/model/sut/QueryModifyingSut.java | 78 ++
.../src/harry/model/sut/injvm/InJvmSutBase.java | 1 +
.../src/harry/operations/CompiledStatement.java | 9 +-
harry-core/src/harry/operations/Query.java | 15 +-
.../src/harry/operations/QueryGenerator.java | 28 +-
harry-core/src/harry/operations/WriteHelper.java | 1 -
.../src/harry/reconciler/PartitionState.java | 38 +-
harry-core/src/harry/reconciler/Reconciler.java | 100 ++-
.../src/harry/runner/LockingDataTracker.java | 8 +-
harry-core/src/harry/util/Ranges.java | 13 -
harry-core/src/harry/util/TestRunner.java | 4 +-
.../src/harry/visitors/AllPartitionsValidator.java | 3 +-
.../harry/visitors/DoubleWriteVisitExecutor.java | 56 ++
.../src/harry/visitors/GeneratingVisitor.java | 179 ++++-
harry-core/src/harry/visitors/LoggingVisitor.java | 10 +-
harry-core/src/harry/visitors/LtsVisitor.java | 6 +-
.../src/harry/visitors/MutatingRowVisitor.java | 62 +-
harry-core/src/harry/visitors/MutatingVisitor.java | 80 +-
.../src/harry/visitors/OperationExecutor.java | 48 +-
harry-core/src/harry/visitors/RecentValidator.java | 2 +-
.../src/harry/visitors/ReplayingVisitor.java | 27 +-
harry-core/src/harry/visitors/Sampler.java | 2 +-
harry-core/src/harry/visitors/VisitExecutor.java | 92 ++-
.../test/harry/generators/DataGeneratorsTest.java | 2 +-
...omGeneratorTest.java => EntropySourceTest.java} | 8 +-
.../test/harry/generators/ExtensionsTest.java | 2 +-
.../test/harry/generators/SurjectionsTest.java | 7 +-
.../test/harry/model/ApproximateClockTest.java | 6 +-
harry-core/test/harry/model/OpSelectorsTest.java | 51 +-
harry-core/test/harry/operations/RelationTest.java | 9 +-
.../test/harry/runner/LockingDataTrackerTest.java | 95 ++-
.../test/harry/QuickTheoriesAdapter.java | 39 +-
.../harry/dsl/HistoryBuilderIntegrationTest.java | 142 ++++
.../harry/examples/RangeTombstoneBurnTest.java | 142 ++++
.../generators/DataGeneratorsIntegrationTest.java | 22 +-
.../harry/model/HistoryBuilderIntegrationTest.java | 191 -----
.../test/harry/model/HistoryBuilderTest.java | 184 -----
harry-integration/test/harry/model/MockSchema.java | 4 +-
.../test/harry/model/ModelTestBase.java | 4 +-
.../harry/model/ReconcilerIntegrationTest.java | 89 +++
.../test/harry/op/RowVisitorTest.java | 36 +-
.../harry/reconciler/SimpleReconcilerTest.java | 4 +-
pom.xml | 2 +-
81 files changed, 3155 insertions(+), 1429 deletions(-)
create mode 100644 harry-core/src/harry/checker/ModelChecker.java
create mode 100644 harry-core/src/harry/dsl/BatchOperationBuilder.java
create mode 100644 harry-core/src/harry/dsl/BatchVisitBuilder.java
copy harry-core/src/harry/{generators/BooleanGenerator.java =>
dsl/PartitionVisitState.java} (70%)
create mode 100644 harry-core/src/harry/dsl/ReplayingHistoryBuilder.java
create mode 100644 harry-core/src/harry/dsl/SingleOperationBuilder.java
create mode 100644 harry-core/src/harry/dsl/SingleOperationVisitBuilder.java
create mode 100644 harry-core/src/harry/dsl/ValueDescriptorIndexGenerator.java
create mode 100644 harry-core/src/harry/generators/EntropySource.java
create mode 100644 harry-core/src/harry/generators/JdkRandomEntropySource.java
delete mode 100644 harry-core/src/harry/generators/RandomGenerator.java
create mode 100644 harry-core/src/harry/model/AgainstSutChecker.java
rename harry-core/src/harry/model/clock/{ApproximateMonotonicClock.java =>
ApproximateClock.java} (89%)
copy harry-core/src/harry/model/sut/{PrintlnSut.java => DoubleWritingSut.java}
(56%)
create mode 100644 harry-core/src/harry/model/sut/QueryModifyingSut.java
create mode 100644 harry-core/src/harry/visitors/DoubleWriteVisitExecutor.java
rename harry-core/test/harry/generators/{RandomGeneratorTest.java =>
EntropySourceTest.java} (95%)
create mode 100644
harry-integration/test/harry/dsl/HistoryBuilderIntegrationTest.java
create mode 100644
harry-integration/test/harry/examples/RangeTombstoneBurnTest.java
delete mode 100644 harry-integration/test/harry/model/HistoryBuilderTest.java
create mode 100644
harry-integration/test/harry/model/ReconcilerIntegrationTest.java
---------------------------------------------------------------------
To unsubscribe, e-mail: commits-unsubscr...@cassandra.apache.org
For additional commands, e-mail: commits-h...@cassandra.apache.org
