Module Netgss.System

module System: Netsys_gssapi.GSSAPI 

type credential 

type context 

type name 

Exceptions

Exceptions

Errors should be reported using the major_status and minor_status codes as much as possible.

Invalid_argument may be raised for clear violations of calling requirements, e.g. when an opaque object is passed to this interface that was not returned by it before.

The following three exceptions can be used to wrap the per-GSSAPI types credential, context, and name:

exception Credential of credential

exception Context of context

exception Name of name

The API

class type gss_api = [[credential, name
       , context]] Netsys_gssapi.poly_gss_api

val interface : gss_api