📄 undefinedprincipal.java
字号:
package com.ecyrd.jspwiki.auth;/** * If a proper group/user cannot be located, then we use this * class. */public class UndefinedPrincipal extends WikiPrincipal{ public UndefinedPrincipal( String name ) { super( name ); } public String toString() { return "[Undefined: "+getName()+"]"; } public boolean equals( Object o ) { return o != null && o instanceof WikiPrincipal && ((WikiPrincipal)o).getName().equals( getName()); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -