Branch: Tag:

2001-06-09

2001-06-09 23:22:33 by Johan Schön <js@opera.com>

Marked lots of symbols static

Rev: lib/modules/Search.pmod/Filter.pmod/HTML.pmod:1.9
Rev: lib/modules/Search.pmod/RankingProfile.pike:1.8
Rev: lib/modules/Search.pmod/Utils.pmod:1.4

1: - array(string) tokenize_and_normalize( string what ) + public array(string) tokenize_and_normalize( string what )   //! This can be optimized quite significantly when compared to   //! tokenize( normalize( x ) ) in the future, currently it's not all   //! that much faster, but still faster.
6:    return Unicode.split_words_and_normalize( lower_case(what) );   }    - array(string) tokenize(string in) + public array(string) tokenize(string in)   //! Tokenize the input string (Note: You should first call normalize   //! on it)   {
14:   }       - string normalize(string in) + public string normalize(string in)   //! Normalize the input string. Performs unicode NFKD normalization   //! and then lowercases the whole string   {    return Unicode.normalize( lower_case(in), "KD" );   }