⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 undefinedprincipal.java

📁 JSPWiki,100%Java开发的一套完整WIKI程序
💻 JAVA
字号:
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 + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -