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
Range combo - Paste.ie - an Irish pastebin
program RangeCombo;
{$APPTYPE CONSOLE}
{$R *.res}
uses
System. SysUtils , System. Math , Generics. Defaults , Generics. Collections ;
type
Func<TResult> = reference to function ( ) : TResult;
Func<T, TResult> = reference to function ( const Arg1: T) : TResult;
Func<T1, T2, TResult> = reference to function ( const Arg1: T1; const Arg2: T2) : TResult;
// various algorithms
Alg = record
class function Aggregate<T, TAccumulate>( const Input: TArray<T>; const F: Func<TAccumulate, T, TAccumulate>) : TAccumulate; overload ; static;
class function Aggregate<T, TAccumulate>( const Input: TArray<T>; const InitialValue: TAccumulate; const F: Func<TAccumulate, T, TAccumulate>) : TAccumulate; overload ; static;
class function Sort<T>( const Input: TArray<T>) : TArray<T>; overload ; static;
end ;
{ Alg }
class function Alg. Aggregate <T, TAccumulate>( const Input: TArray<T>;
const F: Func<TAccumulate, T, TAccumulate>) : TAccumulate;
begin
result : = Aggregate<T, TAccumulate>( Input, Default ( TAccumulate) , F) ;
end ;
class function Alg. Aggregate <T, TAccumulate>( const Input: TArray<T>;
const InitialValue: TAccumulate;
const F: Func<TAccumulate, T, TAccumulate>) : TAccumulate;
var
elm: T;
begin
result : = InitialValue;
for elm in Input do
begin
result : = F( result, elm) ;
end ;
end ;
class function Alg. Sort <T>( const Input: TArray<T>) : TArray<T>;
begin
result : = Copy ( Input) ;
TArray. Sort <T>( result, TComparer<T>. Default ) ;
end ;
type
Range = record
First: integer ;
Last: integer ;
class operator Implicit( const Value: integer ) : Range;
end ;
function IsSingularRange( const R: Range) : boolean ;
begin
result : = ( R. First = R. Last ) ;
end ;
{ Range }
class operator Range. Implicit ( const Value: integer ) : Range;
begin
result. First : = Value;
result. Last : = Value;
end ;
function CombineRanges( const Input: TArray<integer>) : TArray<Range>;
var
sortedInput: TArray<integer>;
begin
sortedInput : = Alg. Sort <integer>( Input) ;
result : = Alg. Aggregate <integer , TArray<Range>>( sortedInput,
function ( const Accumulator: TArray<Range>; const Value: integer ) : TArray<Range>
var
r: Range;
begin
if ( Length ( Accumulator) = 0 ) then
begin
result : = [ Value] ;
exit;
end ;
r : = Accumulator[ High ( Accumulator) ] ;
if ( Value > ( r. Last + 1 ) ) then
begin
// need a new range
result : = Accumulator + [ Value] ;
end
else
begin
// extend last range
result : = Accumulator;
result[ High ( result) ] . Last : = System. Math . Max ( r. Last , Value) ;
end
end
) ;
end ;
function ExpandRanges( const Input: TArray<Range>) : TArray<integer>;
begin
result : = Alg. Aggregate <Range, TArray<integer>>( Input,
function ( const Accumulator: TArray<integer>; const Value: Range) : TArray<integer>
var
i: integer ;
begin
result : = Accumulator;
for i : = Value. First to Value. Last do
begin
result : = result + [ i] ;
end ;
end
) ;
end ;
var
input: TArray<integer>;
ranges: TArray<Range>;
r: Range;
values: TArray<integer>;
i: integer ;
begin
input : = [ 1 , 2 , 3 , 4 , 6 , 7 , 8 , 13 , 14 ] ;
try
ranges : = CombineRanges( input) ;
for r in ranges do
begin
if ( IsSingularRange( r) ) then
WriteLn ( r. First )
else
WriteLn ( r. First , '-' , r. Last ) ;
end ;
WriteLn;
WriteLn;
values : = ExpandRanges( ranges) ;
for i in values do
begin
WriteLn ( i) ;
end ;
except
on E: Exception do
Writeln ( E. ClassName , ': ' , E. Message ) ;
end ;
WriteLn ( 'done' ) ;
ReadLn;
end .