User: oleg
Date: 00/10/16 10:53:10
Modified: src/main/org/jboss/system RealmMapping.java
Log:
Added getPrincipal, so that Principal for a bean may differ from the original one
Revision Changes Path
1.2 +11 -1 jboss/src/main/org/jboss/system/RealmMapping.java
Index: RealmMapping.java
===================================================================
RCS file: /products/cvs/ejboss/jboss/src/main/org/jboss/system/RealmMapping.java,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- RealmMapping.java 2000/08/06 21:52:44 1.1
+++ RealmMapping.java 2000/10/16 17:53:09 1.2
@@ -12,5 +12,15 @@
public interface RealmMapping
{
- public boolean doesUserHaveRole( Principal principal, Set roleNames );
+ /**
+ * This method should return Principal for the bean that may differ
+ * from the original Principal in the operational environment.
+ */
+ public Principal getPrincipal( Principal principal );
+
+ /**
+ * This method checks if the given ("original") Principal has
+ * at least on of the roles in the given set.
+ */
+ public boolean doesUserHaveRole( Principal principal, Set roleNames );
}
