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

es.weso.shex.validator

package es.weso.shex.validator

Members list

Concise view

Type members

Classlikes

case class Action(name: IRI, code: Option[String])

Represents actions to be done

Represents actions to be done

Attributes

code

contains the code to be executed

name

represents the kind of action

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object Action

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Action.type
case class Arc(path: Path, node: RDFNode)

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object Arc

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Arc.type
case class ArcConstraintRef(arc: Arc, cRef: ConstraintRef)

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object ArcConstraintRef

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class Attempt(nodeShape: NodeShape, path: Option[IRI], rdf: RDFReader)

Represents current validation attempt It contains the node and a shape It may contain a predicate, path or nothing

Represents current validation attempt It contains the node and a shape It may contain a predicate, path or nothing

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object Attempt

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Attempt.type
trait AvailableShapeExprPaths extends ExtendM with AllPaths

Attributes

Graph
Supertypes
trait AllPaths
trait Extend
trait ExtendM
class Object
trait Matchable
class Any
Known subtypes
case class CTable(constraints: ConstraintsMap, paths: PathsMap, elems: Int, prefixMap: PrefixMap)

Constraints table

Constraints table

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object CTable

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
CTable.type
case class Candidate(arc: Arc, crefs: Set[ConstraintRef])

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object Candidate

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class CandidateLine(values: List[ArcConstraintRef])

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object CandidateLine

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
final case class Candidates(cs: List[Candidate]) extends AnyVal

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class AnyVal
trait Matchable
class Any
case class CheckResult[E, A, Log](log: Log, eitherResult: Either[E, A])(implicit evidence$1: Show[E], evidence$2: Show[A], evidence$3: Show[Log])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class ConfigEnv(cfg: ShExConfig, env: Context)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class ConstraintRef(n: Int, path: Path, showPath: String)

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object ConstraintRef

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class Context(typing: ShapeTyping, varTable: VarTable)

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object Context

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Context.type
case class Evidences(ls: List[(NodeShape, String)])

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object Evidences

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed abstract class ExtendsMode

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object ApplyExtends.type
object IgnoreExtends.type
object ExtendsMode

Attributes

Companion:
class
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed abstract class ExternalResolver(name: String)

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object NoAction.type
object ExternalResolver

Attributes

Companion:
class
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
case class FacetChecker(schema: AbstractSchema, rdf: RDFReader) extends ShExChecker with ShowValidator

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object FacetChecker

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class FlatShapeValidator(nodesPrefixMap: PrefixMap, shapesPrefixMap: PrefixMap, builder: RDFBuilder, schema: ResolvedSchema) extends ShExChecker with ShowValidator

FlatShape validator

FlatShape validator

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case object FollowDescendants extends WithDescendants

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
case class LocalNeighs(neighsMap: Map[RDFNode, Neighs])

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object LocalNeighs

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
final case class Neighs(m: Map[Path, Set[RDFNode]]) extends AnyVal

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class AnyVal
trait Matchable
class Any
object Neighs

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Neighs.type
final case class NoCandidates(cs: List[Arc]) extends AnyVal

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class AnyVal
trait Matchable
class Any
case object NoDescendants extends WithDescendants

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
case class NodeConstraintChecker(schema: AbstractSchema, rdf: RDFReader, builder: RDFBuilder) extends ShExChecker with ShowValidator

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class NodeConstraintValidator(schema: ResolvedSchema) extends ShExChecker

Node Constraint validator

Node Constraint validator

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object NodeInfo

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class NodeShape(node: RDFNode, st: ShapeType)

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object NodeShape

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
object PartitionUtils

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final case class Result(e: Either[ShExError, (ValidationLog, ResultShapeMap)]) extends AnyVal

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class AnyVal
trait Matchable
class Any
trait ShExChecker

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
case class ShExConfig(rdf: RDFReader, verboseLevel: VerboseLevel)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
sealed abstract class ShExError extends RuntimeException with NoStackTrace with Product with Serializable

Attributes

Companion:
object
Graph
Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Known subtypes
class BaseFails
class HasNoType
class NoStart
object ShExError

Attributes

Companion:
class
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
abstract class ShExValidator

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
case class ShapeType(se: ShapeExpr, label: Option[ShapeLabel], schema: AbstractSchema)

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object ShapeType

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ShapeTyping(t: Typing[RDFNode, ShapeType, ShExError, String])

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object ShapeTyping

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
trait ShowValidator

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
case class State(typing: ShapeTyping)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class ValidationLog(actions: List[Action], slurp: List[RDFTriple])

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object ValidationLog

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class ValidationOptions(verbose: Boolean, builder: Option[RDFBuilder])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
abstract class Validator

ShEx validator

ShEx validator

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Validator

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class Validator21(schema: ResolvedSchema, externalResolver: ExternalResolver, builder: RDFBuilder) extends Validator with ShExChecker with ShowValidator with AllPaths

ShEx validator for ShEx 2.1 (no extends, abstract)

ShEx validator for ShEx 2.1 (no extends, abstract)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait AllPaths
trait Extend
class Validator
class Object
trait Matchable
class Any
case class ValidatorEitherT(schema: ResolvedSchema, externalResolver: ExternalResolver, builder: RDFBuilder) extends Validator with ShExChecker with ShowValidator with Extend with AllPaths with AvailableShapeExprPaths

ShEx validator

ShEx validator

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait ExtendM
trait AllPaths
trait Extend
class Validator
class Object
trait Matchable
class Any
case class ValidatorEitherT1(schema: ResolvedSchema, externalResolver: ExternalResolver, builder: RDFBuilder) extends Validator with ShExChecker with ShowValidator with AllPaths

ShEx validator

ShEx validator

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait AllPaths
trait Extend
class Validator
class Object
trait Matchable
class Any
case class ValueChecker(schema: AbstractSchema) extends ShExChecker with ShowValidator

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
final case class Visited(m: Map[RDFNode, Set[ShapeLabel]]) extends AnyVal

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class AnyVal
trait Matchable
class Any
object Visited

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Visited.type
sealed abstract class WithDescendants

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object FollowDescendants.type
object NoDescendants.type
object WithDescendants

Attributes

Companion:
class
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type

Types

type BagChecker_ = BagChecker[ConstraintRef]
type Bag_ = Bag[ConstraintRef]
type ConstraintsMap = Map[ConstraintRef, CheckExpr]
type ES[A] = Either[ShExError, A]
type Rbe_ = Rbe[ConstraintRef]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL