From 3fe7e6f42109be04fa9ee599e1779d48a311100d Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 17 Dec 2009 09:39:04 +0000
Subject: [PATCH] Removed accidental part of last commit.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1657 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/PrismParser.jj | 20 --------------------
 1 file changed, 20 deletions(-)

diff --git a/prism/src/parser/PrismParser.jj b/prism/src/parser/PrismParser.jj
index 6b30ba77..937a45a1 100644
--- a/prism/src/parser/PrismParser.jj
+++ b/prism/src/parser/PrismParser.jj
@@ -360,7 +360,6 @@ TOKEN :
 |	< ENDSYSTEM:		"endsystem" >
 |	< FALSE:			"false" >
 |	< FORMULA:			"formula" >
-|	< FILTER:			"filter" >
 |	< FUNC:				"func" >
 |	< F:				"F" >
 |	< GLOBAL:			"global" >
@@ -1272,8 +1271,6 @@ Expression ExpressionBasic(boolean prop, boolean pathprop) :
 		ret = ExpressionForAll(prop, pathprop)
 	|
 		ret = ExpressionLabel(prop, pathprop)
-	|
-		ret = ExpressionFilter(prop, pathprop)
 	)
 	{ return ret; }
 }
@@ -1594,23 +1591,6 @@ Expression ExpressionLabel(boolean prop, boolean pathprop) :
 	{ ret = new ExpressionLabel(s); ret.setPosition(begin, getToken(0)); return ret; }
 }
 
-// (Property) expression: filter (using "filter" keyword)
-
-Expression ExpressionFilter(boolean prop, boolean pathprop) :
-{
-	String s = null;
-	ExpressionFunc func = null;
-	Token begin = null;
-}
-{
-	// This production is only allowed in expressions if the "prop" parameter is true
-	{ if (!prop) throw generateParseException(); }
-	
-	( begin = <FILTER> { s = "min"; } | begin = <MAX> { s = "max"; } ) 
-	{ func = new ExpressionFunc(s); } <LPARENTH>  ExpressionFuncArgs(prop, pathprop, func) <RPARENTH>
-	{ func.setPosition(begin, getToken(0)); return func; }
-}
-
 //-----------------------------------------------------------------------------------
 // Miscellaneous stuff
 //-----------------------------------------------------------------------------------