libstatic API Documentation Modules Classes Names
Clear Help

For more information on the search, visit the help page.

Class Hierarchy

  • abc.ABC
    • libstatic.StaticException - Base exception for the library.
      • libstatic._lib.exceptions.StaticTypeMismatch - The unification of two types has failed.
      • libstatic.StaticAmbiguity - Definition is ambiguous.
      • libstatic.StaticAttributeError - Attribute not found.
      • libstatic.StaticCodeUnsupported - Syntax is unsupported.
      • libstatic.StaticEvaluationError - The evaluation could not be completed.
      • libstatic.StaticImportError - An import target could not be found.
      • libstatic.StaticNameError - Unbound name.
      • libstatic.StaticStateIncomplete - Missing required information about analyzed tree. Shouldn't be raised under normal usage of the library.
      • libstatic.StaticTypeError - A node has an unexpected type.
      • libstatic.StaticUnknownValue - Used by literal eval when a used value is not known.
      • libstatic.StaticValueError - Can't make sens of analyzed syntax tree.
    • libstatic.TopologicalProcessor - Base class for processing objects in topological order. Decoupled from the concrete types so it can be re-used for several order-sensitive analysis.
  • ast.NodeTransformer
    • libstatic._analyzer.typeinfer._AnnotationStringParser - When given an expression, the node returned by L{ast.NodeVisitor.visit()} will also be an expression. If any string literal contained in the original expression is either invalid Python or not a singular expression, L{SyntaxError} is raised.
    • libstatic._lib.transform.Transform - Transform the ast such that the code is more easy to understand.
  • ast.NodeVisitor
    • libstatic._analyzer.reachability._MarkUnreachable - Undocumented
    • libstatic._analyzer.typeinfer._AnnotationToType - Converts an annotation into a L{Type}.
    • libstatic._analyzer.wildcards._VisitDunderAllAssignment - Ensures that dependencies required to calculate __all__ are processed before going forward. Only other __all__ values will be considered as dependencies to calculate __all__, meaning developers should not include arbitrary names in __all__ values.
    • libstatic._lib.ancestors.Ancestors - Build the ancestor tree, that associates a node to the list of node visited from the root node (the Module) to the current node
    • libstatic._lib.chains.ParseArgumentsInfos - Undocumented
    • libstatic._lib.imports.ImportParser - Transform import statements into a mapping from ast.alias to ImportInfo. One instance of ImportParser can be used to parse all imports in a given module.
    • libstatic._lib.imports.ParseImportedNames - Maps each ast.alias in the module to their ImportInfo counterpart.
    • libstatic._lib.shared.LocalStmtVisitor - Like StmtVisitor but does not recurse on functions or classes by default.
      • libstatic._analyzer.reachability._Unreachable - Undocumented
      • libstatic._analyzer.wildcards._VisitWildcardImports - Undocumented
      • libstatic._lib.ivars.IVarsVisitor - Undocumented
    • libstatic._lib.shared.StmtVisitor - Does not recurse on leaf type statements' content by default.
      • libstatic._analyzer.driver.ChainDefUseOfImports - Adds each alias instance to the list of uses of the Def of the name their are binding.
      • libstatic._lib.ivars.ComputeInstanceVariables - Undocumented
  • beniget.standard.DefUseChains
    • libstatic._lib.chains.DefUseChains - Custom def-use builder.
  • collections.deque
    • libstatic._lib.c3linear.Dependency - No class docstring; 1/2 property documented
  • Exception
    • libstatic.StaticException - Base exception for the library.
      • libstatic._lib.exceptions.StaticTypeMismatch - The unification of two types has failed.
      • libstatic.StaticAmbiguity - Definition is ambiguous.
      • libstatic.StaticAttributeError - Attribute not found.
      • libstatic.StaticCodeUnsupported - Syntax is unsupported.
      • libstatic.StaticEvaluationError - The evaluation could not be completed.
      • libstatic.StaticImportError - An import target could not be found.
      • libstatic.StaticNameError - Unbound name.
      • libstatic.StaticStateIncomplete - Missing required information about analyzed tree. Shouldn't be raised under normal usage of the library.
      • libstatic.StaticTypeError - A node has an unexpected type.
      • libstatic.StaticUnknownValue - Used by literal eval when a used value is not known.
      • libstatic.StaticValueError - Can't make sens of analyzed syntax tree.
  • libstatic._analyzer.driver.Analyzer - No class docstring; 0/3 instance variable, 0/1 class variable, 1/8 method documented
  • libstatic._analyzer.mro.ComputeClassMRO - No class docstring; 0/2 instance variable, 1/3 method documented
  • libstatic._analyzer.unify.Substitutions - A domain of instantiated type variables.
  • libstatic._analyzer.wildcards._ComputeWildcards - No class docstring; 0/2 instance variable, 1/4 method documented
  • libstatic._lib.arguments.ArgSpec - Undocumented
  • libstatic._lib.c3linear.DependencyList - A class represents list of linearizations (dependencies) The last element of DependencyList is a list of parents. It's needed to the merge process preserves the local precedence order of direct parent classes.
  • libstatic._lib.chains.BenigetConverter - Undocumented
  • libstatic.Def - Model a use or a definition, either named or unnamed, and its users.
    • libstatic.NameDef - Model the definition of a name (abstract).
      • libstatic.Arg - Model a function argument definition.
      • libstatic.Attr - Model an attribute definition.
      • libstatic.Cls - Model a class definition.
      • libstatic.Func - Model a function definition.
      • libstatic.Imp - Model an imported name definition.
      • libstatic.Mod - Model a module definition.
      • libstatic.Var - Model a variable definition.
    • libstatic.Scope - Model a python scope (abstract).
      • libstatic.ClosedScope - Model a closed scope (abstract). Closed scope have <locals>.
        • libstatic.Comp - Model the definition of a generator or comprehension.
        • libstatic.Func - Model a function definition.
        • libstatic.Lamb - Model the definition of a lambda function.
      • libstatic.OpenScope - Model a open scope (abstract).
        • libstatic.Cls - Model a class definition.
        • libstatic.Mod - Model a module definition.
  • libstatic.NodeLocation - No class docstring; 0/4 instance variable, 0/1 method, 1/1 class method documented
  • libstatic.Options - Undocumented
  • libstatic.Project - A project is a high-level class to analyze a collection of modules together.
  • object
    • libstatic._analyzer.unionfind._Free - Sentinel class, instance is placed at free spots in the union-find elements list.
  • type
    • libstatic._analyzer.typeinfer._TypeVariableMeta - Undocumented
  • typing.Collection
    • libstatic._analyzer.unionfind.UnionFind - Union-find disjoint sets datastructure.
  • typing.Generic
    • libstatic._analyzer.asteval._EvalBaseVisitor - No class docstring; 0/1 instance variable, 0/1 constant, 1/4 method documented
      • libstatic._analyzer.asteval._ASTEval - Undocumented
        • libstatic._analyzer.asteval._GotoDefinition - Undocumented
        • libstatic._analyzer.asteval._LiteralEval - No class docstring; 0/2 instance variable, 1/19 method documented
      • libstatic._analyzer.typeinfer._TypeInference - Find the L{Type} of an expression.
    • libstatic._analyzer.unionfind.UnionFind - Union-find disjoint sets datastructure.
    • libstatic.TopologicalProcessor - Base class for processing objects in topological order. Decoupled from the concrete types so it can be re-used for several order-sensitive analysis.
  • typing.Mapping
    • libstatic._lib.structures.ChainMap - Combine multiple mappings for sequential lookup.
    • libstatic._lib.structures.FrozenDict - Undocumented
    • libstatic._lib.structures.LazyMap - A lazy map makes an iterator look like an immutable mapping.
  • typing.NamedTuple
    • libstatic._analyzer.unify.MarkedSubstitutions - Undocumented
    • libstatic._lib.imports.ImportInfo - Complement an ast.alias node with resolved origin module and name.
  • typing.Protocol
    • libstatic._analyzer.reachability.HasBody - Undocumented
      • libstatic._analyzer.reachability.HasOrelse - Undocumented
    • libstatic._analyzer.reachability.HasOrelse - Undocumented
    • libstatic._analyzer.state._MinimalState - Undocumented
      • libstatic.State - The Project's state: container and accessors for analyses results.
    • libstatic._lib.model._Msg - Undocumented
    • libstatic.Type - The type of a Python expression.
      • libstatic._analyzer.typeinfer.Type - Internal implementation of libstatic.Type.
        • libstatic._analyzer.typeinfer.TypeVariable - No summary
  • typing.Sequence
    • libstatic._lib.structures.LazySeq - A lazy sequence makes an iterator look like an immutable sequence.

API Documentation for libstatic, generated by pydoctor 24.11.2 at 2025-03-03 22:37:09.