undefinedprincipal.java
来自「JSPWiki,100%Java开发的一套完整WIKI程序」· Java 代码 · 共 32 行
JAVA
32 行
package com.ecyrd.jspwiki.auth;import java.security.acl.Group;import java.security.Principal;import java.util.Vector;import java.util.Enumeration;import java.util.Iterator;/** * 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 + =
减小字号Ctrl + -
显示快捷键?