Tcl Library Source Code

Check-in [d58dafb114]
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Fixes for the FFP tests - Change test grammar to enforce consummation of all input - Fix error in ok grammar example copied from the fail example. - Fix mis-count in the FFP result for the fail example, and missing closing brace
Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | ssoberni-ffp-3ed39a451f
Files: files | file ages | folders
SHA3-256: d58dafb1140c96d620d9330bc113865e81be3d60ba489dc15c9012884ef5f4be
User & Date: aku 2018-06-25 23:00:37.220
References
2018-06-26
02:28 Ticket [3ed39a451f] Farthest failure path (FFP) tracking in PT/PEG ssoberni-ffp-3ed39a451f status still Open with 3 other changes artifact: f8debe6fb7 user: aku
Context
2018-06-27
17:07
Merged FFP work by Stefan Sobernig. check-in: 623801c583 user: aku tags: trunk
2018-06-25
23:00
Fixes for the FFP tests - Change test grammar to enforce consummation of all input - Fix error in ok grammar example copied from the fail example. - Fix mis-count in the FFP result for the fail example, and missing closing brace Closed-Leaf check-in: d58dafb114 user: aku tags: ssoberni-ffp-3ed39a451f
2018-06-22
04:30
Brought in trunk work (mostly the doc changes) check-in: 3ec4e74aac user: aku tags: ssoberni-ffp-3ed39a451f
Changes
Unified Diff Ignore Whitespace Patch
Changes to modules/pt/tests/data/gr/def/49_ticket-3ed39a451f.
1

2
3
4
5
6
7
8
PEG Tiny (CmdSeq) 

 	CmdSeq 		<- Cmd SEMICOLON (Cmd SEMICOLON)*;
	Cmd 		<- Skip ((IfCmd / RepeatCmd / AssignCmd / ReadCmd / WriteCmd)) Skip;
	IfCmd 		<- 'if' Exp 'then' CmdSeq ('else' CmdSeq)? 'end';
	RepeatCmd 	<- 'repeat' CmdSeq 'until' Exp;
	AssignCmd 	<- Name ASSIGNMENT Exp;
	ReadCmd 	<- 'read' Skip Name;
	WriteCmd 	<- 'write' Skip Exp;
|
>







1
2
3
4
5
6
7
8
9
PEG Tiny (Proc)
        Proc            <- CmdSeq !. ;
 	CmdSeq 		<- Cmd SEMICOLON (Cmd SEMICOLON)*;
	Cmd 		<- Skip ((IfCmd / RepeatCmd / AssignCmd / ReadCmd / WriteCmd)) Skip;
	IfCmd 		<- 'if' Exp 'then' CmdSeq ('else' CmdSeq)? 'end';
	RepeatCmd 	<- 'repeat' CmdSeq 'until' Exp;
	AssignCmd 	<- Name ASSIGNMENT Exp;
	ReadCmd 	<- 'read' Skip Name;
	WriteCmd 	<- 'write' Skip Exp;
Changes to modules/pt/tests/data/gr/fail-ticket-3ed39a451f-container-res/0_tinyProg.
1
1 {pt::rde 60 {space {t {;}}}
|
1
1 {pt::rde 50 {space {t {;}}}}
Changes to modules/pt/tests/data/gr/fail-ticket-3ed39a451f-critcl-res/0_tinyProg.
1
1 {pt::rde 60 {space {t {;}}}
|
1
1 {pt::rde 50 {space {t {;}}}}
Changes to modules/pt/tests/data/gr/fail-ticket-3ed39a451f-oo-res/0_tinyProg.
1
1 {pt::rde 60 {space {t {;}}}
|
1
1 {pt::rde 50 {space {t {;}}}}
Changes to modules/pt/tests/data/gr/fail-ticket-3ed39a451f-snit-res/0_tinyProg.
1
1 {pt::rde 60 {space {t {;}}}
|
1
1 {pt::rde 50 {space {t {;}}}}
Changes to modules/pt/tests/data/gr/ok-ticket-3ed39a451f-res/0_tinyProg.
1
CmdSeq 0 15 {Cmd 0 5 {AssignCmd 0 5 {Name 0 0} {ASSIGNMENT 1 4} {Exp 5 5 {Operand 5 5}}}} {Cmd 8 13 {AssignCmd 8 13 {Name 8 8} {ASSIGNMENT 9 12} {Exp 13 13 {Operand 13 13}}}}
|
1
Proc 0 71 {CmdSeq 0 71 {Cmd 0 5 {AssignCmd 0 5 {Name 0 0} {ASSIGNMENT 1 4} {Exp 5 5 {Operand 5 5}}}} {Cmd 8 13 {AssignCmd 8 13 {Name 8 8} {ASSIGNMENT 9 12} {Exp 13 13 {Operand 13 13}}}} {Cmd 16 61 {RepeatCmd 16 61 {CmdSeq 22 50 {Cmd 22 34 {AssignCmd 25 34 {Name 25 25} {ASSIGNMENT 26 29} {Exp 30 34 {Operand 30 31 {Name 30 30}} {Operand 33 34 {Name 34 34}}}}} {Cmd 39 48 {AssignCmd 39 48 {Name 39 39} {ASSIGNMENT 40 43} {Exp 44 48 {Operand 44 45 {Name 44 44}} {Operand 47 48}}}}} {Exp 56 61 {Operand 56 58 {Name 57 57}} {Operand 60 61}}}} {Cmd 64 70 {WriteCmd 64 70 {Exp 70 70 {Operand 70 70 {Name 70 70}}}}}}
Changes to modules/pt/tests/data/gr/ok-ticket-3ed39a451f/0_tinyProg.
1
2
3
4
5
6
7
n := 5;
f := 1;
repeat
  f := f * n;
  n := n - 1
until n < 1;
write f;




|


1
2
3
4
5
6
7
n := 5;
f := 1;
repeat
  f := f * n;
  n := n - 1;
until n < 1;
write f;