Annotation of embedaddon/php/ext/date/tests/DateTime_data-fall-type3-type3.inc, revision 1.1.1.1

1.1       misho       1: <?php
                      2: 
                      3: /*
                      4:  * Note: test names match method names in a set of PHPUnit tests
                      5:  * in a userland package.  Please be so kind as to leave them.
                      6:  */
                      7: 
                      8: date_default_timezone_set('America/New_York');
                      9: 
                     10: 
                     11: /*
                     12:  * Time, Fall, Zone Type 3 to Zone Type 3
                     13:  *
                     14:  * + prev: the day before the transition day  2010-11-06 18:38:28
                     15:  * + dt: daylight time on transition day      2010-11-07 00:10:20
                     16:  * + redodt: daylight time in the redo period 2010-11-07 01:12:33 EDT, + TZ
                     17:  * + redost: standard time in the redo period 2010-11-07 01:14:44 EST, + TZ
                     18:  * + st: standard time on the transition day  2010-11-07 03:16:55
                     19:  * + post: the day after the transition day   2010-11-08 19:59:59
                     20:  * + dtsec: daylight time 1 sec before change 2010-11-07 01:59:59 EDT, + TZ
                     21:  * + stsec: standard time first second        2010-11-07 01:00:00 EST, + TZ
                     22:  */
                     23: echo "test_time_fall_type3_prev_type3_prev: ";
                     24: $end   = new DateTime('2010-11-06 18:38:28');  // prev, zt3
                     25: $start = new DateTime('2010-10-04 02:18:48');  // sp prev, zt3
                     26: examine_diff($end, $start, 'P+0Y1M2DT16H19M40S', 33);
                     27: 
                     28: echo "test_time_fall_type3_prev_type3_dt: ";
                     29: $end   = new DateTime('2010-11-07 00:10:20');  // dt, zt3
                     30: $start = new DateTime('2010-11-06 18:38:28');  // prev, zt3
                     31: examine_diff($end, $start, 'P+0Y0M0DT5H31M52S', 0);
                     32: 
                     33: echo "test_time_fall_type3_prev_type3_redodt: ";
                     34: $end   = new DateTime('2010-11-07 01:12:33 EDT');  // redodt, zt2
                     35: $end->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                     36: $start = new DateTime('2010-11-06 18:38:28');  // prev, zt3
                     37: examine_diff($end, $start, 'P+0Y0M0DT6H34M5S', 0);
                     38: 
                     39: echo "test_time_fall_type3_prev_type3_redost: ";
                     40: $end   = new DateTime('2010-11-07 01:14:44 EST');  // redost, zt2
                     41: $end->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                     42: $start = new DateTime('2010-11-06 18:38:28');  // prev, zt3
                     43: examine_diff($end, $start, 'P+0Y0M0DT7H36M16S', 0);
                     44: 
                     45: echo "test_time_fall_type3_prev_type3_st: ";
                     46: $end   = new DateTime('2010-11-07 03:16:55');  // st, zt3
                     47: $start = new DateTime('2010-11-06 18:38:28');  // prev, zt3
                     48: examine_diff($end, $start, 'P+0Y0M0DT9H38M27S', 0);
                     49: 
                     50: echo "test_time_fall_type3_prev_type3_post: ";
                     51: $end   = new DateTime('2010-11-08 19:59:59');  // post, zt3
                     52: $start = new DateTime('2010-11-06 18:38:28');  // prev, zt3
                     53: examine_diff($end, $start, 'P+0Y0M2DT1H21M31S', 2);
                     54: 
                     55: echo "test_time_fall_type3_dt_type3_prev: ";
                     56: $end   = new DateTime('2010-11-06 18:38:28');  // prev, zt3
                     57: $start = new DateTime('2010-11-07 00:10:20');  // dt, zt3
                     58: examine_diff($end, $start, 'P-0Y0M0DT5H31M52S', 0);
                     59: 
                     60: echo "test_time_fall_type3_dt_type3_dt: ";
                     61: $end   = new DateTime('2010-11-07 00:15:35');  // sp dt, zt3
                     62: $start = new DateTime('2010-11-07 00:10:20');  // dt, zt3
                     63: examine_diff($end, $start, 'P+0Y0M0DT0H5M15S', 0);
                     64: 
                     65: echo "test_time_fall_type3_dt_type3_redodt: ";
                     66: $end   = new DateTime('2010-11-07 01:12:33 EDT');  // redodt, zt2
                     67: $end->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                     68: $start = new DateTime('2010-11-07 00:10:20');  // dt, zt3
                     69: examine_diff($end, $start, 'P+0Y0M0DT1H2M13S', 0);
                     70: 
                     71: echo "test_time_fall_type3_dt_type3_redost: ";
                     72: $end   = new DateTime('2010-11-07 01:14:44 EST');  // redost, zt2
                     73: $end->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                     74: $start = new DateTime('2010-11-07 00:10:20');  // dt, zt3
                     75: examine_diff($end, $start, 'P+0Y0M0DT2H4M24S', 0);
                     76: 
                     77: echo "test_time_fall_type3_dt_type3_st: ";
                     78: $end   = new DateTime('2010-11-07 03:16:55');  // st, zt3
                     79: $start = new DateTime('2010-11-07 00:10:20');  // dt, zt3
                     80: examine_diff($end, $start, 'P+0Y0M0DT4H6M35S', 0);
                     81: 
                     82: echo "test_time_fall_type3_dt_type3_post: ";
                     83: $end   = new DateTime('2010-11-08 19:59:59');  // post, zt3
                     84: $start = new DateTime('2010-11-07 00:10:20');  // dt, zt3
                     85: examine_diff($end, $start, 'P+0Y0M1DT20H49M39S', 1);
                     86: 
                     87: echo "test_time_fall_type3_redodt_type3_prev: ";
                     88: $end   = new DateTime('2010-11-06 18:38:28');  // prev, zt3
                     89: $start = new DateTime('2010-11-07 01:12:33 EDT');  // redodt, zt2
                     90: $start->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                     91: examine_diff($end, $start, 'P-0Y0M0DT6H34M5S', 0);
                     92: 
                     93: echo "test_time_fall_type3_redodt_type3_dt: ";
                     94: $end   = new DateTime('2010-11-07 00:10:20');  // dt, zt3
                     95: $start = new DateTime('2010-11-07 01:12:33 EDT');  // redodt, zt2
                     96: $start->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                     97: examine_diff($end, $start, 'P-0Y0M0DT1H2M13S', 0);
                     98: 
                     99: echo "test_time_fall_type3_redodt_type3_redodt: ";
                    100: $end   = new DateTime('2010-11-07 01:15:35 EDT');  // sp redodt, zt2
                    101: $end->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    102: $start = new DateTime('2010-11-07 01:12:33 EDT');  // redodt, zt2
                    103: $start->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    104: examine_diff($end, $start, 'P+0Y0M0DT0H3M2S', 0);
                    105: 
                    106: echo "test_time_fall_type3_redodt_type3_redost: ";
                    107: $end   = new DateTime('2010-11-07 01:14:44 EST');  // redost, zt2
                    108: $end->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    109: $start = new DateTime('2010-11-07 01:12:33 EDT');  // redodt, zt2
                    110: $start->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    111: examine_diff($end, $start, 'P+0Y0M0DT1H2M11S', 0);
                    112: 
                    113: echo "test_time_fall_type3_redodt_type3_st: ";
                    114: $end   = new DateTime('2010-11-07 03:16:55');  // st, zt3
                    115: $start = new DateTime('2010-11-07 01:12:33 EDT');  // redodt, zt2
                    116: $start->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    117: examine_diff($end, $start, 'P+0Y0M0DT3H4M22S', 0);
                    118: 
                    119: echo "test_time_fall_type3_redodt_type3_post: ";
                    120: $end   = new DateTime('2010-11-08 19:59:59');  // post, zt3
                    121: $start = new DateTime('2010-11-07 01:12:33 EDT');  // redodt, zt2
                    122: $start->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    123: examine_diff($end, $start, 'P+0Y0M1DT19H47M26S', 1);
                    124: 
                    125: echo "test_time_fall_type3_redost_type3_prev: ";
                    126: $end   = new DateTime('2010-11-06 18:38:28');  // prev, zt3
                    127: $start = new DateTime('2010-11-07 01:14:44 EST');  // redost, zt2
                    128: $start->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    129: examine_diff($end, $start, 'P-0Y0M0DT7H36M16S', 0);
                    130: 
                    131: echo "test_time_fall_type3_redost_type3_dt: ";
                    132: $end   = new DateTime('2010-11-07 00:10:20');  // dt, zt3
                    133: $start = new DateTime('2010-11-07 01:14:44 EST');  // redost, zt2
                    134: $start->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    135: examine_diff($end, $start, 'P-0Y0M0DT2H4M24S', 0);
                    136: 
                    137: echo "test_time_fall_type3_redost_type3_redodt: ";
                    138: $end   = new DateTime('2010-11-07 01:12:33 EDT');  // redodt, zt2
                    139: $end->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    140: $start = new DateTime('2010-11-07 01:14:44 EST');  // redost, zt2
                    141: $start->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    142: examine_diff($end, $start, 'P-0Y0M0DT1H2M11S', 0);
                    143: 
                    144: echo "test_time_fall_type3_redost_type3_redost: ";
                    145: $end   = new DateTime('2010-11-07 01:16:54 EST');  // sp redodt, zt2
                    146: $end->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    147: $start = new DateTime('2010-11-07 01:14:44 EST');  // redost, zt2
                    148: $start->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    149: examine_diff($end, $start, 'P+0Y0M0DT0H2M10S', 0);
                    150: 
                    151: echo "test_time_fall_type3_redost_type3_st: ";
                    152: $end   = new DateTime('2010-11-07 03:16:55');  // st, zt3
                    153: $start = new DateTime('2010-11-07 01:14:44 EST');  // redost, zt2
                    154: $start->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    155: examine_diff($end, $start, 'P+0Y0M0DT2H2M11S', 0);
                    156: 
                    157: echo "test_time_fall_type3_redost_type3_post: ";
                    158: $end   = new DateTime('2010-11-08 19:59:59');  // post, zt3
                    159: $start = new DateTime('2010-11-07 01:14:44 EST');  // redost, zt2
                    160: $start->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    161: examine_diff($end, $start, 'P+0Y0M1DT18H45M15S', 1);
                    162: 
                    163: echo "test_time_fall_type3_st_type3_prev: ";
                    164: $end   = new DateTime('2010-11-06 18:38:28');  // prev, zt3
                    165: $start = new DateTime('2010-11-07 03:16:55');  // st, zt3
                    166: examine_diff($end, $start, 'P-0Y0M0DT9H38M27S', 0);
                    167: 
                    168: echo "test_time_fall_type3_st_type3_dt: ";
                    169: $end   = new DateTime('2010-11-07 00:10:20');  // dt, zt3
                    170: $start = new DateTime('2010-11-07 03:16:55');  // st, zt3
                    171: examine_diff($end, $start, 'P-0Y0M0DT4H6M35S', 0);
                    172: 
                    173: echo "test_time_fall_type3_st_type3_redodt: ";
                    174: $end   = new DateTime('2010-11-07 01:12:33 EDT');  // redodt, zt2
                    175: $end->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    176: $start = new DateTime('2010-11-07 03:16:55');  // st, zt3
                    177: examine_diff($end, $start, 'P-0Y0M0DT3H4M22S', 0);
                    178: 
                    179: echo "test_time_fall_type3_st_type3_redost: ";
                    180: $end   = new DateTime('2010-11-07 01:14:44 EST');  // redost, zt2
                    181: $end->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    182: $start = new DateTime('2010-11-07 03:16:55');  // st, zt3
                    183: examine_diff($end, $start, 'P-0Y0M0DT2H2M11S', 0);
                    184: 
                    185: echo "test_time_fall_type3_st_type3_st: ";
                    186: $end   = new DateTime('2010-11-07 05:19:56');  // sp st, zt3
                    187: $start = new DateTime('2010-11-07 03:16:55');  // st, zt3
                    188: examine_diff($end, $start, 'P+0Y0M0DT2H3M1S', 0);
                    189: 
                    190: echo "test_time_fall_type3_st_type3_post: ";
                    191: $end   = new DateTime('2010-11-08 19:59:59');  // post, zt3
                    192: $start = new DateTime('2010-11-07 03:16:55');  // st, zt3
                    193: examine_diff($end, $start, 'P+0Y0M1DT16H43M4S', 1);
                    194: 
                    195: echo "test_time_fall_type3_post_type3_prev: ";
                    196: $end   = new DateTime('2010-11-06 18:38:28');  // prev, zt3
                    197: $start = new DateTime('2010-11-08 19:59:59');  // post, zt3
                    198: examine_diff($end, $start, 'P-0Y0M2DT1H21M31S', 2);
                    199: 
                    200: echo "test_time_fall_type3_post_type3_dt: ";
                    201: $end   = new DateTime('2010-11-07 00:10:20');  // dt, zt3
                    202: $start = new DateTime('2010-11-08 19:59:59');  // post, zt3
                    203: examine_diff($end, $start, 'P-0Y0M1DT20H49M39S', 1);
                    204: 
                    205: echo "test_time_fall_type3_post_type3_redodt: ";
                    206: $end   = new DateTime('2010-11-07 01:12:33 EDT');  // redodt, zt2
                    207: $end->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    208: $start = new DateTime('2010-11-08 19:59:59');  // post, zt3
                    209: examine_diff($end, $start, 'P-0Y0M1DT19H47M26S', 1);
                    210: 
                    211: echo "test_time_fall_type3_post_type3_redost: ";
                    212: $end   = new DateTime('2010-11-07 01:14:44 EST');  // redost, zt2
                    213: $end->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    214: $start = new DateTime('2010-11-08 19:59:59');  // post, zt3
                    215: examine_diff($end, $start, 'P-0Y0M1DT18H45M15S', 1);
                    216: 
                    217: echo "test_time_fall_type3_post_type3_st: ";
                    218: $end   = new DateTime('2010-11-07 03:16:55');  // st, zt3
                    219: $start = new DateTime('2010-11-08 19:59:59');  // post, zt3
                    220: examine_diff($end, $start, 'P-0Y0M1DT16H43M4S', 1);
                    221: 
                    222: echo "test_time_fall_type3_post_type3_post: ";
                    223: $end   = new DateTime('2010-11-08 19:59:59');  // post, zt3
                    224: $start = new DateTime('2010-11-08 18:57:55');  // sp post, zt3
                    225: examine_diff($end, $start, 'P+0Y0M0DT1H2M4S', 0);
                    226: 
                    227: echo "test_time_fall_type3_dtsec_type3_stsec: ";
                    228: $end   = new DateTime('2010-11-07 01:00:00 EST');  // stsec, zt2
                    229: $end->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    230: $start = new DateTime('2010-11-07 01:59:59 EDT');  // dtsec, zt2
                    231: $start->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    232: examine_diff($end, $start, 'P+0Y0M0DT0H0M1S', 0);
                    233: 
                    234: echo "test_time_fall_type3_stsec_type3_dtsec: ";
                    235: $end   = new DateTime('2010-11-07 01:59:59 EDT');  // dtsec, zt2
                    236: $end->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    237: $start = new DateTime('2010-11-07 01:00:00 EST');  // stsec, zt2
                    238: $start->setTimezone(new DateTimeZone('America/New_York'));  // zt2 -> zt3
                    239: examine_diff($end, $start, 'P-0Y0M0DT0H0M1S', 0);

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>