else if (element instanceof DistinguishedName) {
DistinguishedName object = (DistinguishedName) element;
return "DistinguishedName: name = \"" + object.getName() + "\"";
}
else if (element instanceof RealmPrincipal) {
RealmPrincipal object = (RealmPrincipal) element;
return "RealmPrincipal: name = \"" + object.getName() +
"\", class = \"" + object.getClazz() +
"\", domain-name = \"" + object.getDomainName() +
"\", realm-name = \"" + object.getRealmName() +"\"";
}
else if (element instanceof LoginDomainPrincipal) {
LoginDomainPrincipal object = (LoginDomainPrincipal) element;
return "LoginDomainPrincipal: name = \"" + object.getName() +
"\", class = \"" + object.getClazz() +
"\", domain-name = \"" + object.getDomainName() +"\"";
}
else if (element instanceof Principal) {
Principal object = (Principal) element;
return "Principal: name = \"" + object.getName() +
"\", class = \"" + object.getClazz() + "\"";
}
return null;
}