c

es.weso.shex.validator

ValidatorEitherT

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

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ValidatorEitherT
  2. Serializable
  3. Product
  4. Equals
  5. AvailableShapeExprPaths
  6. ExtendM
  7. AllPaths
  8. Extend
  9. ShowValidator
  10. ShExChecker
  11. Validator
  12. AnyRef
  13. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new ValidatorEitherT(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. def extendCheckingVisitedM[S, Result, Label, M[_]](s: S, finder: (Label) => M[S], extend: (S) => M[List[Label]], expr: (S) => M[Result])(implicit arg0: Monoid[Result], arg1: Monad[M]): M[Result]
    Definition Classes
    ExtendM
  42. def extendCheckingVisitedM1[S, Result, Label, M[_]](s: S, finder: (Label) => M[S], extend: (S) => M[List[Label]], first: (S) => M[Result], rest: (S) => M[Result])(implicit arg0: Monoid[Result], arg1: Monad[M]): M[Result]
    Definition Classes
    ExtendM
  43. val externalResolver: ExternalResolver
  44. 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
  45. def fromBase[A](b: Base[A]): Check[A]
    Definition Classes
    ShExChecker
  46. def fromEither[A](e: Either[Err, A]): Check[A]
    Definition Classes
    ShExChecker
  47. def fromEitherIO[A](e: EitherT[IO, Err, A]): Check[A]
    Definition Classes
    ShExChecker
  48. def fromEitherIOS[A](e: EitherT[IO, String, A]): Check[A]
    Definition Classes
    ShExChecker
  49. def fromEitherString[A](e: Either[String, A]): Check[A]
    Definition Classes
    ShExChecker
  50. def fromIO[A](io: IO[A]): Check[A]
    Definition Classes
    ShExChecker
  51. def fromIOUnsafe[A](io: IO[A]): Check[A]
    Definition Classes
    ShExChecker
  52. def fromStream[A](s: Stream[IO, A]): Check[List[A]]
    Definition Classes
    ShExChecker
  53. def getAvailablePaths(ses: List[ShapeExpr]): Check[List[Available[Path]]]
  54. def getAvailableShapeExprsPaths(s: Shape, schema: ResolvedSchema, parent: Option[ShapeLabel]): IO[List[(ShapeExpr, Available[Path])]]

    Return all the pairs (se,paths) where se is a ShapeExpr and paths are the available paths for that ShapeExpr It includes also the paths it extends and the paths from its descendants

    Return all the pairs (se,paths) where se is a ShapeExpr and paths are the available paths for that ShapeExpr It includes also the paths it extends and the paths from its descendants

    s

    shape

    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
    AvailableShapeExprPaths
  55. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  56. def getConfig: Check[Config]
    Definition Classes
    ShExChecker
  57. def getConfigEnv: Check[ConfigEnv]
    Definition Classes
    ShExChecker
  58. def getEntries(neighs: Neighs): Set[Entry[Path, RDFNode]]
  59. def getEnv: Check[Env]
    Definition Classes
    ShExChecker
  60. def getNeighPaths(node: RDFNode, paths: Set[Path], ext: Option[Neighs]): Check[Neighs]
    Definition Classes
    ShExChecker
  61. def getNeighs(node: RDFNode, ext: Option[Neighs]): Check[Neighs]
    Definition Classes
    ShExChecker
  62. def getNodesPrefixMap: Check[PrefixMap]
    Definition Classes
    ShExChecker
  63. def getNotAllowedPredicates(node: RDFNode, paths: List[Path], neighs: Neighs): Check[Set[IRI]]
    Definition Classes
    ShExChecker
  64. def getPaths(se: ShapeExpr, schema: ResolvedSchema): Check[Set[Path]]
    Definition Classes
    ShExChecker
  65. def getRDF: Check[RDFReader]
    Definition Classes
    ShExChecker
  66. def getTargetNodeDeclarations(rdf: RDFReader): Check[List[(RDFNode, ShapeLabel)]]
    Definition Classes
    ShExChecker
  67. def getTyping: Check[ShapeTyping]
    Definition Classes
    ShExChecker
  68. def getValuesPath(node: RDFNode, path: Path, ext: Option[Neighs]): Check[Set[RDFNode]]
    Definition Classes
    ShExChecker
  69. def getVerbose: Check[VerboseLevel]
    Definition Classes
    ShExChecker
  70. lazy val ignoredPathsClosed: List[Path]
    Definition Classes
    ShExChecker
  71. def incomingTriples(node: RDFNode, rdf: RDFReader): Check[List[Arc]]
    Definition Classes
    ShExChecker
  72. def incomingTriplesPredicates(node: RDFNode, preds: Set[IRI], rdf: RDFReader): Check[List[Arc]]
    Definition Classes
    ShExChecker
  73. def info(msg: String): Check[Unit]
    Definition Classes
    ShExChecker
  74. def infoGreen(msg: String): Check[Unit]
    Definition Classes
    ShExChecker
  75. def infoTyping(t: ShapeTyping, msg: String, shapesPrefixMap: PrefixMap): Check[Unit]
    Definition Classes
    ShExChecker
  76. val iriActions: IRI
    Definition Classes
    ShExChecker
  77. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  78. def local[A](f: (Env) => Env)(comp: Check[A]): Check[A]
    Definition Classes
    ShExChecker
  79. def mkErr[F[_]](e: Err)(implicit arg0: Applicative[F]): F[Err]
    Definition Classes
    ShExChecker
  80. def mkLabel(label: ShapeMapLabel): ShapeLabel
    Definition Classes
    ShExChecker
  81. def mkSeq[A, B](vs: List[A], f: (A) => IO[List[B]]): IO[List[B]]
    Definition Classes
    ShExChecker
  82. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  83. val nodeValidator: NodeConstraintValidator
  84. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  85. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  86. def ok[A](x: A): Check[A]
    Definition Classes
    ShExChecker
  87. 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
  88. def orElse[A](c1: Check[A], c2: => Check[A]): Check[A]
    Definition Classes
    ShExChecker
  89. def outgoingTriples(node: RDFNode, rdf: RDFReader): Check[List[Arc]]
    Definition Classes
    ShExChecker
  90. def outgoingTriplesPredicates(node: RDFNode, preds: Set[IRI], rdf: RDFReader): Check[List[Arc]]
    Definition Classes
    ShExChecker
  91. def productElementNames: Iterator[String]
    Definition Classes
    Product
  92. def run[A](c: Check[A])(config: Config)(env: Env): IO[(Log, Either[Err, A])]
    Definition Classes
    ShExChecker
  93. def runCheck[A](c: Check[A], rdf: RDFReader, verbose: VerboseLevel = VerboseLevel.Nothing)(implicit arg0: Show[A]): IO[CheckResult[ShExError, A, Log]]
    Definition Classes
    ShExChecker
  94. def runLocal[A](c: Check[A], f: (Env) => Env): Check[A]
    Definition Classes
    ShExChecker
  95. 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
  96. def runLocalSafeTyping[A](c: Check[A], f: (ShapeTyping) => ShapeTyping, safe: (Err, ShapeTyping) => A): Check[A]
    Definition Classes
    ShExChecker
  97. def runLocalTyping[A](c: Check[A], f: (ShapeTyping) => ShapeTyping): Check[A]
    Definition Classes
    ShExChecker
  98. 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

  99. val schema: ResolvedSchema
    Definition Classes
    ValidatorEitherT → ShowValidator
  100. def sequence[A](xs: List[Check[A]]): Check[List[A]]
    Definition Classes
    ShExChecker
  101. def sh(lbls: Set[ShapeLabel]): String
    Definition Classes
    ShowValidator
  102. implicit lazy val showAttempt: Show[Attempt]
    Definition Classes
    ShowValidator
  103. def showCurrentTyping(msg: String, shapesPrefixMap: PrefixMap): Check[Unit]
    Definition Classes
    ShExChecker
  104. implicit lazy val showIRI: Show[IRI]
    Definition Classes
    ShowValidator
  105. implicit lazy val showPath: Show[Path]
    Definition Classes
    ShowValidator
  106. implicit lazy val showRDFNode: Show[RDFNode]
    Definition Classes
    ShowValidator
  107. implicit lazy val showRDFTriple: Show[RDFTriple]
    Definition Classes
    ShowValidator
  108. def showSE(s: ShapeExpr): String
    Definition Classes
    ShowValidator
  109. def showShape(s: Shape): String
    Definition Classes
    ShowValidator
  110. implicit lazy val showShapeLabel: Show[ShapeLabel]
    Definition Classes
    ShowValidator
  111. def step(msg: String): Check[Unit]
    Definition Classes
    ShExChecker
  112. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  113. def validateCheck(condition: Boolean, e: Err): Check[Unit]
    Definition Classes
    ShExChecker
  114. 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
    ValidatorEitherT → Validator
  115. 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
    ValidatorEitherT → Validator
  116. 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
    ValidatorEitherT → Validator
  117. 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
    ValidatorEitherT → Validator
  118. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  119. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  120. 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 AvailableShapeExprPaths

Inherited from ExtendM

Inherited from AllPaths

Inherited from Extend

Inherited from ShowValidator

Inherited from ShExChecker

Inherited from Validator

Inherited from AnyRef

Inherited from Any

Ungrouped