C# Class Pytocs.TypeInference.State

Implements a scope, which maps names to sets of bindings.

Show file Open project: uxmal/pytocs Class Usage Examples

Public Properties

Property	Type	Description
globalNames	ISet
stateType	StateType
supers	List
table	ISet>.IDictionary

Public Methods

Method	Description
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

Private Methods

Method	Description
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

Method Details

AddGlobalName() public method

public AddGlobalName ( string name ) : void
name	string
return	void

Bind() public method

Bind a name to this scope, including destructuring assignment.

public Bind ( Analyzer analyzer, Exp target, DataType rvalue, BindingKind kind ) : void
analyzer	Analyzer
target	Exp
rvalue	DataType
kind	BindingKind
return	void

Bind() public method

public Bind ( Analyzer analyzer, Identifier id, DataType rvalue, BindingKind kind ) : void
analyzer	Analyzer
id	Identifier
rvalue	DataType
kind	BindingKind
return	void

Bind() public method

public Bind ( Analyzer analyzer, List xs, DataType rvalue, BindingKind kind ) : void
analyzer	Analyzer
xs	List
rvalue	DataType
kind	BindingKind
return	void

BindByScope() public method

Without specifying a kind, bind determines the kind according to the type of the scope.

public BindByScope ( Analyzer analyzer, Exp target, DataType rvalue ) : void
analyzer	Analyzer
target	Exp
rvalue	DataType
return	void

BindIterator() public method

public BindIterator ( Analyzer analyzer, Exp target, Exp iter, DataType iterType, BindingKind kind ) : void
analyzer	Analyzer
target	Exp
iter	Exp
iterType	DataType
kind	BindingKind
return	void

Clone() public method

public Clone ( ) : State
return	State

GetGlobalTable() public method

public GetGlobalTable ( ) : State
return	State

Insert() public method

public Insert ( Analyzer analyzer, string id, Exp node, DataType type, BindingKind kind ) : Binding
analyzer	Analyzer
id	string
node	Exp
type	DataType
kind	BindingKind
return	Binding

Insert() public method

public Insert ( Analyzer analyzer, string id, Module node, DataType type, BindingKind kind ) : Binding
analyzer	Analyzer
id	string
node	Pytocs.Syntax.Module
type	DataType
kind	BindingKind
return	Binding

IsGlobalName() public method

public IsGlobalName ( string name ) : bool
name	string
return	bool

Lookup() public method

Look up a name in the current symbol table. If not found, recurse on the parent table.

public Lookup ( string name ) : ISet
name	string
return	ISet

LookupAttribute() public method

public LookupAttribute ( string attr ) : ISet
attr	string
return	ISet

LookupAttributeType() public method

Look for an attribute named and if found, return its type.

public LookupAttributeType ( string attr ) : DataType
attr	string
return	DataType

LookupLocal() public method

Look up a name in the current symbol table only. Don't recurse on the parent table.

public LookupLocal ( string name ) : ISet
name	string
return	ISet

LookupScope() public method

Look up a name in the module if it is declared as global, otherwise look it up locally.

public LookupScope ( string name ) : ISet
name	string
return	ISet

MakeUnion() public static method

public static MakeUnion ( ISet bs ) : DataType
bs	ISet
return	DataType

Merge() public method

public Merge ( State other ) : void
other	State
return	void

Overwrite() public method

public Overwrite ( State s ) : void
s	State
return	void

Remove() public method

public Remove ( string id ) : void
id	string
return	void

State() public method

public State ( State s ) : System
s	State
return	System

State() public method

public State ( State parent, StateType type ) : System
parent	State
type	StateType
return	System

ToString() public method

public ToString ( ) : string
return	string

Update() public method

public Update ( string id, Binding b ) : ISet
id	string
b	Binding
return	ISet

Update() public method

public Update ( string id, ISet bs ) : ISet
id	string
bs	ISet
return	ISet

addSuper() public method

public addSuper ( State sup ) : void
sup	State
return	void

entrySet() public method

public entrySet ( ) : ISet>>.ICollection
return	ISet>>.ICollection

extendPath() public method

public extendPath ( Analyzer analyzer, string pathname ) : string
analyzer	Analyzer
pathname	string
return	string

getForwarding() public method

public getForwarding ( ) : State
return	State

getStateOfType() public method

Find a symbol table of a certain type in the enclosing scopes.

public getStateOfType ( StateType type ) : State
type	StateType
return	State

lookupType() public method

Look for a binding named {@code name} and if found, return its type.

public lookupType ( string name ) : DataType
name	string
return	DataType

merge() public static method

public static merge ( State state1, State state2 ) : State
state1	State
state2	State
return	State

putAll() public method

public putAll ( State other ) : void
other	State
return	void

setStateType() public method

public setStateType ( StateType type ) : void
type	StateType
return	void

transformExpr() public static method

public static transformExpr ( Analyzer analyzer, Exp n, State s ) : DataType
analyzer	Analyzer
n	Exp
s	State
return	DataType

transformExprs() public static method

public static transformExprs ( Analyzer analyzer, List exprs, State s ) : void
analyzer	Analyzer
exprs	List
s	State
return	void

Property Details

globalNames public property

public ISet globalNames
return	ISet

stateType public property

public StateType stateType
return	StateType

supers public property

public List supers
return	List

table public property

public IDictionary> table
return	ISet>.IDictionary