c

es.weso.shex.validator

ValidateFlatShape

case class ValidateFlatShape(validator: Validator, nodesPrefixMap: PrefixMap, shapesPrefixMap: PrefixMap, builder: RDFBuilder) extends ShExChecker with Product with Serializable

ShEx validator

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

Instance Constructors

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

Inherited from AnyRef

Inherited from Any

Ungrouped