class documentation

class SemanticAnalyzerCoreInterface: (source)

Known subclasses: mypy.semanal_shared.SemanticAnalyzerInterface

View In Hierarchy

A core abstract interface to generic semantic analyzer functionality.

This is implemented by both semantic analyzer passes 2 and 3.

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 defer(self): (source)

Undocumented

@abstractmethod
def fail(self, msg, ctx, serious=False, *, blocker=False, code=None): (source)

Undocumented

Parameters
msg:strUndocumented
ctx:ContextUndocumented
serious:boolUndocumented
blocker:boolUndocumented
code:Optional[ErrorCode]Undocumented
@abstractmethod
def is_future_flag_set(self, flag): (source)
Is the specific __future__ feature imported
Parameters
flag:strUndocumented
Returns
boolUndocumented
@abstractmethod
def is_incomplete_namespace(self, fullname): (source)
Is a module or class namespace potentially missing some definitions?
Parameters
fullname:strUndocumented
Returns
boolUndocumented
@abstractmethod
def lookup_fully_qualified(self, name): (source)

Undocumented

Parameters
name:strUndocumented
Returns
SymbolTableNodeUndocumented
@abstractmethod
def lookup_fully_qualified_or_none(self, name): (source)

Undocumented

Parameters
name:strUndocumented
Returns
Optional[SymbolTableNode]Undocumented
@abstractmethod
def lookup_qualified(self, name, ctx, suppress_errors=False): (source)

Undocumented

Parameters
name:strUndocumented
ctx:ContextUndocumented
suppress​_errors:boolUndocumented
Returns
Optional[SymbolTableNode]Undocumented
@abstractmethod
def note(self, msg, ctx, *, code=None): (source)

Undocumented

Parameters
msg:strUndocumented
ctx:ContextUndocumented
code:Optional[ErrorCode]Undocumented
@abstractmethod
def record_incomplete_ref(self): (source)

Undocumented

@property
@abstractmethod
final_iteration: bool = (source)
Is this the final iteration of semantic analysis?
@property
@abstractmethod
is_stub_file: bool = (source)

Undocumented