BlackBox Framework Center

Code: Select all

PROCEDURE  TxtToSet* (IN txt : ARRAY OF CHAR; OUT set : SET) : BOOLEAN;
  VAR
    j, n, m, state  :  INTEGER;
    ch              :  CHAR;

  PROCEDURE  Get;
    BEGIN
      ch  :=  txt [j]; INC (j)
    END  Get;

  PROCEDURE  Skip;
    BEGIN
      WHILE  ch = ' '  DO  ch  :=  txt [j]; INC (j)  END
    END  Skip;

  PROCEDURE  Cardinal () : INTEGER;
    VAR
       n  :  INTEGER;
    BEGIN
      n   :=  ORD (ch) - ORD ('0'); Get;
      IF  ('0' <= ch)  &  (ch <= '9')  THEN
        n   :=  10 * n + ORD (ch) - ORD ('0'); Get
      END;
      Skip; RETURN  n
    END  Cardinal;

  BEGIN
    j  :=  0; Get; Skip; IF ch # '{'  THEN  RETURN  FALSE  END;
    Get; Skip; set  :=  {}; state  :=  0;
    LOOP
      CASE  ch  OF
        ','      :  IF  state  IN  {1, 3}  THEN  Get; Skip; state  := 4
                                           ELSE  RETURN  FALSE  END
      | '.'      :  IF  state # 1  THEN  RETURN  FALSE  END;
                    Get;
                    IF  ch  #  '.'  THEN  RETURN  FALSE  END;
                    Get; Skip; state  :=  2
      | '}'      :  IF  ~(state  IN  {0, 1, 3})  THEN  RETURN  FALSE  END;
                    Get; Skip; RETURN  ch  =  0X
      | '0'..'9' :  IF  ODD (state)  THEN  RETURN  FALSE  END;
                    IF  state = 2  THEN
                      m  :=  Cardinal (); 
                      IF  (m  < n)  OR  (m > MAX (SET))  THEN  RETURN  FALSE  END;
                      WHILE  m > n  DO  INCL (set, m); DEC (m)  END;
                      state  :=  3
                    ELSE
                      n  :=  Cardinal ();
                      IF  n  >  MAX (SET)  THEN  RETURN  FALSE  END;
                      INCL (set, n); state  :=  1
                   END
      ELSE
        RETURN  FALSE
      END
    END;
  END  TxtToSet;

Code: Select all

	PROCEDURE Sett (VAR s: Scanner);
		VAR n, m, state: INTEGER; ch: CHAR;
	BEGIN
		s.type := set; Get(s, ch); s.Skip(ch); s.set := {}; state := 0;
		LOOP
			CASE ch OF
				',' : IF state  IN {1, 3} THEN Get(s, ch); s.Skip(ch); state := 4
						ELSE s.type := invalid; EXIT END
			|	'.' : IF  state # 1 THEN s.type := invalid; EXIT END;
					Get(s, ch); IF ch # '.' THEN s.type := invalid; EXIT END;
					Get(s, ch); s.Skip(ch); state  :=  2
			|	'}' : IF state IN {0, 1, 3} THEN Get(s, ch) ELSE s.type := invalid END; EXIT
			|	'0'..'9' : IF ODD (state) THEN s.type := invalid; EXIT END;
					Cardinal(s,m); s.Skip(ch);
					IF m > MAX(SET) THEN s.type := invalid; EXIT END;
					IF state = 2 THEN
						IF m  < n THEN s.type := invalid; EXIT END;
						WHILE m > n DO INCL(s.set, m); DEC(m) END;
						state := 3
					ELSE
						INCL(s.set, m); n := m; state := 1
					END
			ELSE
				s.type := invalid; EXIT
			END
		END
	END Sett;

Code: Select all

MODULE TestScanner;

(*  Robert Campbell,  *)

	IMPORT
		TextMappers, TextModels, Log := StdLog;

PROCEDURE  Do*;
	VAR
		text: TextModels.Model;
		fmtr: TextMappers.Formatter;
		sc: TextMappers.Scanner;
	BEGIN
		text := TextModels.dir.New();
		fmtr.ConnectTo(text);
		fmtr.WriteString ('{1, 13, 17, 22}'); fmtr.WriteLn;
		fmtr.WriteString ('{2, 13..17, 22}'); fmtr.WriteLn;
		fmtr.WriteString ('{3, 13, 17 22}'); fmtr.WriteLn;
		fmtr.WriteString ('{4, 13, 17, 22,}'); fmtr.WriteLn;
		fmtr.WriteString ('{5, 13, 17, A}'); fmtr.WriteLn;
		fmtr.WriteString ('{6}'); fmtr.WriteLn;
		fmtr.WriteString ('{}'); fmtr.WriteLn;

		sc.ConnectTo (text);
		sc.SetOpts ({TextMappers.interpretSets});
		sc.Scan;
		WHILE sc.type # TextMappers.eot DO
			CASE sc.type OF
				TextMappers.char : Log.String('Character : '); Log.Char(sc.char); Log.Ln
			|	TextMappers.string : Log.String('String : ' + sc.string); Log.Ln
			|	TextMappers.int : Log.String('Integer :  ' ); Log.Int(sc.int); Log.Ln
			|	TextMappers.set : Log.Set(sc.set); Log.Ln
			|	TextMappers.invalid : Log.String('Invalid ! '); Log.Ln
			END;
			sc.Scan;
		END
	END Do;

	END TestScanner.


   DevDebug.Unload

  TestScanner.Do


OMS Scanner:
 {1, 13, 17, 22}
 {2, 13..17, 22}
 {3, 13, 17, 22}
 {4, 13, 17, 22}
Invalid ! 
String : A
Character : }
 {6}
 {}

Suggested modified Scanner:
 {1, 13, 17, 22}
 {2, 13..17, 22}
Invalid ! 
Integer :   22
Character : }
Invalid ! 
Character : }
Invalid ! 
String : A
Character : }
 {6}
 {}