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]