Package org.sonar.python.semantic.v2.types

Class TypeInferenceProgramState

java.lang.Object

org.sonar.python.semantic.v2.types.TypeInferenceProgramState

All Implemented Interfaces:

ProgramState

public class TypeInferenceProgramState
extends Object
implements ProgramState

Constructor Summary

Constructors

Constructor	Description
TypeInferenceProgramState()

Method Summary

Modifier and Type	Method	Description
ProgramState	copy()
boolean	equals(Object o)
int	hashCode()
ProgramState	join(ProgramState otherState)
void	setTypes(SymbolV2 symbol, Set<PythonType> types)
Map<SymbolV2,Set<PythonType>>	typesBySymbol()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Details

TypeInferenceProgramState

public TypeInferenceProgramState()

Method Details

setTypes

public void setTypes(SymbolV2 symbol,
 Set<PythonType> types)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

join

public ProgramState join(ProgramState otherState)

Specified by:

join in interface ProgramState

copy

public ProgramState copy()

Specified by:

copy in interface ProgramState

typesBySymbol

public Map<SymbolV2,Set<PythonType>> typesBySymbol()