shex
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
shex/es.weso.shex.validator/ValidatorEitherT1

ValidatorEitherT1

es.weso.shex.validator.ValidatorEitherT1
case class ValidatorEitherT1(schema: ResolvedSchema, externalResolver: ExternalResolver, builder: RDFBuilder) extends Validator with ShExChecker with ShowValidator with AllPaths

ShEx validator

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait AllPaths
trait Extend
class Validator
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Types

Inherited types

type Base[A] = IndexedReaderWriterStateT[IO, ConfigEnv, Log, State, State, A]

Attributes

Inherited from:
ShExChecker
type Check[A] = EitherT[Base, Err, A]

Attributes

Inherited from:
ShExChecker
type CheckTyping = Check[ShapeTyping]

Attributes

Inherited from:
ShExChecker
type Config = ShExConfig

Attributes

Inherited from:
ShExChecker
type Env = Context

Attributes

Inherited from:
ShExChecker
type Err = ShExError

Attributes

Inherited from:
ShExChecker
type Evidence = (NodeShape, String)

Attributes

Inherited from:
ShExChecker
type Log = ValidationLog

Attributes

Inherited from:
ShExChecker

Value members

Concrete methods

def checkPartitionNeighs(attempt: Attempt, node: RDFNode, s: Shape, neighsShape: Neighs, extended: List[(ShapeExpr, Neighs)], visited: Visited): CheckTyping
def processLine(node: RDFNode, s: Shape, ses: List[ShapeExpr], visited: Visited, attempt: Attempt, prefixMap: PrefixMap)(line: List[Set[Entry[Path, RDFNode]]]): CheckTyping
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

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

Attributes

def validateNodeDecls(rdf: RDFReader, verbose: VerboseLevel): IO[Result]

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

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

Attributes

def validateNodeShape(rdf: RDFReader, node: IRI, shape: String, verbose: VerboseLevel): IO[Result]

Validate a node against a shape

Validate a node against a shape

Attributes

def validateNodeStart(rdf: RDFReader, node: IRI, verbose: VerboseLevel): IO[Result]

Validate a node against the START declaration

Validate a node against the START declaration

Attributes

def validateShapeMap(rdf: RDFReader, shapeMap: FixedShapeMap, verbose: VerboseLevel): IO[Result]

Validate a node against a shape map

Validate a node against a shape map

Attributes

Inherited methods

def addAction2Log(a: Action): Check[Unit]

Attributes

Inherited from:
ShExChecker
def addEvidence(nodeShape: NodeShape, msg: String): Check[ShapeTyping]

Attributes

Inherited from:
ShExChecker
def addLog(log: Log): Check[Unit]

Attributes

Inherited from:
ShExChecker
def addNotEvidence(nodeShape: NodeShape, e: ShExError, msg: String): Check[ShapeTyping]

Attributes

Inherited from:
ShExChecker
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

Attributes

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)

Inherited from:
AllPaths
def attempt[A](c: Check[A]): Check[Either[Err, A]]

Attributes

Inherited from:
ShExChecker
def bind[A, Other](c1: Check[Other], c2: Check[A]): Check[A]

Attributes

Inherited from:
ShExChecker
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

Attributes

Inherited from:
ShExChecker
def checkAllFailFAtFirstFlag[A, B : Monoid, F[_] : Monad](ls: => LazyList[A], check: A => F[(B, Boolean)], last: => B): F[(B, Boolean)]

Attributes

Inherited from:
ShExChecker
def checkAllFlag[A, B : Monoid, F[_] : Monad](ls: => LazyList[A], check: A => F[(B, Boolean)], last: => B): F[(B, Boolean)]

Attributes

Inherited from:
ShExChecker
def checkCond(condition: Boolean, attempt: Attempt, error: ShExError, evidence: String): CheckTyping

Attributes

Inherited from:
ShExChecker
def checkList[A, B](ls: List[A], check: A => Check[B]): Check[List[B]]

Attributes

Inherited from:
ShExChecker
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)

Attributes

Inherited from:
ShExChecker
def checkOneOf[A](cs: List[Check[A]], errNone: Err, errMoreThanOne: List[A] => Err): Check[A]

Attributes

Inherited from:
ShExChecker
def checkPair1st[A, B](p: (Check[A], B)): Check[(A, B)]

Attributes

Inherited from:
ShExChecker
def checkPair2nd[A, B](p: (A, Check[B])): Check[(A, B)]

Attributes

Inherited from:
ShExChecker
def checkSequenceFlag[A : Monoid, F[_] : Monad](ls: => List[F[(A, Boolean)]], last: A): F[(A, Boolean)]

Attributes

Inherited from:
ShExChecker
def checkSome[A](cs: LazyList[Check[A]])(implicit ev: Monoid[Err]): Check[A]

Attributes

Inherited from:
ShExChecker
def checkSome[A](cs: List[Check[A]], errorIfNone: Err): Check[A]

Attributes

Inherited from:
ShExChecker
def checkSomeFlag[A, B, F[_] : Monad](ls: => LazyList[A], check: A => F[(B, Boolean)], last: F[(B, Boolean)]): 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

Attributes

Inherited from:
ShExChecker
def checkSomeFlagCount[A, B : Monoid](ls: => LazyList[A], check: A => Check[(B, Boolean)], last: B): Check[(B, Int)]

Attributes

Inherited from:
ShExChecker
def checkSomeFlagValue[A, B](ls: => LazyList[A], check: A => Check[B], last: Check[B]): Check[(B, Option[A])]

Checks some values. Returns the first that passes or None

Checks some values. Returns the first that passes or None

Attributes

Inherited from:
ShExChecker
def checkSomeLazyList[A](cs: LazyList[Check[A]], errIfNone: => Err): Check[A]

Attributes

Inherited from:
ShExChecker
def combineTypings(ts: ShapeTyping*): Check[ShapeTyping]

Attributes

Inherited from:
ShExChecker
def combineTypings(ts: List[ShapeTyping]): Check[ShapeTyping]

Attributes

Inherited from:
ShExChecker
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

Attributes

A

type returned by the computation

B

type returned the the condition

check

Computation to check

elsePart

part to be executed when the check fails

thenPart

part to be executed when it passes

Inherited from:
ShExChecker
def condFlag[A, B](check: Check[A], thenPart: A => Check[B], elsePart: Err => Check[B]): Check[(B, Boolean)]

Attributes

Inherited from:
ShExChecker
def debug(msg: String): Check[Unit]

Attributes

Inherited from:
ShExChecker
def err[A](e: Err): Check[A]

Attributes

Inherited from:
ShExChecker
def errStr[A](msg: String): Check[A]

Attributes

Inherited from:
ShExChecker
def extendCheckingVisited[S, E : Semigroup, Err, Label](s: S, finder: Label => Either[Err, S], extend: S => Option[List[Label]], expr: S => Option[E]): Either[Err, Option[E]]

Attributes

Inherited from:
Extend
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

Attributes

A

type of values

B

type returned by computation

check

computation to check for each value

ls

list of values

Returns:

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

Inherited from:
ShExChecker
def fromBase[A](b: Base[A]): Check[A]

Attributes

Inherited from:
ShExChecker
def fromEither[A](e: Either[Err, A]): Check[A]

Attributes

Inherited from:
ShExChecker
def fromEitherIO[A](e: EitherT[IO, Err, A]): Check[A]

Attributes

Inherited from:
ShExChecker
def fromEitherIOS[A](e: EitherT[IO, String, A]): Check[A]

Attributes

Inherited from:
ShExChecker
def fromEitherString[A](e: Either[String, A]): Check[A]

Attributes

Inherited from:
ShExChecker
def fromIO[A](io: IO[A]): Check[A]

Attributes

Inherited from:
ShExChecker
def fromIOUnsafe[A](io: IO[A]): Check[A]

Attributes

Inherited from:
ShExChecker
def fromStream[A](s: Stream[IO, A]): Check[List[A]]

Attributes

Inherited from:
ShExChecker
def getConfig: Check[Config]

Attributes

Inherited from:
ShExChecker
def getConfigEnv: Check[ConfigEnv]

Attributes

Inherited from:
ShExChecker
def getEnv: Check[Env]

Attributes

Inherited from:
ShExChecker
def getNeighPaths(node: RDFNode, paths: Set[Path], ext: Option[Neighs]): Check[Neighs]

Attributes

Inherited from:
ShExChecker
def getNeighs(node: RDFNode, ext: Option[Neighs]): Check[Neighs]

Attributes

Inherited from:
ShExChecker
def getNodesPrefixMap: Check[PrefixMap]

Attributes

Inherited from:
ShExChecker
def getNotAllowedPredicates(node: RDFNode, paths: List[Path], neighs: Neighs): Check[Set[IRI]]

Attributes

Inherited from:
ShExChecker
def getPaths(se: ShapeExpr, schema: ResolvedSchema): Check[Set[Path]]

Attributes

Inherited from:
ShExChecker
def getRDF: Check[RDFReader]

Attributes

Inherited from:
ShExChecker
def getTyping: Check[ShapeTyping]

Attributes

Inherited from:
ShExChecker
def getValuesPath(node: RDFNode, path: Path, ext: Option[Neighs]): Check[Set[RDFNode]]

Attributes

Inherited from:
ShExChecker
def getVerbose: Check[VerboseLevel]

Attributes

Inherited from:
ShExChecker
def incomingTriples(node: RDFNode, rdf: RDFReader): Check[List[Arc]]

Attributes

Inherited from:
ShExChecker
def incomingTriplesPredicates(node: RDFNode, preds: Set[IRI], rdf: RDFReader): Check[List[Arc]]

Attributes

Inherited from:
ShExChecker
def info(msg: String): Check[Unit]

Attributes

Inherited from:
ShExChecker
def infoGreen(msg: String): Check[Unit]

Attributes

Inherited from:
ShExChecker
def infoTyping(t: ShapeTyping, msg: String, shapesPrefixMap: PrefixMap): Check[Unit]

Attributes

Inherited from:
ShExChecker
def local[A](f: Env => Env)(comp: Check[A]): Check[A]

Attributes

Inherited from:
ShExChecker
def mkErr[F[_] : Applicative](e: Err): F[Err]

Attributes

Inherited from:
ShExChecker
def mkLabel(label: ShapeMapLabel): ShapeLabel

Attributes

Inherited from:
ShExChecker
def mkSeq[A, B](vs: List[A], f: A => IO[List[B]]): IO[List[B]]

Attributes

Inherited from:
ShExChecker
def ok[A](x: A): Check[A]

Attributes

Inherited from:
ShExChecker
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

Attributes

c

Optional value

check

check function

default

value in case there is no option

Inherited from:
ShExChecker
def orElse[A](c1: Check[A], c2: => Check[A]): Check[A]

Attributes

Inherited from:
ShExChecker
def outgoingTriples(node: RDFNode, rdf: RDFReader): Check[List[Arc]]

Attributes

Inherited from:
ShExChecker
def outgoingTriplesPredicates(node: RDFNode, preds: Set[IRI], rdf: RDFReader): Check[List[Arc]]

Attributes

Inherited from:
ShExChecker
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def run[A](c: Check[A])(config: Config)(env: Env): IO[(Log, Either[Err, A])]

Attributes

Inherited from:
ShExChecker
def runCheck[A : Show](c: Check[A], rdf: RDFReader, verbose: VerboseLevel): IO[CheckResult[ShExError, A, Log]]

Attributes

Inherited from:
ShExChecker
def runLocal[A](c: Check[A], f: Env => Env): Check[A]

Attributes

Inherited from:
ShExChecker
def runLocalSafe[A](c: Check[A], f: Env => Env, safe: (Err, Env) => A): Check[A]

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

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

Attributes

c

computation to run

f

environment

safe

function to call if the computation fails

Inherited from:
ShExChecker
def runLocalSafeTyping[A](c: Check[A], f: ShapeTyping => ShapeTyping, safe: (Err, ShapeTyping) => A): Check[A]

Attributes

Inherited from:
ShExChecker
def runLocalTyping[A](c: Check[A], f: ShapeTyping => ShapeTyping): Check[A]

Attributes

Inherited from:
ShExChecker
def sequence[A](xs: List[Check[A]]): Check[List[A]]

Attributes

Inherited from:
ShExChecker
def sh(lbls: Set[ShapeLabel]): String

Attributes

Inherited from:
ShowValidator
def showCurrentTyping(msg: String, shapesPrefixMap: PrefixMap): Check[Unit]

Attributes

Inherited from:
ShExChecker
def showSE(s: ShapeExpr): String

Attributes

Inherited from:
ShowValidator
def showShape(s: Shape): String

Attributes

Inherited from:
ShowValidator
def step(msg: String): Check[Unit]

Attributes

Inherited from:
ShExChecker
def validateCheck(condition: Boolean, e: Err): Check[Unit]

Attributes

Inherited from:
ShExChecker

Concrete fields

Inherited fields

lazy val ignoredPathsClosed: List[Path]

Attributes

Inherited from:
ShExChecker
val iriActions: IRI

Attributes

Inherited from:
ShExChecker

Implicits

Inherited implicits

implicit lazy val showAttempt: Show[Attempt]

Attributes

Inherited from:
ShowValidator
implicit lazy val showIRI: Show[IRI]

Attributes

Inherited from:
ShowValidator
implicit lazy val showPath: Show[Path]

Attributes

Inherited from:
ShowValidator
implicit lazy val showRDFNode: Show[RDFNode]

Attributes

Inherited from:
ShowValidator
implicit lazy val showRDFTriple: Show[RDFTriple]

Attributes

Inherited from:
ShowValidator
implicit lazy val showShapeLabel: Show[ShapeLabel]

Attributes

Inherited from:
ShowValidator
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL