org.aksw.sparqlify.core.datatypes

Class DatatypeSystemCustom

java.lang.Object

org.aksw.sparqlify.core.datatypes.DatatypeSystemCustom

All Implemented Interfaces:

TypeSystem

public class DatatypeSystemCustom
extends Object
implements TypeSystem

Constructor Summary

Constructors

Constructor and Description
DatatypeSystemCustom(Map<String,String> typeToClass, Map<String,String> typeToUri, Map<String,String> typeHierarchy)

Method Summary

Methods

Modifier and Type	Method and Description
com.hp.hpl.jena.sparql.expr.NodeValue	cast(com.hp.hpl.jena.sparql.expr.NodeValue value, TypeToken to)
Factory1<SqlExpr>	cast(TypeToken from, TypeToken to) Return a factory for creating cast-expressions between the given datatypes Null if no such cast exists.
Integer	compare(TypeToken a, TypeToken b) Returns -1, 0, 1 if a is more specific, equal, more general the b.
static DatatypeSystemCustom	create(Map<String,String> typeToClass, Map<String,String> typeToUri, Map<String,String> typeHierarchy, org.slf4j.Logger logger)
SparqlFunctionImpl	createSparqlFunction(String name, SqlExprEvaluator evaluator)
static Map<XMethod,TypeDistance[]>	findMethodCandidates(Collection<XMethod> candidates, org.aksw.sparqlify.core.datatypes.CoercionSystemOld coercions, XClass... typeSignature)
static Map<XMethod,Integer[]>	findMethodCandidates(Collection<XMethod> candidates, XClass... typeSignature)
XClass	getByClass(Class<?> clazz)
XClass	getByName(String name)
XClass	getByName(TypeToken name)
List<TypeToken>	getDirectSuperClasses(TypeToken typeToken)
SparqlFunctionImpl	getOrCreateSparqlFunction(String name)
SparqlFunction	getSparqlFunction(String name)
TypeToken	getTokenForClass(Class<?> clazz)
boolean	isSuperClassOf(TypeToken a, TypeToken b)
SqlMethodCandidate	lookupMethod(Collection<XMethod> candidates, List<TypeToken> argTypes)
SqlMethodCandidate	lookupMethod(String sparqlFunctionName, List<TypeToken> argTypes)
TypeToken	mostGenericDatatype(TypeToken from, TypeToken to) Returns the top-most node of the tree of compatible datatypes Hm, how to justify not returning object? so integer and string -> numeric string -> text The rationale is, that all numeric types have similar semantics in regard to comparison and arithmetic operations.
void	registerCoercion(XMethod method)
void	registerSqlFunction(String sparqlFunctionName, XMethod method)
XClass	requireByName(String name)
Set<TypeToken>	supremumDatatypes(TypeToken from, TypeToken to)
com.hp.hpl.jena.sparql.expr.NodeValue	tryCast(com.hp.hpl.jena.sparql.expr.NodeValue nodeValue, XClass targetType)

Methods inherited from class java.lang.Object

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

Constructor Detail

DatatypeSystemCustom

public DatatypeSystemCustom(Map<String,String> typeToClass,
                    Map<String,String> typeToUri,
                    Map<String,String> typeHierarchy)

Parameters:

nameToType -

typeHierarchy - A mapping from sub to super type.

Method Detail

createSparqlFunction

public SparqlFunctionImpl createSparqlFunction(String name,
                                      SqlExprEvaluator evaluator)

Specified by:

createSparqlFunction in interface TypeSystem

getOrCreateSparqlFunction

public SparqlFunctionImpl getOrCreateSparqlFunction(String name)

getSparqlFunction

public SparqlFunction getSparqlFunction(String name)

Specified by:

getSparqlFunction in interface TypeSystem

registerSqlFunction

public void registerSqlFunction(String sparqlFunctionName,
                       XMethod method)

Specified by:

registerSqlFunction in interface TypeSystem

findMethodCandidates

public static Map<XMethod,TypeDistance[]> findMethodCandidates(Collection<XMethod> candidates,
                                               org.aksw.sparqlify.core.datatypes.CoercionSystemOld coercions,
                                               XClass... typeSignature)

findMethodCandidates

public static Map<XMethod,Integer[]> findMethodCandidates(Collection<XMethod> candidates,
                                          XClass... typeSignature)

lookupMethod

public SqlMethodCandidate lookupMethod(String sparqlFunctionName,
                              List<TypeToken> argTypes)

Specified by:

lookupMethod in interface TypeSystem

lookupMethod

public SqlMethodCandidate lookupMethod(Collection<XMethod> candidates,
                              List<TypeToken> argTypes)

getDirectSuperClasses

public List<TypeToken> getDirectSuperClasses(TypeToken typeToken)

Specified by:

getDirectSuperClasses in interface TypeSystem

getTokenForClass

public TypeToken getTokenForClass(Class<?> clazz)

Specified by:

getTokenForClass in interface TypeSystem

getByName

public XClass getByName(TypeToken name)

Specified by:

getByName in interface TypeSystem

getByName

public XClass getByName(String name)

Specified by:

getByName in interface TypeSystem

getByClass

public XClass getByClass(Class<?> clazz)

Specified by:

getByClass in interface TypeSystem

requireByName

public XClass requireByName(String name)

Specified by:

requireByName in interface TypeSystem

cast

public com.hp.hpl.jena.sparql.expr.NodeValue cast(com.hp.hpl.jena.sparql.expr.NodeValue value,
                                         TypeToken to)

Specified by:

cast in interface TypeSystem

tryCast

public com.hp.hpl.jena.sparql.expr.NodeValue tryCast(com.hp.hpl.jena.sparql.expr.NodeValue nodeValue,
                                            XClass targetType)

cast

public Factory1<SqlExpr> cast(TypeToken from,
                     TypeToken to)

Description copied from interface: TypeSystem

Return a factory for creating cast-expressions between the given datatypes Null if no such cast exists. Constant folding may be performed, but do not rely on it. So cast(string, int).create(NodeValue.makeString('666')) may return Cast((string, int), NodeValue('666')) rather than NodeValue.makeInteger(666)

Specified by:

cast in interface TypeSystem

mostGenericDatatype

public TypeToken mostGenericDatatype(TypeToken from,
                            TypeToken to)

Description copied from interface: TypeSystem

Returns the top-most node of the tree of compatible datatypes Hm, how to justify not returning object? so integer and string -> numeric string -> text The rationale is, that all numeric types have similar semantics in regard to comparison and arithmetic operations. However mixing string and numeric is invalid.

Specified by:

mostGenericDatatype in interface TypeSystem

Returns:

supremumDatatypes

public Set<TypeToken> supremumDatatypes(TypeToken from,
                               TypeToken to)

Specified by:

supremumDatatypes in interface TypeSystem

compare

public Integer compare(TypeToken a,
              TypeToken b)

Description copied from interface: TypeSystem

Returns -1, 0, 1 if a is more specific, equal, more general the b. null if no subsumption relation exists

Specified by:

compare in interface TypeSystem

Returns:

create

public static DatatypeSystemCustom create(Map<String,String> typeToClass,
                          Map<String,String> typeToUri,
                          Map<String,String> typeHierarchy,
                          org.slf4j.Logger logger)

isSuperClassOf

public boolean isSuperClassOf(TypeToken a,
                     TypeToken b)

Specified by:

isSuperClassOf in interface TypeSystem

registerCoercion

public void registerCoercion(XMethod method)

Specified by:

registerCoercion in interface TypeSystem