shex/es.weso.shex.validator

es.weso.shex.validator

package es.weso.shex.validator

Type members

Classlikes

case class AbstractShapeErr(node: RDFNode, shape: ShapeExpr, rdf: RDFReader) extends ShExError
case class AbstractShapeErrNoArgs() extends ShExError
case class Action(name: IRI, code: Option[String])

Represents actions to be done

Represents actions to be done

Value Params
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 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[(Arc, ConstraintRef)])
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 ClosedShapeWithRests(s: Shape, rest: Arc, attempt: Attempt, ignoredPathsClosed: List[Path], extras: List[Path]) extends ShExError
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, localNeighs: LocalNeighs, visited: Set[ShapeLabel])
Companion
object
object Context
Companion
class
case class Evidences(ls: List[(NodeShape, String)])
Companion
object
object Evidences
Companion
class
case class ExtendFails(node: RDFNode, extended: ShapeLabel, attempt: Attempt, err: ShExError, rdf: RDFReader) extends ShExError
case class ExternalIRIResolver(maybeIri: Option[IRI]) extends ExternalResolver
sealed abstract class ExternalResolver
case class FacetChecker(schema: AbstractSchema, rdf: RDFReader, builder: RDFBuilder) extends ShExChecker with ShowValidator
case class HasNoType(node: RDFNode, label: ShapeLabel, shapeTyping: ShapeTyping, attempt: Attempt, rdf: RDFReader) extends ShExError
case class LocalNeighs(neighsMap: Map[RDFNode, Neighs])
Companion
object
object LocalNeighs
Companion
class
case class MultipleRestricts(node: RDFNode, attempt: Attempt, s: Shape, rs: List[ShapeLabel]) extends ShExError
case class Neighs(m: Map[Path, Set[RDFNode]])
Companion
object
object Neighs
Companion
class
case object NoAction extends ExternalResolver

Basic external resolver that does nothing by default

Basic external resolver that does nothing by default

case class NoCandidateLine(attempt: Attempt, table: CTable, node: RDFNode, rdf: RDFReader) extends ShExError
final case class NoCandidates(cs: List[Arc]) extends AnyVal
case class NoDescendant(node: RDFNode, s: ShapeExpr, attempt: Attempt, rdf: RDFReader) extends ShExError
case class NoLabelExternal(se: ShapeExternal) extends ShExError
case class NoPartition(node: RDFNode, attempt: Attempt, s: Shape, extendedLabel: ShapeLabel, neighs: Neighs) extends ShExError
case class NodeConstraintChecker(schema: AbstractSchema, rdf: RDFReader, builder: RDFBuilder) extends ShExChecker with ShowValidator
object NodeInfo
case class NodeShape(node: RDFNode, shape: ShapeType)
Companion
object
object NodeShape
Companion
class
case class PartitionFailed(node: RDFNode, attempt: Attempt, s: Shape, extendLabel: ShapeLabel, pair: (Set[Arc], Set[Arc])) extends ShExError
final case class Result(e: Either[ShExError, (ValidationLog, ResultShapeMap)]) extends AnyVal
case class SemanticActionException(attempt: Attempt, node: RDFNode, action: SemAct, exc: Throwable) extends ShExError
trait ShExChecker
case class ShExConfig(rdf: RDFReader, verbose: Boolean)
sealed abstract class ShExError extends Exception with NoStackTrace with Product with Serializable
Companion
object
object ShExError
Companion
class
abstract class ShExValidator
case class ShapeType(shape: 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()
case class ValidateFlatShape(validator: Validator, nodesPrefixMap: PrefixMap, shapesPrefixMap: PrefixMap, builder: RDFBuilder) extends ShExChecker

ShEx validator

ShEx validator

case class ValidationLog(actions: List[Action], slurp: List[RDFTriple])
Companion
object
object ValidationLog
Companion
class
case class ValidationOptions(verbose: Boolean, builder: Option[RDFBuilder])
case class Validator(schema: ResolvedSchema, externalResolver: ExternalResolver, builder: RDFBuilder) extends ShExChecker with ShowValidator

ShEx validator

ShEx validator

Companion
object
object Validator
Companion
class
case class ValueChecker(schema: AbstractSchema, builder: RDFBuilder) extends ShExChecker with ShowValidator

Types

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