From ea0b965b33064f2115fc7982b83c82fe068bba9f Mon Sep 17 00:00:00 2001 From: Adam Bem Date: Fri, 30 Jun 2023 12:35:08 +0200 Subject: [PATCH] Added date/time category --- .../src/assets/tooltips/xpath/xpath2.json | 638 ++++++++++++++++++ 1 file changed, 638 insertions(+) diff --git a/Frontend/src/assets/tooltips/xpath/xpath2.json b/Frontend/src/assets/tooltips/xpath/xpath2.json index 72bb905..d698a58 100644 --- a/Frontend/src/assets/tooltips/xpath/xpath2.json +++ b/Frontend/src/assets/tooltips/xpath/xpath2.json @@ -1675,6 +1675,644 @@ } ] }, + { + "name": "Date / Time", + "entries": [ + { + "name": "years-from-duration()", + "description": "Returns an xs:integer representing the years component in the value of $arg.", + "arguments": [ + { + "type": "xs:duration?", + "description": "$arg" + } + ], + "output": "xs:integer?", + "examples": [ + { + "command": "years-from-duration(xs:yearMonthDuration('P20Y15M')", + "output": "21" + }, + { + "command": "years-from-duration(xs:yearMonthDuration('-P15M'))", + "output": "-1" + }, + { + "command": "years-from-duration(xs:yearMonthDuration('-P2DT15H')", + "output": "0" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-years-from-duration" + }, + { + "name": "months-from-duration()", + "description": "Returns an xs:integer representing the months component in the value of $arg.", + "arguments": [ + { + "type": "xs:duration?", + "description": "$arg" + } + ], + "output": "xs:integer?", + "examples": [ + { + "command": "months-from-duration(xs:yearMonthDuration('P20Y15M')", + "output": "3" + }, + { + "command": "months-from-duration(xs:yearMonthDuration('-P20Y18M'))", + "output": "-6" + }, + { + "command": "months-from-duration(xs:yearMonthDuration('-P2DT15H0M0S')", + "output": "0" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-months-from-duration" + }, + { + "name": "days-from-duration()", + "description": "Returns an xs:integer representing the days component in the value of $arg.", + "arguments": [ + { + "type": "xs:duration?", + "description": "$arg" + } + ], + "output": "xs:integer?", + "examples": [ + { + "command": "days-from-duration(xs:yearMonthDuration('P3DT10H')", + "output": "3" + }, + { + "command": "days-from-duration(xs:yearMonthDuration('P3DT55H'))", + "output": "5" + }, + { + "command": "days-from-duration(xs:yearMonthDuration('P3Y5M')", + "output": "0" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-days-from-duration" + }, + { + "name": "hours-from-duration()", + "description": "Returns an xs:integer representing the hours component in the value of $arg.", + "arguments": [ + { + "type": "xs:duration?", + "description": "$arg" + } + ], + "output": "xs:integer?", + "examples": [ + { + "command": "hours-from-duration(xs:yearMonthDuration('P3DT10H')", + "output": "10" + }, + { + "command": "hours-from-duration(xs:yearMonthDuration('P3DT12H32M12S'))", + "output": "12" + }, + { + "command": "hours-from-duration(xs:yearMonthDuration('-PT123H')", + "output": "0" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-hours-from-duration" + }, + { + "name": "minutes-from-duration()", + "description": "Returns an xs:integer representing the minutes component in the value of $arg.", + "arguments": [ + { + "type": "xs:duration?", + "description": "$arg" + } + ], + "output": "xs:integer?", + "examples": [ + { + "command": "minutes-from-duration(xs:yearMonthDuration('P3DT10H')", + "output": "0" + }, + { + "command": "minutes-from-duration(xs:yearMonthDuration('-PT1P5DT12H30M23H')", + "output": "-30" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-minutes-from-duration" + }, + { + "name": "seconds-from-duration()", + "description": "Returns an xs:integer representing the seconds component in the value of $arg.", + "arguments": [ + { + "type": "xs:duration?", + "description": "$arg" + } + ], + "output": "xs:integer?", + "examples": [ + { + "command": "seconds-from-duration(xs:yearMonthDuration('P3DT10H12.5S')", + "output": "12.5" + }, + { + "command": "seconds-from-duration(xs:yearMonthDuration('-PT256S')", + "output": "16" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-seconds-from-duration" + }, + { + "name": "year-from-dateTime()", + "description": "Returns an xs:integer representing the year component in the localized value of $arg. The result may be negative.", + "arguments": [ + { + "type": "xs:dateTime?", + "description": "$arg" + } + ], + "output": "xs:integer?", + "examples": [ + { + "command": "year-from-dateTime(xs:dateTime('1999-05-31T13:20:00-05:00'))", + "output": "1999" + }, + { + "command": "year-from-dateTime(xs:dateTime('1999-12-31T19:20:00'))", + "output": "1999" + }, + { + "command": "year-from-dateTime(xs:dateTime('1999-12-31T24:00:00'))", + "output": "2000" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-year-from-dateTime" + }, + { + "name": "month-from-dateTime()", + "description": "Returns an xs:integer between 1 and 12, both inclusive, representing the month component in the localized value of $arg.", + "arguments": [ + { + "type": "xs:dateTime?", + "description": "$arg" + } + ], + "output": "xs:integer?", + "examples": [ + { + "command": "month-from-dateTime(xs:dateTime('1999-05-31T13:20:00-05:00'))", + "output": "05" + }, + { + "command": "month-from-dateTime(xs:dateTime('1999-12-31T19:20:00'))", + "output": "12" + }, + { + "command": "month-from-dateTime(xs:dateTime('1999-12-31T24:00:00'))", + "output": "1" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-month-from-dateTime" + }, + { + "name": "day-from-dateTime()", + "description": "Returns an xs:integer between 1 and 31, both inclusive, representing the day component in the localized value of $arg.", + "arguments": [ + { + "type": "xs:dateTime?", + "description": "$arg" + } + ], + "output": "xs:integer?", + "examples": [ + { + "command": "day-from-dateTime(xs:dateTime('1999-05-31T13:20:00-05:00'))", + "output": "31" + }, + { + "command": "day-from-dateTime(xs:dateTime('1999-12-31T19:20:00'))", + "output": "31" + }, + { + "command": "day-from-dateTime(xs:dateTime('1999-12-31T24:00:00'))", + "output": "1" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-day-from-dateTime" + }, + { + "name": "hours-from-dateTime()", + "description": "Returns an xs:integer between 0 and 23, both inclusive, representing the hours component in the localized value of $arg.", + "arguments": [ + { + "type": "xs:dateTime?", + "description": "$arg" + } + ], + "output": "xs:integer?", + "examples": [ + { + "command": "hours-from-dateTime(xs:dateTime('1999-05-31T13:20:00-05:00'))", + "output": "13" + }, + { + "command": "hours-from-dateTime(xs:dateTime('1999-12-31T19:20:00'))", + "output": "19" + }, + { + "command": "hours-from-dateTime(xs:dateTime('1999-12-31T24:00:00'))", + "output": "0" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-hours-from-dateTime" + }, + { + "name": "minutes-from-dateTime()", + "description": "Returns an xs:integer value between 0 and 59, both inclusive, representing the minute component in the localized value of $arg.", + "arguments": [ + { + "type": "xs:dateTime?", + "description": "$arg" + } + ], + "output": "xs:integer?", + "examples": [ + { + "command": "minutes-from-dateTime(xs:dateTime('1999-05-31T13:20:00-05:00'))", + "output": "20" + }, + { + "command": "minutes-from-dateTime(xs:dateTime('1999-12-31T19:20:00'))", + "output": "20" + }, + { + "command": "minutes-from-dateTime(xs:dateTime('1999-12-31T24:00:00'))", + "output": "0" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-minutes-from-dateTime" + }, + { + "name": "seconds-from-dateTime()", + "description": "Returns an xs:decimal value greater than or equal to zero and less than 60, representing the seconds and fractional seconds in the localized value of $arg.", + "arguments": [ + { + "type": "xs:dateTime?", + "description": "$arg" + } + ], + "output": "xs:decimal?", + "examples": [ + { + "command": "seconds-from-dateTime(xs:dateTime('1999-05-31T13:20:00-05:00'))", + "output": "0" + }, + { + "command": "seconds-from-dateTime(xs:dateTime('1999-12-31T24:00:00'))", + "output": "0" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-seconds-from-dateTime" + }, + { + "name": "timezone-from-dateTime()", + "description": " Returns an xs:decimal value greater than or equal to zero and less than 60, representing the seconds and fractional seconds in the localized value of $arg.", + "arguments": [ + { + "type": "xs:dateTime?", + "description": "$arg" + } + ], + "output": "xs:dayTimeDuration?", + "examples": [ + { + "command": "timezone-from-dateTime(xs:dateTime('1999-05-31T13:20:00-05:00'))", + "output": "PT5H" + }, + { + "command": "timezone-from-dateTime(xs:dateTime('1999-12-31T24:00:00'))", + "output": "PT0S" + }, + { + "command": "timezone-from-dateTime(xs:dateTime('2004-08-27T00:00:00'))", + "output": "()" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-timezone-from-dateTime" + }, + { + "name": "year-from-date()", + "description": "Returns an xs:integer representing the year in the localized value of $arg. The value may be negative.", + "arguments": [ + { + "type": "xs:date?", + "description": "$arg" + } + ], + "output": "xs:integer?", + "examples": [ + { + "command": "year-from-date(xs:date('1999-05-31'))", + "output": "1999" + }, + { + "command": "year-from-date(xs:date('2000-01-01+05:00'))", + "output": "2000" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-year-from-date" + }, + { + "name": "month-from-date()", + "description": "Returns an xs:integer between 1 and 12, both inclusive, representing the month component in the localized value of $arg.", + "arguments": [ + { + "type": "xs:date?", + "description": "$arg" + } + ], + "output": "xs:integer?", + "examples": [ + { + "command": "month-from-date(xs:date('1999-05-31'))", + "output": "05" + }, + { + "command": "month-from-date(xs:date('2000-01-01+05:00'))", + "output": "01" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-month-from-date" + }, + { + "name": "day-from-date()", + "description": "Returns an xs:integer between 1 and 31, both inclusive, representing the day component in the localized value of $arg.", + "arguments": [ + { + "type": "xs:date?", + "description": "$arg" + } + ], + "output": "xs:integer?", + "examples": [ + { + "command": "day-from-date(xs:date('1999-05-31'))", + "output": "31" + }, + { + "command": "day-from-date(xs:date('2000-01-01+05:00'))", + "output": "01" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-day-from-date" + }, + { + "name": "timezone-from-date()", + "description": " Returns the timezone component of $arg if any. If $arg has a timezone component, then the result is an xs:dayTimeDuration that indicates deviation from UTC; its value may range from +14:00 to -14:00 hours, both inclusive. Otherwise, the result is the empty sequence.", + "arguments": [ + { + "type": "xs:date?", + "description": "$arg" + } + ], + "output": "xs:dayTimeDuration?", + "examples": [ + { + "command": "timezone-from-date(xs:date('1999-05-31'))", + "output": "-PT5H" + }, + { + "command": "timezone-from-date(xs:date('2000-01-01+05:00'))", + "output": "PT0S" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-timezone-from-date" + }, + { + "name": "hours-from-time()", + "description": "Returns an xs:integer between 0 and 23, both inclusive, representing the value of the hours component in the localized value of $arg.", + "arguments": [ + { + "type": "xs:time?", + "description": "$arg" + } + ], + "output": "xs:integer?", + "examples": [ + { + "command": "hours-from-time(xs:time('11:23:00'))", + "output": "11" + }, + { + "command": "hours-from-time(xs:time('24:00:00'))", + "output": "0" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-hours-from-time" + }, + { + "name": "minutes-from-time()", + "description": "Returns an xs:integer between 0 and 23, both inclusive, representing the value of the hours component in the localized value of $arg.", + "arguments": [ + { + "type": "xs:time?", + "description": "$arg" + } + ], + "output": "xs:integer?", + "examples": [ + { + "command": "hourminutess-from-time(xs:time('11:23:00'))", + "output": "23" + }, + { + "command": "minutes-from-time(xs:time('24:00:00'))", + "output": "0" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-minutes-from-time" + }, + { + "name": "seconds-from-time()", + "description": "Returns an xs:decimal value greater than or equal to zero and less than 60, representing the seconds and fractional seconds in the localized value of $arg.", + "arguments": [ + { + "type": "xs:time?", + "description": "$arg" + } + ], + "output": "xs:integer?", + "examples": [ + { + "command": "seconds-from-time(xs:time('11:23:30'))", + "output": "30" + }, + { + "command": "seconds-from-time(xs:time('24:00:00'))", + "output": "0" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-seconds-from-time" + }, + { + "name": "timezone-from-time()", + "description": "Returns an xs:decimal value greater than or equal to zero and less than 60, representing the seconds and fractional seconds in the localized value of $arg.", + "arguments": [ + { + "type": "xs:time?", + "description": "$arg" + } + ], + "output": "xs:integer?", + "examples": [ + { + "command": "hours-from-time(xs:time('11:23:00'))", + "output": "11" + }, + { + "command": "hours-from-time(xs:time('24:00:00'))", + "output": "0" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-hours-from-time" + }, + { + "name": "adjust-date-to-timezone()", + "description": "Adjusts an xs:date value to a specific timezone, or to no timezone at all. If $timezone is the empty sequence, returns an xs:date without a timezone. Otherwise, returns an xs:date with a timezone. For purposes of timezone adjustment, an xs:date is treated as an xs:dateTime with time 00:00:00.", + "arguments": [ + { + "type": "xs:date?", + "description": "$arg" + }, + { + "type": "xs:dayTimeDuration?", + "description": "$timezone" + } + ], + "output": "xs:date?", + "examples": [ + { + "command": "adjust-date-to-timezone(xs:date('2002-03-07'))", + "output": "2002-03-07-05:00" + }, + { + "command": "adjust-date-to-timezone(xs:date('2002-03-07'), xs:dayTimeDuration('-PT10H'))", + "output": "2002-03-07-10:00" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-adjust-date-to-timezone" + }, + { + "name": "adjust-time-to-timezone()", + "description": "Adjusts an xs:time value to a specific timezone, or to no timezone at all. If $timezone is the empty sequence, returns an xs:time without a timezone. Otherwise, returns an xs:time with a timezone.", + "arguments": [ + { + "type": "xs:time?", + "description": "$arg" + }, + { + "type": "xs:dayTimeDuration?", + "description": "$timezone" + } + ], + "output": "xs:time?", + "examples": [ + { + "command": "adjust-time-to-timezone(xs:time('10:00:00'))", + "output": "2002-03-07-05:00" + }, + { + "command": "adjust-time-to-timezone(xs:time('10:00:00'), xs:dayTimeDuration('-PT10H'))", + "output": "2002-03-07-10:00" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-adjust-time-to-timezone" + }, + { + "name": "adjust-time-to-timezone()", + "description": "Adjusts an xs:time value to a specific timezone, or to no timezone at all. If $timezone is the empty sequence, returns an xs:time without a timezone. Otherwise, returns an xs:time with a timezone.", + "arguments": [ + { + "type": "xs:time?", + "description": "$arg" + }, + { + "type": "xs:dayTimeDuration?", + "description": "$timezone" + } + ], + "output": "xs:time?", + "examples": [ + { + "command": "adjust-time-to-timezone(xs:time('10:00:00'))", + "output": "10:00:00-05:00" + }, + { + "command": "adjust-time-to-timezone(xs:time('10:00:00'), xs:dayTimeDuration('-PT10H'))", + "output": "10:00:00-10:00" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-adjust-time-to-timezone" + }, + { + "name": "current-dateTime()", + "description": "Returns the current dateTime (with timezone) from the dynamic context.", + "arguments": [], + "output": "xs:dateTime", + "examples": [ + { + "command": "current-dateTime()", + "output": "" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-current-dateTime" + }, + { + "name": "current-date()", + "description": "Returns the current date (with timezone) from the dynamic context.", + "arguments": [], + "output": "xs:date", + "examples": [ + { + "command": "current-date()", + "output": "" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-current-date" + }, + { + "name": "current-time()", + "description": "Returns the current time (with timezone) from the dynamic context.", + "arguments": [], + "output": "xs:time", + "examples": [ + { + "command": "current-time()", + "output": "" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-current-time" + }, + { + "name": "implicit-timezone()", + "description": "Returns the value of the implicit timezone property from the dynamic context.", + "arguments": [], + "output": "xs:string", + "examples": [ + { + "command": "implicit-timezone()", + "output": "PT0S" + } + ], + "documentationReferenceURL": "https://www.w3.org/TR/xquery-operators/#func-implicit-timezone" + } + + ] + }, { "name": "Error", "entries": [