public class DateTimeCast extends CastFunction
Function
that tries to cast its argument to an
xsd:dateTime.Constructor and Description |
---|
DateTimeCast() |
Modifier and Type | Method and Description |
---|---|
protected Literal |
convert(ValueFactory vf,
Value value)
Convert the supplied value to a literal of the function output datatype.
|
protected IRI |
getXsdDatatype()
Get the specific XML Schema datatype which this function returns.
|
protected boolean |
isValidForDatatype(String lexicalValue)
Verifies that the supplied lexical value is valid for the datatype.
|
evaluate, getURI, getXsdName, typeError
protected IRI getXsdDatatype()
CastFunction
getXsdDatatype
in class CastFunction
protected boolean isValidForDatatype(String lexicalValue)
CastFunction
isValidForDatatype
in class CastFunction
lexicalValue
- a lexical valueprotected Literal convert(ValueFactory vf, Value value) throws ValueExprEvaluationException
CastFunction
convert
in class CastFunction
vf
- the valueFactory to usevalue
- a value that is not a string-typed literal, and not a literal of the same datatype as the function
output datatype.ValueExprEvaluationException
- if an error occurs in conversion.Copyright © 2015-2020 Eclipse Foundation. All Rights Reserved.