From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 14905 invoked by alias); 26 Sep 2007 02:44:33 -0000 Received: (qmail 14896 invoked by uid 22791); 26 Sep 2007 02:44:32 -0000 X-Spam-Status: No, hits=-2.5 required=5.0 tests=AWL,BAYES_00,DK_POLICY_SIGNSOME,SPF_HELO_PASS,SPF_PASS X-Spam-Check-By: sourceware.org Received: from mx1.redhat.com (HELO mx1.redhat.com) (66.187.233.31) by sourceware.org (qpsmtpd/0.31) with ESMTP; Wed, 26 Sep 2007 02:44:29 +0000 Received: from int-mx1.corp.redhat.com (int-mx1.corp.redhat.com [172.16.52.254]) by mx1.redhat.com (8.13.1/8.13.1) with ESMTP id l8Q2iRZn028767 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 25 Sep 2007 22:44:27 -0400 Received: from pobox.corp.redhat.com (pobox.corp.redhat.com [10.11.255.20]) by int-mx1.corp.redhat.com (8.13.1/8.13.1) with ESMTP id l8Q2iRxM015409 for ; Tue, 25 Sep 2007 22:44:27 -0400 Received: from [172.16.57.153] (multics.rdu.redhat.com [172.16.57.153]) by pobox.corp.redhat.com (8.13.1/8.13.1) with ESMTP id l8Q2iR8O024053 for ; Tue, 25 Sep 2007 22:44:27 -0400 Subject: antlr expression tree annotator From: Stan Cox To: Frysk List Content-Type: text/plain Date: Wed, 26 Sep 2007 02:44:00 -0000 Message-Id: <1190774413.26510.108.camel@multics.rdu.redhat.com> Mime-Version: 1.0 X-Mailer: Evolution 2.10.3 (2.10.3-2.fc7) Content-Transfer-Encoding: 7bit X-IsSubscribed: yes Mailing-List: contact frysk-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Post: List-Help: , Sender: frysk-owner@sourceware.org X-SW-Source: 2007-q3/txt/msg00402.txt.bz2 An antlr infrastructure for walking and tagging the expression tree with type information was committed. At the moment only symbol nodes are tagged and there are currently no consumers of the information. When I get a bit more time I'll finish polishing up a 'what' request that uses this and also add type info on the operator nodes. files in frysk-core/frysk/expr: CExpr.g antlr lexer and parser grammar CExprAnnotator.g antlr type annotator CExprEvaluator.g antlr expression evaluator ExprAST.java extension of antlr's abstract syntax tree ExprSymTab.java interface to frysk-core/debuginfo (this interface has possibly outlived its usefulness as the testing tools that also used it are no longer needed and are removed)