📄 coveringfilter.java
字号:
/*// * Created on May 4, 2005// *// * To change the template for this generated file go to// * Window>Preferences>Java>Code Generation>Code and Comments// *///package broker;////import util.*;///**// * @author parzy// *// * To change the template for this generated type comment go to// * Window>Preferences>Java>Code Generation>Code and Comments// *///public class CoveringFilter extends Filter {//// private ID value;// // public CoveringFilter(ID value){// this.value = value;// }//// /* (non-Javadoc)// * @see broker.Filter#match(broker.Notification)// */// public boolean match(Notification n) {// return value.equals(n.getContent());// }//// public boolean identical(Filter f){// return f instanceof CoveringFilter ?// this.value.equals(((CoveringFilter)f).value) :// super.identical(f);// }// // public boolean covers(Filter f){// return this.identical(f);// }//}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -