Package hydra.pg

Interface Validation

public interface Validation

Utilities for validating property graphs against property graph schemas

Method Summary

Static Methods

Modifier and Type	Method	Description
static <T0> Maybe<T0>	checkAll(ConsList<Maybe<T0>> checks)
static <T0> ConsList<T0>	checkAll_errors(ConsList<Maybe<T0>> checks)
static <T0> java.lang.String	edgeError(java.util.function.Function<T0,java.lang.String> showValue, Edge<T0> e, java.lang.String v1)
static java.lang.String	edgeLabelMismatch(EdgeLabel expected, EdgeLabel actual)
static java.lang.String	prepend(java.lang.String prefix, java.lang.String msg)
static <T0,T1> Maybe<java.lang.String>	validateEdge(java.util.function.Function<T0,java.util.function.Function<T1,Maybe<java.lang.String>>> checkValue, java.util.function.Function<T1,java.lang.String> showValue, Maybe<java.util.function.Function<T1,Maybe<VertexLabel>>> labelForVertexId, EdgeType<T0> typ, Edge<T1> el)
static <T0,T1> Maybe<java.lang.String>	validateElement(java.util.function.Function<T0,java.util.function.Function<T1,Maybe<java.lang.String>>> checkValue, java.util.function.Function<T1,java.lang.String> showValue, Maybe<java.util.function.Function<T1,Maybe<VertexLabel>>> labelForVertexId, ElementType<T0> typ, Element<T1> el)
static <T0,T1> Maybe<java.lang.String>	validateGraph(java.util.function.Function<T0,java.util.function.Function<T1,Maybe<java.lang.String>>> checkValue, java.util.function.Function<T1,java.lang.String> showValue, GraphSchema<T0> schema, Graph<T1> graph)
static <T0,T1> Maybe<java.lang.String>	validateGraph_checkEdge(java.util.function.Function<T0,java.util.function.Function<T1,Maybe<java.lang.String>>> checkValue, Graph<T1> graph, java.util.function.Function<java.lang.String,java.util.function.Function<java.lang.String,java.lang.String>> hydra_pg_validation_prepend2, GraphSchema<T0> schema, java.util.function.Function<T1,java.lang.String> showValue, Edge<T1> el)
static <T0,T1> Maybe<java.lang.String>	validateGraph_checkVertex(java.util.function.Function<T0,java.util.function.Function<T1,Maybe<java.lang.String>>> checkValue, java.util.function.Function<java.lang.String,java.util.function.Function<java.lang.String,java.lang.String>> hydra_pg_validation_prepend2, GraphSchema<T0> schema, java.util.function.Function<T1,java.lang.String> showValue, Vertex<T1> el)
static <T1> Maybe<java.util.function.Function<T1,Maybe<VertexLabel>>>	validateGraph_labelForVertexId(Graph<T1> graph)
static <T0,T1> Maybe<java.lang.String>	validateProperties(java.util.function.Function<T0,java.util.function.Function<T1,Maybe<java.lang.String>>> checkValue, ConsList<PropertyType<T0>> types, PersistentMap<PropertyKey,T1> props)
static <T0,T1> Maybe<java.lang.String>	validateProperties_checkPair(java.util.function.Function<T0,java.util.function.Function<T1,Maybe<java.lang.String>>> checkValue, java.util.function.Function<java.lang.String,java.util.function.Function<java.lang.String,java.lang.String>> hydra_pg_validation_prepend2, ConsList<PropertyType<T0>> types, Pair<PropertyKey,T1> pair)
static <T1,T2> Maybe<java.lang.String>	validateProperties_checkType(java.util.function.Function<java.lang.String,java.util.function.Function<java.lang.String,java.lang.String>> hydra_pg_validation_prepend2, PersistentMap<PropertyKey,T1> props, PropertyType<T2> t)
static <T0> PersistentMap<PropertyKey,T0>	validateProperties_m(ConsList<PropertyType<T0>> types)
static <T1> T1	validateProperties_val(Pair<PropertyKey,T1> pair)
static <T0,T1> Maybe<java.lang.String>	validateVertex(java.util.function.Function<T0,java.util.function.Function<T1,Maybe<java.lang.String>>> checkValue, java.util.function.Function<T1,java.lang.String> showValue, VertexType<T0> typ, Vertex<T1> el)
static <T0> Maybe<T0>	verify(java.lang.Boolean b, T0 err)
static <T0> java.lang.String	vertexError(java.util.function.Function<T0,java.lang.String> showValue, Vertex<T0> v, java.lang.String v1)
static java.lang.String	vertexLabelMismatch(VertexLabel expected, VertexLabel actual)

Method Detail

checkAll

static <T0> Maybe<T0> checkAll(ConsList<Maybe<T0>> checks)

checkAll_errors

static <T0> ConsList<T0> checkAll_errors(ConsList<Maybe<T0>> checks)

edgeError

static <T0> java.lang.String edgeError(java.util.function.Function<T0,java.lang.String> showValue,
                                       Edge<T0> e,
                                       java.lang.String v1)

edgeLabelMismatch

static java.lang.String edgeLabelMismatch(EdgeLabel expected,
                                          EdgeLabel actual)

prepend

static java.lang.String prepend(java.lang.String prefix,
                                java.lang.String msg)

validateEdge

static <T0,T1> Maybe<java.lang.String> validateEdge(java.util.function.Function<T0,java.util.function.Function<T1,Maybe<java.lang.String>>> checkValue,
                                                          java.util.function.Function<T1,java.lang.String> showValue,
                                                          Maybe<java.util.function.Function<T1,Maybe<VertexLabel>>> labelForVertexId,
                                                          EdgeType<T0> typ,
                                                          Edge<T1> el)

validateElement

static <T0,T1> Maybe<java.lang.String> validateElement(java.util.function.Function<T0,java.util.function.Function<T1,Maybe<java.lang.String>>> checkValue,
                                                             java.util.function.Function<T1,java.lang.String> showValue,
                                                             Maybe<java.util.function.Function<T1,Maybe<VertexLabel>>> labelForVertexId,
                                                             ElementType<T0> typ,
                                                             Element<T1> el)

validateGraph

static <T0,T1> Maybe<java.lang.String> validateGraph(java.util.function.Function<T0,java.util.function.Function<T1,Maybe<java.lang.String>>> checkValue,
                                                           java.util.function.Function<T1,java.lang.String> showValue,
                                                           GraphSchema<T0> schema,
                                                           Graph<T1> graph)

validateGraph_checkEdge

static <T0,T1> Maybe<java.lang.String> validateGraph_checkEdge(java.util.function.Function<T0,java.util.function.Function<T1,Maybe<java.lang.String>>> checkValue,
                                                                     Graph<T1> graph,
                                                                     java.util.function.Function<java.lang.String,java.util.function.Function<java.lang.String,java.lang.String>> hydra_pg_validation_prepend2,
                                                                     GraphSchema<T0> schema,
                                                                     java.util.function.Function<T1,java.lang.String> showValue,
                                                                     Edge<T1> el)

validateGraph_checkVertex

static <T0,T1> Maybe<java.lang.String> validateGraph_checkVertex(java.util.function.Function<T0,java.util.function.Function<T1,Maybe<java.lang.String>>> checkValue,
                                                                       java.util.function.Function<java.lang.String,java.util.function.Function<java.lang.String,java.lang.String>> hydra_pg_validation_prepend2,
                                                                       GraphSchema<T0> schema,
                                                                       java.util.function.Function<T1,java.lang.String> showValue,
                                                                       Vertex<T1> el)

validateGraph_labelForVertexId

static <T1> Maybe<java.util.function.Function<T1,Maybe<VertexLabel>>> validateGraph_labelForVertexId(Graph<T1> graph)

validateProperties

static <T0,T1> Maybe<java.lang.String> validateProperties(java.util.function.Function<T0,java.util.function.Function<T1,Maybe<java.lang.String>>> checkValue,
                                                                ConsList<PropertyType<T0>> types,
                                                                PersistentMap<PropertyKey,T1> props)

validateProperties_checkPair

static <T0,T1> Maybe<java.lang.String> validateProperties_checkPair(java.util.function.Function<T0,java.util.function.Function<T1,Maybe<java.lang.String>>> checkValue,
                                                                          java.util.function.Function<java.lang.String,java.util.function.Function<java.lang.String,java.lang.String>> hydra_pg_validation_prepend2,
                                                                          ConsList<PropertyType<T0>> types,
                                                                          Pair<PropertyKey,T1> pair)

validateProperties_checkType

static <T1,T2> Maybe<java.lang.String> validateProperties_checkType(java.util.function.Function<java.lang.String,java.util.function.Function<java.lang.String,java.lang.String>> hydra_pg_validation_prepend2,
                                                                          PersistentMap<PropertyKey,T1> props,
                                                                          PropertyType<T2> t)

validateProperties_m

static <T0> PersistentMap<PropertyKey,T0> validateProperties_m(ConsList<PropertyType<T0>> types)

validateProperties_val

static <T1> T1 validateProperties_val(Pair<PropertyKey,T1> pair)

validateVertex

static <T0,T1> Maybe<java.lang.String> validateVertex(java.util.function.Function<T0,java.util.function.Function<T1,Maybe<java.lang.String>>> checkValue,
                                                            java.util.function.Function<T1,java.lang.String> showValue,
                                                            VertexType<T0> typ,
                                                            Vertex<T1> el)

verify

static <T0> Maybe<T0> verify(java.lang.Boolean b,
                             T0 err)

vertexError

static <T0> java.lang.String vertexError(java.util.function.Function<T0,java.lang.String> showValue,
                                         Vertex<T0> v,
                                         java.lang.String v1)

vertexLabelMismatch

static java.lang.String vertexLabelMismatch(VertexLabel expected,
                                            VertexLabel actual)