Regiões, forward e initialization

program Regions;
// Demo: organização de módulos. Veja Parity.fxm: `public region`, `private`, `forward`,
// `initialization` e `finalization`. O programa só enxerga o que o módulo declarou público.

uses System.Remainder, Parity;

var
  LReport: TParityReport;
begin
  WriteLn('[Regions] início do programa');
  LReport := Describe(7);
  WriteLn(LReport.Value, ' é ', LReport.Parity);
  WriteLn('10 é par? ', IsEven(10));
  WriteLn('chamadas feitas dentro do módulo: ', CallCount);
  // GCalls e IsOdd são private em Parity: citá-los aqui seria erro de compilação
  WriteLn('[Regions] fim do programa');
end.

module Parity;

// Demo de organização de um módulo: `public region`, `private`, `forward`, initialization/finalization.

uses System.Remainder;

var
  GCalls: Int32;     // sem marca: a omissão num módulo é private (invisível fora daqui)

// `forward` declara só o cabeçalho; o corpo vem depois. Permite recursão mútua (IsEven <-> IsOdd).
private function IsOdd(N: Int32): Bool8; forward;

// `public region 'rótulo'; ... end region;` agrupa declarações e torna PÚBLICO tudo que está dentro
// (o rótulo é para a IDE). Fora de região, é preciso escrever `public` em cada item.
public region 'Parity.Public';

type
  TParityReport = record
    Value: Int32;
    Parity: UString;
  end record;

function IsEven(N: Int32): Bool8;
begin
  Inc(GCalls);
  if N = 0 then
    Exit(True);
  Exit(IsOdd(N - 1));
end function;

function Describe(N: Int32): TParityReport;
begin
  Result.Value := N;
  if IsEven(N) then
    Result.Parity := 'par'
  else
    Result.Parity := 'ímpar';
end function;

function CallCount: Int32;
begin
  Exit(GCalls);
end function;

end region;

// fora da região: continua private, mas fecha a recursão mútua iniciada pelo forward
function IsOdd(N: Int32): Bool8;
begin
  Inc(GCalls);
  if N = 0 then
    Exit(False);
  Exit(IsEven(N - 1));
end function;

// roda uma vez, quando o programa inicia (antes do begin principal)
initialization
  GCalls := 0;
  WriteLn('[Parity] inicializado');

// roda ao encerrar, em ordem inversa à da inicialização
finalization
  WriteLn('[Parity] finalizado após ', GCalls, ' chamadas');

end.