brain_random.py 3.0 KB

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