📄 dirtycheckevent.java
字号:
//$Id: DirtyCheckEvent.java 7785 2005-08-08 23:24:44Z oneovthafew $package org.hibernate.event;/** Defines an event class for the dirty-checking of a session. * * @author Steve Ebersole */public class DirtyCheckEvent extends FlushEvent { private boolean dirty; public DirtyCheckEvent(EventSource source) { super(source); } public boolean isDirty() { return dirty; } public void setDirty(boolean dirty) { this.dirty = dirty; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -