Package jetbrains.mps.textgen.trace

Class PositionInfo

java.lang.Object

jetbrains.mps.textgen.trace.PositionInfo

All Implemented Interfaces:

Comparable<PositionInfo>

Direct Known Subclasses:

ScopePositionInfo, TraceablePositionInfo, UnitPositionInfo

public abstract class PositionInfo
extends Object
implements Comparable<PositionInfo>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	PositionInfo.StartLineComparator

Constructor Summary

Constructors

Constructor	Description
PositionInfo()

Method Summary

Modifier and Type	Method	Description
int	compareTo(PositionInfo p)
boolean	contains(String file, int line)
boolean	contains(PositionInfo position)
void	fillFrom(PositionInfo position)
int	getEndLine()
int	getEndPosition()
String	getFileName()
int	getLineDistance()
String	getNodeId()
int	getStartLine()
int	getStartPosition()
boolean	isOccupyTheSameSpace(PositionInfo p)
boolean	matches(SNodeId nodeId)	Replacement for getNodeId().equals(nodePointer.getNodeId().toString()).
void	setEndLine(int endLine)
void	setEndPosition(int endPosition)
void	setFileName(String fileName)
void	setNodeId(String nodeId)
void	setStartLine(int startLine)
void	setStartPosition(int startPosition)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

PositionInfo

public PositionInfo()

Method Detail

getFileName

@Nullable
public String getFileName()

getNodeId

@Nullable
public String getNodeId()

matches

public boolean matches(@Nullable
                       SNodeId nodeId)

Replacement for getNodeId().equals(nodePointer.getNodeId().toString()).

Parameters:

nodeId - tolerates null

Returns:

true iff is the same as the one associated with this position.

getStartLine

public int getStartLine()

getStartPosition

public int getStartPosition()

getEndLine

public int getEndLine()

getEndPosition

public int getEndPosition()

setFileName

public void setFileName(String fileName)

setNodeId

public void setNodeId(@NonNls
                      String nodeId)

setStartLine

public void setStartLine(int startLine)

setStartPosition

public void setStartPosition(int startPosition)

setEndLine

public void setEndLine(int endLine)

setEndPosition

public void setEndPosition(int endPosition)

getLineDistance

public int getLineDistance()

toString

public String toString()

Overrides:

toString in class Object

compareTo

public int compareTo(@NotNull
                     PositionInfo p)

Specified by:

compareTo in interface Comparable<PositionInfo>

isOccupyTheSameSpace

public boolean isOccupyTheSameSpace(PositionInfo p)

contains

public boolean contains(String file,
                        int line)

contains

public boolean contains(PositionInfo position)

fillFrom

public void fillFrom(PositionInfo position)