org.aksw.sparqlify.config.lang

Class RegexConstraint

java.lang.Object

org.aksw.sparqlify.config.lang.RegexConstraint

All Implemented Interfaces:

Constraint

public class RegexConstraint
extends Object
implements Constraint

Constructor Summary

Constructors

Constructor and Description
RegexConstraint(com.hp.hpl.jena.sparql.core.Var var, String attribute, com.karneim.util.collection.regex.PatternPro pattern)
RegexConstraint(com.hp.hpl.jena.sparql.core.Var var, String attribute, String pattern)

Method Summary

Methods

Modifier and Type	Method and Description
RegexConstraint	copySubstitute(Map<? extends com.hp.hpl.jena.graph.Node,com.hp.hpl.jena.graph.Node> map)
String	getAttribute()
com.karneim.util.collection.regex.PatternPro	getPattern()
com.hp.hpl.jena.sparql.core.Var	getVar()
static com.karneim.util.collection.regex.PatternPro	intersect(com.karneim.util.collection.regex.PatternPro a, com.karneim.util.collection.regex.PatternPro b)
static boolean	isSatisfiable(com.karneim.util.collection.regex.PatternPro a) A pattern is only satisfiable if it is either null (= unconstrained) or the underlying automaton has a non-empty set of states.
static com.karneim.util.collection.regex.PatternPro	union(com.karneim.util.collection.regex.PatternPro a, com.karneim.util.collection.regex.PatternPro b)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RegexConstraint

public RegexConstraint(com.hp.hpl.jena.sparql.core.Var var,
               String attribute,
               String pattern)

RegexConstraint

public RegexConstraint(com.hp.hpl.jena.sparql.core.Var var,
               String attribute,
               com.karneim.util.collection.regex.PatternPro pattern)

Method Detail

copySubstitute

public RegexConstraint copySubstitute(Map<? extends com.hp.hpl.jena.graph.Node,com.hp.hpl.jena.graph.Node> map)

Specified by:

copySubstitute in interface Constraint

getVar

public com.hp.hpl.jena.sparql.core.Var getVar()

getAttribute

public String getAttribute()

getPattern

public com.karneim.util.collection.regex.PatternPro getPattern()

union

public static com.karneim.util.collection.regex.PatternPro union(com.karneim.util.collection.regex.PatternPro a,
                                                 com.karneim.util.collection.regex.PatternPro b)

Parameters:

a -

b -

Returns:

The union of the two patterns; null indicates no constraint.

intersect

public static com.karneim.util.collection.regex.PatternPro intersect(com.karneim.util.collection.regex.PatternPro a,
                                                     com.karneim.util.collection.regex.PatternPro b)

Parameters:

a -

b -

Returns:

The intersection of the two patterns; null indicates no constraint.

isSatisfiable

public static boolean isSatisfiable(com.karneim.util.collection.regex.PatternPro a)

A pattern is only satisfiable if it is either null (= unconstrained) or the underlying automaton has a non-empty set of states.

Parameters:

a -

Returns: