From 29c6590ea61c7289dd6df95b275bd32d7c1fffd3 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Wed, 3 Sep 2014 11:37:23 -0400 Subject: [PATCH] parser: remove old-style attributes in xss Signed-off-by: Jean Privat --- src/parser/xss/prods.xss | 16 ++++------------ 1 file changed, 4 insertions(+), 12 deletions(-) diff --git a/src/parser/xss/prods.xss b/src/parser/xss/prods.xss index 1d04163..da6dae9 100644 --- a/src/parser/xss/prods.xss +++ b/src/parser/xss/prods.xss @@ -30,13 +30,9 @@ $ if @is_list var n_@name: List[@etype] = new List[@etype] $ else $ if @modifier - var _n_@name: nullable @etype = null - fun n_@name: nullable @etype do return _n_@name - fun n_@name=(n_@name: nullable @etype) do _n_@name = n_@name + var n_@name: nullable @etype = null is writable $ else - var _n_@name: @etype = null - fun n_@name: @etype do return _n_@name - fun n_@name=(n_@name: @etype) do _n_@name = n_@name + var n_@name: @etype is writable, noinit $ end $ end $ end @@ -45,12 +41,8 @@ $ end class Start super Prod - var _n_base: nullable $baseprod - fun n_base: nullable $baseprod do return _n_base - fun n_base=(n_base: nullable $baseprod_ do _n_base = n_base - var _n_eof: EOF - fun n_eof: EOF do return _n_eof - fun n_eof=(n_eof: EOF) do _n_eof = n_eof + var n_base: nullable $baseprod is writable, noinit + var n_eof: EOF is writable, noinit init( n_base: nullable $baseprod, n_eof: EOF) -- 1.7.9.5