interface System.Security.Principal.IPrincipal:

   def public property Identity as System.Security.Principal.IIdentity
      get.

   method public logical IsInRole(input role as character).

end interface.
