1
0
mirror of https://github.com/postgres/postgres.git synced 2025-07-30 11:03:19 +03:00

Add make_date() and make_time() functions.

Pavel Stehule, reviewed by Jeevan Chalke and Atri Sharma
This commit is contained in:
Tom Lane
2013-11-17 15:06:50 -05:00
parent 69c8fbac20
commit f901bb50e3
9 changed files with 162 additions and 4 deletions

View File

@ -6690,6 +6690,48 @@ SELECT SUBSTRING('XY1234Z', 'Y*?([0-9]{1,3})');
<entry></entry>
</row>
<row>
<entry>
<indexterm>
<primary>make_date</primary>
</indexterm>
<literal>
<function>
make_date(<parameter>year</parameter> <type>int</type>,
<parameter>month</parameter> <type>int</type>,
<parameter>day</parameter> <type>int</type>)
</function>
</literal>
</entry>
<entry><type>date</type></entry>
<entry>
Create date from year, month and day fields
</entry>
<entry><literal>make_date(2013, 7, 15)</literal></entry>
<entry><literal>2013-07-15</literal></entry>
</row>
<row>
<entry>
<indexterm>
<primary>make_time</primary>
</indexterm>
<literal>
<function>
make_time(<parameter>hour</parameter> <type>int</type>,
<parameter>min</parameter> <type>int</type>,
<parameter>sec</parameter> <type>double precision</type>)
</function>
</literal>
</entry>
<entry><type>time</type></entry>
<entry>
Create time from hour, minute and seconds fields
</entry>
<entry><literal>make_time(8, 15, 23.5)</literal></entry>
<entry><literal>08:15:23.5</literal></entry>
</row>
<row>
<entry>
<indexterm>