brain_random.py 2.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990
  1. # Licensed under the LGPL: https://www.gnu.org/licenses/old-licenses/lgpl-2.1.en.html
  2. # For details: https://github.com/PyCQA/astroid/blob/main/LICENSE
  3. # Copyright (c) https://github.com/PyCQA/astroid/blob/main/CONTRIBUTORS.txt
  4. from __future__ import annotations
  5. import random
  6. from astroid import helpers
  7. from astroid.context import InferenceContext
  8. from astroid.exceptions import UseInferenceDefault
  9. from astroid.inference_tip import inference_tip
  10. from astroid.manager import AstroidManager
  11. from astroid.nodes.node_classes import (
  12. Attribute,
  13. Call,
  14. Const,
  15. EvaluatedObject,
  16. List,
  17. Name,
  18. Set,
  19. Tuple,
  20. )
  21. ACCEPTED_ITERABLES_FOR_SAMPLE = (List, Set, Tuple)
  22. def _clone_node_with_lineno(node, parent, lineno):
  23. if isinstance(node, EvaluatedObject):
  24. node = node.original
  25. cls = node.__class__
  26. other_fields = node._other_fields
  27. _astroid_fields = node._astroid_fields
  28. init_params = {"lineno": lineno, "col_offset": node.col_offset, "parent": parent}
  29. postinit_params = {param: getattr(node, param) for param in _astroid_fields}
  30. if other_fields:
  31. init_params.update({param: getattr(node, param) for param in other_fields})
  32. new_node = cls(**init_params)
  33. if hasattr(node, "postinit") and _astroid_fields:
  34. new_node.postinit(**postinit_params)
  35. return new_node
  36. def infer_random_sample(node, context: InferenceContext | None = None):
  37. if len(node.args) != 2:
  38. raise UseInferenceDefault
  39. inferred_length = helpers.safe_infer(node.args[1], context=context)
  40. if not isinstance(inferred_length, Const):
  41. raise UseInferenceDefault
  42. if not isinstance(inferred_length.value, int):
  43. raise UseInferenceDefault
  44. inferred_sequence = helpers.safe_infer(node.args[0], context=context)
  45. if not inferred_sequence:
  46. raise UseInferenceDefault
  47. if not isinstance(inferred_sequence, ACCEPTED_ITERABLES_FOR_SAMPLE):
  48. raise UseInferenceDefault
  49. if inferred_length.value > len(inferred_sequence.elts):
  50. # In this case, this will raise a ValueError
  51. raise UseInferenceDefault
  52. try:
  53. elts = random.sample(inferred_sequence.elts, inferred_length.value)
  54. except ValueError as exc:
  55. raise UseInferenceDefault from exc
  56. new_node = List(lineno=node.lineno, col_offset=node.col_offset, parent=node.scope())
  57. new_elts = [
  58. _clone_node_with_lineno(elt, parent=new_node, lineno=new_node.lineno)
  59. for elt in elts
  60. ]
  61. new_node.postinit(new_elts)
  62. return iter((new_node,))
  63. def _looks_like_random_sample(node) -> bool:
  64. func = node.func
  65. if isinstance(func, Attribute):
  66. return func.attrname == "sample"
  67. if isinstance(func, Name):
  68. return func.name == "sample"
  69. return False
  70. AstroidManager().register_transform(
  71. Call, inference_tip(infer_random_sample), _looks_like_random_sample
  72. )