From 933b3f677d0338b264d4e758f8932bb7f2454c46 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Thu, 30 Oct 2003 16:10:20 +0000
Subject: [PATCH] * Attribute selection operator.
---
src/fix-ng/fix.sdf | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/src/fix-ng/fix.sdf b/src/fix-ng/fix.sdf
index 72f3e694d..e94e69674 100644
--- a/src/fix-ng/fix.sdf
+++ b/src/fix-ng/fix.sdf
@@ -53,9 +53,13 @@ exports
"[" {Expr ","}* "]"
-> Expr {cons("List")}
+ Expr "." Id
+ -> Expr {cons("Select")}
+
context-free priorities
- Expr Expr -> Expr
+ Expr "." Id -> Expr
+ > Expr Expr -> Expr
> "{" {Id ","}* "}" ":" Expr -> Expr
--
GitLab