edu.nyu.cascade.ir
Interface IRLocation

All Superinterfaces:

Comparable<IRLocation>

All Known Implementing Classes:

AbstractLocation

public interface IRLocation
extends Comparable<IRLocation>

Method Summary

boolean	equals(IRLocation loc)
boolean	follows(IRBasicBlock block) Returns true if the location follows the basic block.
boolean	follows(IRBasicBlock block, boolean strict)
boolean	follows(IRExpression expr)
boolean	follows(IRExpression expr, boolean strict)
boolean	follows(IRLocation loc)
boolean	follows(IRLocation loc, boolean strict)
boolean	follows(IRStatement stmt)
boolean	follows(IRStatement stmt, boolean strict)
File	getFile()
int	getLine()
boolean	isWithin(IRBasicBlock block) Returns true if the location is within the basic block.
boolean	precedes(IRBasicBlock block) Returns true if the location precedes the basic block.
boolean	precedes(IRBasicBlock block, boolean strict)
boolean	precedes(IRExpression expr)
boolean	precedes(IRExpression expr, boolean strict)
boolean	precedes(IRLocation loc)
boolean	precedes(IRLocation loc, boolean strict)
boolean	precedes(IRStatement stmt)
boolean	precedes(IRStatement stmt, boolean strict)
boolean	strictFollows(IRBasicBlock block)
boolean	strictFollows(IRExpression expr)
boolean	strictFollows(IRLocation loc)
boolean	strictFollows(IRStatement stmt)
boolean	strictPrecedes(IRBasicBlock block)
boolean	strictPrecedes(IRExpression expr)
boolean	strictPrecedes(IRLocation loc)
boolean	strictPrecedes(IRStatement stmt)

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

equals

boolean equals(IRLocation loc)

follows

boolean follows(IRBasicBlock block)

Returns true if the location follows the basic block. The return value is undefined if the block and the location are not in the same file, or if the block does not have a defined end location.

follows

boolean follows(IRExpression expr)

follows

boolean follows(IRLocation loc)

follows

boolean follows(IRStatement stmt)

follows

boolean follows(IRBasicBlock block,
                boolean strict)

follows

boolean follows(IRExpression expr,
                boolean strict)

follows

boolean follows(IRLocation loc,
                boolean strict)

follows

boolean follows(IRStatement stmt,
                boolean strict)

getFile

File getFile()

getLine

int getLine()

isWithin

boolean isWithin(IRBasicBlock block)

Returns true if the location is within the basic block. The return value is undefined if the block does not have defined start location and end locations.

precedes

boolean precedes(IRBasicBlock block)

Returns true if the location precedes the basic block. The return value is undefined if the block and the location are not in the same file, or if the block does not have a defined start location.

precedes

boolean precedes(IRExpression expr)

precedes

boolean precedes(IRLocation loc)

precedes

boolean precedes(IRStatement stmt)

precedes

boolean precedes(IRBasicBlock block,
                 boolean strict)

precedes

boolean precedes(IRExpression expr,
                 boolean strict)

precedes

boolean precedes(IRLocation loc,
                 boolean strict)

precedes

boolean precedes(IRStatement stmt,
                 boolean strict)

strictFollows

boolean strictFollows(IRBasicBlock block)

strictFollows

boolean strictFollows(IRExpression expr)

strictFollows

boolean strictFollows(IRLocation loc)

strictFollows

boolean strictFollows(IRStatement stmt)

strictPrecedes

boolean strictPrecedes(IRBasicBlock block)

strictPrecedes

boolean strictPrecedes(IRExpression expr)

strictPrecedes

boolean strictPrecedes(IRLocation loc)

strictPrecedes

boolean strictPrecedes(IRStatement stmt)