dk.brics.tajs.monitoring

Class TypeCollector

java.lang.Object

dk.brics.tajs.monitoring.TypeCollector

public class TypeCollector
extends Object

Collects abstract values for variable occurrences during the scanning phase of the analysis.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	TypeCollector.VariableSummary Pair of a variable name and a source location.

Constructor Summary

Constructors

Constructor and Description
TypeCollector()

Method Summary

Methods

Modifier and Type	Method and Description
Map<TypeCollector.VariableSummary,Value>	getTypeInformation() Returns the collected type information.
void	presentTypeInformation() Presents the collected type information using System.out.println in the format varname: location -> type
void	record(String variable_name, SourceLocation source_location, Value value) Records a variable name along with its source location and abstract value.

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeCollector

public TypeCollector()

Method Detail

getTypeInformation

public Map<TypeCollector.VariableSummary,Value> getTypeInformation()

Returns the collected type information.

presentTypeInformation

public void presentTypeInformation()

Presents the collected type information using System.out.println in the format varname: location -> type

record

public void record(String variable_name,
          SourceLocation source_location,
          Value value)

Records a variable name along with its source location and abstract value.

Parameters:

variable_name - the name of the variable to record

source_location - the location in the source code

value - the abstract value of the variable