get_dev

Description:

public uint get_dev ()

Get the dev of the index entry.

Parameters:

this

a IndexEntry.

Returns:

the dev.