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 + -
显示快捷键?