mypy.semanal_newtype.NewTypeAnalyzer

Method	`__init__`	Undocumented
Method	`analyze_newtype_declaration`	Return the NewType call expression if `s` is a newtype declaration or None otherwise.
Method	`build_newtype_typeinfo`	Undocumented
Method	`check_newtype_args`	Ananlyze base type in NewType call.
Method	`fail`	Undocumented
Method	`make_argument`	Undocumented
Method	`process_newtype_declaration`	Check if s declares a NewType; if yes, store it in symbol table.
Instance Variable	`api`	Undocumented
Instance Variable	`msg`	Undocumented
Instance Variable	`options`	Undocumented

def __init__(self, options, api, msg): (source)

Undocumented

Parameters
options:`Options`	Undocumented
api:`SemanticAnalyzerInterface`	Undocumented
msg:`MessageBuilder`	Undocumented

def analyze_newtype_declaration(self, s): (source)

Return the NewType call expression if s is a newtype declaration or None otherwise.

Parameters
s:`AssignmentStmt`	Undocumented
Returns
`Tuple[Optional[str], Optional[CallExpr]]`	Undocumented

def build_newtype_typeinfo(self, name, old_type, base_type, line): (source)

Undocumented

Parameters
name:`str`	Undocumented
old_type:`Type`	Undocumented
base_type:`Instance`	Undocumented
line:`int`	Undocumented
Returns
`TypeInfo`	Undocumented

def check_newtype_args(self, name, call, context): (source)

Ananlyze base type in NewType call.

Return a tuple (type, should defer).

Parameters
name:`str`	Undocumented
call:`CallExpr`	Undocumented
context:`Context`	Undocumented
Returns
`Tuple[Optional[Type], bool]`	Undocumented

def fail(self, msg, ctx, *, code=None): (source)

Undocumented

Parameters
msg:`str`	Undocumented
ctx:`Context`	Undocumented
code:`Optional[ErrorCode]`	Undocumented

def make_argument(self, name, type): (source)

Undocumented

Parameters
name:`str`	Undocumented
type:`Type`	Undocumented
Returns
`Argument`	Undocumented

def process_newtype_declaration(self, s): (source)

Check if s declares a NewType; if yes, store it in symbol table.

Return True if it's a NewType declaration. The current target may be deferred as a side effect if the base type is not ready, even if the return value is True.

The logic in this function mostly copies the logic for visit_class_def() with a single (non-Generic) base.

Parameters
s:`AssignmentStmt`	Undocumented
Returns
`bool`	Undocumented

api = (source)

Undocumented

msg = (source)

Undocumented

options = (source)

Undocumented