Extension [ extension #90 judy version 2.2.0 ] { - Dependencies { Dependency [ spl (Required) ] } - INI { Entry [ judy.string.maxlength ] Current = '65536' } } - Constants [1] { Constant [ string JUDY_VERSION ] { 2.2.0 } } - Functions { Function [ function judy_version ] { - Parameters [0] { } - Return [ string ] } Function [ function judy_type ] { - Parameters [1] { Parameter #0 [ $array ] } } } - Classes [1] { Class [ class Judy implements ArrayAccess, Countable, Iterator, Traversable ] { - Constants [5] { Constant [ public int BITSET ] { 1 } Constant [ public int INT_TO_INT ] { 2 } Constant [ public int INT_TO_MIXED ] { 3 } Constant [ public int STRING_TO_INT ] { 4 } Constant [ public int STRING_TO_MIXED ] { 5 } } - Static properties [0] { } - Static methods [0] { } - Properties [0] { } - Methods [25] { Method [ public method __construct ] { - Parameters [1] { Parameter #0 [ int $type ] } } Method [ public method __destruct ] { - Parameters [0] { } } Method [ public method getType ] { - Parameters [0] { } - Return [ int ] } Method [ public method free ] { - Parameters [0] { } - Return [ int ] } Method [ public method memoryUsage ] { - Parameters [0] { } - Return [ ?int ] } Method [ public method size ] { - Parameters [2] { Parameter #0 [ $index_start = ] Parameter #1 [ $index_end = ] } } Method [ public method count ] { - Parameters [0] { } - Return [ int ] } Method [ public method byCount ] { - Parameters [1] { Parameter #0 [ $nth_index ] } } Method [ public method first ] { - Parameters [1] { Parameter #0 [ $index ] } } Method [ public method searchNext ] { - Parameters [1] { Parameter #0 [ $index ] } } Method [ public method last ] { - Parameters [1] { Parameter #0 [ $index ] } } Method [ public method prev ] { - Parameters [1] { Parameter #0 [ $index ] } } Method [ public method firstEmpty ] { - Parameters [1] { Parameter #0 [ $index ] } } Method [ public method nextEmpty ] { - Parameters [1] { Parameter #0 [ $index ] } } Method [ public method lastEmpty ] { - Parameters [1] { Parameter #0 [ $index ] } } Method [ public method prevEmpty ] { - Parameters [1] { Parameter #0 [ $index ] } } Method [ public method offsetSet ] { - Parameters [2] { Parameter #0 [ mixed $offset ] Parameter #1 [ mixed $value ] } - Return [ void ] } Method [ public method offsetUnset ] { - Parameters [1] { Parameter #0 [ mixed $offset ] } - Return [ void ] } Method [ public method offsetGet ] { - Parameters [1] { Parameter #0 [ mixed $offset ] } - Return [ mixed ] } Method [ public method offsetExists ] { - Parameters [1] { Parameter #0 [ mixed $offset ] } - Return [ bool ] } Method [ public method rewind ] { - Parameters [0] { } - Return [ void ] } Method [ public method valid ] { - Parameters [0] { } - Return [ bool ] } Method [ public method current ] { - Parameters [0] { } - Return [ mixed ] } Method [ public method key ] { - Parameters [0] { } - Return [ mixed ] } Method [ public method next ] { - Parameters [0] { } - Return [ void ] } } } } }