c

es.weso.shex.validator

Validator21

case class Validator21(schema: ResolvedSchema, externalResolver: ExternalResolver = ExternalResolver.NoAction, builder: RDFBuilder) extends Validator with ShExChecker with ShowValidator with AllPaths with Product with Serializable

ShEx validator for ShEx 2.1 (no extends, abstract)

Linear Supertypes
Serializable, Product, Equals, AllPaths, Extend, ShowValidator, ShExChecker, Validator, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Validator21
  2. Serializable
  3. Product
  4. Equals
  5. AllPaths
  6. Extend
  7. ShowValidator
  8. ShExChecker
  9. Validator
  10. AnyRef
  11. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new Validator21(schema: ResolvedSchema, externalResolver: ExternalResolver = ExternalResolver.NoAction, builder: RDFBuilder)

Type Members

  1. type Base[A] = IndexedReaderWriterStateT[IO, ConfigEnv, Log, State, State, A]
    Definition Classes
    ShExChecker
  2. type Check[A] = EitherT[Base, Err, A]
    Definition Classes
    ShExChecker
  3. type CheckTyping = EitherT[Base, Err, ShapeTyping]
    Definition Classes
    ShExChecker
  4. type Config = ShExConfig
    Definition Classes
    ShExChecker
  5. type Env = Context
    Definition Classes
    ShExChecker
  6. type Err = ShExError
    Definition Classes
    ShExChecker
  7. type Evidence = (NodeShape, String)
    Definition Classes
    ShExChecker
  8. type Log = ValidationLog
    Definition Classes
    ShExChecker
  9. type NodeChecker = (Attempt) => (RDFNode) => CheckTyping
  10. type NodeShapeChecker = (RDFNode, Shape) => CheckTyping
  11. type ShapeChecker = (ShapeExpr) => CheckTyping

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def addAction2Log(a: Action): Check[Unit]
    Definition Classes
    ShExChecker
  5. def addEvidence(nodeShape: NodeShape, msg: String): Check[ShapeTyping]
    Definition Classes
    ShExChecker
  6. def addLog(log: Log): Check[Unit]
    Definition Classes
    ShExChecker
  7. def addNotEvidence(nodeShape: NodeShape, e: ShExError, msg: String): Check[ShapeTyping]
    Definition Classes
    ShExChecker
  8. def allPaths(se: ShapeExpr, schema: AbstractSchema): Either[String, Set[Path]]

    Return all the paths that are mentioned in a shape expression It includes also the paths it extends and the paths from its descendants

    Return all the paths that are mentioned in a shape expression It includes also the paths it extends and the paths from its descendants

    schema

    Schema to which the shape belongs, it is needed to resolve references to other shapes

    returns

    Set of paths or error in case the shape is not well defined (may have bad references)

    Definition Classes
    AllPaths
  9. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  10. def attempt[A](c: Check[A]): Check[Either[Err, A]]
    Definition Classes
    ShExChecker
  11. def bind[A, Other](c1: Check[Other], c2: Check[A]): Check[A]
    Definition Classes
    ShExChecker
  12. val builder: RDFBuilder
  13. def checkAll[A](xs: List[Check[A]]): Check[List[A]]

    Checks all elements in a list If any of the elements fails, it fails

    Checks all elements in a list If any of the elements fails, it fails

    Definition Classes
    ShExChecker
  14. def checkAllFailFAtFirstFlag[A, B, F[_]](ls: => LazyList[A], check: (A) => F[(B, Boolean)], last: => B)(implicit arg0: Monoid[B], arg1: Monad[F]): F[(B, Boolean)]
    Definition Classes
    ShExChecker
  15. def checkAllFlag[A, B, F[_]](ls: => LazyList[A], check: (A) => F[(B, Boolean)], last: => B)(implicit arg0: Monoid[B], arg1: Monad[F]): F[(B, Boolean)]
    Definition Classes
    ShExChecker
  16. def checkCond(condition: Boolean, attempt: Attempt, error: ShExError, evidence: String): CheckTyping
    Definition Classes
    ShExChecker
  17. def checkList[A, B](ls: List[A], check: (A) => Check[B]): Check[List[B]]
    Definition Classes
    ShExChecker
  18. def checkLs[A](cs: List[Check[A]]): Check[List[A]]

    Given a list of checks, return the list of values that pass It never fails (in case of failure, it ignores the value)

    Given a list of checks, return the list of values that pass It never fails (in case of failure, it ignores the value)

    Definition Classes
    ShExChecker
  19. def checkOneOf[A](cs: List[Check[A]], errNone: Err, errMoreThanOne: (List[A]) => Err): Check[A]
    Definition Classes
    ShExChecker
  20. def checkPair1st[A, B](p: (Check[A], B)): Check[(A, B)]
    Definition Classes
    ShExChecker
  21. def checkPair2nd[A, B](p: (A, Check[B])): Check[(A, B)]
    Definition Classes
    ShExChecker
  22. def checkPartitionNeighs(attempt: Attempt, node: RDFNode, s: Shape, neighsShape: Neighs, extended: List[(ShapeExpr, Neighs)], visited: Visited): CheckTyping
  23. def checkSequenceFlag[A, F[_]](ls: => List[F[(A, Boolean)]], last: A)(implicit arg0: Monoid[A], arg1: Monad[F]): F[(A, Boolean)]
    Definition Classes
    ShExChecker
  24. def checkSome[A](cs: LazyList[Check[A]])(implicit ev: Monoid[Err]): Check[A]
    Definition Classes
    ShExChecker
  25. def checkSome[A](cs: List[Check[A]], errorIfNone: Err): Check[A]
    Definition Classes
    ShExChecker
  26. def checkSomeFlag[A, B, F[_]](ls: => LazyList[A], check: (A) => F[(B, Boolean)], last: F[(B, Boolean)])(implicit arg0: Monad[F]): F[(B, Boolean)]

    Given a computation check that returns a pair of value and a flag, returns the first value whose flag is true If none is true, returns the value of the computation parameter last

    Given a computation check that returns a pair of value and a flag, returns the first value whose flag is true If none is true, returns the value of the computation parameter last

    Definition Classes
    ShExChecker
  27. def checkSomeFlagCount[A, B](ls: => LazyList[A], check: (A) => Check[(B, Boolean)], last: B)(implicit arg0: Monoid[B]): Check[(B, Int)]
    Definition Classes
    ShExChecker
  28. def checkSomeFlagValue[A, B](ls: => LazyList[A], check: (A) => Check[B], last: Check[B]): Check[(B, Option[A])]

    Checks some values.

    Checks some values. Returns the first that passes or None

    Definition Classes
    ShExChecker
  29. def checkSomeLazyList[A](cs: LazyList[Check[A]], errIfNone: => Err): Check[A]
    Definition Classes
    ShExChecker
  30. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  31. def combineTypings(ts: ShapeTyping*): Check[ShapeTyping]
    Definition Classes
    ShExChecker
  32. def combineTypings(ts: List[ShapeTyping]): Check[ShapeTyping]
    Definition Classes
    ShExChecker
  33. def cond[A, B](check: Check[A], thenPart: (A) => Check[B], elsePart: (Err) => Check[B]): Check[B]

    Attempts to execute a check If it fails, applies thenPart to the result, otherwise applies elsePart to the error

    Attempts to execute a check If it fails, applies thenPart to the result, otherwise applies elsePart to the error

    A

    type returned by the computation

    B

    type returned the the condition

    check

    Computation to check

    thenPart

    part to be executed when it passes

    elsePart

    part to be executed when the check fails

    Definition Classes
    ShExChecker
  34. def condFlag[A, B](check: Check[A], thenPart: (A) => Check[B], elsePart: (Err) => Check[B]): Check[(B, Boolean)]
    Definition Classes
    ShExChecker
  35. def debug(msg: String): Check[Unit]
    Definition Classes
    ShExChecker
  36. def entries2Neighs(set: Set[Entry[Path, RDFNode]]): Neighs
  37. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  38. def err[A](e: Err): Check[A]
    Definition Classes
    ShExChecker
  39. def errStr[A](msg: String): Check[A]
    Definition Classes
    ShExChecker
  40. def extendCheckingVisited[S, E, Err, Label](s: S, finder: (Label) => Either[Err, S], extend: (S) => Option[List[Label]], expr: (S) => Option[E])(implicit arg0: Semigroup[E]): Either[Err, Option[E]]
    Definition Classes
    Extend
  41. val externalResolver: ExternalResolver
  42. def filterSuccess[A, B](ls: List[A], check: (A) => Check[B]): Check[List[(A, B)]]

    Returns the list of values whose computation is successful

    Returns the list of values whose computation is successful

    A

    type of values

    B

    type returned by computation

    ls

    list of values

    check

    computation to check for each value

    returns

    a computation with a list of pairs for whom the computation was successful

    Definition Classes
    ShExChecker
  43. def fromBase[A](b: Base[A]): Check[A]
    Definition Classes
    ShExChecker
  44. def fromEither[A](e: Either[Err, A]): Check[A]
    Definition Classes
    ShExChecker
  45. def fromEitherIO[A](e: EitherT[IO, Err, A]): Check[A]
    Definition Classes
    ShExChecker
  46. def fromEitherIOS[A](e: EitherT[IO, String, A]): Check[A]
    Definition Classes
    ShExChecker
  47. def fromEitherString[A](e: Either[String, A]): Check[A]
    Definition Classes
    ShExChecker
  48. def fromIO[A](io: IO[A]): Check[A]
    Definition Classes
    ShExChecker
  49. def fromIOUnsafe[A](io: IO[A]): Check[A]
    Definition Classes
    ShExChecker
  50. def fromStream[A](s: Stream[IO, A]): Check[List[A]]
    Definition Classes
    ShExChecker
  51. def getAvailablePaths(ses: List[ShapeExpr]): Check[List[Available[Path]]]
  52. def getAvailableShapeExprs(s: Shape): Check[List[ShapeExpr]]
  53. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  54. def getConfig: Check[Config]
    Definition Classes
    ShExChecker
  55. def getConfigEnv: Check[ConfigEnv]
    Definition Classes
    ShExChecker
  56. def getEntries(neighs: Neighs): Set[Entry[Path, RDFNode]]
  57. def getEnv: Check[Env]
    Definition Classes
    ShExChecker
  58. def getNeighPaths(node: RDFNode, paths: Set[Path], ext: Option[Neighs]): Check[Neighs]
    Definition Classes
    ShExChecker
  59. def getNeighs(node: RDFNode, ext: Option[Neighs]): Check[Neighs]
    Definition Classes
    ShExChecker
  60. def getNodesPrefixMap: Check[PrefixMap]
    Definition Classes
    ShExChecker
  61. def getNotAllowedPredicates(node: RDFNode, paths: List[Path], neighs: Neighs): Check[Set[IRI]]
    Definition Classes
    ShExChecker
  62. def getPaths(se: ShapeExpr, schema: ResolvedSchema): Check[Set[Path]]
    Definition Classes
    ShExChecker
  63. def getRDF: Check[RDFReader]
    Definition Classes
    ShExChecker
  64. def getTargetNodeDeclarations(rdf: RDFReader): Check[List[(RDFNode, ShapeLabel)]]
    Definition Classes
    ShExChecker
  65. def getTyping: Check[ShapeTyping]
    Definition Classes
    ShExChecker
  66. def getValuesPath(node: RDFNode, path: Path, ext: Option[Neighs]): Check[Set[RDFNode]]
    Definition Classes
    ShExChecker
  67. def getVerbose: Check[VerboseLevel]
    Definition Classes
    ShExChecker
  68. lazy val ignoredPathsClosed: List[Path]
    Definition Classes
    ShExChecker
  69. def incomingTriples(node: RDFNode, rdf: RDFReader): Check[List[Arc]]
    Definition Classes
    ShExChecker
  70. def incomingTriplesPredicates(node: RDFNode, preds: Set[IRI], rdf: RDFReader): Check[List[Arc]]
    Definition Classes
    ShExChecker
  71. def info(msg: String): Check[Unit]
    Definition Classes
    ShExChecker
  72. def infoGreen(msg: String): Check[Unit]
    Definition Classes
    ShExChecker
  73. def infoTyping(t: ShapeTyping, msg: String, shapesPrefixMap: PrefixMap): Check[Unit]
    Definition Classes
    ShExChecker
  74. val iriActions: IRI
    Definition Classes
    ShExChecker
  75. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  76. def local[A](f: (Env) => Env)(comp: Check[A]): Check[A]
    Definition Classes
    ShExChecker
  77. def mkErr[F[_]](e: Err)(implicit arg0: Applicative[F]): F[Err]
    Definition Classes
    ShExChecker
  78. def mkLabel(label: ShapeMapLabel): ShapeLabel
    Definition Classes
    ShExChecker
  79. def mkSeq[A, B](vs: List[A], f: (A) => IO[List[B]]): IO[List[B]]
    Definition Classes
    ShExChecker
  80. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  81. val nodeValidator: NodeConstraintValidator
  82. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  83. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  84. def ok[A](x: A): Check[A]
    Definition Classes
    ShExChecker
  85. def optCheck[A, B](c: Option[A], check: (A) => Check[B], default: => Check[B]): Check[B]

    If c is some value, applies check, otherwise applies default

    If c is some value, applies check, otherwise applies default

    c

    Optional value

    check

    check function

    default

    value in case there is no option

    Definition Classes
    ShExChecker
  86. def orElse[A](c1: Check[A], c2: => Check[A]): Check[A]
    Definition Classes
    ShExChecker
  87. def outgoingTriples(node: RDFNode, rdf: RDFReader): Check[List[Arc]]
    Definition Classes
    ShExChecker
  88. def outgoingTriplesPredicates(node: RDFNode, preds: Set[IRI], rdf: RDFReader): Check[List[Arc]]
    Definition Classes
    ShExChecker
  89. def productElementNames: Iterator[String]
    Definition Classes
    Product
  90. def run[A](c: Check[A])(config: Config)(env: Env): IO[(Log, Either[Err, A])]
    Definition Classes
    ShExChecker
  91. def runCheck[A](c: Check[A], rdf: RDFReader, verbose: VerboseLevel = VerboseLevel.Nothing)(implicit arg0: Show[A]): IO[CheckResult[ShExError, A, Log]]
    Definition Classes
    ShExChecker
  92. def runLocal[A](c: Check[A], f: (Env) => Env): Check[A]
    Definition Classes
    ShExChecker
  93. def runLocalSafe[A](c: Check[A], f: (Env) => Env, safe: (Err, Env) => A): Check[A]

    Run a computation in a local environment.

    Run a computation in a local environment. If the computation fails, return the result of calling safe function over the current environment

    c

    computation to run

    f

    environment

    safe

    function to call if the computation fails

    Definition Classes
    ShExChecker
  94. def runLocalSafeTyping[A](c: Check[A], f: (ShapeTyping) => ShapeTyping, safe: (Err, ShapeTyping) => A): Check[A]
    Definition Classes
    ShExChecker
  95. def runLocalTyping[A](c: Check[A], f: (ShapeTyping) => ShapeTyping): Check[A]
    Definition Classes
    ShExChecker
  96. def runValidator(chk: Check[ShapeTyping], rdf: RDFReader, verbose: VerboseLevel): IO[Result]

    Execute the validator with a given checker param chk Checker param rdf RDFReader verbose boolean flag to show internal messages

  97. val schema: ResolvedSchema
    Definition Classes
    Validator21 → ShowValidator
  98. def sequence[A](xs: List[Check[A]]): Check[List[A]]
    Definition Classes
    ShExChecker
  99. def sh(lbls: Set[ShapeLabel]): String
    Definition Classes
    ShowValidator
  100. implicit lazy val showAttempt: Show[Attempt]
    Definition Classes
    ShowValidator
  101. def showCurrentTyping(msg: String, shapesPrefixMap: PrefixMap): Check[Unit]
    Definition Classes
    ShExChecker
  102. implicit lazy val showIRI: Show[IRI]
    Definition Classes
    ShowValidator
  103. implicit lazy val showPath: Show[Path]
    Definition Classes
    ShowValidator
  104. implicit lazy val showRDFNode: Show[RDFNode]
    Definition Classes
    ShowValidator
  105. implicit lazy val showRDFTriple: Show[RDFTriple]
    Definition Classes
    ShowValidator
  106. def showSE(s: ShapeExpr): String
    Definition Classes
    ShowValidator
  107. def showShape(s: Shape): String
    Definition Classes
    ShowValidator
  108. implicit lazy val showShapeLabel: Show[ShapeLabel]
    Definition Classes
    ShowValidator
  109. def step(msg: String): Check[Unit]
    Definition Classes
    ShExChecker
  110. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  111. def validateCheck(condition: Boolean, e: Err): Check[Unit]
    Definition Classes
    ShExChecker
  112. def validateNodeDecls(rdf: RDFReader, verbose: VerboseLevel): IO[Result]

    Validate a node following target declarations.

    Validate a node following target declarations. This methods follows SHACL convention and could be deprecated in the future

    Definition Classes
    Validator21 → Validator
  113. def validateNodeShape(rdf: RDFReader, node: IRI, shape: String, verbose: VerboseLevel): IO[Result]

    Validate a node against a shape

    Validate a node against a shape

    Definition Classes
    Validator21 → Validator
  114. def validateNodeStart(rdf: RDFReader, node: IRI, verbose: VerboseLevel): IO[Result]

    Validate a node against the START declaration

    Validate a node against the START declaration

    Definition Classes
    Validator21 → Validator
  115. def validateShapeMap(rdf: RDFReader, shapeMap: FixedShapeMap, verbose: VerboseLevel): IO[Result]

    Validate a node against a shape map

    Validate a node against a shape map

    Definition Classes
    Validator21 → Validator
  116. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  117. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  118. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AllPaths

Inherited from Extend

Inherited from ShowValidator

Inherited from ShExChecker

Inherited from Validator

Inherited from AnyRef

Inherited from Any

Ungrouped