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 | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 8 | # summary provider for NSDate |
| 9 | import lldb |
| 10 | import ctypes |
| 11 | import objc_runtime |
| 12 | import metrics |
| 13 | import struct |
| 14 | import time |
| 15 | import datetime |
Enrico Granata | 8d5c83f | 2012-03-02 00:55:53 +0000 | [diff] [blame] | 16 | import CFString |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 17 | |
| 18 | statistics = metrics.Metrics() |
| 19 | statistics.add_metric('invalid_isa') |
| 20 | statistics.add_metric('invalid_pointer') |
| 21 | statistics.add_metric('unknown_class') |
| 22 | statistics.add_metric('code_notrun') |
| 23 | |
| 24 | # Python promises to start counting time at midnight on Jan 1st on the epoch year |
| 25 | # hence, all we need to know is the epoch year |
| 26 | python_epoch = time.gmtime(0).tm_year |
| 27 | |
| 28 | osx_epoch = datetime.date(2001,1,1).timetuple() |
| 29 | |
| 30 | def mkgmtime(t): |
| 31 | return time.mktime(t)-time.timezone |
| 32 | |
| 33 | osx_epoch = mkgmtime(osx_epoch) |
| 34 | |
| 35 | def osx_to_python_time(osx): |
Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 36 | if python_epoch <= 2001: |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 37 | return osx + osx_epoch |
| 38 | else: |
| 39 | return osx - osx_epoch |
| 40 | |
Enrico Granata | 8c69c96 | 2012-03-13 00:25:59 +0000 | [diff] [blame] | 41 | # represent a struct_time as a string in the format used by Xcode |
| 42 | def xcode_format_time(X): |
| 43 | return time.strftime('%Y-%m-%d %H:%M:%S %Z',X) |
| 44 | |
| 45 | # represent a count-since-epoch as a string in the format used by Xcode |
| 46 | def xcode_format_count(X): |
| 47 | return xcode_format_time(time.localtime(X)) |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 48 | |
| 49 | # despite the similary to synthetic children providers, these classes are not |
Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 50 | # trying to provide anything but the summary for NSDate, so they need not |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 51 | # obey the interface specification for synthetic children providers |
| 52 | class NSTaggedDate_SummaryProvider: |
| 53 | def adjust_for_architecture(self): |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 54 | pass |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 55 | |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 56 | def __init__(self, valobj, info_bits, data, params): |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 57 | self.valobj = valobj; |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 58 | self.sys_params = params |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 59 | self.update(); |
Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 60 | # NSDate is not using its info_bits for info like NSNumber is |
| 61 | # so we need to regroup info_bits and data |
| 62 | self.data = ((data << 8) | (info_bits << 4)) |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 63 | |
| 64 | def update(self): |
| 65 | self.adjust_for_architecture(); |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 66 | |
| 67 | def value(self): |
| 68 | # the value of the date-time object is wrapped into the pointer value |
Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 69 | # unfortunately, it is made as a time-delta after Jan 1 2001 midnight GMT |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 70 | # while all Python knows about is the "epoch", which is a platform-dependent |
| 71 | # year (1970 of *nix) whose Jan 1 at midnight is taken as reference |
Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 72 | value_double = struct.unpack('d', struct.pack('Q', self.data))[0] |
Enrico Granata | 8c69c96 | 2012-03-13 00:25:59 +0000 | [diff] [blame] | 73 | return xcode_format_count(osx_to_python_time(value_double)) |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 74 | |
| 75 | |
| 76 | class NSUntaggedDate_SummaryProvider: |
| 77 | def adjust_for_architecture(self): |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 78 | pass |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 79 | |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 80 | def __init__(self, valobj, params): |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 81 | self.valobj = valobj; |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 82 | self.sys_params = params |
| 83 | if not (self.sys_params.types_cache.double): |
| 84 | self.sys_params.types_cache.double = self.valobj.GetType().GetBasicType(lldb.eBasicTypeDouble) |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 85 | self.update() |
| 86 | |
| 87 | def update(self): |
| 88 | self.adjust_for_architecture(); |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 89 | |
| 90 | def offset(self): |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 91 | return self.sys_params.pointer_size |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 92 | |
| 93 | def value(self): |
| 94 | value = self.valobj.CreateChildAtOffset("value", |
| 95 | self.offset(), |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 96 | self.sys_params.types_cache.double) |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 97 | value_double = struct.unpack('d', struct.pack('Q', value.GetValueAsUnsigned(0)))[0] |
Enrico Granata | 8c69c96 | 2012-03-13 00:25:59 +0000 | [diff] [blame] | 98 | return xcode_format_count(osx_to_python_time(value_double)) |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 99 | |
Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 100 | class NSCalendarDate_SummaryProvider: |
| 101 | def adjust_for_architecture(self): |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 102 | pass |
Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 103 | |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 104 | def __init__(self, valobj, params): |
Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 105 | self.valobj = valobj; |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 106 | self.sys_params = params |
| 107 | if not (self.sys_params.types_cache.double): |
| 108 | self.sys_params.types_cache.double = self.valobj.GetType().GetBasicType(lldb.eBasicTypeDouble) |
Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 109 | self.update() |
| 110 | |
| 111 | def update(self): |
| 112 | self.adjust_for_architecture(); |
Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 113 | |
| 114 | def offset(self): |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 115 | return 2*self.sys_params.pointer_size |
Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 116 | |
| 117 | def value(self): |
| 118 | value = self.valobj.CreateChildAtOffset("value", |
| 119 | self.offset(), |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 120 | self.sys_params.types_cache.double) |
Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 121 | value_double = struct.unpack('d', struct.pack('Q', value.GetValueAsUnsigned(0)))[0] |
Enrico Granata | 8c69c96 | 2012-03-13 00:25:59 +0000 | [diff] [blame] | 122 | return xcode_format_count(osx_to_python_time(value_double)) |
Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 123 | |
Enrico Granata | 8d5c83f | 2012-03-02 00:55:53 +0000 | [diff] [blame] | 124 | class NSTimeZoneClass_SummaryProvider: |
| 125 | def adjust_for_architecture(self): |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 126 | pass |
Enrico Granata | 8d5c83f | 2012-03-02 00:55:53 +0000 | [diff] [blame] | 127 | |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 128 | def __init__(self, valobj, params): |
Enrico Granata | 8d5c83f | 2012-03-02 00:55:53 +0000 | [diff] [blame] | 129 | self.valobj = valobj; |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 130 | self.sys_params = params |
| 131 | if not (self.sys_params.types_cache.voidptr): |
| 132 | self.sys_params.types_cache.voidptr = self.valobj.GetType().GetBasicType(lldb.eBasicTypeVoid).GetPointerType() |
Enrico Granata | 8d5c83f | 2012-03-02 00:55:53 +0000 | [diff] [blame] | 133 | self.update() |
| 134 | |
| 135 | def update(self): |
| 136 | self.adjust_for_architecture(); |
Enrico Granata | 8d5c83f | 2012-03-02 00:55:53 +0000 | [diff] [blame] | 137 | |
| 138 | def offset(self): |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 139 | return self.sys_params.pointer_size |
Enrico Granata | 8d5c83f | 2012-03-02 00:55:53 +0000 | [diff] [blame] | 140 | |
| 141 | def timezone(self): |
| 142 | tz_string = self.valobj.CreateChildAtOffset("tz_name", |
| 143 | self.offset(), |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 144 | self.sys_params.types_cache.voidptr) |
Enrico Granata | 8d5c83f | 2012-03-02 00:55:53 +0000 | [diff] [blame] | 145 | return CFString.CFString_SummaryProvider(tz_string,None) |
Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 146 | |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 147 | class NSUnknownDate_SummaryProvider: |
| 148 | def adjust_for_architecture(self): |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 149 | pass |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 150 | |
| 151 | def __init__(self, valobj): |
| 152 | self.valobj = valobj; |
| 153 | self.update() |
| 154 | |
| 155 | def update(self): |
| 156 | self.adjust_for_architecture(); |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 157 | |
| 158 | def value(self): |
| 159 | stream = lldb.SBStream() |
| 160 | self.valobj.GetExpressionPath(stream) |
| 161 | expr = "(NSString*)[" + stream.GetData() + " description]" |
| 162 | num_children_vo = self.valobj.CreateValueFromExpression("str",expr); |
Enrico Granata | 3f1052b | 2012-03-13 21:52:00 +0000 | [diff] [blame^] | 163 | if num_children_vo.IsValid(): |
| 164 | return num_children_vo.GetSummary() |
| 165 | return '<variable is not NSDate>' |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 166 | |
| 167 | def GetSummary_Impl(valobj): |
| 168 | global statistics |
Enrico Granata | 3f1052b | 2012-03-13 21:52:00 +0000 | [diff] [blame^] | 169 | class_data,wrapper = objc_runtime.Utilities.prepare_class_detection(valobj,statistics) |
| 170 | if wrapper: |
| 171 | return wrapper |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 172 | |
| 173 | name_string = class_data.class_name() |
| 174 | if name_string == 'NSDate' or name_string == '__NSDate' or name_string == '__NSTaggedDate': |
| 175 | if class_data.is_tagged(): |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 176 | wrapper = NSTaggedDate_SummaryProvider(valobj,class_data.info_bits(),class_data.value(), class_data.sys_params) |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 177 | statistics.metric_hit('code_notrun',valobj) |
| 178 | else: |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 179 | wrapper = NSUntaggedDate_SummaryProvider(valobj, class_data.sys_params) |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 180 | statistics.metric_hit('code_notrun',valobj) |
Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 181 | elif name_string == 'NSCalendarDate': |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 182 | wrapper = NSCalendarDate_SummaryProvider(valobj, class_data.sys_params) |
Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 183 | statistics.metric_hit('code_notrun',valobj) |
Enrico Granata | 8d5c83f | 2012-03-02 00:55:53 +0000 | [diff] [blame] | 184 | elif name_string == '__NSTimeZone': |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 185 | wrapper = NSTimeZoneClass_SummaryProvider(valobj, class_data.sys_params) |
Enrico Granata | 8d5c83f | 2012-03-02 00:55:53 +0000 | [diff] [blame] | 186 | statistics.metric_hit('code_notrun',valobj) |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 187 | else: |
Enrico Granata | cfdafa3 | 2012-03-05 19:56:33 +0000 | [diff] [blame] | 188 | wrapper = NSUnknownDate_SummaryProvider(valobj, class_data.sys_params) |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 189 | statistics.metric_hit('unknown_class',str(valobj) + " seen as " + name_string) |
| 190 | return wrapper; |
| 191 | |
| 192 | |
| 193 | def NSDate_SummaryProvider (valobj,dict): |
| 194 | provider = GetSummary_Impl(valobj); |
| 195 | if provider != None: |
Enrico Granata | 3f1052b | 2012-03-13 21:52:00 +0000 | [diff] [blame^] | 196 | if isinstance(provider,objc_runtime.SpecialSituation_Description): |
| 197 | return provider.message() |
| 198 | try: |
| 199 | summary = provider.value(); |
| 200 | except: |
| 201 | summary = None |
| 202 | if summary == None: |
| 203 | summary = '<variable is not NSDate>' |
| 204 | return str(summary) |
| 205 | return 'Summary Unavailable' |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 206 | |
Enrico Granata | 8d5c83f | 2012-03-02 00:55:53 +0000 | [diff] [blame] | 207 | def NSTimeZone_SummaryProvider (valobj,dict): |
| 208 | provider = GetSummary_Impl(valobj); |
| 209 | if provider != None: |
Enrico Granata | 3f1052b | 2012-03-13 21:52:00 +0000 | [diff] [blame^] | 210 | if isinstance(provider,objc_runtime.SpecialSituation_Description): |
| 211 | return provider.message() |
| 212 | try: |
| 213 | summary = provider.timezone(); |
| 214 | except: |
| 215 | summary = None |
| 216 | if summary == None: |
| 217 | summary = '<variable is not NSTimeZone>' |
| 218 | return str(summary) |
| 219 | return 'Summary Unavailable' |
Enrico Granata | 8d5c83f | 2012-03-02 00:55:53 +0000 | [diff] [blame] | 220 | |
| 221 | |
Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 222 | def CFAbsoluteTime_SummaryProvider (valobj,dict): |
| 223 | try: |
| 224 | value_double = struct.unpack('d', struct.pack('Q', valobj.GetValueAsUnsigned(0)))[0] |
Enrico Granata | 8c69c96 | 2012-03-13 00:25:59 +0000 | [diff] [blame] | 225 | return xcode_format_count(osx_to_python_time(value_double)) |
Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 226 | except: |
Enrico Granata | 3f1052b | 2012-03-13 21:52:00 +0000 | [diff] [blame^] | 227 | return 'Summary Unavailable' |
Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 228 | |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 229 | |
| 230 | def __lldb_init_module(debugger,dict): |
| 231 | debugger.HandleCommand("type summary add -F NSDate.NSDate_SummaryProvider NSDate") |
Enrico Granata | 896cd1d | 2012-03-01 19:32:33 +0000 | [diff] [blame] | 232 | debugger.HandleCommand("type summary add -F NSDate.CFAbsoluteTime_SummaryProvider CFAbsoluteTime") |
Enrico Granata | 8d5c83f | 2012-03-02 00:55:53 +0000 | [diff] [blame] | 233 | debugger.HandleCommand("type summary add -F NSDate.NSTimeZone_SummaryProvider NSTimeZone CFTimeZoneRef") |
Enrico Granata | 7bc0ec3 | 2012-02-29 03:28:49 +0000 | [diff] [blame] | 234 | |