| <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> |
| <html lang="en"> |
| <head> |
| <title>Source code</title> |
| <link rel="stylesheet" type="text/css" href="../../../../../../javadoc.css" title="Style"> |
| </head> |
| <body> |
| <div class="sourceContainer"> |
| <pre><span class="sourceLineNo">001</span>// ***************************************************************************************************************************<a name="line.1"></a> |
| <span class="sourceLineNo">002</span>// * Licensed to the Apache Software Foundation (ASF) under one or more contributor license agreements. See the NOTICE file *<a name="line.2"></a> |
| <span class="sourceLineNo">003</span>// * distributed with this work for additional information regarding copyright ownership. The ASF licenses this file *<a name="line.3"></a> |
| <span class="sourceLineNo">004</span>// * to you under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance *<a name="line.4"></a> |
| <span class="sourceLineNo">005</span>// * with the License. You may obtain a copy of the License at *<a name="line.5"></a> |
| <span class="sourceLineNo">006</span>// * *<a name="line.6"></a> |
| <span class="sourceLineNo">007</span>// * http://www.apache.org/licenses/LICENSE-2.0 *<a name="line.7"></a> |
| <span class="sourceLineNo">008</span>// * *<a name="line.8"></a> |
| <span class="sourceLineNo">009</span>// * Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an *<a name="line.9"></a> |
| <span class="sourceLineNo">010</span>// * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the *<a name="line.10"></a> |
| <span class="sourceLineNo">011</span>// * specific language governing permissions and limitations under the License. *<a name="line.11"></a> |
| <span class="sourceLineNo">012</span>// ***************************************************************************************************************************<a name="line.12"></a> |
| <span class="sourceLineNo">013</span>package org.apache.juneau.rest.guards;<a name="line.13"></a> |
| <span class="sourceLineNo">014</span><a name="line.14"></a> |
| <span class="sourceLineNo">015</span>import java.text.*;<a name="line.15"></a> |
| <span class="sourceLineNo">016</span>import java.util.*;<a name="line.16"></a> |
| <span class="sourceLineNo">017</span>import java.util.regex.*;<a name="line.17"></a> |
| <span class="sourceLineNo">018</span><a name="line.18"></a> |
| <span class="sourceLineNo">019</span>import org.apache.juneau.internal.*;<a name="line.19"></a> |
| <span class="sourceLineNo">020</span><a name="line.20"></a> |
| <span class="sourceLineNo">021</span>import static org.apache.juneau.internal.StateMachineState.*;<a name="line.21"></a> |
| <span class="sourceLineNo">022</span><a name="line.22"></a> |
| <span class="sourceLineNo">023</span>/**<a name="line.23"></a> |
| <span class="sourceLineNo">024</span> * Utility class for matching JEE user roles against string expressions.<a name="line.24"></a> |
| <span class="sourceLineNo">025</span> *<a name="line.25"></a> |
| <span class="sourceLineNo">026</span> * <p><a name="line.26"></a> |
| <span class="sourceLineNo">027</span> * Supports the following expression constructs:<a name="line.27"></a> |
| <span class="sourceLineNo">028</span> * <ul><a name="line.28"></a> |
| <span class="sourceLineNo">029</span> * <li><js>"foo"</js> - Single arguments.<a name="line.29"></a> |
| <span class="sourceLineNo">030</span> * <li><js>"foo,bar,baz"</js> - Multiple OR'ed arguments.<a name="line.30"></a> |
| <span class="sourceLineNo">031</span> * <li><js>"foo | bar | bqz"</js> - Multiple OR'ed arguments, pipe syntax.<a name="line.31"></a> |
| <span class="sourceLineNo">032</span> * <li><js>"foo || bar || bqz"</js> - Multiple OR'ed arguments, Java-OR syntax.<a name="line.32"></a> |
| <span class="sourceLineNo">033</span> * <li><js>"fo*"</js> - Patterns including <js>'*'</js> and <js>'?'</js>.<a name="line.33"></a> |
| <span class="sourceLineNo">034</span> * <li><js>"fo* &amp; *oo"</js> - Multiple AND'ed arguments, ampersand syntax.<a name="line.34"></a> |
| <span class="sourceLineNo">035</span> * <li><js>"fo* &amp;&amp; *oo"</js> - Multiple AND'ed arguments, Java-AND syntax.<a name="line.35"></a> |
| <span class="sourceLineNo">036</span> * <li><js>"fo* || (*oo || bar)"</js> - Parenthesis.<a name="line.36"></a> |
| <span class="sourceLineNo">037</span> * </ul><a name="line.37"></a> |
| <span class="sourceLineNo">038</span> *<a name="line.38"></a> |
| <span class="sourceLineNo">039</span> * <ul class='notes'><a name="line.39"></a> |
| <span class="sourceLineNo">040</span> * <li>AND operations take precedence over OR operations (as expected).<a name="line.40"></a> |
| <span class="sourceLineNo">041</span> * <li>Whitespace is ignored.<a name="line.41"></a> |
| <span class="sourceLineNo">042</span> * <li><jk>null</jk> or empty expressions always match as <jk>false</jk>.<a name="line.42"></a> |
| <span class="sourceLineNo">043</span> * </ul><a name="line.43"></a> |
| <span class="sourceLineNo">044</span> */<a name="line.44"></a> |
| <span class="sourceLineNo">045</span>public class RoleMatcher {<a name="line.45"></a> |
| <span class="sourceLineNo">046</span><a name="line.46"></a> |
| <span class="sourceLineNo">047</span> private final Exp exp;<a name="line.47"></a> |
| <span class="sourceLineNo">048</span> private static final AsciiSet<a name="line.48"></a> |
| <span class="sourceLineNo">049</span> WS = AsciiSet.create(" \t"),<a name="line.49"></a> |
| <span class="sourceLineNo">050</span> OP = AsciiSet.create(",|&"),<a name="line.50"></a> |
| <span class="sourceLineNo">051</span> META = AsciiSet.create("*?");<a name="line.51"></a> |
| <span class="sourceLineNo">052</span><a name="line.52"></a> |
| <span class="sourceLineNo">053</span> /**<a name="line.53"></a> |
| <span class="sourceLineNo">054</span> * Constructor.<a name="line.54"></a> |
| <span class="sourceLineNo">055</span> *<a name="line.55"></a> |
| <span class="sourceLineNo">056</span> * @param expression The string expression.<a name="line.56"></a> |
| <span class="sourceLineNo">057</span> * @throws ParseException If the expression is malformed.<a name="line.57"></a> |
| <span class="sourceLineNo">058</span> */<a name="line.58"></a> |
| <span class="sourceLineNo">059</span> public RoleMatcher(String expression) throws ParseException {<a name="line.59"></a> |
| <span class="sourceLineNo">060</span> this.exp = parse(expression);<a name="line.60"></a> |
| <span class="sourceLineNo">061</span> }<a name="line.61"></a> |
| <span class="sourceLineNo">062</span><a name="line.62"></a> |
| <span class="sourceLineNo">063</span> /**<a name="line.63"></a> |
| <span class="sourceLineNo">064</span> * Returns <jk>true</jk> if the specified string matches this expression.<a name="line.64"></a> |
| <span class="sourceLineNo">065</span> *<a name="line.65"></a> |
| <span class="sourceLineNo">066</span> * @param roles The user roles.<a name="line.66"></a> |
| <span class="sourceLineNo">067</span> * @return<a name="line.67"></a> |
| <span class="sourceLineNo">068</span> * <jk>true</jk> if the specified string matches this expression.<a name="line.68"></a> |
| <span class="sourceLineNo">069</span> * <br>Always <jk>false</jk> if the string is <jk>null</jk>.<a name="line.69"></a> |
| <span class="sourceLineNo">070</span> */<a name="line.70"></a> |
| <span class="sourceLineNo">071</span> public boolean matches(Set<String> roles) {<a name="line.71"></a> |
| <span class="sourceLineNo">072</span> return roles != null && exp.matches(roles);<a name="line.72"></a> |
| <span class="sourceLineNo">073</span> }<a name="line.73"></a> |
| <span class="sourceLineNo">074</span><a name="line.74"></a> |
| <span class="sourceLineNo">075</span> @Override /* Object */<a name="line.75"></a> |
| <span class="sourceLineNo">076</span> public String toString() {<a name="line.76"></a> |
| <span class="sourceLineNo">077</span> return exp.toString();<a name="line.77"></a> |
| <span class="sourceLineNo">078</span> }<a name="line.78"></a> |
| <span class="sourceLineNo">079</span><a name="line.79"></a> |
| <span class="sourceLineNo">080</span> /**<a name="line.80"></a> |
| <span class="sourceLineNo">081</span> * Returns all the tokens used in this expression.<a name="line.81"></a> |
| <span class="sourceLineNo">082</span> *<a name="line.82"></a> |
| <span class="sourceLineNo">083</span> * @return All the tokens used in this expression.<a name="line.83"></a> |
| <span class="sourceLineNo">084</span> */<a name="line.84"></a> |
| <span class="sourceLineNo">085</span> public Set<String> getRolesInExpression() {<a name="line.85"></a> |
| <span class="sourceLineNo">086</span> Set<String> set = new TreeSet<>();<a name="line.86"></a> |
| <span class="sourceLineNo">087</span> exp.appendTokens(set);<a name="line.87"></a> |
| <span class="sourceLineNo">088</span> return set;<a name="line.88"></a> |
| <span class="sourceLineNo">089</span> }<a name="line.89"></a> |
| <span class="sourceLineNo">090</span><a name="line.90"></a> |
| <span class="sourceLineNo">091</span> private Exp parse(String expression) throws ParseException {<a name="line.91"></a> |
| <span class="sourceLineNo">092</span> if (StringUtils.isEmptyOrBlank(expression))<a name="line.92"></a> |
| <span class="sourceLineNo">093</span> return new Never();<a name="line.93"></a> |
| <span class="sourceLineNo">094</span><a name="line.94"></a> |
| <span class="sourceLineNo">095</span> expression = expression.trim();<a name="line.95"></a> |
| <span class="sourceLineNo">096</span><a name="line.96"></a> |
| <span class="sourceLineNo">097</span> List<Exp> ors = new ArrayList<>();<a name="line.97"></a> |
| <span class="sourceLineNo">098</span> List<Exp> ands = new ArrayList<>();<a name="line.98"></a> |
| <span class="sourceLineNo">099</span><a name="line.99"></a> |
| <span class="sourceLineNo">100</span> StateMachineState state = S01;<a name="line.100"></a> |
| <span class="sourceLineNo">101</span> int i = 0, mark = -1;<a name="line.101"></a> |
| <span class="sourceLineNo">102</span> int pDepth = 0;<a name="line.102"></a> |
| <span class="sourceLineNo">103</span> boolean error = false;<a name="line.103"></a> |
| <span class="sourceLineNo">104</span><a name="line.104"></a> |
| <span class="sourceLineNo">105</span> for (i = 0; i < expression.length(); i++) {<a name="line.105"></a> |
| <span class="sourceLineNo">106</span> char c = expression.charAt(i);<a name="line.106"></a> |
| <span class="sourceLineNo">107</span> if (state == S01) {<a name="line.107"></a> |
| <span class="sourceLineNo">108</span> // S01 = Looking for start<a name="line.108"></a> |
| <span class="sourceLineNo">109</span> if (! WS.contains(c)) {<a name="line.109"></a> |
| <span class="sourceLineNo">110</span> if (c == '(') {<a name="line.110"></a> |
| <span class="sourceLineNo">111</span> state = S02;<a name="line.111"></a> |
| <span class="sourceLineNo">112</span> pDepth = 0;<a name="line.112"></a> |
| <span class="sourceLineNo">113</span> mark = i+1;<a name="line.113"></a> |
| <span class="sourceLineNo">114</span> } else if (OP.contains(c)) {<a name="line.114"></a> |
| <span class="sourceLineNo">115</span> error = true;<a name="line.115"></a> |
| <span class="sourceLineNo">116</span> break;<a name="line.116"></a> |
| <span class="sourceLineNo">117</span> } else {<a name="line.117"></a> |
| <span class="sourceLineNo">118</span> state = S03;<a name="line.118"></a> |
| <span class="sourceLineNo">119</span> mark = i;<a name="line.119"></a> |
| <span class="sourceLineNo">120</span> }<a name="line.120"></a> |
| <span class="sourceLineNo">121</span> }<a name="line.121"></a> |
| <span class="sourceLineNo">122</span> } else if (state == S02) {<a name="line.122"></a> |
| <span class="sourceLineNo">123</span> // S02 = Found [(], looking for [)].<a name="line.123"></a> |
| <span class="sourceLineNo">124</span> if (c == '(')<a name="line.124"></a> |
| <span class="sourceLineNo">125</span> pDepth++;<a name="line.125"></a> |
| <span class="sourceLineNo">126</span> if (c == ')') {<a name="line.126"></a> |
| <span class="sourceLineNo">127</span> if (pDepth > 0)<a name="line.127"></a> |
| <span class="sourceLineNo">128</span> pDepth--;<a name="line.128"></a> |
| <span class="sourceLineNo">129</span> else {<a name="line.129"></a> |
| <span class="sourceLineNo">130</span> ands.add(parse(expression.substring(mark, i)));<a name="line.130"></a> |
| <span class="sourceLineNo">131</span> mark = -1;<a name="line.131"></a> |
| <span class="sourceLineNo">132</span> state = S04;<a name="line.132"></a> |
| <span class="sourceLineNo">133</span> }<a name="line.133"></a> |
| <span class="sourceLineNo">134</span> }<a name="line.134"></a> |
| <span class="sourceLineNo">135</span> } else if (state == S03) {<a name="line.135"></a> |
| <span class="sourceLineNo">136</span> // S03 = Found [A], looking for end of A.<a name="line.136"></a> |
| <span class="sourceLineNo">137</span> if (WS.contains(c) || OP.contains(c)) {<a name="line.137"></a> |
| <span class="sourceLineNo">138</span> ands.add(parseOperand(expression.substring(mark, i)));<a name="line.138"></a> |
| <span class="sourceLineNo">139</span> mark = -1;<a name="line.139"></a> |
| <span class="sourceLineNo">140</span> if (WS.contains(c)) {<a name="line.140"></a> |
| <span class="sourceLineNo">141</span> state = S04;<a name="line.141"></a> |
| <span class="sourceLineNo">142</span> } else {<a name="line.142"></a> |
| <span class="sourceLineNo">143</span> i--;<a name="line.143"></a> |
| <span class="sourceLineNo">144</span> state = S05;<a name="line.144"></a> |
| <span class="sourceLineNo">145</span> }<a name="line.145"></a> |
| <span class="sourceLineNo">146</span> }<a name="line.146"></a> |
| <span class="sourceLineNo">147</span> } else if (state == S04) {<a name="line.147"></a> |
| <span class="sourceLineNo">148</span> // S04 = Found [A ], looking for & or | or ,.<a name="line.148"></a> |
| <span class="sourceLineNo">149</span> if (! WS.contains(c)) {<a name="line.149"></a> |
| <span class="sourceLineNo">150</span> if (OP.contains(c)) {<a name="line.150"></a> |
| <span class="sourceLineNo">151</span> i--;<a name="line.151"></a> |
| <span class="sourceLineNo">152</span> state = S05;<a name="line.152"></a> |
| <span class="sourceLineNo">153</span> } else {<a name="line.153"></a> |
| <span class="sourceLineNo">154</span> error = true;<a name="line.154"></a> |
| <span class="sourceLineNo">155</span> break;<a name="line.155"></a> |
| <span class="sourceLineNo">156</span> }<a name="line.156"></a> |
| <span class="sourceLineNo">157</span> }<a name="line.157"></a> |
| <span class="sourceLineNo">158</span> } else if (state == S05) {<a name="line.158"></a> |
| <span class="sourceLineNo">159</span> // S05 = Found & or | or ,.<a name="line.159"></a> |
| <span class="sourceLineNo">160</span> if (c == '&') {<a name="line.160"></a> |
| <span class="sourceLineNo">161</span> //ands.add(operand);<a name="line.161"></a> |
| <span class="sourceLineNo">162</span> state = S06;<a name="line.162"></a> |
| <span class="sourceLineNo">163</span> } else /* (c == '|' || c == ',') */ {<a name="line.163"></a> |
| <span class="sourceLineNo">164</span> if (ands.size() == 1) {<a name="line.164"></a> |
| <span class="sourceLineNo">165</span> ors.add(ands.get(0));<a name="line.165"></a> |
| <span class="sourceLineNo">166</span> } else {<a name="line.166"></a> |
| <span class="sourceLineNo">167</span> ors.add(new And(ands));<a name="line.167"></a> |
| <span class="sourceLineNo">168</span> }<a name="line.168"></a> |
| <span class="sourceLineNo">169</span> ands.clear();<a name="line.169"></a> |
| <span class="sourceLineNo">170</span> if (c == '|') {<a name="line.170"></a> |
| <span class="sourceLineNo">171</span> state = S07;<a name="line.171"></a> |
| <span class="sourceLineNo">172</span> } else {<a name="line.172"></a> |
| <span class="sourceLineNo">173</span> state = S01;<a name="line.173"></a> |
| <span class="sourceLineNo">174</span> }<a name="line.174"></a> |
| <span class="sourceLineNo">175</span> }<a name="line.175"></a> |
| <span class="sourceLineNo">176</span> } else if (state == S06) {<a name="line.176"></a> |
| <span class="sourceLineNo">177</span> // S06 = Found &, looking for & or other<a name="line.177"></a> |
| <span class="sourceLineNo">178</span> if (! WS.contains(c)) {<a name="line.178"></a> |
| <span class="sourceLineNo">179</span> if (c != '&')<a name="line.179"></a> |
| <span class="sourceLineNo">180</span> i--;<a name="line.180"></a> |
| <span class="sourceLineNo">181</span> state = S01;<a name="line.181"></a> |
| <span class="sourceLineNo">182</span> }<a name="line.182"></a> |
| <span class="sourceLineNo">183</span> } else /* (state == S07) */ {<a name="line.183"></a> |
| <span class="sourceLineNo">184</span> // S07 = Found |, looking for | or other<a name="line.184"></a> |
| <span class="sourceLineNo">185</span> if (! WS.contains(c)) {<a name="line.185"></a> |
| <span class="sourceLineNo">186</span> if (c != '|')<a name="line.186"></a> |
| <span class="sourceLineNo">187</span> i--;<a name="line.187"></a> |
| <span class="sourceLineNo">188</span> state = S01;<a name="line.188"></a> |
| <span class="sourceLineNo">189</span> }<a name="line.189"></a> |
| <span class="sourceLineNo">190</span> }<a name="line.190"></a> |
| <span class="sourceLineNo">191</span> }<a name="line.191"></a> |
| <span class="sourceLineNo">192</span><a name="line.192"></a> |
| <span class="sourceLineNo">193</span> if (error)<a name="line.193"></a> |
| <span class="sourceLineNo">194</span> throw new ParseException("Invalid character in expression '"+expression+"' at position " + i + ". state=" + state, i);<a name="line.194"></a> |
| <span class="sourceLineNo">195</span><a name="line.195"></a> |
| <span class="sourceLineNo">196</span> if (state == S01)<a name="line.196"></a> |
| <span class="sourceLineNo">197</span> throw new ParseException("Could not find beginning of clause in '"+expression+"'", i);<a name="line.197"></a> |
| <span class="sourceLineNo">198</span> if (state == S02)<a name="line.198"></a> |
| <span class="sourceLineNo">199</span> throw new ParseException("Could not find matching parenthesis in expression '"+expression+"'", i);<a name="line.199"></a> |
| <span class="sourceLineNo">200</span> if (state == S05 || state == S06 || state == S07)<a name="line.200"></a> |
| <span class="sourceLineNo">201</span> throw new ParseException("Dangling clause in expression '"+expression+"'", i);<a name="line.201"></a> |
| <span class="sourceLineNo">202</span><a name="line.202"></a> |
| <span class="sourceLineNo">203</span> if (mark != -1)<a name="line.203"></a> |
| <span class="sourceLineNo">204</span> ands.add(parseOperand(expression.substring(mark, expression.length())));<a name="line.204"></a> |
| <span class="sourceLineNo">205</span> if (ands.size() == 1)<a name="line.205"></a> |
| <span class="sourceLineNo">206</span> ors.add(ands.get(0));<a name="line.206"></a> |
| <span class="sourceLineNo">207</span> else<a name="line.207"></a> |
| <span class="sourceLineNo">208</span> ors.add(new And(ands));<a name="line.208"></a> |
| <span class="sourceLineNo">209</span><a name="line.209"></a> |
| <span class="sourceLineNo">210</span> if (ors.size() == 1)<a name="line.210"></a> |
| <span class="sourceLineNo">211</span> return ors.get(0);<a name="line.211"></a> |
| <span class="sourceLineNo">212</span> return new Or(ors);<a name="line.212"></a> |
| <span class="sourceLineNo">213</span> }<a name="line.213"></a> |
| <span class="sourceLineNo">214</span><a name="line.214"></a> |
| <span class="sourceLineNo">215</span> private static Exp parseOperand(String operand) {<a name="line.215"></a> |
| <span class="sourceLineNo">216</span> boolean hasMeta = false;<a name="line.216"></a> |
| <span class="sourceLineNo">217</span> for (int i = 0; i < operand.length() && ! hasMeta; i++) {<a name="line.217"></a> |
| <span class="sourceLineNo">218</span> char c = operand.charAt(i);<a name="line.218"></a> |
| <span class="sourceLineNo">219</span> hasMeta |= META.contains(c);<a name="line.219"></a> |
| <span class="sourceLineNo">220</span> }<a name="line.220"></a> |
| <span class="sourceLineNo">221</span> return hasMeta ? new Match(operand) : new Eq(operand);<a name="line.221"></a> |
| <span class="sourceLineNo">222</span> }<a name="line.222"></a> |
| <span class="sourceLineNo">223</span><a name="line.223"></a> |
| <span class="sourceLineNo">224</span> //-----------------------------------------------------------------------------------------------------------------<a name="line.224"></a> |
| <span class="sourceLineNo">225</span> // Expression classes<a name="line.225"></a> |
| <span class="sourceLineNo">226</span> //-----------------------------------------------------------------------------------------------------------------<a name="line.226"></a> |
| <span class="sourceLineNo">227</span><a name="line.227"></a> |
| <span class="sourceLineNo">228</span> abstract static class Exp {<a name="line.228"></a> |
| <span class="sourceLineNo">229</span><a name="line.229"></a> |
| <span class="sourceLineNo">230</span> abstract boolean matches(Set<String> roles);<a name="line.230"></a> |
| <span class="sourceLineNo">231</span><a name="line.231"></a> |
| <span class="sourceLineNo">232</span> void appendTokens(Set<String> set) {}<a name="line.232"></a> |
| <span class="sourceLineNo">233</span> }<a name="line.233"></a> |
| <span class="sourceLineNo">234</span><a name="line.234"></a> |
| <span class="sourceLineNo">235</span> static class Never extends Exp {<a name="line.235"></a> |
| <span class="sourceLineNo">236</span> @Override<a name="line.236"></a> |
| <span class="sourceLineNo">237</span> boolean matches(Set<String> roles) {<a name="line.237"></a> |
| <span class="sourceLineNo">238</span> return false;<a name="line.238"></a> |
| <span class="sourceLineNo">239</span> }<a name="line.239"></a> |
| <span class="sourceLineNo">240</span><a name="line.240"></a> |
| <span class="sourceLineNo">241</span> @Override /* Object */<a name="line.241"></a> |
| <span class="sourceLineNo">242</span> public String toString() {<a name="line.242"></a> |
| <span class="sourceLineNo">243</span> return "(NEVER)";<a name="line.243"></a> |
| <span class="sourceLineNo">244</span> }<a name="line.244"></a> |
| <span class="sourceLineNo">245</span> }<a name="line.245"></a> |
| <span class="sourceLineNo">246</span><a name="line.246"></a> |
| <span class="sourceLineNo">247</span> static class And extends Exp {<a name="line.247"></a> |
| <span class="sourceLineNo">248</span> Exp[] clauses;<a name="line.248"></a> |
| <span class="sourceLineNo">249</span><a name="line.249"></a> |
| <span class="sourceLineNo">250</span> And(List<Exp> clauses) {<a name="line.250"></a> |
| <span class="sourceLineNo">251</span> this.clauses = clauses.toArray(new Exp[clauses.size()]);<a name="line.251"></a> |
| <span class="sourceLineNo">252</span> }<a name="line.252"></a> |
| <span class="sourceLineNo">253</span><a name="line.253"></a> |
| <span class="sourceLineNo">254</span> @Override /* Exp */<a name="line.254"></a> |
| <span class="sourceLineNo">255</span> boolean matches(Set<String> roles) {<a name="line.255"></a> |
| <span class="sourceLineNo">256</span> for (Exp e : clauses)<a name="line.256"></a> |
| <span class="sourceLineNo">257</span> if (! e.matches(roles))<a name="line.257"></a> |
| <span class="sourceLineNo">258</span> return false;<a name="line.258"></a> |
| <span class="sourceLineNo">259</span> return true;<a name="line.259"></a> |
| <span class="sourceLineNo">260</span> }<a name="line.260"></a> |
| <span class="sourceLineNo">261</span><a name="line.261"></a> |
| <span class="sourceLineNo">262</span> @Override /* Exp */<a name="line.262"></a> |
| <span class="sourceLineNo">263</span> void appendTokens(Set<String> set) {<a name="line.263"></a> |
| <span class="sourceLineNo">264</span> for (Exp clause : clauses)<a name="line.264"></a> |
| <span class="sourceLineNo">265</span> clause.appendTokens(set);<a name="line.265"></a> |
| <span class="sourceLineNo">266</span> }<a name="line.266"></a> |
| <span class="sourceLineNo">267</span><a name="line.267"></a> |
| <span class="sourceLineNo">268</span> @Override /* Object */<a name="line.268"></a> |
| <span class="sourceLineNo">269</span> public String toString() {<a name="line.269"></a> |
| <span class="sourceLineNo">270</span> return "(& " + StringUtils.join(clauses, " ") + ')';<a name="line.270"></a> |
| <span class="sourceLineNo">271</span> }<a name="line.271"></a> |
| <span class="sourceLineNo">272</span> }<a name="line.272"></a> |
| <span class="sourceLineNo">273</span><a name="line.273"></a> |
| <span class="sourceLineNo">274</span> static class Or extends Exp {<a name="line.274"></a> |
| <span class="sourceLineNo">275</span> Exp[] clauses;<a name="line.275"></a> |
| <span class="sourceLineNo">276</span><a name="line.276"></a> |
| <span class="sourceLineNo">277</span> Or(List<Exp> clauses) {<a name="line.277"></a> |
| <span class="sourceLineNo">278</span> this.clauses = clauses.toArray(new Exp[clauses.size()]);<a name="line.278"></a> |
| <span class="sourceLineNo">279</span> }<a name="line.279"></a> |
| <span class="sourceLineNo">280</span><a name="line.280"></a> |
| <span class="sourceLineNo">281</span> @Override<a name="line.281"></a> |
| <span class="sourceLineNo">282</span> boolean matches(Set<String> roles) {<a name="line.282"></a> |
| <span class="sourceLineNo">283</span> for (Exp e : clauses)<a name="line.283"></a> |
| <span class="sourceLineNo">284</span> if (e.matches(roles))<a name="line.284"></a> |
| <span class="sourceLineNo">285</span> return true;<a name="line.285"></a> |
| <span class="sourceLineNo">286</span> return false;<a name="line.286"></a> |
| <span class="sourceLineNo">287</span> }<a name="line.287"></a> |
| <span class="sourceLineNo">288</span><a name="line.288"></a> |
| <span class="sourceLineNo">289</span> @Override /* Exp */<a name="line.289"></a> |
| <span class="sourceLineNo">290</span> void appendTokens(Set<String> set) {<a name="line.290"></a> |
| <span class="sourceLineNo">291</span> for (Exp clause : clauses)<a name="line.291"></a> |
| <span class="sourceLineNo">292</span> clause.appendTokens(set);<a name="line.292"></a> |
| <span class="sourceLineNo">293</span> }<a name="line.293"></a> |
| <span class="sourceLineNo">294</span><a name="line.294"></a> |
| <span class="sourceLineNo">295</span> @Override /* Object */<a name="line.295"></a> |
| <span class="sourceLineNo">296</span> public String toString() {<a name="line.296"></a> |
| <span class="sourceLineNo">297</span> return "(| " + StringUtils.join(clauses, " ") + ')';<a name="line.297"></a> |
| <span class="sourceLineNo">298</span> }<a name="line.298"></a> |
| <span class="sourceLineNo">299</span> }<a name="line.299"></a> |
| <span class="sourceLineNo">300</span><a name="line.300"></a> |
| <span class="sourceLineNo">301</span> static class Eq extends Exp {<a name="line.301"></a> |
| <span class="sourceLineNo">302</span> final String operand;<a name="line.302"></a> |
| <span class="sourceLineNo">303</span><a name="line.303"></a> |
| <span class="sourceLineNo">304</span> Eq(String operand) {<a name="line.304"></a> |
| <span class="sourceLineNo">305</span> this.operand = operand;<a name="line.305"></a> |
| <span class="sourceLineNo">306</span> }<a name="line.306"></a> |
| <span class="sourceLineNo">307</span><a name="line.307"></a> |
| <span class="sourceLineNo">308</span> @Override /* Exp */<a name="line.308"></a> |
| <span class="sourceLineNo">309</span> boolean matches(Set<String> roles) {<a name="line.309"></a> |
| <span class="sourceLineNo">310</span> for (String role : roles)<a name="line.310"></a> |
| <span class="sourceLineNo">311</span> if (operand.equals(role))<a name="line.311"></a> |
| <span class="sourceLineNo">312</span> return true;<a name="line.312"></a> |
| <span class="sourceLineNo">313</span> return false;<a name="line.313"></a> |
| <span class="sourceLineNo">314</span> }<a name="line.314"></a> |
| <span class="sourceLineNo">315</span><a name="line.315"></a> |
| <span class="sourceLineNo">316</span> @Override /* Exp */<a name="line.316"></a> |
| <span class="sourceLineNo">317</span> void appendTokens(Set<String> set) {<a name="line.317"></a> |
| <span class="sourceLineNo">318</span> set.add(operand);<a name="line.318"></a> |
| <span class="sourceLineNo">319</span> }<a name="line.319"></a> |
| <span class="sourceLineNo">320</span><a name="line.320"></a> |
| <span class="sourceLineNo">321</span> @Override /* Object */<a name="line.321"></a> |
| <span class="sourceLineNo">322</span> public String toString() {<a name="line.322"></a> |
| <span class="sourceLineNo">323</span> return "[= " + operand + "]";<a name="line.323"></a> |
| <span class="sourceLineNo">324</span> }<a name="line.324"></a> |
| <span class="sourceLineNo">325</span> }<a name="line.325"></a> |
| <span class="sourceLineNo">326</span><a name="line.326"></a> |
| <span class="sourceLineNo">327</span> static class Match extends Exp {<a name="line.327"></a> |
| <span class="sourceLineNo">328</span> final Pattern p;<a name="line.328"></a> |
| <span class="sourceLineNo">329</span> final String operand;<a name="line.329"></a> |
| <span class="sourceLineNo">330</span><a name="line.330"></a> |
| <span class="sourceLineNo">331</span> Match(String operand) {<a name="line.331"></a> |
| <span class="sourceLineNo">332</span> this.operand = operand;<a name="line.332"></a> |
| <span class="sourceLineNo">333</span> p = StringUtils.getMatchPattern(operand);<a name="line.333"></a> |
| <span class="sourceLineNo">334</span> }<a name="line.334"></a> |
| <span class="sourceLineNo">335</span><a name="line.335"></a> |
| <span class="sourceLineNo">336</span> @Override /* Exp */<a name="line.336"></a> |
| <span class="sourceLineNo">337</span> boolean matches(Set<String> roles) {<a name="line.337"></a> |
| <span class="sourceLineNo">338</span> for (String role : roles)<a name="line.338"></a> |
| <span class="sourceLineNo">339</span> if (p.matcher(role).matches())<a name="line.339"></a> |
| <span class="sourceLineNo">340</span> return true;<a name="line.340"></a> |
| <span class="sourceLineNo">341</span> return false;<a name="line.341"></a> |
| <span class="sourceLineNo">342</span> }<a name="line.342"></a> |
| <span class="sourceLineNo">343</span><a name="line.343"></a> |
| <span class="sourceLineNo">344</span> @Override /* Exp */<a name="line.344"></a> |
| <span class="sourceLineNo">345</span> void appendTokens(Set<String> set) {<a name="line.345"></a> |
| <span class="sourceLineNo">346</span> set.add(operand);<a name="line.346"></a> |
| <span class="sourceLineNo">347</span> }<a name="line.347"></a> |
| <span class="sourceLineNo">348</span><a name="line.348"></a> |
| <span class="sourceLineNo">349</span> @Override /* Object */<a name="line.349"></a> |
| <span class="sourceLineNo">350</span> public String toString() {<a name="line.350"></a> |
| <span class="sourceLineNo">351</span> return "[* " + p.pattern().replaceAll("\\\\[QE]", "") + "]";<a name="line.351"></a> |
| <span class="sourceLineNo">352</span> }<a name="line.352"></a> |
| <span class="sourceLineNo">353</span> }<a name="line.353"></a> |
| <span class="sourceLineNo">354</span>}<a name="line.354"></a> |
| <span class="sourceLineNo">355</span><a name="line.355"></a> |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| </pre> |
| </div> |
| </body> |
| </html> |