| Enrico Granata | 3f1052b | 2012-03-13 21:52:00 +0000 | [diff] [blame] | 1 | """ |
| 2 | LLDB AppKit formatters |
| 3 | |
| 4 | part of The LLVM Compiler Infrastructure |
| 5 | This file is distributed under the University of Illinois Open Source |
| 6 | License. See LICENSE.TXT for details. |
| 7 | """ |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 8 | # summary provider for NSNumber |
| 9 | import lldb |
| 10 | import ctypes |
| Enrico Granata | 28399ad | 2012-04-25 01:39:27 +0000 | [diff] [blame] | 11 | import lldb.runtime.objc.objc_runtime |
| 12 | import lldb.formatters.metrics |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 13 | import struct |
| Enrico Granata | 28399ad | 2012-04-25 01:39:27 +0000 | [diff] [blame] | 14 | import lldb.formatters.Logger |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 15 | |
| Enrico Granata | 28399ad | 2012-04-25 01:39:27 +0000 | [diff] [blame] | 16 | statistics = lldb.formatters.metrics.Metrics() |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 17 | statistics.add_metric('invalid_isa') |
| 18 | statistics.add_metric('invalid_pointer') |
| 19 | statistics.add_metric('unknown_class') |
| 20 | statistics.add_metric('code_notrun') |
| 21 | |
| 22 | # despite the similary to synthetic children providers, these classes are not |
| 23 | # trying to provide anything but the port number of an NSNumber, so they need not |
| 24 | # obey the interface specification for synthetic children providers |
| 25 | class NSTaggedNumber_SummaryProvider: |
| 26 | def adjust_for_architecture(self): |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 27 | pass |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 28 | |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 29 | def __init__(self, valobj, info_bits, data, params): |
| Enrico Granata | 28399ad | 2012-04-25 01:39:27 +0000 | [diff] [blame] | 30 | logger = lldb.formatters.Logger.Logger() |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 31 | self.valobj = valobj; |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 32 | self.sys_params = params |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 33 | self.info_bits = info_bits |
| 34 | self.data = data |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 35 | self.update(); |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 36 | |
| 37 | def update(self): |
| Enrico Granata | 28399ad | 2012-04-25 01:39:27 +0000 | [diff] [blame] | 38 | logger = lldb.formatters.Logger.Logger() |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 39 | self.adjust_for_architecture(); |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 40 | |
| 41 | def value(self): |
| Enrico Granata | 28399ad | 2012-04-25 01:39:27 +0000 | [diff] [blame] | 42 | logger = lldb.formatters.Logger.Logger() |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 43 | # in spite of the plenty of types made available by the public NSNumber API |
| 44 | # only a bunch of these are actually used in the internal implementation |
| 45 | # unfortunately, the original type information appears to be lost |
| 46 | # so we try to at least recover the proper magnitude of the data |
| 47 | if self.info_bits == 0: |
| 48 | return '(char)' + str(self.data % 256) |
| 49 | if self.info_bits == 4: |
| 50 | return '(short)' + str(self.data % (256*256)) |
| 51 | if self.info_bits == 8: |
| 52 | return '(int)' + str(self.data % (256*256*256*256)) |
| 53 | if self.info_bits == 12: |
| 54 | return '(long)' + str(self.data) |
| 55 | else: |
| 56 | return 'absurd value:(info=' + str(self.info_bits) + ", value = " + str(self.data) + ')' |
| 57 | |
| 58 | |
| 59 | class NSUntaggedNumber_SummaryProvider: |
| 60 | def adjust_for_architecture(self): |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 61 | pass |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 62 | |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 63 | def __init__(self, valobj, params): |
| Enrico Granata | 28399ad | 2012-04-25 01:39:27 +0000 | [diff] [blame] | 64 | logger = lldb.formatters.Logger.Logger() |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 65 | self.valobj = valobj; |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 66 | self.sys_params = params |
| 67 | if not(self.sys_params.types_cache.char): |
| 68 | self.sys_params.types_cache.char = self.valobj.GetType().GetBasicType(lldb.eBasicTypeChar) |
| 69 | if not(self.sys_params.types_cache.short): |
| 70 | self.sys_params.types_cache.short = self.valobj.GetType().GetBasicType(lldb.eBasicTypeShort) |
| 71 | if not(self.sys_params.types_cache.ushort): |
| 72 | self.sys_params.types_cache.ushort = self.valobj.GetType().GetBasicType(lldb.eBasicTypeUnsignedShort) |
| 73 | if not(self.sys_params.types_cache.int): |
| 74 | self.sys_params.types_cache.int = self.valobj.GetType().GetBasicType(lldb.eBasicTypeInt) |
| 75 | if not(self.sys_params.types_cache.long): |
| 76 | self.sys_params.types_cache.long = self.valobj.GetType().GetBasicType(lldb.eBasicTypeLong) |
| 77 | if not(self.sys_params.types_cache.ulong): |
| 78 | self.sys_params.types_cache.ulong = self.valobj.GetType().GetBasicType(lldb.eBasicTypeUnsignedLong) |
| 79 | if not(self.sys_params.types_cache.longlong): |
| 80 | self.sys_params.types_cache.longlong = self.valobj.GetType().GetBasicType(lldb.eBasicTypeLongLong) |
| 81 | if not(self.sys_params.types_cache.ulonglong): |
| 82 | self.sys_params.types_cache.ulonglong = self.valobj.GetType().GetBasicType(lldb.eBasicTypeUnsignedLongLong) |
| 83 | if not(self.sys_params.types_cache.float): |
| 84 | self.sys_params.types_cache.float = self.valobj.GetType().GetBasicType(lldb.eBasicTypeFloat) |
| 85 | if not(self.sys_params.types_cache.double): |
| 86 | self.sys_params.types_cache.double = self.valobj.GetType().GetBasicType(lldb.eBasicTypeDouble) |
| 87 | self.update(); |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 88 | |
| 89 | def update(self): |
| Enrico Granata | 28399ad | 2012-04-25 01:39:27 +0000 | [diff] [blame] | 90 | logger = lldb.formatters.Logger.Logger() |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 91 | self.adjust_for_architecture(); |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 92 | |
| 93 | def value(self): |
| Enrico Granata | 28399ad | 2012-04-25 01:39:27 +0000 | [diff] [blame] | 94 | logger = lldb.formatters.Logger.Logger() |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 95 | global statistics |
| 96 | # we need to skip the ISA, then the next byte tells us what to read |
| 97 | # we then skip one other full pointer worth of data and then fetch the contents |
| 98 | # if we are fetching an int64 value, one more pointer must be skipped to get at our data |
| 99 | data_type_vo = self.valobj.CreateChildAtOffset("dt", |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 100 | self.sys_params.pointer_size, |
| 101 | self.sys_params.types_cache.char) |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 102 | data_type = ((data_type_vo.GetValueAsUnsigned(0) % 256) & 0x1F) |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 103 | data_offset = 2 * self.sys_params.pointer_size |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 104 | if data_type == 0B00001: |
| 105 | data_vo = self.valobj.CreateChildAtOffset("data", |
| 106 | data_offset, |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 107 | self.sys_params.types_cache.char) |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 108 | statistics.metric_hit('code_notrun',self.valobj) |
| 109 | return '(char)' + str(data_vo.GetValueAsUnsigned(0)) |
| 110 | elif data_type == 0B0010: |
| 111 | data_vo = self.valobj.CreateChildAtOffset("data", |
| 112 | data_offset, |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 113 | self.sys_params.types_cache.short) |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 114 | statistics.metric_hit('code_notrun',self.valobj) |
| 115 | return '(short)' + str(data_vo.GetValueAsUnsigned(0) % (256*256)) |
| 116 | # IF tagged pointers are possible on 32bit+v2 runtime |
| 117 | # (of which the only existing instance should be iOS) |
| 118 | # then values of this type might be tagged |
| 119 | elif data_type == 0B0011: |
| 120 | data_vo = self.valobj.CreateChildAtOffset("data", |
| 121 | data_offset, |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 122 | self.sys_params.types_cache.int) |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 123 | statistics.metric_hit('code_notrun',self.valobj) |
| 124 | return '(int)' + str(data_vo.GetValueAsUnsigned(0) % (256*256*256*256)) |
| Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 125 | # apparently, on is_64_bit architectures, these are the only values that will ever |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 126 | # be represented by a non tagged pointers |
| Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 127 | elif data_type == 0B10001: |
| 128 | data_offset = data_offset + 8 # 8 is needed even if we are on 32bit |
| 129 | data_vo = self.valobj.CreateChildAtOffset("data", |
| 130 | data_offset, |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 131 | self.sys_params.types_cache.longlong) |
| Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 132 | statistics.metric_hit('code_notrun',self.valobj) |
| 133 | return '(long)' + str(data_vo.GetValueAsUnsigned(0)) |
| 134 | elif data_type == 0B0100: |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 135 | if self.sys_params.is_64_bit: |
| 136 | data_offset = data_offset + self.sys_params.pointer_size |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 137 | data_vo = self.valobj.CreateChildAtOffset("data", |
| 138 | data_offset, |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 139 | self.sys_params.types_cache.longlong) |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 140 | statistics.metric_hit('code_notrun',self.valobj) |
| 141 | return '(long)' + str(data_vo.GetValueAsUnsigned(0)) |
| 142 | elif data_type == 0B0101: |
| 143 | data_vo = self.valobj.CreateChildAtOffset("data", |
| 144 | data_offset, |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 145 | self.sys_params.types_cache.longlong) |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 146 | data_plain = int(str(data_vo.GetValueAsUnsigned(0) & 0x00000000FFFFFFFF)) |
| 147 | packed = struct.pack('I', data_plain) |
| 148 | data_float = struct.unpack('f', packed)[0] |
| 149 | statistics.metric_hit('code_notrun',self.valobj) |
| 150 | return '(float)' + str(data_float) |
| 151 | elif data_type == 0B0110: |
| 152 | data_vo = self.valobj.CreateChildAtOffset("data", |
| 153 | data_offset, |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 154 | self.sys_params.types_cache.longlong) |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 155 | data_plain = data_vo.GetValueAsUnsigned(0) |
| 156 | data_double = struct.unpack('d', struct.pack('Q', data_plain))[0] |
| 157 | statistics.metric_hit('code_notrun',self.valobj) |
| 158 | return '(double)' + str(data_double) |
| Enrico Granata | a20e863 | 2012-04-02 23:43:22 +0000 | [diff] [blame] | 159 | statistics.metric_hit('unknown_class',str(valobj.GetName()) + " had unknown data_type " + str(data_type)) |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 160 | return 'absurd: dt = ' + str(data_type) |
| 161 | |
| 162 | |
| 163 | class NSUnknownNumber_SummaryProvider: |
| 164 | def adjust_for_architecture(self): |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 165 | pass |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 166 | |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 167 | def __init__(self, valobj, params): |
| Enrico Granata | 28399ad | 2012-04-25 01:39:27 +0000 | [diff] [blame] | 168 | logger = lldb.formatters.Logger.Logger() |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 169 | self.valobj = valobj; |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 170 | self.sys_params = params |
| 171 | self.update(); |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 172 | |
| 173 | def update(self): |
| Enrico Granata | 28399ad | 2012-04-25 01:39:27 +0000 | [diff] [blame] | 174 | logger = lldb.formatters.Logger.Logger() |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 175 | self.adjust_for_architecture(); |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 176 | |
| 177 | def value(self): |
| Enrico Granata | 28399ad | 2012-04-25 01:39:27 +0000 | [diff] [blame] | 178 | logger = lldb.formatters.Logger.Logger() |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 179 | stream = lldb.SBStream() |
| 180 | self.valobj.GetExpressionPath(stream) |
| 181 | expr = "(NSString*)[" + stream.GetData() + " stringValue]" |
| Enrico Granata | 3f1052b | 2012-03-13 21:52:00 +0000 | [diff] [blame] | 182 | num_children_vo = self.valobj.CreateValueFromExpression("str",expr) |
| 183 | if num_children_vo.IsValid(): |
| 184 | return num_children_vo.GetSummary() |
| 185 | return '<variable is not NSNumber>' |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 186 | |
| 187 | def GetSummary_Impl(valobj): |
| Enrico Granata | 28399ad | 2012-04-25 01:39:27 +0000 | [diff] [blame] | 188 | logger = lldb.formatters.Logger.Logger() |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 189 | global statistics |
| Enrico Granata | 7d22221 | 2012-04-25 17:53:41 +0000 | [diff] [blame^] | 190 | class_data,wrapper =lldb.runtime.objc.objc_runtime.Utilities.prepare_class_detection(valobj,statistics) |
| Enrico Granata | 3f1052b | 2012-03-13 21:52:00 +0000 | [diff] [blame] | 191 | if wrapper: |
| 192 | return wrapper |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 193 | |
| 194 | name_string = class_data.class_name() |
| Enrico Granata | 247bd41 | 2012-04-02 16:39:29 +0000 | [diff] [blame] | 195 | logger >> "class name is: " + str(name_string) |
| 196 | |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 197 | if name_string == 'NSNumber' or name_string == '__NSCFNumber': |
| 198 | if class_data.is_tagged(): |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 199 | wrapper = NSTaggedNumber_SummaryProvider(valobj,class_data.info_bits(),class_data.value(), class_data.sys_params) |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 200 | statistics.metric_hit('code_notrun',valobj) |
| 201 | else: |
| 202 | # the wrapper might be unable to decipher what is into the NSNumber |
| 203 | # and then have to run code on it |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 204 | wrapper = NSUntaggedNumber_SummaryProvider(valobj, class_data.sys_params) |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 205 | else: |
| Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 206 | wrapper = NSUnknownNumber_SummaryProvider(valobj, class_data.sys_params) |
| Enrico Granata | a7daeeb | 2012-03-30 00:51:12 +0000 | [diff] [blame] | 207 | statistics.metric_hit('unknown_class',valobj.GetName() + " seen as " + name_string) |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 208 | return wrapper; |
| 209 | |
| 210 | |
| 211 | def NSNumber_SummaryProvider (valobj,dict): |
| Enrico Granata | 28399ad | 2012-04-25 01:39:27 +0000 | [diff] [blame] | 212 | logger = lldb.formatters.Logger.Logger() |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 213 | provider = GetSummary_Impl(valobj); |
| 214 | if provider != None: |
| Enrico Granata | 7d22221 | 2012-04-25 17:53:41 +0000 | [diff] [blame^] | 215 | if isinstance(provider,lldb.runtime.objc.objc_runtime.SpecialSituation_Description): |
| Enrico Granata | 3f1052b | 2012-03-13 21:52:00 +0000 | [diff] [blame] | 216 | return provider.message() |
| 217 | try: |
| 218 | summary = provider.value(); |
| 219 | except: |
| 220 | summary = None |
| Enrico Granata | 247bd41 | 2012-04-02 16:39:29 +0000 | [diff] [blame] | 221 | logger >> "got summary " + str(summary) |
| Enrico Granata | 3f1052b | 2012-03-13 21:52:00 +0000 | [diff] [blame] | 222 | if summary == None: |
| 223 | summary = '<variable is not NSNumber>' |
| 224 | return str(summary) |
| 225 | return 'Summary Unavailable' |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 226 | |
| 227 | |
| 228 | def __lldb_init_module(debugger,dict): |
| 229 | debugger.HandleCommand("type summary add -F NSNumber.NSNumber_SummaryProvider NSNumber") |
| Enrico Granata | 3f1052b | 2012-03-13 21:52:00 +0000 | [diff] [blame] | 230 | debugger.HandleCommand("type summary add -F NSNumber.NSNumber_SummaryProvider __NSCFBoolean") |
| 231 | debugger.HandleCommand("type summary add -F NSNumber.NSNumber_SummaryProvider __NSCFNumber") |
| Enrico Granata | eb4a479 | 2012-02-23 23:10:27 +0000 | [diff] [blame] | 232 | |