[Risolto] if...else nidificate e articolate

[petrusic]

Non immaginavo che free Pascal mi dovesse metter KO in un argomento dove mi sono dimostrato sempre un esperto.
Fra i controlli di fine input di dati mi trovo necessitato ad affrontare una serie di if...else  a cascata come nella tipologia seguente

Codice: [Seleziona]

function NonFunziona()
var
  ritorno: integer;
begin
if Condition1 then
   if Condition2 then
     Statement2
   else
     Statement3
else (riferito a Condition1)
  statement4 
  if Condition4 then
   if Condition5 then
     Statement5
   else
     if Condition6
       Statement6
     else
     if Condition7
       Statement7;
Result:= ritorno

Ho riportato l'esempio di massima, ripulito di tutti i simboli ";" di fine ciclo e di tutti i raggruppamenti di tipo "begin...end", ma rispettando scrupolasamente l'indentazione che dovrebbe lasciare individuare i gruppi e sottogruppi delle nidificazioni di if.
Da 3 giorni sono fermo sulla function contenente le if esemplificate nel codice accennato sopra.
Per ben due volte sono riuscito a fare funzionare la compilazione, però in entrambe le volte ho provato invano: quel codice non funziona come dovrebbe, infatti dopo avere eseguito lo statement2 (Condition1=True), piuttosto che terminare con l'ultima istruzione, passa allo statement4(che dovrebbe essere eseguito solo se  Condition1=Fale).

Ho provato anche a togliere tutti i raggruppamenti di tipo "begin...end", ma, così facendo la compilazione produce sempre errore.
C'è qualcosa che non mi è ancora chiaro nel meccanismo di simili contesti di codificazione, però non ho capito dove e perchè sbaglio.

Spero di avere dato l'idea delle mie difficoltà. Dove potrei reperire un esempio dettagliato che illustri opportunamente come fare funzionare anche la sequenza logica di if complesse, simili a quelle riportate sopra?

[nomorelogic]

dunque,
ripulire del codice è un conto, togliere pure le keyword (mandano alcuni then)...   
ci ho dovuto lavorare un po' per poter compilare ma alla fine ho trovato il modo.

qualche consiglio:

• quando sai che hai a che fare con if nidificate, ti consiglio di mettere sempre i begin/end
• usa il formattatore di codice pascal Menù -> Source -> JEDI COde Formatter (ha una identazione molto chiara)
• dai un'occhiata qua https://wiki.freepascal.org/IF

Codice: [Seleziona]

function TForm1.NonFunziona: integer;

  procedure Statement2;
  begin
  end;

  procedure Statement3;
  begin
  end;

  procedure Statement4;
  begin
  end;

  procedure Statement5;
  begin
  end;

  procedure Statement6;
  begin
  end;

  procedure Statement7;
  begin
  end;

var
  ritorno: integer;
  Condition1, Condition2, Condition4, Condition5, Condition6, Condition7: boolean;
begin
  if Condition1 then
    if Condition2 then
      Statement2
    else
      Statement3
  else // (riferito a Condition1)
    statement4;
  if Condition4 then
    if Condition5 then
      Statement5
    else
    if Condition6 then
      Statement6
    else
    if Condition7 then
      Statement7;
  Result := ritorno;
end;  

[bonmario]

• quando sai che hai a che fare con if nidificate, ti consiglio di mettere sempre i begin/end

Confermo.
Io addirittura, lo faccio sempre, anche se nella "if" ci devo mettere una sola istruzione, così se in seguito, dovessi aggiungere altre istruzioni, non riachio di sbagliare non accorgendomene.
Da qualche anno, mi sono dato questo standard:

Codice: [Seleziona]

if (condizione) then begin
  istruzioni
end else begin
  istruzioni
end;

Naturalmente la parte relativa alla "else", la metto solo quando serve !!!

Ciao, Mario

[petrusic]

dunque,
ripulire del codice è un conto, togliere pure le keyword (mandano alcuni then)...   
ci ho dovuto lavorare un po' per poter compilare ma alla fine ho trovato il modo.

Mi dispiace di aver dato oneri. Non era nel mio animo, infatti non ho riportato il mio codice, ma soltanto un esempio, ricavato proprio dalla pagina che mi hai segnalato nella tua risposta:  https://wiki.freepascal.org/IF

qualche consiglio:

• usa il formattatore di codice pascal Menù -> Source -> JEDI COde Formatter (ha una identazione molto chiara)

Non lo conoscevo. L'ho richiamato, ma non è cambiato niente nel mio codice, quindi non riesco a coglierne i benefici.

[xinyiman]

Consiglio al posto di usare le if nidificate, usa il costrutto

case (variabile) of

end;


Esempio
var
     abc : integer;

case abc of
   1: writeln('1');
   2: writeln('2');
else
    writeln('qualsiasi altro numero');
end;

[petrusic]

Grazie xinyiman, ma non sempre ciò è possibile:

Codice: [Seleziona]

function TestDigit(): integer;
var
  p: integer = 0;
  ritorno: integer = 0;

  MsgAvviso: string;
begin      
  p := Pos('**CASSA', Form1.ERigaTrasf1.Text);
  if (p > 0) then
    if (MsgAvviso = 'racodVoci') then
    begin
      if (tbTrasf[2] = '') then
      begin
        ritorno := 1;
      end;
      else
        if ('racodvoci_contropartita' <> tbTrasf[2]) then
      begin
        ritorno := 99;  
      end;                  
  end
  else
   p:= Pos('**PARTMOVV', Form1.ERigaTrasf1.Text);
    if (p > 0) then
    begin
      if (tbTrasf[2] = '') then
      begin 
      ...etc.
      end;
end;

Comunque, anche se mi sembra assai rudimentale, anche leggerlo, la soluzione che vedo in questo momento  potrebbe essere quella di sostituire ogni gruppo di

Codice: [Seleziona]

end
else

con codice simile al seguente

Codice: [Seleziona]

end;
if (p = 0) then    //  if ripetuta con condizione invertita rispetto a quella iniziale

[nomorelogic]

qualche consiglio:

• usa il formattatore di codice pascal Menù -> Source -> JEDI COde Formatter (ha una identazione molto chiara)

Non lo conoscevo. L'ho richiamato, ma non è cambiato niente nel mio codice, quindi non riesco a coglierne i benefici.

se scrivi una cosa tipo (su una unica riga):

Codice: [Seleziona]

if (a = b) then begin a:=1; b:=4; end;

e poi lanci il formattatore, dovresti avere qualcosa del genere:

Codice: [Seleziona]

   if (a = b) then 
   begin 
      a:=1; 
      b:=4; 
   end;

[bonmario]

Grazie xinyiman, ma non sempre ciò è possibile:

Codice: [Seleziona]

function TestDigit(): integer;
var
  p: integer = 0;
  ritorno: integer = 0;

  MsgAvviso: string;
begin      
  p := Pos('**CASSA', Form1.ERigaTrasf1.Text);
  if (p > 0) then
    if (MsgAvviso = 'racodVoci') then
    begin
      if (tbTrasf[2] = '') then
      begin
        ritorno := 1;
      end;
      else
        if ('racodvoci_contropartita' <> tbTrasf[2]) then
      begin
        ritorno := 99;  
      end;                  
  end
  else
   p:= Pos('**PARTMOVV', Form1.ERigaTrasf1.Text);
    if (p > 0) then
    begin
      if (tbTrasf[2] = '') then
      begin 
      ...etc.
      end;
end;

Questo codice è pieno di errori ... if che non si chiudono "end;" con subito dopo un else ... è illeggibile !!!

Se ti vuoi facilitare la vita, fai come ho scrittoi nell'altro post: metti sempre "if (condizione) then begin", e chiudi con "end;".
Se fai così, quando clicchi col mouse sulla "begin" della if, sia la begin, che il relativo "end", vengono contornati di rosso.
La stessa cosa, vale quando clicchi sul begin della else.
Ti faccio un esempio. Dato questo codice:

Codice: [Seleziona]

if (condizione) then begin
  istruzioni
end else begin
  istruzioni
end;

Quando tu clicchi sul begin della prima riga, viene evidenziato lui, e l'"end" della riga 3.
Quando tu clicchi sul begin della riga 3, viene evidenziato lui, e l'"end" dell'ultima riga.

Risulta molto più semplice capire dove inizia e dove finisce una condizione !!!!

Ciao, Mario

[petrusic]

se scrivi una cosa tipo (su una unica riga):

Codice: [Seleziona]

if (a = b) then begin a:=1; b:=4; end;

e poi lanci il formattatore, dovresti avere qualcosa del genere:

Codice: [Seleziona]

   if (a = b) then 
   begin 
      a:=1; 
      b:=4; 
   end;

Ho cercato di applicare il tuo esempio sul seguente gruppo di istruzioni, dopo averle riportate nella stessa riga:

Codice: [Seleziona]

if (MsgAvviso = 'racodVoci') then begin if (tbTrasf[2] = '') then ritorno := 1  else if (ritorno = 0) then if ('racodvoci_contropartita' <> tbTrasf[2]) then ritorno := 99; end;

Ho provato a lanciare il formattatore con: "Sorgente -> Formattazione codice JEDI -> Finestra editor corrente, tutti i file nel progetto, tutte le finestre aperte, impostazione formato"
Selezionando una delle righe del sottomenu, si aprono altre finestre per me incomprensibili.
In pratica non sono riuscito a lanciarlo.

Se ti vuoi facilitare la vita, fai come ho scrittoi nell'altro post: metti sempre "if (condizione) then begin", e chiudi con "end;".
Se fai così, quando clicchi col mouse sulla "begin" della if, sia la begin, che il relativo "end", vengono contornati di rosso.
La stessa cosa, vale quando clicchi sul begin della else.

Grazie Mario, ho provato a seguire il tuo consiglio ed effettivamente ho constatato quello che hai citato. Tuttavia il codice che ho scritto è troppo articolato per la mia inesperienza su Lazarus Free Pascal e non riesco a venirne a capo. Vorrei perciò riuscire a capire come eseguire il formattatore che mi suggerisce nomorelogic. Ritornerò sicuramente a riprovare la logica che mi proponi più avanti.

[bonmario]

Ho provato a lanciare il formattatore con: "Sorgente -> Formattazione codice JEDI -> Finestra editor corrente, tutti i file nel progetto, tutte le finestre aperte, impostazione formato"
Selezionando una delle righe del sottomenu, si aprono altre finestre per me incomprensibili.

Devi lanciare questo:

Codice: [Seleziona]

"Sorgente -> Formattazione codice JEDI -> Finestra editor corrente"

Oppure, più semplicemente, fai così:
- copi nel tuo sorgente questa riga:

Codice: [Seleziona]

if (MsgAvviso = 'racodVoci') then begin if (tbTrasf[2] = '') then ritorno := 1  else if (ritorno = 0) then if ('racodvoci_contropartita' <> tbTrasf[2]) then ritorno := 99; end;

- premi "CTRL + D" (che è la scorciatoia di "Sorgente -> Formattazione codice JEDI -> Finestra editor corrente")
- ti esce una finestrella con cui ti chiede se vuoi avviare il formattatore, e clicchi su "Sì".

Ciao, Mario

[petrusic]

Devi lanciare questo:

Codice: [Seleziona]

"Sorgente -> Formattazione codice JEDI -> Finestra editor corrente"

Oppure, più semplicemente, fai così:
- copi nel tuo sorgente questa riga:

Codice: [Seleziona]

if (MsgAvviso = 'racodVoci') then begin if (tbTrasf[2] = '') then ritorno := 1  else if (ritorno = 0) then if ('racodvoci_contropartita' <> tbTrasf[2]) then ritorno := 99; end;

- premi "CTRL + D" (che è la scorciatoia di "Sorgente -> Formattazione codice JEDI -> Finestra editor corrente")
- ti esce una finestrella con cui ti chiede se vuoi avviare il formattatore, e clicchi su "Sì".

Fin qua succede tutto come hai detto. Dopo avere cliccato sul SI non viene eseguita la formattazione; viene invece aperta la finestra che ho allegato qui sotto.

[bonmario]

Non ho mai visto quella finestra ...

- può essere che lo stai facendo su un sorgente che ha problemi "più gravi", ed il formattatore va in crisi? Prova a farlo con un progetto nuovo: aggiungi una procedure o una function, ci incolli il codice (quello tutto su una riga), e provi a fare CTRL+ D
- può essere che hai toccato qualcosa nella impostazioni del formattatore jedi?
- vedo che ci sono le barre di scorrimento: se scorri verso il basso e/o verso destra, non c'è qualche voce che ti permette di proseguire?
- vedo che c'è la scheda "tokens": lì non c'è qualcosa che ti permette di proseguire?

Ciao, Mario

[petrusic]

Fatto come hai detto su: Nuovo progetto

Codice: [Seleziona]

unit Unit1;

{$mode objfpc}{$H+}

interface

uses
  Classes, SysUtils, Forms, Controls, Graphics, Dialogs, StdCtrls;

type

  { TForm1 }

  TForm1 = class(TForm)
    Button1: TButton;
    procedure Button1Click(Sender: TObject);
  private

  public

  end;

var
  Form1: TForm1;

implementation

{$R *.lfm}

{ TForm1 }
function Formatta(): integer;
var
    MsgAvviso: String;
begin
if (MsgAvviso = 'racodVoci') then begin if (tbTrasf[2] = '') then ritorno := 1  else if (ritorno = 0) then if ('racodvoci_contropartita' <> tbTrasf[2]) then ritorno := 99; end;
end;

procedure TForm1.Button1Click(Sender: TObject);
var
  esito: integer;

begin
   esito:= Formatta()

end;

end.                                 

Ho avviato il formattatore con |CTRL+D|, poi ho risposto SI nella finestra di richesta di Avvio Formattazione. La finestra è scomparsa senza che si sia aperta un'ulteriore finestra, però la formattazione sperata non è avvenuta. E' rimasto tutto come risulta nelle righe di codice riportate sopra.

[bonmario]

Già il fatto che questa volta non ti è uscita l'altra finestra, potrebbe essere una buona cosa, probabilmente il sorgente su cui provavi prima è "rovinato di suo". Magari non compila nemmeno.

Per quanto riguarda il formattatore, se vai nelle sue impostazioni, appena entri, sulla destra, c'è scritto il nome del file che contiene le sue impostazioni.
Potresti provare così:
- chiudi tutte le sessioni di Lazarus aperte
- prendi il file di configurazione, e spostalo da qualche altra parte
- rientra e riprova a vedere se funziona

Se non funziona nemmeno così, io ci rinuncio.
L'unica cosa che mi viene in mente, è provare su un altro PC, facendo una nuova installazione pulita.
Probabilmente hai qualcosa a livello di configurazione che non va, ma non ho idea di cosa possa essere.

Ciao, Mario

[Avogadro]

Parlo per esperienza personale:  le if... then... else nidificate e articolate sono sempre state un problema (così come il costrutto with) .

Per questa ragione giustamente si consiglia di usare  il costrutto case ... of , il sorgente che si ottiene è piu' leggibile, si puo' così facilmente seguire il percorso del software e questo migliora sia la prevedibilità del suo comportamento , sia la facilità di future manutenzioni.

Sinceramente trovo curioso che un complesso di if then else arzigolate non possa essere efficacemente sostituito da uno o piu' costrutti case of ; si consideri che con il freepascal il costrutto case of ha caratteristiche che ai tempi dei primi compilatori pascal non si osava nemmeno immaginare.

Un esempio banale

Case stringacolore of
 
'giallo':  case stringa of
                      'questo': ...;
                      'quello': ....;
                      end; //case
'verde': ....;

else : ....
end; // case

Ciao