12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576 |
- # Source code: https://github.com/hamdanal/rich-argparse
- # MIT license: Copyright (c) Ali Hamdan <ali.hamdan.dev@gmail.com>
- # for internal use only
- from __future__ import annotations
- TYPE_CHECKING = False
- if TYPE_CHECKING:
- from typing import Any
- from rich.ansi import re_ansi as re_ansi
- from rich.console import Console as Console
- from rich.console import ConsoleOptions as ConsoleOptions
- from rich.console import RenderableType as RenderableType
- from rich.console import RenderResult as RenderResult
- from rich.containers import Lines as Lines
- from rich.control import strip_control_codes as strip_control_codes
- from rich.markup import escape as escape
- from rich.padding import Padding as Padding
- from rich.segment import Segment as Segment
- from rich.style import StyleType as StyleType
- from rich.text import Span as Span
- from rich.text import Text as Text
- from rich.theme import Theme as Theme
- __all__ = [
- "re_ansi",
- "Console",
- "ConsoleOptions",
- "RenderableType",
- "RenderResult",
- "Lines",
- "strip_control_codes",
- "escape",
- "Padding",
- "Segment",
- "StyleType",
- "Span",
- "Text",
- "Theme",
- ]
- def __getattr__(name: str) -> Any:
- if name not in __all__:
- raise AttributeError(name)
- import rich.ansi
- import rich.console
- import rich.containers
- import rich.control
- import rich.markup
- import rich.padding
- import rich.segment
- import rich.style
- import rich.text
- import rich.theme
- globals().update(
- {
- "re_ansi": rich.ansi.re_ansi,
- "Console": rich.console.Console,
- "ConsoleOptions": rich.console.ConsoleOptions,
- "RenderableType": rich.console.RenderableType,
- "RenderResult": rich.console.RenderResult,
- "Lines": rich.containers.Lines,
- "strip_control_codes": rich.control.strip_control_codes,
- "escape": rich.markup.escape,
- "Padding": rich.padding.Padding,
- "Segment": rich.segment.Segment,
- "StyleType": rich.style.StyleType,
- "Span": rich.text.Span,
- "Text": rich.text.Text,
- "Theme": rich.theme.Theme,
- }
- )
- return globals()[name]
|