PositionAndMessage

public final class PositionAndMessage

Wrapper around a message that Tapenade emits and its related position in the source.

Fields

fileName

protected String fileName

Related file name.

tags

protected TapPair<String, String> tags

For correspondence between “source” tree and “message” for html display tools.

tree

protected Tree tree

Related tree.

Constructors

PositionAndMessage

protected PositionAndMessage(int i, String msg, Tree tr)

PositionAndMessage creation.

Parameters
  • i – integer position in the tree.

  • msg – message.

  • tr – associated tree.

PositionAndMessage

public PositionAndMessage(PositionAndMessage orig)

PositionAndMessage creation from an orig PositionAndMessage.

Parameters
  • orig – PositionAndMessage

Methods

message

public String message()

String message.

Returns

String.

position

public int position()
Returns

integer position.

setPosition

protected void setPosition(int position)

Set position of the message.

Parameters
  • position – integer.

setUnit

protected void setUnit(Unit unit)

Set related unit of this message.

Parameters
  • unit – related Unit.

toString

public String toString()

unit

protected Unit unit()

Related unit of this message.

Returns

related Unit.