4 // provide a set of typedefs for commonly used things like sizes and
5 // indices while trying to stay compatible with types used by the standard
9 // this probably could be improved by using <cstddef>...
14 /// a type for positions used in paragraphs
15 // needs to be signed for a while to hold the special value -1 that is
17 typedef std::vector<char>::difference_type pos_type;
20 // set this to '0' if you want to have really safe types
24 typedef std::vector<char>::size_type size_type;
26 /// a type used for numbering text classes
27 // used to be LyXTextClassList::size_type
28 typedef std::vector<char>::size_type textclass_type;
32 // These structs wrap simple things to make them distinguishible
34 // It's a shame that different typedefs are not "really" different
38 typedef std::vector<char>::size_type base_type;
40 size_type(base_type t) { data_ = t; }
42 operator base_type() const { return data_; }
48 struct textclass_type {
50 typedef std::vector<char>::size_type base_type;
52 textclass_type(base_type t) { data_ = t; }
54 operator base_type() const { return data_; }