ai.grakn.generator

Class GraknTxs

java.lang.Object

com.pholser.junit.quickcheck.generator.Generator<T>

ai.grakn.generator.AbstractGenerator<ai.grakn.GraknTx>

ai.grakn.generator.GraknTxs

All Implemented Interfaces:

com.pholser.junit.quickcheck.generator.Gen<ai.grakn.GraknTx>, com.pholser.junit.quickcheck.generator.Shrink<ai.grakn.GraknTx>, com.pholser.junit.quickcheck.MinimalCounterexampleHook

public class GraknTxs
extends AbstractGenerator<ai.grakn.GraknTx>
implements com.pholser.junit.quickcheck.MinimalCounterexampleHook

Generator to create random GraknTxs.

Normally you want the GraknTx you generate to be open, not already closed. To get an open GraknTx, annotate the parameter in your test with GraknTxs.Open.

Additionally, if your property test needs a concept from the GraknTx, use the annotation FromTxGenerator.FromTx.

Author:

Felix Chapman

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	GraknTxs.Open Specify whether the generated tx should be open or closed

Constructor Summary

Constructors

Constructor and Description
GraknTxs()

Method Summary

Modifier and Type	Method and Description
static List<ai.grakn.concept.Concept>	allConceptsFrom(ai.grakn.GraknTx graph)
static java.util.stream.Stream<? extends ai.grakn.concept.Thing>	allInstancesFrom(ai.grakn.GraknTx graph)
static Collection<? extends ai.grakn.concept.SchemaConcept>	allSchemaElementsFrom(ai.grakn.GraknTx graph)
void	configure(GraknTxs.Open open)
ai.grakn.GraknTx	generate()
void	handle(Object[] counterexample, Runnable action)
static ai.grakn.GraknTx	lastGeneratedGraph()
GraknTxs	setOpen(boolean open)

Methods inherited from class ai.grakn.generator.AbstractGenerator

generate, listOf, setOf

Methods inherited from class com.pholser.junit.quickcheck.generator.Generator

addComponentGenerators, canGenerateForParametersOfTypes, canRegisterAsType, canShrink, compatibleWithTypeParameter, configurationAnnotationsOn, configure, configure, doShrink, gen, hasComponents, narrow, numberOfNeededComponents, provide, shrink, types

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface com.pholser.junit.quickcheck.generator.Gen

filter, filterOptional, flatMap, freq, frequency, map, oneOf, oneOf, pure, times

Constructor Detail

GraknTxs

public GraknTxs()

Method Detail

lastGeneratedGraph

public static ai.grakn.GraknTx lastGeneratedGraph()

generate

public ai.grakn.GraknTx generate()

Specified by:

generate in class AbstractGenerator<ai.grakn.GraknTx>

configure

public void configure(GraknTxs.Open open)

setOpen

public GraknTxs setOpen(boolean open)

allConceptsFrom

public static List<ai.grakn.concept.Concept> allConceptsFrom(ai.grakn.GraknTx graph)

allSchemaElementsFrom

public static Collection<? extends ai.grakn.concept.SchemaConcept> allSchemaElementsFrom(ai.grakn.GraknTx graph)

allInstancesFrom

public static java.util.stream.Stream<? extends ai.grakn.concept.Thing> allInstancesFrom(ai.grakn.GraknTx graph)

handle

public void handle(Object[] counterexample,
                   Runnable action)

Specified by:

handle in interface com.pholser.junit.quickcheck.MinimalCounterexampleHook