├── .gitignore ├── .idea └── compiler.xml ├── .travis.yml ├── LICENSE ├── README.md ├── RELEASE_NOTES.md ├── project ├── build.properties └── plugins.sbt └── src ├── main ├── resources │ └── log4j.properties └── scala │ ├── es │ └── ucm │ │ └── fdi │ │ └── sscheck │ │ ├── gen │ │ ├── Batch.scala │ │ ├── BatchGen.scala │ │ ├── Buildables.scala │ │ ├── PDStream.scala │ │ ├── PDStreamGen.scala │ │ ├── RDDGen.scala │ │ ├── ReGen.scala │ │ └── UtilsGen.scala │ │ ├── matcher │ │ └── specs2 │ │ │ └── package.scala │ │ ├── package.scala │ │ ├── prop │ │ ├── UtilsProp.scala │ │ └── tl │ │ │ ├── DStreamTLProperty.scala │ │ │ └── Formula.scala │ │ └── spark │ │ ├── SharedSparkContext.scala │ │ ├── SharedSparkContextBeforeAfterAll.scala │ │ └── streaming │ │ ├── SharedStreamingContext.scala │ │ ├── SharedStreamingContextBeforeAfterEach.scala │ │ ├── StreamingContextUtils.scala │ │ ├── TestInputStream.scala │ │ └── Utils.scala │ └── org │ └── apache │ └── spark │ └── streaming │ └── dstream │ └── SscheckFriendlyInputDStream.scala └── test └── scala └── es └── ucm └── fdi └── sscheck ├── gen ├── PDStreamGenTest.scala ├── ReGenTest.scala ├── TLGenTest.scala └── UtilsGenTest.scala ├── prop └── tl │ └── FormulaTest.scala └── spark ├── SharedSparkContextBeforeAfterAllTest.scala ├── demo ├── StreamingFormulaDemo1.scala ├── StreamingFormulaDemo2.scala ├── StreamingFormulaManyArgsDemo.scala └── StreamingFormulaQuantDemo.scala ├── simple └── SimpleStreamingFormulas.scala └── streaming ├── ScalaCheckStreamingTest.scala └── SharedStreamingContextBeforeAfterEachTest.scala /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/.gitignore -------------------------------------------------------------------------------- /.idea/compiler.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/.idea/compiler.xml -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/README.md -------------------------------------------------------------------------------- /RELEASE_NOTES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/RELEASE_NOTES.md -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=0.13.17 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /src/main/resources/log4j.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/resources/log4j.properties -------------------------------------------------------------------------------- /src/main/scala/es/ucm/fdi/sscheck/gen/Batch.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/scala/es/ucm/fdi/sscheck/gen/Batch.scala -------------------------------------------------------------------------------- /src/main/scala/es/ucm/fdi/sscheck/gen/BatchGen.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/scala/es/ucm/fdi/sscheck/gen/BatchGen.scala -------------------------------------------------------------------------------- /src/main/scala/es/ucm/fdi/sscheck/gen/Buildables.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/scala/es/ucm/fdi/sscheck/gen/Buildables.scala -------------------------------------------------------------------------------- /src/main/scala/es/ucm/fdi/sscheck/gen/PDStream.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/scala/es/ucm/fdi/sscheck/gen/PDStream.scala -------------------------------------------------------------------------------- /src/main/scala/es/ucm/fdi/sscheck/gen/PDStreamGen.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/scala/es/ucm/fdi/sscheck/gen/PDStreamGen.scala -------------------------------------------------------------------------------- /src/main/scala/es/ucm/fdi/sscheck/gen/RDDGen.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/scala/es/ucm/fdi/sscheck/gen/RDDGen.scala -------------------------------------------------------------------------------- /src/main/scala/es/ucm/fdi/sscheck/gen/ReGen.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/scala/es/ucm/fdi/sscheck/gen/ReGen.scala -------------------------------------------------------------------------------- /src/main/scala/es/ucm/fdi/sscheck/gen/UtilsGen.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/scala/es/ucm/fdi/sscheck/gen/UtilsGen.scala -------------------------------------------------------------------------------- /src/main/scala/es/ucm/fdi/sscheck/matcher/specs2/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/scala/es/ucm/fdi/sscheck/matcher/specs2/package.scala -------------------------------------------------------------------------------- /src/main/scala/es/ucm/fdi/sscheck/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/scala/es/ucm/fdi/sscheck/package.scala -------------------------------------------------------------------------------- /src/main/scala/es/ucm/fdi/sscheck/prop/UtilsProp.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/scala/es/ucm/fdi/sscheck/prop/UtilsProp.scala -------------------------------------------------------------------------------- /src/main/scala/es/ucm/fdi/sscheck/prop/tl/DStreamTLProperty.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/scala/es/ucm/fdi/sscheck/prop/tl/DStreamTLProperty.scala -------------------------------------------------------------------------------- /src/main/scala/es/ucm/fdi/sscheck/prop/tl/Formula.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/scala/es/ucm/fdi/sscheck/prop/tl/Formula.scala -------------------------------------------------------------------------------- /src/main/scala/es/ucm/fdi/sscheck/spark/SharedSparkContext.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/scala/es/ucm/fdi/sscheck/spark/SharedSparkContext.scala -------------------------------------------------------------------------------- /src/main/scala/es/ucm/fdi/sscheck/spark/SharedSparkContextBeforeAfterAll.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/scala/es/ucm/fdi/sscheck/spark/SharedSparkContextBeforeAfterAll.scala -------------------------------------------------------------------------------- /src/main/scala/es/ucm/fdi/sscheck/spark/streaming/SharedStreamingContext.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/scala/es/ucm/fdi/sscheck/spark/streaming/SharedStreamingContext.scala -------------------------------------------------------------------------------- /src/main/scala/es/ucm/fdi/sscheck/spark/streaming/SharedStreamingContextBeforeAfterEach.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/scala/es/ucm/fdi/sscheck/spark/streaming/SharedStreamingContextBeforeAfterEach.scala -------------------------------------------------------------------------------- /src/main/scala/es/ucm/fdi/sscheck/spark/streaming/StreamingContextUtils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/scala/es/ucm/fdi/sscheck/spark/streaming/StreamingContextUtils.scala -------------------------------------------------------------------------------- /src/main/scala/es/ucm/fdi/sscheck/spark/streaming/TestInputStream.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/scala/es/ucm/fdi/sscheck/spark/streaming/TestInputStream.scala -------------------------------------------------------------------------------- /src/main/scala/es/ucm/fdi/sscheck/spark/streaming/Utils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/scala/es/ucm/fdi/sscheck/spark/streaming/Utils.scala -------------------------------------------------------------------------------- /src/main/scala/org/apache/spark/streaming/dstream/SscheckFriendlyInputDStream.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/main/scala/org/apache/spark/streaming/dstream/SscheckFriendlyInputDStream.scala -------------------------------------------------------------------------------- /src/test/scala/es/ucm/fdi/sscheck/gen/PDStreamGenTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/test/scala/es/ucm/fdi/sscheck/gen/PDStreamGenTest.scala -------------------------------------------------------------------------------- /src/test/scala/es/ucm/fdi/sscheck/gen/ReGenTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/test/scala/es/ucm/fdi/sscheck/gen/ReGenTest.scala -------------------------------------------------------------------------------- /src/test/scala/es/ucm/fdi/sscheck/gen/TLGenTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/test/scala/es/ucm/fdi/sscheck/gen/TLGenTest.scala -------------------------------------------------------------------------------- /src/test/scala/es/ucm/fdi/sscheck/gen/UtilsGenTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/test/scala/es/ucm/fdi/sscheck/gen/UtilsGenTest.scala -------------------------------------------------------------------------------- /src/test/scala/es/ucm/fdi/sscheck/prop/tl/FormulaTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/test/scala/es/ucm/fdi/sscheck/prop/tl/FormulaTest.scala -------------------------------------------------------------------------------- /src/test/scala/es/ucm/fdi/sscheck/spark/SharedSparkContextBeforeAfterAllTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/test/scala/es/ucm/fdi/sscheck/spark/SharedSparkContextBeforeAfterAllTest.scala -------------------------------------------------------------------------------- /src/test/scala/es/ucm/fdi/sscheck/spark/demo/StreamingFormulaDemo1.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/test/scala/es/ucm/fdi/sscheck/spark/demo/StreamingFormulaDemo1.scala -------------------------------------------------------------------------------- /src/test/scala/es/ucm/fdi/sscheck/spark/demo/StreamingFormulaDemo2.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/test/scala/es/ucm/fdi/sscheck/spark/demo/StreamingFormulaDemo2.scala -------------------------------------------------------------------------------- /src/test/scala/es/ucm/fdi/sscheck/spark/demo/StreamingFormulaManyArgsDemo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/test/scala/es/ucm/fdi/sscheck/spark/demo/StreamingFormulaManyArgsDemo.scala -------------------------------------------------------------------------------- /src/test/scala/es/ucm/fdi/sscheck/spark/demo/StreamingFormulaQuantDemo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/test/scala/es/ucm/fdi/sscheck/spark/demo/StreamingFormulaQuantDemo.scala -------------------------------------------------------------------------------- /src/test/scala/es/ucm/fdi/sscheck/spark/simple/SimpleStreamingFormulas.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/test/scala/es/ucm/fdi/sscheck/spark/simple/SimpleStreamingFormulas.scala -------------------------------------------------------------------------------- /src/test/scala/es/ucm/fdi/sscheck/spark/streaming/ScalaCheckStreamingTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/test/scala/es/ucm/fdi/sscheck/spark/streaming/ScalaCheckStreamingTest.scala -------------------------------------------------------------------------------- /src/test/scala/es/ucm/fdi/sscheck/spark/streaming/SharedStreamingContextBeforeAfterEachTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/juanrh/sscheck/HEAD/src/test/scala/es/ucm/fdi/sscheck/spark/streaming/SharedStreamingContextBeforeAfterEachTest.scala --------------------------------------------------------------------------------