Syntax checking/Parser - Revision history

Maser: /* TODO */

2006-07-11T08:49:11Z

‎TODO

2006-06-30T10:27:06Z

added BON diagrams

2006-06-26T14:42:02Z

‎eiffel.y & eiffel.l: merging current file with Paul's: done

2006-06-25T17:11:25Z

‎TODO: updated

2006-06-21T12:28:23Z

moved TODO to the top

2006-06-21T12:27:06Z

‎Important Classes/Files

2006-06-21T12:21:56Z

‎Implementation: removed

2006-06-21T12:19:00Z

‎TODO

2006-06-15T16:12:21Z

Added Category

2006-06-12T16:19:51Z

‎classes with errors to check if parser works

@@ Line 6: / Line 6: @@
 == TODO ==
-=== eiffel.y & eiffel.l: merging current file with Paul's (done) ===
+=== Refactoring ===
-==== didn't work out too good! ====
+* change indirect inheritance of EIFFEL_PARSER_SKELETON via EIFFEL_PARSER_ERROR_REPORTER in EIFFEL_PARSER.
-* Ueli: 0 - 844: Parent_List (done)
-* Marko: 845 - 1494 Formal Generics (done)
-* Michi: 1495 - 2130 Instruction Call (done)
-* Martin: 2131 - end, eiffel.l (done)
-=== error handling classes (done) ===
+=== report a lot more errors ===
-*Chrigu
-−
-=== get recoverable parser working in ES (done) ===
 === classes with errors to check if parser works ===

← Older revision		Revision as of 10:27, 30 June 2006
Line 187:		Line 187:
	[...]		[...]
	;		;
		+
		+
		+	== BON diagrams ==
		+
		+
		+	=== Parser ===
		+
		+	[[Image:SynChé BON PARSER.png]]
		+
		+
		+	=== SYNTAX_MESSAGE descendants ===
		+
		+	[[Image:SynChé BON SYNTAX MESSAGE.png]]

@@ Line 6: / Line 6: @@
 == TODO ==
-=== eiffel.y & eiffel.l: merging current file with Paul's===
+=== eiffel.y & eiffel.l: merging current file with Paul's (done) ===
 ==== didn't work out too good! ====
 * Ueli: 0 - 844: Parent_List (done)

@@ Line 7: / Line 7: @@
 === eiffel.y & eiffel.l: merging current file with Paul's===
 * Ueli: 0 - 844: Parent_List (done)
 * Marko: 845 - 1494 Formal Generics (done)
@@ Line 12: / Line 13: @@
 * Martin: 2131 - end, eiffel.l (done)
-=== error handling classes ===
+=== error handling classes (done) ===
 *Chrigu
-=== correct bugs in parser (that we introduced) ===
+=== get recoverable parser working in ES (done) ===
-−
 === get recoverable parser working in ES ===
-−
-=== extend/improve error reporting ===
-There will probably be not enough time to do this.
-* there's no error reporting with TUPLEs yet
 === classes with errors to check if parser works ===
 * See [http://origo.ethz.ch/pipermail/es-devel/2006-June/000372.html this post] on the es-devel mailing list. It's probably better to wait, as we don't really have too much time left.
 ==Important Classes/Files==

@@ Line 2: / Line 2: @@
 [[Category:Editor]]
 [[Syntax_checking|back to Syntax checking page]]
 ==Important Classes/Files==
@@ Line 30: / Line 54: @@
 ====EIFFEL_CLASS_C====
 * features build_ast and parse_ast show how the parser can be used.
 == creating a project that uses the parser ==
@@ Line 44: / Line 69: @@
 * [http://n.ethz.ch/student/luderm/es/root_class.e example of an application that uses the parser]
 == Tools ==

@@ Line 5: / Line 5: @@
 ==Important Classes/Files==
-====eiffel.y====
+====eiffel.y / eiffel.l====
 * Eiffel grammar description.
-* use [http://www.gobosoft.com/eiffel/gobo/geyacc/ geyacc] to generate eiffel_parser.e from this file
+* create EIFFEL_SCANNER, EIFFEL_PARSER and EIFFEL_TOKENS from these files using the makefile in $EIFFEL_SRC/Eiffel/parser/parser/
 ====EIFFEL_PARSER====
 * inherits from EIFFEL_PARSER_SKELETON (where the features parse, parse_string, make_with_factory are implemented)
@@ Line 13: / Line 17: @@
 ** AST_NULL_FACTORY doesn't build an AST (AST_FACTORY does, the AST is in EIFFEL_PARSER.root_node after parsing)
 * parse (a_file: KL_BINARY_INPUT_FILE) and parse_from_string (a_string: STRING).
+====EIFFEL_PARSER_ERROR_REPORTER====
-====CLASS_AS====
+* provides error reporting features (report_*)
-* AST of a class
+====EIFFEL_AST====
 ====ERROR====
 * deferred; superclass of all error types like EIFFEL_ERROR or SYNTAX_ERROR
@@ Line 25: / Line 30: @@
 ====EIFFEL_CLASS_C====
 * features build_ast and parse_ast show how the parser can be used.
 == creating a project that uses the parser ==

← Older revision		Revision as of 12:21, 21 June 2006
Line 40:		Line 40:
	* [http://n.ethz.ch/student/luderm/es/root_class.e example of an application that uses the parser]		* [http://n.ethz.ch/student/luderm/es/root_class.e example of an application that uses the parser]

−	~~==Implementation==~~
−	* based on Paul's code
−	~~===ERROR classes===~~
−	* Create new SYNTAX_ERROR classes that correspond to Paul's classes, but fit into the current hierarchy
−	* store start and end position of the error
−	~~===extend parser to generate the right ERRORs===~~
−	* Integrate Paul's changes to eiffel.l and eiffel.y into the current versions.
−	* add facilities from Paul's EIFFEL_PARSER_ERROR_REPORTER
−	** in existing class like EIFFEL_PARSER_SKELETON (EP_ERROR_REPORTER only inherits SHARED_ERROR_HANDLER and so does EP_SKELETON
−	** in new class

← Older revision		Revision as of 16:12, 15 June 2006
Line 1:		Line 1:
		+	[[Category:Projects]]
		+	[[Category:Editor]]
	[[Syntax_checking\|back to Syntax checking page]]		[[Syntax_checking\|back to Syntax checking page]]