public void updatePreviousSourceLocation(SourceFileLocation sourceLocation)
{
previousSourceLine = sourceLocation.getLine();
previousSourceColumn = sourceLocation.getColumn();
String sourceUrl = sourceLocation.getSourceUrl();
previousSourceUrlIndex = indexOf(sourceUrlList, sourceUrl, sourceUrlMap);
String sourceName = sourceLocation.getSourceName();
if (sourceName != null)
{
previousSourceNameIndex = indexOf(sourceNameList, sourceName, sourceNameMap);
}
}
bool sameAsPreviousLocation(SourceFileLocation sourceLocation)
{
if (sourceLocation == null)
{
return(true);
}
int sourceUrlIndex =
indexOf(sourceUrlList, sourceLocation.getSourceUrl(), sourceUrlMap);
return
(sourceUrlIndex == previousSourceUrlIndex &&
sourceLocation.getLine() == previousSourceLine &&
sourceLocation.getColumn() == previousSourceColumn);
}
public void updatePreviousSourceLocation(SourceFileLocation sourceLocation)
{
previousSourceLine = sourceLocation.getLine();
previousSourceColumn = sourceLocation.getColumn();
String sourceUrl = sourceLocation.getSourceUrl();
previousSourceUrlIndex = indexOf(sourceUrlList, sourceUrl, sourceUrlMap);
String sourceName = sourceLocation.getSourceName();
if (sourceName != null)
{
previousSourceNameIndex = indexOf(sourceNameList, sourceName, sourceNameMap);
}
}
bool sameAsPreviousLocation(SourceFileLocation sourceLocation)
{
if (sourceLocation == null) {
return true;
}
int sourceUrlIndex =
indexOf(sourceUrlList, sourceLocation.getSourceUrl(), sourceUrlMap);
return
sourceUrlIndex == previousSourceUrlIndex &&
sourceLocation.getLine() == previousSourceLine &&
sourceLocation.getColumn() == previousSourceColumn;
}