Re: Help with an errant 'IF' statement please.

[Austin Obyrne <austin.obyrne@hotmail.com>]

On Sunday, November 30, 2014 11:18:33 AM UTC, Simon Clubley wrote:
> On 2014-11-30, Austin Obyrne <austin.obyrne@hotmail.com> wrote:
> > On Saturday, November 29, 2014 4:53:48 PM UTC, Dennis Lee Bieber wrote:
> >> On Sat, 29 Nov 2014 07:05:09 -0800 (PST), Austin Obyrne
> >> <austin.obyrne@hotmail.com> declaimed the following:
> >> 
> >> 
> >> >LOOP
> >> >  EXIT WHEN NextChar = Sentinel;
> >> >
> >> 	What is the definition of "NextChar", since I don't see it changing
> >> inside this loop...
> >>  
> >
> > This is the relevant source code at the very start of the program in
> > question,
> >
> >   Total := Total+1;
> >   Ada.Text_IO.Get(Item => NextChar);
> >   Image(Total):= NextChar;
> >  
> > 'NextChar' is the variable name given to each character being read
> > in from the keyboard.
> >
> 
> [snip]
> 
> > Sorry for taking so long in coming back and thanks for your help - Austin.
> 
> Do what I told you to do and write a stripped down standalone test program
> around the fragment you posted.
> 
> You will then see what Dennis (and myself) are telling you.
> 
> I could tell you what the problem is, but I think it's more important for
> you to understand how to find this yourself.
> 
> Simon.
> 
> -- 
> Simon Clubley, clubley@remove_me.eisner.decus.org-Earth.UFP
> Microsoft: Bringing you 1980s technology to a 21st century world

Hi Simon - herewith the program sourcecode of the procedure in question - I would like to know for future - my main preoccupation is with problem solving but the elegance and efficacy of Ada are important to me also - bear with me -this a an experimental program by me and is not a fine example of programming in Ada. I would appreciate your help - I am going flat out with research work in cryptoland - Ada is a tool to me at the moment until I get more time to 'smell the flowers' of the language proper.

  Time_Ex_1;
  Count  := Phi;    --initialising change-of-origin Count
  Resets := 0;
  Total  := 0;
  NextChar := ' ';    --initialising to pre-empt error message
  Line_Number:= 0;
  LOOP
  EXIT WHEN NextChar = Sentinel;
  Count:= Count+1;               -- change-of-origin count reinitialising
  IF Count REM (Span + Phi +1) = 0 THEN -- Reset signal
     Count:= 1;
     Resets:= Resets +1;
  END IF;
  Total := Total +1;
  Ada.Text_IO.Get(Item => NextChar);
  Counter := Counter +1;
  Total := Total +1;
  Image(Counter):= NextChar;
--  R := Character 'POS(NextChar);
--  PlainTextNum(R) := PlainTextNum(R) +1;
  Ada.Text_IO.New_Line;
  Ada.Text_IO.Put(Item => "         ");
  Ada.Text_IO.Put(Item => NextChar);
  Ada.Text_IO.Put(Item => "                - Current PlainText for encryption");
  Ada.Text_IO.New_Line;
  Ada.Text_IO.Put(Item => "        ");
  Ada.Text_IO.Put(Item => " Phi ");
  Ada.Text_IO.Put(Item => "             - ");
  Ada.Integer_Text_IO.Put(Item => Phi, Width => 2);
  Ada.Text_IO.New_Line;
  Ada.Text_IO.Put(Item => "        ");
  Ada.Text_IO.Put(Item => " Count ");
  Ada.Text_IO.Put(Item => "           - ");
  Ada.Integer_Text_IO.Put(Item => Count, Width => 2);
  Ada.Text_IO.New_Line;
  Ada.Text_IO.Put(Item => "        ");
  Ada.Text_IO.Put(Item => " Total ");
  Ada.Text_IO.Put(Item => "           - ");
  Ada.Integer_Text_IO.Put(Item => Total, Width => 2);
  Ada.Text_IO.New_line;
  Ada.Integer_Text_IO.Put(Item => Character'Pos(Nextchar), Width => 11);
  Ada.Text_IO.Put
  (Item => "               - Value in ASCII of current plaintext");
  Ada.Text_IO.New_line;
  Compute_Normal;
  Ada.Integer_Text_IO.Put(Item => Normal(1), Width => 4);
  Ada.Integer_Text_IO.Put(Item => Normal(2), Width => 8);
  Ada.Integer_Text_IO.Put(Item => Normal(3), Width => 8);
  Ada.Text_IO.Put(Item => "      - Normal vector -  fixed in this cipher");
  Ada.Text_IO.New_Line;
  Ada.Integer_Text_IO.Put(Item => S_1, Width => 4);
  Ada.Integer_Text_IO.Put(Item => S_2, Width => 8);
  Ada.Integer_Text_IO.Put(Item => S_3, Width => 8);
  Ada.Text_IO.Put
  (Item => "      - VeeZero - fixed in this cipher");
  Ada.Text_IO.New_Line;
  Ada.Integer_Text_IO.Put(Item => T_1, Width => 4);
  Ada.Integer_Text_IO.Put(Item => T_2, Width => 8);
  Ada.Integer_Text_IO.Put(Item => T_3, Width => 8);
  Ada.Text_IO.Put
  (Item => "      - VeeOne - fixed in this cipher.");
  Ada.Text_IO.New_Line;
  Compute_Normal;
  Ada.Integer_Text_IO.Put(Item => Normal(1), Width => 4);
  Ada.Integer_Text_IO.Put(Item => Normal(2), Width => 8);
  Ada.Integer_Text_IO.Put(Item => Normal(3), Width => 8);
  Ada.Text_IO.Put(Item => "      - Normal vector -  fixed in this cipher");
  Ada.Text_IO.New_Line;
  n :=(Character'Pos(NextChar));
  Ada.Integer_Text_IO.Put(Item => n, Width =>12);
  Ada.Text_IO.Put
  (Item => "              - face value 'n' of current plaintext in ASCII");
  Ada.Text_IO.New_Line;
  n := Number(Character'Pos(NextChar));  -- renumbered by Alice
  Ada.Integer_Text_IO.Put(Item => n, Width =>12);
  Ada.Text_IO.Put
  (Item => "              - rendered value of 'n'in the encryption alphabet");
  Compute_Position_Vector(Number => n);
  Ada.Text_IO.New_Line;
  Ada.Integer_Text_IO.Put(Item => Pn(1), Width => 8);
  Ada.Integer_Text_IO.Put(Item => Pn(2), Width => 8);
  Ada.Integer_Text_IO.Put(Item => Pn(3), Width => 8);
  Ada.Text_IO.Put(Item => "  - Position vector ('Pn') for this 'n'. ");
  Ada.Text_IO.New_Line;
  Ada.Integer_Text_IO.Put(Item => Hash_2(Count), Width => 8);
  Ada.Integer_Text_IO.Put(Item => Hash_11(Count), Width => 8);
  Ada.Integer_Text_IO.Put(Item => Hash_12(Count), Width => 8);
  Ada.Text_IO.Put
  (Item => "  - Change-of-origin vector to be given to this Pn item");
  Ada.Text_IO.New_Line;
    FOR I IN 1 .. 3 LOOP
      W(I):= Compose_CipherText_Items( Numin => I);
      Ada.Integer_Text_IO.Put(File => OutData, Item =>  W(I));
    END LOOP;
  Ada.Integer_Text_IO.Put( Item =>  W(1), Width => 9);
  Ada.Integer_Text_IO.Put( Item =>  W(2), Width => 8);
  Ada.Integer_Text_IO.Put( Item =>  W(3), Width => 8);
  Ada.Text_IO.Put(Item =>" - Ciphertext for this item of plaintext");
  Q:= W(1)REM 1000000;
  I_Num(Q) := I_Num(Q)+1;
--  Q:= W(2)REM 1000000;
--  I_Num(Q) := I_Num(Q)+1;
--  Q:= W(3)REM 1000000;
--  I_Num(Q) := I_Num(Q)+1;
--  Ada.Text_IO.New_Line;
--  Ada.Integer_Text_IO.Put(Item => AllTold, Width =>4);
--  Ada.Integer_Text_IO.Put(Item => Total, Width =>8);
--  Ada.Integer_Text_IO.Put(Item => InToto, Width =>8);
--  Ada.Text_IO.Put(Item => "      - Compares 'AllTold','Total','InToto' integrators'");
  Line_Number:= Line_Number+1;
  Ada.Text_IO.New_Line(1);
  Ada.Text_IO.Put(Item => "                          - Character number ");
  Ada.Integer_Text_IO.Put(Item => Line_Number, Width => 1);
  Ada.Text_IO.New_Line(1);
    IF Line_Number REM 12 = 0 THEN
      Ada.Text_IO.New_Line(1);
      Ada.Text_IO.Put(Item => "                       ");
      Ada.Text_IO.Put(Item => " # - press any key/return to continue > ");
      Ada.Text_IO.Get(Item => View);
    END IF;
--    IF W(2)REM 1000000 = 514681 THEN --repeated number in ciphertext say
--      Ada.Integer_Text_IO.Put (item => W(2) , Width => 20);
--      Ada.Text_IO.Get(Item => View);
--    END IF;
  Ada.Text_IO.New_Line;
  Ada.Text_IO.Put(Item => "  ---------------------------------------------------------------------------");
  END LOOP;
  Ada.Text_IO.Close(File => Outdata);
  Time_Ex_2;  -- time at end