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 java.lang.Object

Tuple of a variable name, source location, and a context.

Constructor Summary

Constructors

Constructor and Description
VariableSummary(java.lang.String variable_name, SourceLocation source_location, Context context)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
Context	getContext()
SourceLocation	getVariableLocation()
java.lang.String	getVariableName()
int	hashCode()

Methods inherited from class java.lang.Object

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

Constructor Detail

VariableSummary

public VariableSummary(java.lang.String variable_name,
                       SourceLocation source_location,
                       Context context)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

getContext

public Context getContext()

getVariableLocation

public SourceLocation getVariableLocation()

getVariableName

public java.lang.String getVariableName()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object