📄 filter.java
字号:
/* * JORAM: Java(TM) Open Reliable Asynchronous Messaging * Copyright (C) 2001 - 2004 ScalAgent Distributed Technologies * Copyright (C) 2004 - Bull SA * Copyright (C) 1996 - 2000 Dyade * * This library is free software; you can redistribute it and/or * modify it under the terms of the GNU Lesser General Public * License as published by the Free Software Foundation; either * version 2.1 of the License, or any later version. * * This library is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public * License along with this library; if not, write to the Free Software * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 * USA. * * Initial developer(s): Frederic Maistre (INRIA) * Contributor(s): Nicolas Tachker (Bull SA) * ScalAgent Distributed Technologies *///----------------------------------------------------// The following code was generated by CUP v0.10j// Fri Jun 18 16:25:44 CEST 2004//----------------------------------------------------package org.objectweb.joram.shared.selectors;import java_cup.runtime.*;import org.objectweb.joram.shared.messages.Message;/** CUP v0.10j generated parser. * @version Fri Jun 18 16:25:44 CEST 2004 */public class Filter extends java_cup.runtime.lr_parser { /** Default constructor. */ public Filter() {super();} /** Constructor which sets the default scanner. */ public Filter(java_cup.runtime.Scanner s) {super(s);} /** Production table. */ protected static final short _production_table[][] = unpackFromStrings(new String[] { "\000\053\000\002\003\005\000\002\002\004\000\002\003" + "\005\000\002\003\004\000\002\003\003\000\002\004\005" + "\000\002\004\005\000\002\004\005\000\002\004\005\000" + "\002\004\005\000\002\004\005\000\002\004\005\000\002" + "\004\007\000\002\004\007\000\002\004\007\000\002\004" + "\010\000\002\004\005\000\002\004\006\000\002\004\007" + "\000\002\004\010\000\002\004\005\000\002\004\006\000" + "\002\004\003\000\002\005\005\000\002\005\003\000\002" + "\006\005\000\002\006\005\000\002\006\005\000\002\006" + "\005\000\002\006\004\000\002\006\004\000\002\006\004" + "\000\002\006\003\000\002\007\005\000\002\007\003\000" + "\002\007\003\000\002\007\003\000\002\007\003\000\002" + "\007\003\000\002\007\003\000\002\007\003\000\002\007" + "\003\000\002\007\003" }); /** Access to production table. */ public short[][] production_table() {return _production_table;} /** Parse-action table. */ protected static final short[][] _action_table = unpackFromStrings(new String[] { "\000\126\000\034\004\010\005\004\011\021\024\017\034" + "\013\035\022\036\006\037\011\040\005\041\024\042\007" + "\043\014\044\012\001\002\000\032\004\010\005\004\011" + "\046\034\013\035\022\036\006\037\011\040\005\041\024" + "\042\007\043\044\044\012\001\002\000\042\002\uffda\004" + "\uffda\005\uffda\007\uffda\010\uffda\012\uffda\014\uffda\015\uffda" + "\016\uffda\017\uffda\020\uffda\021\uffda\022\uffda\023\uffda\026" + "\uffda\027\uffda\001\002\000\042\002\uffdc\004\uffdc\005\uffdc" + "\007\uffdc\010\uffdc\012\uffdc\014\uffdc\015\uffdc\016\uffdc\017" + "\uffdc\020\uffdc\021\uffdc\022\uffdc\023\uffdc\026\uffdc\027\uffdc" + "\001\002\000\042\002\uffd7\004\uffd7\005\uffd7\007\uffd7\010" + "\uffd7\012\uffd7\014\uffd7\015\uffd7\016\uffd7\017\uffd7\020\uffd7" + "\021\uffd7\022\uffd7\023\uffd7\026\uffd7\027\uffd7\001\002\000" + "\032\004\010\005\004\011\046\034\013\035\022\036\006" + "\037\011\040\005\041\024\042\007\043\044\044\012\001" + "\002\000\066\002\uffdb\004\010\005\004\007\uffdb\010\uffdb" + "\011\046\012\uffdb\014\uffdb\015\uffdb\016\uffdb\017\uffdb\020" + "\uffdb\021\uffdb\022\uffdb\023\uffdb\026\uffdb\027\uffdb\034\013" + "\035\022\036\006\037\011\040\005\041\024\042\007\043" + "\044\044\012\001\002\000\042\002\uffd8\004\uffd8\005\uffd8" + "\007\uffd8\010\uffd8\012\uffd8\014\uffd8\015\uffd8\016\uffd8\017" + "\uffd8\020\uffd8\021\uffd8\022\uffd8\023\uffd8\026\uffd8\027\uffd8" + "\001\002\000\042\002\uffde\004\uffde\005\uffde\007\uffde\010" + "\uffde\012\uffde\014\uffde\015\uffde\016\uffde\017\uffde\020\uffde" + "\021\uffde\022\uffde\023\uffde\026\uffde\027\uffde\001\002\000" + "\052\002\uffdf\004\uffdf\005\uffdf\007\uffdf\010\uffdf\012\uffdf" + "\014\uffdf\015\uffdf\016\uffdf\017\uffdf\020\uffdf\021\uffdf\022" + "\uffdf\023\uffdf\024\100\025\076\026\uffdf\027\uffdf\030\077" + "\032\101\001\002\000\042\002\uffe1\004\uffe1\005\uffe1\007" + "\uffe1\010\uffe1\012\uffe1\014\uffe1\015\uffe1\016\uffe1\017\uffe1" + "\020\uffe1\021\uffe1\022\uffe1\023\uffe1\026\uffe1\027\uffe1\001" + "\002\000\010\002\075\022\070\023\071\001\002\000\034" + "\004\010\005\004\011\021\024\017\034\013\035\022\036" + "\006\037\011\040\005\041\024\042\007\043\014\044\012" + "\001\002\000\042\002\uffeb\004\033\005\027\007\042\010" + "\030\012\uffeb\014\040\015\031\016\043\017\035\020\034" + "\021\032\022\uffeb\023\uffeb\026\036\027\037\001\002\000" + "\034\004\010\005\004\011\021\024\017\034\013\035\022" + "\036\006\037\011\040\005\041\024\042\007\043\014\044" + "\012\001\002\000\042\002\uffdd\004\uffdd\005\uffdd\007\uffdd" + "\010\uffdd\012\uffdd\014\uffdd\015\uffdd\016\uffdd\017\uffdd\020" + "\uffdd\021\uffdd\022\uffdd\023\uffdd\026\uffdd\027\uffdd\001\002" + "\000\012\002\ufffd\012\ufffd\022\ufffd\023\ufffd\001\002\000" + "\042\002\uffd9\004\uffd9\005\uffd9\007\uffd9\010\uffd9\012\uffd9" + "\014\uffd9\015\uffd9\016\uffd9\017\uffd9\020\uffd9\021\uffd9\022" + "\uffd9\023\uffd9\026\uffd9\027\uffd9\001\002\000\010\012\067" + "\022\070\023\071\001\002\000\040\004\033\005\027\007" + "\042\010\030\012\041\014\040\015\031\016\043\017\035" + "\020\034\021\032\022\uffeb\023\uffeb\026\036\027\037\001" + "\002\000\032\004\010\005\004\011\046\034\013\035\022" + "\036\006\037\011\040\005\041\024\042\007\043\044\044" + "\012\001\002\000\032\004\010\005\004\011\046\034\013" + "\035\022\036\006\037\011\040\005\041\024\042\007\043" + "\044\044\012\001\002\000\032\004\010\005\004\011\046" + "\034\013\035\022\036\006\037\011\040\005\041\024\042" + "\007\043\044\044\012\001\002\000\032\004\010\005\004" + "\011\046\034\013\035\022\036\006\037\011\040\005\041" + "\024\042\007\043\044\044\012\001\002\000\032\004\010" + "\005\004\011\046\034\013\035\022\036\006\037\011\040" + "\005\041\024\042\007\043\044\044\012\001\002\000\032" + "\004\010\005\004\011\046\034\013\035\022\036\006\037" + "\011\040\005\041\024\042\007\043\044\044\012\001\002" + "\000\032\004\010\005\004\011\046\034\013\035\022\036" + "\006\037\011\040\005\041\024\042\007\043\044\044\012" + "\001\002\000\032\004\010\005\004\011\046\034\013\035" + "\022\036\006\037\011\040\005\041\024\042\007\043\044" + "\044\012\001\002\000\032\004\010\005\004\011\046\034" + "\013\035\022\036\006\037\011\040\005\041\024\042\007" + "\043\044\044\012\001\002\000\032\004\010\005\004\011" + "\046\034\013\035\022\036\006\037\011\040\005\041\024" + "\042\007\043\044\044\012\001\002\000\042\002\uffe0\004" + "\uffe0\005\uffe0\007\uffe0\010\uffe0\012\uffe0\014\uffe0\015\uffe0" + "\016\uffe0\017\uffe0\020\uffe0\021\uffe0\022\uffe0\023\uffe0\026" + "\uffe0\027\uffe0\001\002\000\032\004\010\005\004\011\046" + "\034\013\035\022\036\006\037\011\040\005\041\024\042" + "\007\043\044\044\012\001\002\000\032\004\010\005\004" + "\011\046\034\013\035\022\036\006\037\011\040\005\041" + "\024\042\007\043\044\044\012\001\002\000\042\002\uffdf" + "\004\uffdf\005\uffdf\007\uffdf\010\uffdf\012\uffdf\014\uffdf\015" + "\uffdf\016\uffdf\017\uffdf\020\uffdf\021\uffdf\022\uffdf\023\uffdf" + "\026\uffdf\027\uffdf\001\002\000\022\002\ufff9\004\033\005" + "\027\007\042\010\030\012\ufff9\022\ufff9\023\ufff9\001\002" + "\000\032\004\010\005\004\011\046\034\013\035\022\036" + "\006\037\011\040\005\041\024\042\007\043\044\044\012" + "\001\002\000\014\004\033\005\027\007\042\010\030\012" + "\041\001\002\000\042\002\uffe6\004\uffe6\005\uffe6\007\uffe6" + "\010\uffe6\012\uffe6\014\uffe6\015\uffe6\016\uffe6\017\uffe6\020" + "\uffe6\021\uffe6\022\uffe6\023\uffe6\026\uffe6\027\uffe6\001\002" + "\000\022\002\ufffb\004\033\005\027\007\042\010\030\012" + "\ufffb\022\ufffb\023\ufffb\001\002\000\014\004\033\005\027" + "\007\042\010\030\022\053\001\002\000\032\004\010\005" + "\004\011\046\034\013\035\022\036\006\037\011\040\005" + "\041\024\042\007\043\044\044\012\001\002\000\022\002" + "\ufff4\004\033\005\027\007\042\010\030\012\ufff4\022\ufff4" + "\023\ufff4\001\002\000\014\004\033\005\027\007\042\010" + "\030\022\056\001\002\000\032\004\010\005\004\011\046" + "\034\013\035\022\036\006\037\011\040\005\041\024\042" + "\007\043\044\044\012\001\002\000\022\002\ufff5\004\033" + "\005\027\007\042\010\030\012\ufff5\022\ufff5\023\ufff5\001" + "\002\000\022\002\ufff8\004\033\005\027\007\042\010\030" + "\012\ufff8\022\ufff8\023\ufff8\001\002\000\022\002\ufff7\004" + "\033\005\027\007\042\010\030\012\ufff7\022\ufff7\023\ufff7" + "\001\002\000\042\002\uffe8\004\uffe8\005\uffe8\007\042\010" + "\030\012\uffe8\014\uffe8\015\uffe8\016\uffe8\017\uffe8\020\uffe8" + "\021\uffe8\022\uffe8\023\uffe8\026\uffe8\027\uffe8\001\002\000" + "\022\002\ufff6\004\033\005\027\007\042\010\030\012\ufff6" + "\022\ufff6\023\ufff6\001\002\000\022\002\ufffa\004\033\005" + "\027\007\042\010\030\012\ufffa\022\ufffa\023\ufffa\001\002" + "\000\042\002\uffe5\004\uffe5\005\uffe5\007\uffe5\010\uffe5\012" + "\uffe5\014\uffe5\015\uffe5\016\uffe5\017\uffe5\020\uffe5\021\uffe5" + "\022\uffe5\023\uffe5\026\uffe5\027\uffe5\001\002\000\042\002" + "\uffe7\004\uffe7\005\uffe7\007\042\010\030\012\uffe7\014\uffe7" + "\015\uffe7\016\uffe7\017\uffe7\020\uffe7\021\uffe7\022\uffe7\023" + "\uffe7\026\uffe7\027\uffe7\001\002\000\012\002\ufffc\012\ufffc" + "\022\ufffc\023\ufffc\001\002\000\034\004\010\005\004\011" + "\021\024\017\034\013\035\022\036\006\037\011\040\005" + "\041\024\042\007\043\014\044\012\001\002\000\034\004" + "\010\005\004\011\021\024\017\034\013\035\022\036\006" + "\037\011\040\005\041\024\042\007\043\014\044\012\001" + "\002\000\012\002\001\012\001\022\070\023\001\001\002" + "\000\012\002\uffff\012\uffff\022\uffff\023\uffff\001\002\000" + "\012\002\ufffe\012\ufffe\022\ufffe\023\ufffe\001\002\000\004" + "\002\000\001\002\000\004\044\123\001\002\000\004\011" + "\120\001\002\000\006\025\105\030\106\001\002\000\006" + "\024\102\033\103\001\002\000\004\033\104\001\002\000" + "\012\002\uffed\012\uffed\022\uffed\023\uffed\001\002\000\012" + "\002\uffec\012\uffec\022\uffec\023\uffec\001\002\000\004\044" + "\115\001\002\000\004\011\107\001\002\000\004\044\111" + "\001\002\000\006\012\113\013\112\001\002\000\006\012" + "\uffe9\013\uffe9\001\002\000\004\044\114\001\002\000\012" + "\002\ufff2\012\ufff2\022\ufff2\023\ufff2\001\002\000\006\012" + "\uffea\013\uffea\001\002\000\014\002\ufff0\012\ufff0\022\ufff0" + "\023\ufff0\031\116\001\002\000\004\044\117\001\002\000" + "\012\002\uffee\012\uffee\022\uffee\023\uffee\001\002\000\004" + "\044\111\001\002\000\006\012\122\013\112\001\002\000" + "\012\002\ufff3\012\ufff3\022\ufff3\023\ufff3\001\002\000\014" + "\002\ufff1\012\ufff1\022\ufff1\023\ufff1\031\124\001\002\000" + "\004\044\125\001\002\000\012\002\uffef\012\uffef\022\uffef" + "\023\uffef\001\002\000\042\002\uffe2\004\033\005\027\007" + "\042\010\030\012\uffe2\014\uffe2\015\uffe2\016\uffe2\017\uffe2" + "\020\uffe2\021\uffe2\022\uffe2\023\uffe2\026\uffe2\027\uffe2\001" + "\002\000\042\002\uffe4\004\uffe4\005\uffe4\007\042\010\030" + "\012\uffe4\014\uffe4\015\uffe4\016\uffe4\017\uffe4\020\uffe4\021" + "\uffe4\022\uffe4\023\uffe4\026\uffe4\027\uffe4\001\002\000\042" + "\002\uffe3\004\uffe3\005\uffe3\007\uffe3\010\uffe3\012\uffe3\014" + "\uffe3\015\uffe3\016\uffe3\017\uffe3\020\uffe3\021\uffe3\022\uffe3" + "\023\uffe3\026\uffe3\027\uffe3\001\002" }); /** Access to parse-action table. */ public short[][] action_table() {return _action_table;} /** <code>reduce_goto</code> table. */ protected static final short[][] _reduce_table = unpackFromStrings(new String[] { "\000\126\000\012\003\015\004\022\006\017\007\014\001" + "\001\000\006\006\127\007\014\001\001\000\002\001\001" + "\000\002\001\001\000\002\001\001\000\006\006\126\007" + "\014\001\001\000\006\006\125\007\014\001\001\000\002" + "\001\001\000\002\001\001\000\002\001\001\000\002\001" + "\001\000\002\001\001\000\012\003\073\004\022\006\017" + "\007\014\001\001\000\002\001\001\000\012\003\024\004" + "\022\006\025\007\014\001\001\000\002\001\001\000\002" + "\001\001\000\002\001\001\000\002\001\001\000\002\001" + "\001\000\006\006\065\007\014\001\001\000\006\006\064" + "\007\014\001\001\000\006\006\063\007\014\001\001\000" + "\006\006\062\007\014\001\001\000\006\006\061\007\014" + "\001\001\000\006\006\060\007\014\001\001\000\006\006" + "\057\007\014\001\001\000\006\006\054\007\014\001\001" + "\000\006\006\051\007\014\001\001\000\006\006\050\007" + "\014\001\001\000\002\001\001\000\006\006\047\007\014" + "\001\001\000\006\006\044\007\014\001\001\000\002\001" + "\001\000\002\001\001\000\006\006\046\007\014\001\001" +
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -