shex/es.weso.shex.spec/Spec

Spec

object Spec
class Object
trait Matchable
class Any

Value members

Concrete methods

def checkNodeLabelStatus: (RDFNode, ShapeMapLabel, Status) => Check[ShapeTyping]
def checkShapeMap(rdf: RDFReader, m: FixedShapeMap): Check[ShapeTyping]
def cnvInfo(info: Info[Evidence]): Info
def getMatchables(arcs: Set[Arc], te: TripleExpr): Check[Set[Arc]]
def getShapeFromShapeMapLabel(lbl: ShapeMapLabel): Check[ShapeExpr]
def logInfo(str: String, incr: Int): Unit
def matches(matched: Set[Arc], te: TripleExpr): Check[Boolean]
def matchesEachOf(matched: Set[Arc], eachOf: EachOf): Check[Boolean]
def matchesExpr(matched: Set[Arc], e: Expr): Check[Boolean]
def matchesInclusion(matched: Set[Arc], i: Inclusion): Check[Boolean]
def matchesList(arcs: List[Set[Arc]], expressions: List[TripleExpr]): Check[Boolean]
def matchesOneOf(matched: Set[Arc], oneOf: OneOf): Check[Boolean]
def matchesTripleConstraint(matched: Set[Arc], tc: TripleConstraint): Check[Boolean]
def neighs(n: RDFNode): Check[Set[Arc]]
def nodeSatisfies(n: RDFNode, nc: NodeConstraint): Check[Boolean]
def notSatisfies(n: RDFNode, se: ShapeExpr): Check[Boolean]
def notSatisfiesLabel(node: RDFNode, lbl: ShapeMapLabel): Check[ShapeTyping]
def notSatisfyMatchablesTCs(arcs: Set[Arc], tcs: List[TripleConstraint]): Check[Boolean]
def satisfies(n: RDFNode, se: ShapeExpr): Check[Boolean]
def satisfies2(n: RDFNode, nc: NodeConstraint): Check[Boolean]
def satisfiesDatatype(n: RDFNode)(dt: IRI): Check[Boolean]
def satisfiesLabel(node: RDFNode, lbl: ShapeMapLabel): Check[ShapeTyping]
def satisfiesNodeKind(n: RDFNode)(nk: NodeKind): Check[Boolean]
def satisfyMatches(te: TripleExpr)(pair: (Set[Arc], Set[Arc])): Check[Boolean]
def satisfyShape(n: RDFNode, shape: Shape): Check[Boolean]
def satisfyShapeRef(n: RDFNode, lbl: ShapeLabel): Check[Boolean]
def satisfyStatus(node: RDFNode, lbl: ShapeMapLabel, status: Status): Check[Boolean]
def shapeTyping2ResultShapeMap(typing: ShapeTyping, nodesPrefixMap: PrefixMap, shapesPrefixMap: PrefixMap): ResultShapeMap