📄 documentmodifiedevent.java
字号:
/* * JRemCntl - Copyright (C) 2007 Filippo Di Vattimo <fildiv@gmail.com> * See COPYING */package fildiv.jremcntl.server.gui.core;public class DocumentModifiedEvent extends DocumentEvent { /** * */ private static final long serialVersionUID = 1L; private Object whatModified; public DocumentModifiedEvent(Object source) { super(source); whatModified = null; } public DocumentModifiedEvent(Object source, Object whatModified) { super(source); this.whatModified = whatModified; } public Object getWhatModified() { return whatModified; } public boolean equals(Object obj) { DocumentModifiedEvent event = (DocumentModifiedEvent) obj; boolean equals = safeEquals(event.getWhatModified(), whatModified); equals &= source.equals(event.getSource()); return equals; } private boolean safeEquals(Object obj1, Object obj2) { int nullCount = obj1 == null ? 1 : 0; nullCount += obj2 == null ? 1 : 0; if (nullCount == 0) return obj1.equals(obj2); return nullCount == 2; } public int hashCode() { int hashCode = source.hashCode(); if (whatModified != null) hashCode += whatModified.hashCode(); return hashCode; } }
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -