mypy.semanal_shared.SemanticAnalyzerInterface

Modules Classes Names

class documentation

class SemanticAnalyzerInterface(SemanticAnalyzerCoreInterface): (source)

Known subclasses: mypy.semanal.SemanticAnalyzer

View In Hierarchy

A limited abstract interface to some generic semantic analyzer pass 2 functionality.

We use this interface for various reasons:

Looser coupling
Cleaner import graph
Less need to pass around callback functions

Method	`accept`	Undocumented
Method	`add_symbol`	Add symbol to the current symbol table.
Method	`add_symbol_skip_local`	Add symbol to the current symbol table, skipping locals.
Method	`add_symbol_table_node`	Add node to the current symbol table.
Method	`anal_type`	Undocumented
Method	`basic_new_typeinfo`	Undocumented
Method	`current_symbol_table`	Get currently active symbol table.
Method	`is_func_scope`	Undocumented
Method	`lookup`	Undocumented
Method	`named_type`	Undocumented
Method	`named_type_or_none`	Undocumented
Method	`parse_bool`	Undocumented
Method	`qualified_name`	Undocumented
Method	`schedule_patch`	Undocumented
Property	`is_typeshed_stub_file`	Undocumented

Inherited from SemanticAnalyzerCoreInterface:

Method	`defer`	Undocumented
Method	`fail`	Undocumented
Method	`is_future_flag_set`	Is the specific __future__ feature imported
Method	`is_incomplete_namespace`	Is a module or class namespace potentially missing some definitions?
Method	`lookup_fully_qualified`	Undocumented
Method	`lookup_fully_qualified_or_none`	Undocumented
Method	`lookup_qualified`	Undocumented
Method	`note`	Undocumented
Method	`record_incomplete_ref`	Undocumented
Property	`final_iteration`	Is this the final iteration of semantic analysis?
Property	`is_stub_file`	Undocumented

@abstractmethod
def accept(self, node): (source)

overridden in mypy.semanal.SemanticAnalyzer

Undocumented

Parameters
node:`Node`	Undocumented

@abstractmethod
def add_symbol(self, name, node, context, module_public=True, module_hidden=False, can_defer=True): (source)

overridden in mypy.semanal.SemanticAnalyzer

Add symbol to the current symbol table.

Parameters
name:`str`	Undocumented
node:`SymbolNode`	Undocumented
context:`Context`	Undocumented
module_public:`bool`	Undocumented
module_hidden:`bool`	Undocumented
can_defer:`bool`	Undocumented
Returns
`bool`	Undocumented

@abstractmethod
def add_symbol_skip_local(self, name, node): (source)

overridden in mypy.semanal.SemanticAnalyzer

Add symbol to the current symbol table, skipping locals.

This is used to store symbol nodes in a symbol table that is going to be serialized (local namespaces are not serialized). See implementation docstring for more details.

Parameters
name:`str`	Undocumented
node:`SymbolNode`	Undocumented

@abstractmethod
def add_symbol_table_node(self, name, stnode): (source)

overridden in mypy.semanal.SemanticAnalyzer

Add node to the current symbol table.

Parameters
name:`str`	Undocumented
stnode:`SymbolTableNode`	Undocumented
Returns
`bool`	Undocumented

@abstractmethod
def anal_type(self, t, *, tvar_scope=None, allow_tuple_literal=False, allow_unbound_tvars=False, allow_required=False, report_invalid_types=True): (source)

overridden in mypy.semanal.SemanticAnalyzer

Undocumented

Parameters
t:`Type`	Undocumented
tvar_scope:`Optional[TypeVarLikeScope]`	Undocumented
allow_tuple_literal:`bool`	Undocumented
allow_unbound_tvars:`bool`	Undocumented
allow_required:`bool`	Undocumented
report_invalid_types:`bool`	Undocumented
Returns
`Optional[Type]`	Undocumented

@abstractmethod
def basic_new_typeinfo(self, name, basetype_or_fallback, line): (source)

overridden in mypy.semanal.SemanticAnalyzer

Undocumented

Parameters
name:`str`	Undocumented
basetype_or_fallback:`Instance`	Undocumented
line:`int`	Undocumented
Returns
`TypeInfo`	Undocumented

@abstractmethod
def current_symbol_table(self): (source)

overridden in mypy.semanal.SemanticAnalyzer

Get currently active symbol table.

May be module, class, or local namespace.

Returns
`SymbolTable`	Undocumented

@abstractmethod
def is_func_scope(self): (source)

overridden in mypy.semanal.SemanticAnalyzer

Undocumented

Returns
`bool`	Undocumented

@abstractmethod
def lookup(self, name, ctx, suppress_errors=False): (source)

overridden in mypy.semanal.SemanticAnalyzer

Undocumented

Parameters
name:`str`	Undocumented
ctx:`Context`	Undocumented
suppress_errors:`bool`	Undocumented
Returns
`Optional[SymbolTableNode]`	Undocumented

@abstractmethod
def named_type(self, fullname, args=None): (source)

overridden in mypy.semanal.SemanticAnalyzer

Undocumented

Parameters
fullname:`str`	Undocumented
args:`Optional[List[Type]]`	Undocumented
Returns
`Instance`	Undocumented

@abstractmethod
def named_type_or_none(self, fullname, args=None): (source)

overridden in mypy.semanal.SemanticAnalyzer

Undocumented

Parameters
fullname:`str`	Undocumented
args:`Optional[List[Type]]`	Undocumented
Returns
`Optional[Instance]`	Undocumented

@abstractmethod
def parse_bool(self, expr): (source)

overridden in mypy.semanal.SemanticAnalyzer

Undocumented

Parameters
expr:`Expression`	Undocumented
Returns
`Optional[bool]`	Undocumented

@abstractmethod
def qualified_name(self, n): (source)

overridden in mypy.semanal.SemanticAnalyzer

Undocumented

Parameters
n:`str`	Undocumented
Returns
`str`	Undocumented

@abstractmethod
def schedule_patch(self, priority, fn): (source)

overridden in mypy.semanal.SemanticAnalyzer

Undocumented

Parameters
priority:`int`	Undocumented
fn:`Callable[[], None]`	Undocumented

@property
@abstractmethod
is_typeshed_stub_file: bool = (source)

overridden in mypy.semanal.SemanticAnalyzer

Undocumented