c

es.weso.shex.validator

FacetChecker

case class FacetChecker(schema: AbstractSchema, rdf: RDFReader, builder: RDFBuilder) extends ShExChecker with ShowValidator with Product with Serializable

Source
FacetChecker.scala
Linear Supertypes
Serializable, Serializable, Product, Equals, ShowValidator, ShExChecker, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. FacetChecker
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. ShowValidator
  7. ShExChecker
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new FacetChecker(schema: AbstractSchema, rdf: RDFReader, 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

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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  9. def attempt[A](c: Check[A]): Check[Either[Err, A]]
    Definition Classes
    ShExChecker
  10. def bind[A, Other](c1: Check[Other], c2: Check[A]): Check[A]
    Definition Classes
    ShExChecker
  11. val builder: RDFBuilder
    Definition Classes
    FacetChecker → ShExChecker
  12. 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
  13. 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
  14. 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
  15. def checkCond(condition: Boolean, attempt: Attempt, error: ShExError, evidence: String): CheckTyping
    Definition Classes
    ShExChecker
  16. def checkFacets(attempt: Attempt, node: RDFNode)(facets: List[XsFacet]): CheckTyping
  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 checkSequenceFlag[A, F[_]](ls: ⇒ List[F[(A, Boolean)]], last: A)(implicit arg0: Monoid[A], arg1: Monad[F]): F[(A, Boolean)]
    Definition Classes
    ShExChecker
  23. def checkSome[A](cs: LazyList[Check[A]])(implicit ev: Monoid[Err]): Check[A]
    Definition Classes
    ShExChecker
  24. def checkSome[A](cs: List[Check[A]], errorIfNone: Err): Check[A]
    Definition Classes
    ShExChecker
  25. 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
  26. def checkSomeFlagCount[A, B](ls: ⇒ LazyList[A], check: (A) ⇒ Check[(B, Boolean)], last: B)(implicit arg0: Monoid[B]): Check[(B, Int)]
    Definition Classes
    ShExChecker
  27. def checkSomeFlagValue[A, B](ls: ⇒ LazyList[A], check: (A) ⇒ Check[B], last: Check[B]): Check[(B, Option[A])]
    Definition Classes
    ShExChecker
  28. def checkSomeLazyList[A](cs: LazyList[Check[A]], errIfNone: ⇒ Err): Check[A]
    Definition Classes
    ShExChecker
  29. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @HotSpotIntrinsicCandidate()
  30. def combineTypings(ts: ShapeTyping*): Check[ShapeTyping]
    Definition Classes
    ShExChecker
  31. def combineTypings(ts: List[ShapeTyping]): Check[ShapeTyping]
    Definition Classes
    ShExChecker
  32. 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
  33. def condFlag[A, B](check: Check[A], thenPart: (A) ⇒ Check[B], elsePart: (Err) ⇒ Check[B]): Check[(B, Boolean)]
    Definition Classes
    ShExChecker
  34. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  35. def err[A](e: Err): Check[A]
    Definition Classes
    ShExChecker
  36. def errStr[A](msg: String): Check[A]
    Definition Classes
    ShExChecker
  37. def facetsChecker(node: RDFNode, facets: List[XsFacet]): EitherT[IO, String, String]
  38. 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
  39. def fromBase[A](b: Base[A]): Check[A]
    Definition Classes
    ShExChecker
  40. def fromEither[A](e: Either[Err, A]): Check[A]
    Definition Classes
    ShExChecker
  41. def fromEitherIO[A](e: EitherT[IO, Err, A]): Check[A]
    Definition Classes
    ShExChecker
  42. def fromEitherIOS[A](e: EitherT[IO, String, A]): Check[A]
    Definition Classes
    ShExChecker
  43. def fromEitherString[A](e: Either[String, A]): Check[A]
    Definition Classes
    ShExChecker
  44. def fromIO[A](io: IO[A]): Check[A]
    Definition Classes
    ShExChecker
  45. def fromIOUnsafe[A](io: IO[A]): Check[A]
    Definition Classes
    ShExChecker
  46. def fromStream[A](s: Stream[IO, A]): Check[List[A]]
    Definition Classes
    ShExChecker
  47. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  48. def getConfig: Check[Config]
    Definition Classes
    ShExChecker
  49. def getConfigEnv: Check[ConfigEnv]
    Definition Classes
    ShExChecker
  50. def getEnv: Check[Env]
    Definition Classes
    ShExChecker
  51. def getLocalNeighs: Check[LocalNeighs]
    Definition Classes
    ShExChecker
  52. def getNeighPaths(node: RDFNode, paths: List[Path]): Check[Neighs]
    Definition Classes
    ShExChecker
  53. def getNeighs(node: RDFNode): Check[Neighs]
    Definition Classes
    ShExChecker
  54. def getNodesPrefixMap: Check[PrefixMap]
    Definition Classes
    ShExChecker
  55. def getNotAllowedPredicates(node: RDFNode, paths: List[Path], neighs: Neighs): Check[Set[IRI]]
    Definition Classes
    ShExChecker
  56. def getPaths(s: Shape, schema: ResolvedSchema): Check[List[Path]]
    Definition Classes
    ShExChecker
  57. def getRDF: Check[RDFReader]
    Definition Classes
    ShExChecker
  58. def getTargetNodeDeclarations(rdf: RDFReader): Check[List[(RDFNode, ShapeLabel)]]
    Definition Classes
    ShExChecker
  59. def getTyping: Check[ShapeTyping]
    Definition Classes
    ShExChecker
  60. def getValuesPath(node: RDFNode, path: Path): Check[Set[RDFNode]]
    Definition Classes
    ShExChecker
  61. def getVerbose: Check[Boolean]
    Definition Classes
    ShExChecker
  62. def getVisited: Check[Set[ShapeLabel]]
    Definition Classes
    ShExChecker
  63. lazy val ignoredPathsClosed: List[Path]
    Definition Classes
    ShExChecker
  64. def info(msg: String): Check[Unit]
    Definition Classes
    ShExChecker
  65. def infoTyping(t: ShapeTyping, msg: String, shapesPrefixMap: PrefixMap): Check[Unit]
    Definition Classes
    ShExChecker
  66. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  67. def local[A](f: (Env) ⇒ Env)(comp: Check[A]): Check[A]
    Definition Classes
    ShExChecker
  68. def mkErr[F[_]](e: Err)(implicit arg0: Applicative[F]): F[Err]
    Definition Classes
    ShExChecker
  69. def mkLabel(label: ShapeMapLabel): ShapeLabel
    Definition Classes
    ShExChecker
  70. def mkSeq[A, B](vs: List[A], f: (A) ⇒ IO[List[B]]): IO[List[B]]
    Definition Classes
    ShExChecker
  71. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  72. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  73. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  74. def ok[A](x: A): Check[A]
    Definition Classes
    ShExChecker
  75. 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
  76. def orElse[A](c1: Check[A], c2: ⇒ Check[A]): Check[A]
    Definition Classes
    ShExChecker
  77. val rdf: RDFReader
  78. def run[A](c: Check[A])(config: Config)(env: Env): IO[(Log, Either[Err, A])]
    Definition Classes
    ShExChecker
  79. def runCheck[A](c: Check[A], rdf: RDFReader, verbose: Boolean = false)(implicit arg0: Show[A]): IO[CheckResult[ShExError, A, Log]]
    Definition Classes
    ShExChecker
  80. def runLocal[A](c: Check[A], f: (Env) ⇒ Env): Check[A]
    Definition Classes
    ShExChecker
  81. def runLocalNeighs[A](c: Check[A], node: RDFNode, neighs: Neighs): Check[A]
    Definition Classes
    ShExChecker
  82. 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
  83. def runLocalSafeTyping[A](c: Check[A], f: (ShapeTyping) ⇒ ShapeTyping, safe: (Err, ShapeTyping) ⇒ A): Check[A]
    Definition Classes
    ShExChecker
  84. def runLocalTyping[A](c: Check[A], f: (ShapeTyping) ⇒ ShapeTyping): Check[A]
    Definition Classes
    ShExChecker
  85. val schema: AbstractSchema
    Definition Classes
    FacetChecker → ShowValidator
  86. def sequence[A](xs: List[Check[A]]): Check[List[A]]
    Definition Classes
    ShExChecker
  87. implicit lazy val showAttempt: Show[Attempt]
    Definition Classes
    ShowValidator
  88. def showCurrentTyping(msg: String, shapesPrefixMap: PrefixMap): Check[Unit]
    Definition Classes
    ShExChecker
  89. implicit lazy val showIRI: Show[IRI]
    Definition Classes
    ShowValidator
  90. implicit lazy val showPath: Show[Path]
    Definition Classes
    ShowValidator
  91. implicit lazy val showRDFNode: Show[RDFNode]
    Definition Classes
    ShowValidator
  92. implicit lazy val showRDFTriple: Show[RDFTriple]
    Definition Classes
    ShowValidator
  93. implicit lazy val showShapeLabel: Show[ShapeLabel]
    Definition Classes
    ShowValidator
  94. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  95. def validateCheck(condition: Boolean, e: Err): Check[Unit]
    Definition Classes
    ShExChecker
  96. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  97. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  98. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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 Serializable

Inherited from Product

Inherited from Equals

Inherited from ShowValidator

Inherited from ShExChecker

Inherited from AnyRef

Inherited from Any

Ungrouped