Package sootup.core.jimple.basic

Class FullStmtPositionInfo

java.lang.Object

sootup.core.jimple.basic.StmtPositionInfo

sootup.core.jimple.basic.SimpleStmtPositionInfo

sootup.core.jimple.basic.FullStmtPositionInfo

public class FullStmtPositionInfo
extends SimpleStmtPositionInfo

This class stores position information stored for a statement. line number + information about its operands

Author:

Linghui Luo, Markus Schmidt

Field Summary

Fields

Modifier and Type	Field	Description
protected final @NonNull Position[]	operandPositions

Fields inherited from class sootup.core.jimple.basic.SimpleStmtPositionInfo

stmtPosition

Fields inherited from class sootup.core.jimple.basic.StmtPositionInfo

NOPOSITION

Constructor Summary

Constructors

Constructor	Description
FullStmtPositionInfo(@NonNull Position stmtPosition, @NonNull Position[] operandPositions)	Create an instance from given statement position and operand positions.

Method Summary

Modifier and Type	Method	Description
Position	getOperandPosition(int index)	Return the precise position of the given operand in the statement.
@NonNull Position	getStmtPosition()	Return the position of the statement.
String	toString()
@NonNull StmtPositionInfo	withOperandPositions(@NonNull Position[] operandPositions)
@NonNull StmtPositionInfo	withStmtPosition(@NonNull Position stmtPosition)

Methods inherited from class sootup.core.jimple.basic.StmtPositionInfo

getNoStmtPositionInfo

Methods inherited from class java.lang.Object

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

Field Details

operandPositions

protected final @NonNull Position[] operandPositions

Constructor Details

FullStmtPositionInfo

public FullStmtPositionInfo(@NonNull Position stmtPosition,
 @NonNull Position[] operandPositions)

Create an instance from given statement position and operand positions.

Parameters:

stmtPosition - the position of the statement

operandPositions - the operand positions

Method Details

getStmtPosition

public @NonNull Position getStmtPosition()

Return the position of the statement.

Overrides:

getStmtPosition in class SimpleStmtPositionInfo

Returns:

the position of the statement

getOperandPosition

public Position getOperandPosition(int index)

Return the precise position of the given operand in the statement.

Overrides:

getOperandPosition in class SimpleStmtPositionInfo

Parameters:

index - the operand index

Returns:

the position of the given operand

toString

public String toString()

Overrides:

toString in class StmtPositionInfo

withStmtPosition

public @NonNull StmtPositionInfo withStmtPosition(@NonNull Position stmtPosition)

withOperandPositions

public @NonNull StmtPositionInfo withOperandPositions(@NonNull Position[] operandPositions)