📄 jiveid.java
字号:
package org.jivesoftware.database;import java.lang.annotation.Retention;import java.lang.annotation.RetentionPolicy;import java.lang.annotation.Target;import java.lang.annotation.ElementType;/** * Used to specify what jive id an object should have * * @author Andrew Wright */@Retention(RetentionPolicy.RUNTIME)@Target(ElementType.TYPE)public @interface JiveID { /** * should return the int type for this object */ int value();}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -