shex/es.weso.shex.validator

es.weso.shex.validator

package es.weso.shex.validator

Type members

Classlikes

case class Action(name: IRI, code: Option[String])

Represents actions to be done

Represents actions to be done

Value parameters:
code

contains the code to be executed

name

represents the kind of action

Companion:
object
object Action
Companion:
class
case class Arc(path: Path, node: RDFNode)
Companion:
object
object Arc
Companion:
class
case class ArcConstraintRef(arc: Arc, cRef: ConstraintRef)
Companion:
object
object ArcConstraintRef
Companion:
class
case class Attempt(nodeShape: NodeShape, path: Option[IRI], rdf: RDFReader)

Represents current validation attempt It contains the node and a shape It may contain a predicate, path or nothing

Represents current validation attempt It contains the node and a shape It may contain a predicate, path or nothing

Companion:
object
object Attempt
Companion:
class
case class CTable(constraints: ConstraintsMap, paths: PathsMap, elems: Int, prefixMap: PrefixMap)

Constraints table

Constraints table

Companion:
object
object CTable
Companion:
class
case class Candidate(arc: Arc, crefs: Set[ConstraintRef])
Companion:
object
object Candidate
Companion:
class
case class CandidateLine(values: List[ArcConstraintRef])
Companion:
object
object CandidateLine
Companion:
class
final case class Candidates(cs: List[Candidate]) extends AnyVal
case class CheckResult[E, A, Log](log: Log, eitherResult: Either[E, A])(implicit evidence$1: Show[E], evidence$2: Show[A], evidence$3: Show[Log])
case class ConfigEnv(cfg: ShExConfig, env: Context)
case class ConstraintRef(n: Int, path: Path, showPath: String)
Companion:
object
object ConstraintRef
Companion:
class
case class Context(typing: ShapeTyping, varTable: VarTable)
Companion:
object
object Context
Companion:
class
case class Evidences(ls: List[(NodeShape, String)])
Companion:
object
object Evidences
Companion:
class
sealed abstract class ExternalResolver(name: String)
Companion:
object
object ExternalResolver
Companion:
class
case class FacetChecker(schema: AbstractSchema, rdf: RDFReader) extends ShExChecker with ShowValidator
Companion:
object
object FacetChecker
Companion:
class
case class FlatShapeValidator(nodesPrefixMap: PrefixMap, shapesPrefixMap: PrefixMap, builder: RDFBuilder, schema: ResolvedSchema) extends ShExChecker with ShowValidator

FlatShape validator

FlatShape validator

case class FollowDescendants(except: Set[ShapeLabel]) extends WithDescendants
case class LocalNeighs(neighsMap: Map[RDFNode, Neighs])
Companion:
object
object LocalNeighs
Companion:
class
final case class Neighs(m: Map[Path, Set[RDFNode]]) extends AnyVal
Companion:
object
object Neighs
Companion:
class
final case class NoCandidates(cs: List[Arc]) extends AnyVal
case object NoDescendants extends WithDescendants
case class NodeConstraintChecker(schema: AbstractSchema, rdf: RDFReader, builder: RDFBuilder) extends ShExChecker with ShowValidator
case class NodeConstraintValidator(schema: ResolvedSchema) extends ShExChecker

Node Constraint validator

Node Constraint validator

object NodeInfo
case class NodeShape(node: RDFNode, st: ShapeType)
Companion:
object
object NodeShape
Companion:
class
object PartitionUtils
final case class Result(e: Either[ShExError, (ValidationLog, ResultShapeMap)]) extends AnyVal
trait ShExChecker
case class ShExConfig(rdf: RDFReader, verboseLevel: VerboseLevel)
sealed abstract class ShExError extends Exception with NoStackTrace with Product with Serializable
Companion:
object
object ShExError
Companion:
class
abstract class ShExValidator
case class ShapeType(se: ShapeExpr, label: Option[ShapeLabel], schema: AbstractSchema)
Companion:
object
object ShapeType
Companion:
class
case class ShapeTyping(t: Typing[RDFNode, ShapeType, ShExError, String])
Companion:
object
object ShapeTyping
Companion:
class
trait ShowValidator
case class State(typing: ShapeTyping)
case class ValidationLog(actions: List[Action], slurp: List[RDFTriple])
Companion:
object
object ValidationLog
Companion:
class
case class ValidationOptions(verbose: Boolean, builder: Option[RDFBuilder])
abstract class Validator

ShEx validator

ShEx validator

Companion:
object
object Validator
Companion:
class
case class Validator21(schema: ResolvedSchema, externalResolver: ExternalResolver, builder: RDFBuilder) extends Validator with ShExChecker with ShowValidator

ShEx validator for ShEx 2.1 (no extends, abstract)

ShEx validator for ShEx 2.1 (no extends, abstract)

case class ValidatorEitherT(schema: ResolvedSchema, externalResolver: ExternalResolver, builder: RDFBuilder) extends Validator with ShExChecker with ShowValidator

ShEx validator

ShEx validator

case class ValueChecker(schema: AbstractSchema) extends ShExChecker with ShowValidator
final case class Visited(m: Map[RDFNode, Set[ShapeLabel]]) extends AnyVal
Companion:
object
object Visited
Companion:
class
sealed abstract class WithDescendants
Companion:
object
object WithDescendants
Companion:
class

Types

type BagChecker_ = BagChecker[ConstraintRef]
type Bag_ = Bag[ConstraintRef]
type ConstraintsMap = Map[ConstraintRef, CheckExpr]
type ES[A] = Either[ShExError, A]
type Rbe_ = Rbe[ConstraintRef]