public class TypeCollector
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
TypeCollector.VariableSummary
Tuple of a variable name, source location, and a context.
|
Constructor and Description |
---|
TypeCollector() |
Modifier and Type | Method and Description |
---|---|
java.util.Map<TypeCollector.VariableSummary,Value> |
getTypeInformation()
Returns the collected type information.
|
void |
logTypeInformation()
Presents the collected type information in the format varname: location -> type.
|
void |
record(java.lang.String variable_name,
SourceLocation source_location,
Value value,
Context context)
Records a variable name along with its source location and abstract value.
|
public java.util.Map<TypeCollector.VariableSummary,Value> getTypeInformation()
public void logTypeInformation()
public void record(java.lang.String variable_name, SourceLocation source_location, Value value, Context context)
variable_name
- the name of the variable to recordsource_location
- the location in the source codevalue
- the abstract value of the variableCopyright © 2009-2019 Aarhus University