|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - download
Length: 18432 (0x4800)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Automate, seg_03699b, seg_0379a9, separate Lex
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
separate (Lex)
package body Automate is
The_String : Bounded_String.Variable_String (80);
function Get return Bounded_String.Variable_String is
begin
return The_String;
end Get;
function Double_Point_State return Token is
C : Character;
begin
C := Get_Next_Character (The_File);
case C is
when '=' =>
return Token'(Let);
when others =>
Look_Ahead.Set (To => C);
return Token'(Unknown);
end case;
end Double_Point_State;
function Greater_State return Token is
C : Character;
begin
C := Get_Next_Character (The_File);
case C is
when '=' =>
return Token'(Greater_Or_Equal);
when others =>
Look_Ahead.Set (To => C);
return Token'(Greater_Than);
end case;
end Greater_State;
function Less_State return Token is
C : Character;
begin
C := Get_Next_Character (The_File);
case C is
when '>' =>
return Token'(Not_Equal);
when '=' =>
return Token'(Less_Or_Equal);
when others =>
Look_Ahead.Set (To => C);
return Token'(Less_Than);
end case;
end Less_State;
function Comment_State return Token;
function End_Of_Comment_State return Token is
C : Character;
begin
C := Get_Next_Character (The_File);
case C is
when '/' =>
return Start;
when others =>
return Comment_State;
end case;
end End_Of_Comment_State;
function Comment_State return Token is
C : Character;
begin
C := Get_Next_Character (The_File);
case C is
when '*' =>
return End_Of_Comment_State;
when others =>
return Comment_State;
end case;
end Comment_State;
function Start_Comment_State return Token is
C : Character;
begin
C := Get_Next_Character (The_File);
case C is
when '*' =>
return Comment_State;
when others =>
Look_Ahead.Set (To => C);
return Token'(Unknown);
end case;
end Start_Comment_State;
function Based_State (In_Character : Character) return Token is
C : Character;
begin
Bounded_String.Append (Target => The_String, Source => In_Character);
C := Get_Next_Character (The_File);
case C is
when '0' .. '9' | 'a' .. 'z' | 'A' .. 'Z' =>
return Based_State (C);
when others =>
Look_Ahead.Set (To => C);
return Token'(Based);
end case;
end Based_State;
function Based_Number_Value_State (In_Character : Character) return Token is
C : Character;
begin
Bounded_String.Append (Target => The_String, Source => In_Character);
C := Get_Next_Character (The_File);
case C is
when '0' .. '9' | 'a' .. 'z' | 'A' .. 'Z' =>
return Based_State (C);
when others =>
Look_Ahead.Set (To => C);
return Token'(Unknown);
end case;
end Based_Number_Value_State;
function The_Base_State (In_Character : Character) return Token is
C : Character;
begin
Bounded_String.Append (Target => The_String, Source => In_Character);
C := Get_Next_Character (The_File);
case C is
when '0' .. '9' =>
return The_Base_State (C);
when '#' =>
return Based_Number_Value_State (C);
when others =>
Look_Ahead.Set (To => C);
return Token'(Unknown);
end case;
end The_Base_State;
function Start_Of_Based_State (In_Character : Character) return Token is
C : Character;
begin
Bounded_String.Append (Target => The_String, Source => In_Character);
C := Get_Next_Character (The_File);
case C is
when '0' .. '9' =>
return The_Base_State (C);
when others =>
Look_Ahead.Set (To => C);
return Token'(Unknown);
end case;
end Start_Of_Based_State;
function Hour_With_S_State (In_Character : Character) return Token is
begin
Bounded_String.Append (Target => The_String, Source => In_Character);
return Token'(Hour);
end Hour_With_S_State;
function Tenth_Of_Second_State (In_Character : Character) return Token is
C : Character;
begin
Bounded_String.Append (Target => The_String, Source => In_Character);
C := Get_Next_Character (The_File);
case C is
when 's' | 'S' =>
return Hour_With_S_State (C);
when others =>
Look_Ahead.Set (To => C);
return Token'(Unknown);
end case;
end Tenth_Of_Second_State;
function Point_Of_Second_State (In_Character : Character) return Token is
C : Character;
begin
Bounded_String.Append (Target => The_String, Source => In_Character);
C := Get_Next_Character (The_File);
case C is
when '0' .. '9' =>
return Tenth_Of_Second_State (C);
when others =>
Look_Ahead.Set (To => C);
return Token'(Unknown);
end case;
end Point_Of_Second_State;
function Second_State (In_Character : Character) return Token is
C : Character;
begin
Bounded_String.Append (Target => The_String, Source => In_Character);
C := Get_Next_Character (The_File);
case C is
when '0' .. '9' =>
return Second_State (C);
when '.' =>
return Point_Of_Second_State (C);
when 's' | 'S' =>
return Hour_With_S_State (C);
when others =>
Look_Ahead.Set (To => C);
return Token'(Unknown);
end case;
end Second_State;
function Hour_With_M_State (In_Character : Character) return Token is
C : Character;
begin
Bounded_String.Append (Target => The_String, Source => In_Character);
C := Get_Next_Character (The_File);
case C is
when '0' .. '9' =>
return Second_State (C);
when others => Look_Ahead.Set (To => C);
return Token'(Hour);
end case;
end Hour_With_M_State;
function Minute_State (In_Character : Character) return Token is
C : Character;
begin
Bounded_String.Append (Target => The_String, Source => In_Character);
C := Get_Next_Character (The_File);
case C is
when '0' .. '9' =>
return Minute_State (C);
when '.' =>
return Point_Of_Second_State (C);
when 'm' | 'M' =>
return Hour_With_M_State (C);
when 's' | 'S' =>
return Hour_With_S_State (C);
when others =>
Look_Ahead.Set (To => C);
return Token'(Unknown);
end case;
end Minute_State;
function Hour_With_H_State (In_Character : Character) return Token is
C : Character;
begin
Bounded_String.Append (Target => The_String, Source => In_Character);
C := Get_Next_Character (The_File);
case C is
when '0' .. '9' =>
return Minute_State (C);
when others =>
Look_Ahead.Set (To => C);
return Token'(Hour);
end case;
end Hour_With_H_State;
function Int_State (In_Character : Character) return Token is
C : Character;
begin
Bounded_String.Append (Target => The_String, Source => In_Character);
C := Get_Next_Character (The_File);
case C is
when '0' .. '9' =>
return Int_State (C);
when 'h' | 'H' =>
return Hour_With_H_State (C);
when 'm' | 'M' =>
return Hour_With_M_State (C);
when '.' =>
return Point_Of_Second_State (C);
when 's' | 'S' =>
return Hour_With_S_State (C);
when others =>
Look_Ahead.Set (To => C);
return Token'(Int);
end case;
end Int_State;
function Identifier_State (In_Character : Character) return Token is
C : Character;
begin
Bounded_String.Append (Target => The_String, Source => In_Character);
C := Get_Next_Character (The_File);
case C is
when 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '_' =>
return Identifier_State (C);
when others =>
Look_Ahead.Set (To => C);
return Token'(Identifier);
end case;
end Identifier_State;
function Start return Token is
C : Character;
begin
Current_Line := Natural (Text_Io.Line (The_File));
Current_Column := Natural (Text_Io.Col (The_File));
Bounded_String.Free (The_String);
C := Get_Next_Character (The_File);
case C is
when Ascii.Eot =>
return Token'(Eof);
when ' ' | Ascii.Cr =>
return Start;
when '0' .. '9' =>
return Int_State (C);
when '#' =>
return Start_Of_Based_State (C);
when 'a' .. 'z' | 'A' .. 'Z' =>
return Identifier_State (C);
when '/' =>
return Start_Comment_State;
when '{' =>
return Token'(Begin_Bracket);
when '}' =>
return Token'(End_Bracket);
when '(' =>
return Token'(Open_Bracket);
when ')' =>
return Token'(Close_Bracket);
when '*' =>
return Token'(Multiply);
when '+' =>
return Token'(Plus);
when '-' =>
return Token'(Minus);
when '=' =>
return Token'(Equal);
when ':' =>
return Double_Point_State;
when '<' =>
return Less_State;
when '>' =>
return Greater_State;
when others =>
Look_Ahead.Set (To => C);
return Token'(Unknown);
end case;
end Start;
end Automate;
nblk1=11
nid=f
hdr6=1c
[0x00] rec0=28 rec1=00 rec2=01 rec3=026
[0x01] rec0=2a rec1=00 rec2=0a rec3=022
[0x02] rec0=24 rec1=00 rec2=11 rec3=042
[0x03] rec0=20 rec1=00 rec2=0e rec3=006
[0x04] rec0=21 rec1=00 rec2=02 rec3=04c
[0x05] rec0=20 rec1=00 rec2=04 rec3=00c
[0x06] rec0=1d rec1=00 rec2=06 rec3=002
[0x07] rec0=20 rec1=00 rec2=08 rec3=030
[0x08] rec0=01 rec1=00 rec2=05 rec3=054
[0x09] rec0=1e rec1=00 rec2=0c rec3=03c
[0x0a] rec0=1f rec1=00 rec2=03 rec3=004
[0x0b] rec0=03 rec1=00 rec2=09 rec3=028
[0x0c] rec0=1c rec1=00 rec2=0d rec3=030
[0x0d] rec0=07 rec1=00 rec2=0b rec3=000
[0x0e] rec0=00 rec1=00 rec2=00 rec3=019
[0x0f] rec0=00 rec1=00 rec2=00 rec3=000
[0x10] rec0=00 rec1=00 rec2=00 rec3=000
tail 0x2152de1f084d78d571c0a 0x42a00088462060003
Free Block Chain:
0xf: 0000 00 07 00 0b 80 08 20 20 20 20 20 20 20 43 08 09 ┆ C ┆
0x7: 0000 00 10 03 eb 80 09 20 54 6f 6b 65 6e 20 69 73 09 ┆ Token is ┆
0x10: 0000 00 00 02 05 80 06 28 27 2b 27 29 3b 06 00 17 20 ┆ ('+'); ┆