Extension [ extension #89 judy version 2.4.0 ] { - Dependencies { Dependency [ spl (Required) ] Dependency [ json (Required) ] } - INI { Entry [ judy.string.maxlength ] Current = '65536' } } - Constants [1] { Constant [ string JUDY_VERSION ] { 2.4.0 } } - Functions { Function [ function judy_version ] { - Parameters [0] { } - Return [ string ] } Function [ function judy_type ] { - Parameters [1] { Parameter #0 [ mixed $array ] } - Return [ int ] } } - Classes [1] { Class [ class Judy implements ArrayAccess, Countable, Iterator, Traversable, JsonSerializable ] { - Constants [10] { 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 } Constant [ public int INT_TO_PACKED ] { 6 } Constant [ public int STRING_TO_MIXED_HASH ] { 7 } Constant [ public int STRING_TO_INT_HASH ] { 8 } Constant [ public int STRING_TO_MIXED_ADAPTIVE ] { 9 } Constant [ public int STRING_TO_INT_ADAPTIVE ] { 10 } } - Static properties [0] { } - Static methods [1] { Method [ static public method fromArray ] { - Parameters [2] { Parameter #0 [ int $type ] Parameter #1 [ array $data ] } - Return [ Judy ] } } - Properties [0] { } - Methods [48] { 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 [ mixed $index_start = 0 ] Parameter #1 [ mixed $index_end = -1 ] } - Return [ int ] } Method [ public method count ] { - Parameters [0] { } - Return [ int ] } Method [ public method byCount ] { - Parameters [1] { Parameter #0 [ mixed $nth_index ] } - Return [ mixed ] } Method [ public method first ] { - Parameters [1] { Parameter #0 [ mixed $index = null ] } - Return [ mixed ] } Method [ public method searchNext ] { - Parameters [1] { Parameter #0 [ mixed $index ] } - Return [ mixed ] } Method [ public method last ] { - Parameters [1] { Parameter #0 [ mixed $index = null ] } - Return [ mixed ] } Method [ public method prev ] { - Parameters [1] { Parameter #0 [ mixed $index ] } - Return [ mixed ] } Method [ public method firstEmpty ] { - Parameters [1] { Parameter #0 [ mixed $index = null ] } - Return [ mixed ] } Method [ public method nextEmpty ] { - Parameters [1] { Parameter #0 [ mixed $index ] } - Return [ mixed ] } Method [ public method lastEmpty ] { - Parameters [1] { Parameter #0 [ mixed $index = null ] } - Return [ mixed ] } Method [ public method prevEmpty ] { - Parameters [1] { Parameter #0 [ mixed $index ] } - Return [ mixed ] } Method [ public method union ] { - Parameters [1] { Parameter #0 [ Judy $other ] } - Return [ Judy ] } Method [ public method intersect ] { - Parameters [1] { Parameter #0 [ Judy $other ] } - Return [ Judy ] } Method [ public method diff ] { - Parameters [1] { Parameter #0 [ Judy $other ] } - Return [ Judy ] } Method [ public method xor ] { - Parameters [1] { Parameter #0 [ Judy $other ] } - Return [ Judy ] } Method [ public method mergeWith ] { - Parameters [1] { Parameter #0 [ Judy $other ] } - Return [ void ] } Method [ public method slice ] { - Parameters [2] { Parameter #0 [ mixed $start ] Parameter #1 [ mixed $end ] } - Return [ Judy ] } Method [ public method offsetExists ] { - Parameters [1] { Parameter #0 [ mixed $offset ] } - Return [ bool ] } Method [ public method offsetGet ] { - Parameters [1] { Parameter #0 [ mixed $offset ] } - Return [ mixed ] } 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 jsonSerialize ] { - Parameters [0] { } - Return [ mixed ] } Method [ public method __serialize ] { - Parameters [0] { } - Return [ array ] } Method [ public method __unserialize ] { - Parameters [1] { Parameter #0 [ array $data ] } - Return [ void ] } Method [ public method toArray ] { - Parameters [0] { } - Return [ array ] } Method [ public method putAll ] { - Parameters [1] { Parameter #0 [ array $data ] } - Return [ void ] } Method [ public method getAll ] { - Parameters [1] { Parameter #0 [ array $keys ] } - Return [ array ] } Method [ public method increment ] { - Parameters [2] { Parameter #0 [ mixed $key ] Parameter #1 [ int $amount = 1 ] } - Return [ int ] } 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 ] } Method [ public method keys ] { - Parameters [0] { } - Return [ array ] } Method [ public method values ] { - Parameters [0] { } - Return [ array ] } Method [ public method forEach ] { - Parameters [1] { Parameter #0 [ callable $callback ] } - Return [ void ] } Method [ public method filter ] { - Parameters [1] { Parameter #0 [ callable $predicate ] } - Return [ Judy ] } Method [ public method map ] { - Parameters [1] { Parameter #0 [ callable $transform ] } - Return [ Judy ] } Method [ public method sumValues ] { - Parameters [0] { } - Return [ int|float ] } Method [ public method averageValues ] { - Parameters [0] { } - Return [ ?float ] } Method [ public method populationCount ] { - Parameters [2] { Parameter #0 [ mixed $start = 0 ] Parameter #1 [ mixed $end = -1 ] } - Return [ int ] } Method [ public method deleteRange ] { - Parameters [2] { Parameter #0 [ mixed $start ] Parameter #1 [ mixed $end ] } - Return [ int ] } Method [ public method equals ] { - Parameters [1] { Parameter #0 [ Judy $other ] } - Return [ bool ] } } } } }