A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property CI_URI::$config is deprecated
Filename: core/URI.php
Line Number: 101
Backtrace:
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property CI_Router::$uri is deprecated
Filename: core/Router.php
Line Number: 127
Backtrace:
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$benchmark is deprecated
Filename: core/Controller.php
Line Number: 75
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$hooks is deprecated
Filename: core/Controller.php
Line Number: 75
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$config is deprecated
Filename: core/Controller.php
Line Number: 75
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$log is deprecated
Filename: core/Controller.php
Line Number: 75
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$utf8 is deprecated
Filename: core/Controller.php
Line Number: 75
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$uri is deprecated
Filename: core/Controller.php
Line Number: 75
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$exceptions is deprecated
Filename: core/Controller.php
Line Number: 75
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$router is deprecated
Filename: core/Controller.php
Line Number: 75
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$output is deprecated
Filename: core/Controller.php
Line Number: 75
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$security is deprecated
Filename: core/Controller.php
Line Number: 75
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$input is deprecated
Filename: core/Controller.php
Line Number: 75
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$lang is deprecated
Filename: core/Controller.php
Line Number: 75
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$load is deprecated
Filename: core/Controller.php
Line Number: 78
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$db is deprecated
Filename: core/Loader.php
Line Number: 396
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property CI_DB_mysqli_driver::$autoinit is deprecated
Filename: database/DB_driver.php
Line Number: 371
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Optional parameter $prod_file declared before required parameter $minify is implicitly treated as a required parameter
Filename: libraries/Carabiner.php
Line Number: 464
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$carabiner is deprecated
Filename: core/Loader.php
Line Number: 1283
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Languages::$geshi_languages is deprecated
Filename: models/Languages.php
Line Number: 12
Backtrace:
File: /home/paste/public_html/application/models/Languages.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Languages::$favorite_languages is deprecated
Filename: models/Languages.php
Line Number: 13
Backtrace:
File: /home/paste/public_html/application/models/Languages.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$languages is deprecated
Filename: core/Loader.php
Line Number: 358
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$curl is deprecated
Filename: core/Loader.php
Line Number: 1283
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$recaptcha_publickey is deprecated
Filename: controllers/Main.php
Line Number: 20
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$recaptcha_privatekey is deprecated
Filename: controllers/Main.php
Line Number: 21
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$use_recaptcha is deprecated
Filename: controllers/Main.php
Line Number: 22
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Return type of CI_Session_database_driver::open($save_path, $name) should either be compatible with SessionHandlerInterface::open(string $path, string $name): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice
Filename: drivers/Session_database_driver.php
Line Number: 129
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Return type of CI_Session_database_driver::close() should either be compatible with SessionHandlerInterface::close(): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice
Filename: drivers/Session_database_driver.php
Line Number: 280
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Return type of CI_Session_database_driver::read($session_id) should either be compatible with SessionHandlerInterface::read(string $id): string|false, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice
Filename: drivers/Session_database_driver.php
Line Number: 151
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Return type of CI_Session_database_driver::write($session_id, $session_data) should either be compatible with SessionHandlerInterface::write(string $id, string $data): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice
Filename: drivers/Session_database_driver.php
Line Number: 208
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Return type of CI_Session_database_driver::destroy($session_id) should either be compatible with SessionHandlerInterface::destroy(string $id): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice
Filename: drivers/Session_database_driver.php
Line Number: 297
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Return type of CI_Session_database_driver::gc($maxlifetime) should either be compatible with SessionHandlerInterface::gc(int $max_lifetime): int|false, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice
Filename: drivers/Session_database_driver.php
Line Number: 335
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: Warning
Message: ini_set(): Session ini settings cannot be changed after headers have already been sent
Filename: Session/Session.php
Line Number: 282
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: Warning
Message: session_set_cookie_params(): Session cookie parameters cannot be changed after headers have already been sent
Filename: Session/Session.php
Line Number: 289
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: Warning
Message: ini_set(): Session ini settings cannot be changed after headers have already been sent
Filename: Session/Session.php
Line Number: 304
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: Warning
Message: ini_set(): Session ini settings cannot be changed after headers have already been sent
Filename: Session/Session.php
Line Number: 314
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: Warning
Message: ini_set(): Session ini settings cannot be changed after headers have already been sent
Filename: Session/Session.php
Line Number: 315
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: Warning
Message: ini_set(): Session ini settings cannot be changed after headers have already been sent
Filename: Session/Session.php
Line Number: 316
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: Warning
Message: ini_set(): Session ini settings cannot be changed after headers have already been sent
Filename: Session/Session.php
Line Number: 317
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: Warning
Message: ini_set(): Session ini settings cannot be changed after headers have already been sent
Filename: Session/Session.php
Line Number: 375
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: Warning
Message: session_set_save_handler(): Session save handler cannot be changed after headers have already been sent
Filename: Session/Session.php
Line Number: 110
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: Warning
Message: session_start(): Session cannot be started after headers have already been sent
Filename: Session/Session.php
Line Number: 143
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$session is deprecated
Filename: core/Loader.php
Line Number: 1283
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: stristr(): Passing null to parameter #1 ($haystack) of type string is deprecated
Filename: controllers/Main.php
Line Number: 229
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: stristr(): Passing null to parameter #1 ($haystack) of type string is deprecated
Filename: controllers/Main.php
Line Number: 251
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: stristr(): Passing null to parameter #1 ($haystack) of type string is deprecated
Filename: controllers/Main.php
Line Number: 269
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$pastes is deprecated
Filename: core/Loader.php
Line Number: 358
Backtrace:
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property Main::$process is deprecated
Filename: core/Loader.php
Line Number: 1283
Backtrace:
File: /home/paste/public_html/application/models/Pastes.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: filter_var(): Passing null to parameter #3 ($options) of type array|int is deprecated
Filename: core/Input.php
Line Number: 572
Backtrace:
File: /home/paste/public_html/application/models/Pastes.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$benchmark is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$hooks is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$config is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$log is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$utf8 is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$uri is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$exceptions is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$router is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$output is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$security is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$input is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$lang is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$load is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$db is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$carabiner is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$languages is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$curl is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$recaptcha_publickey is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$recaptcha_privatekey is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$use_recaptcha is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$session is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$pastes is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
A PHP Error was encountered
Severity: 8192
Message: Creation of dynamic property MY_Loader::$process is deprecated
Filename: core/MY_Loader.php
Line Number: 108
Backtrace:
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/core/MY_Loader.php
File: /home/paste/public_html/application/controllers/Main.php
File: /home/paste/public_html/index.php
Tuple duple - Paste.ie - an Irish pastebin
program TupleTest;
{$APPTYPE CONSOLE}
uses
System. SysUtils ;
type
IgnoreElm = record end ;
Tuple<T1, T2> = record
{$REGION 'Implementation details'}
private
type
P1 = ^ T1;
P2 = ^ T2;
Tier = record
Ref1: P1;
Ref2: P2;
class operator LessThanOrEqual( const Dest: Tier; const Src: Tuple<T1, T2>) : boolean ; overload ;
end ;
private
class operator Implicit( const Value: Tuple<T1, T2>) : Tuple<T1, IgnoreElm>;
class operator Implicit( const Value: Tuple<T1, T2>) : Tuple<IgnoreElm, T2>;
{$ENDREGION}
public
Elm1: T1;
Elm2: T2;
end ;
Tuple = record
public
class function From<T1, T2>( const Value1: T1; Value2: T2) : Tuple<T1, T2>; static;
class function Tie<T1, T2>( var Elm1: T1; var Elm2: T2) : Tuple<T1, T2>. Tier ; overload ; static;
class function Tie<T1>( var Elm1: T1; const Ignored2: IgnoreElm) : Tuple<T1, IgnoreElm>. Tier ; overload ; static;
class function Tie<T2>( const Ignored1: IgnoreElm; var Elm2: T2) : Tuple<IgnoreElm, T2>. Tier ; overload ; static;
end ;
const
Ignore: IgnoreElm = ( ) ;
procedure Test;
var
tup: Tuple<integer , string>;
i: integer ;
s: string ;
begin
i : = 123 ;
s : = 'bar' ;
tup : = Tuple. From <integer , string>( 42 , 'foo' ) ;
Tuple. Tie ( Ignore, s) <= tup;
WriteLn ( i, ', ' , s) ; // 123, foo
end ;
{ Tuple }
class function Tuple. From <T1, T2>( const Value1: T1; Value2: T2) : Tuple<T1, T2>;
begin
result. Elm1 : = Value1;
result. Elm2 : = Value2;
end ;
class function Tuple. Tie <T1, T2>( var Elm1: T1; var Elm2: T2) : Tuple<T1, T2>. Tier ;
begin
result. Ref1 : = @ Elm1;
result. Ref2 : = @ Elm2;
end ;
class function Tuple. Tie <T1>( var Elm1: T1;
const Ignored2: IgnoreElm) : Tuple<T1, IgnoreElm>. Tier ;
begin
result. Ref1 : = @ Elm1;
result. Ref2 : = nil ;
end ;
class function Tuple. Tie <T2>( const Ignored1: IgnoreElm;
var Elm2: T2) : Tuple<IgnoreElm, T2>. Tier ;
begin
result. Ref1 : = nil ;
result. Ref2 : = @ Elm2;
end ;
{ Tuple<T1, T2>.Tier }
class operator Tuple<T1, T2>. Tier . LessThanOrEqual ( const Dest: Tier;
const Src: Tuple<T1, T2>) : boolean ;
begin
if ( TypeInfo ( T1) <> TypeInfo ( IgnoreElm) ) then
Dest. Ref1 ^ : = Src. Elm1 ;
if ( TypeInfo ( T2) <> TypeInfo ( IgnoreElm) ) then
Dest. Ref2 ^ : = Src. Elm2 ;
result : = True ;
end ;
{ Tuple<T1, T2> }
class operator Tuple<T1, T2>. Implicit (
const Value: Tuple<T1, T2>) : Tuple<T1, IgnoreElm>;
begin
result. Elm1 : = Value. Elm1 ;
end ;
class operator Tuple<T1, T2>. Implicit (
const Value: Tuple<T1, T2>) : Tuple<IgnoreElm, T2>;
begin
result. Elm2 : = Value. Elm2 ;
end ;
begin
Test;
ReadLn;
end .