equal
deleted
inserted
replaced
367 |
367 |
368 ORDER_FIRST = 1 |
368 ORDER_FIRST = 1 |
369 ANCESTOR_FIRST = 2 |
369 ANCESTOR_FIRST = 2 |
370 FILTER_FIRST = 3 |
370 FILTER_FIRST = 3 |
371 |
371 |
372 _Plan_NAMES = { |
372 _Hint_NAMES = { |
373 1: "ORDER_FIRST", |
373 1: "ORDER_FIRST", |
374 2: "ANCESTOR_FIRST", |
374 2: "ANCESTOR_FIRST", |
375 3: "FILTER_FIRST", |
375 3: "FILTER_FIRST", |
376 } |
376 } |
377 |
377 |
378 def Plan_Name(cls, x): return cls._Plan_NAMES.get(x, "") |
378 def Hint_Name(cls, x): return cls._Hint_NAMES.get(x, "") |
379 Plan_Name = classmethod(Plan_Name) |
379 Hint_Name = classmethod(Hint_Name) |
380 |
380 |
381 has_app_ = 0 |
381 has_app_ = 0 |
382 app_ = "" |
382 app_ = "" |
383 has_kind_ = 0 |
383 has_kind_ = 0 |
384 kind_ = "" |
384 kind_ = "" |