dk.brics.tajs.monitoring

Class TypeCollector.VariableSummary

java.lang.Object

dk.brics.tajs.monitoring.TypeCollector.VariableSummary

Enclosing class:

TypeCollector

public static class TypeCollector.VariableSummary
extends Object

Pair of a variable name and a source location.

Constructor Summary

Constructors

Constructor and Description
TypeCollector.VariableSummary(String variable_name, SourceLocation source_location)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object obj)
SourceLocation	getVariableLocation()
String	getVariableName()
int	hashCode()

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeCollector.VariableSummary

public TypeCollector.VariableSummary(String variable_name,
                             SourceLocation source_location)

Method Detail

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getVariableLocation

public SourceLocation getVariableLocation()

getVariableName

public String getVariableName()

hashCode

public int hashCode()

Overrides:

hashCode in class Object