• Главная
• Pytocs
• TypeInference
• State

C# Класс Pytocs.TypeInference.State

Показать файл Открыть проект Примеры использования класса

Открытые свойства

Свойство	Тип	Описание
globalNames	ISet
stateType	StateType
supers	List
table	ISet>.IDictionary

Открытые методы

Метод	Описание
AddGlobalName ( string name ) : void
Bind ( Analyzer analyzer, Exp target, DataType rvalue, BindingKind kind ) : void	Bind a name to this scope, including destructuring assignment.
Bind ( Analyzer analyzer, Identifier id, DataType rvalue, BindingKind kind ) : void
Bind ( Analyzer analyzer, List xs, DataType rvalue, BindingKind kind ) : void
BindByScope ( Analyzer analyzer, Exp target, DataType rvalue ) : void	Without specifying a kind, bind determines the kind according to the type of the scope.
BindIterator ( Analyzer analyzer, Exp target, Exp iter, DataType iterType, BindingKind kind ) : void
Clone ( ) : State
GetGlobalTable ( ) : State
Insert ( Analyzer analyzer, string id, Exp node, DataType type, BindingKind kind ) : Binding
Insert ( Analyzer analyzer, string id, Module node, DataType type, BindingKind kind ) : Binding
IsGlobalName ( string name ) : bool
Lookup ( string name ) : ISet	Look up a name in the current symbol table. If not found, recurse on the parent table.
LookupAttribute ( string attr ) : ISet
LookupAttributeType ( string attr ) : DataType	Look for an attribute named and if found, return its type.
LookupLocal ( string name ) : ISet	Look up a name in the current symbol table only. Don't recurse on the parent table.
LookupScope ( string name ) : ISet	Look up a name in the module if it is declared as global, otherwise look it up locally.
MakeUnion ( ISet bs ) : DataType
Merge ( State other ) : void
Overwrite ( State s ) : void
Remove ( string id ) : void
State ( State s ) : System
State ( State parent, StateType type ) : System
ToString ( ) : string
Update ( string id, Binding b ) : ISet
Update ( string id, ISet bs ) : ISet
addSuper ( State sup ) : void
entrySet ( ) : ISet>>.ICollection
extendPath ( Analyzer analyzer, string pathname ) : string
getForwarding ( ) : State
getStateOfType ( StateType type ) : State	Find a symbol table of a certain type in the enclosing scopes.
lookupType ( string name ) : DataType	Look for a binding named {@code name} and if found, return its type.
merge ( State state1, State state2 ) : State
putAll ( State other ) : void
setStateType ( StateType type ) : void
transformExpr ( Analyzer analyzer, Exp n, State s ) : DataType
transformExprs ( Analyzer analyzer, List exprs, State s ) : void

Приватные методы

Метод	Описание
ReportUnpackMismatch ( Analyzer analyzer, List xs, int vsize ) : void
getModuleBindingIfGlobal ( string name ) : ISet	If {@code name} is declared as a global, return the module binding.
setAttr ( Analyzer analyzer, AttributeAccess attr, DataType attrType, DataType targetType ) : void
setAttrType ( Analyzer analyzer, AttributeAccess attr, DataType targetType, DataType attrType ) : void

Описание методов

Описание свойств