COptUtil

Check if the current statement can fallthrough to the next statement, i.e. if the first one can redirect execution to the second one (directly or indirectly) when these two statements are next to each other. If the answer is false, the second statement can not possibly be executed once its predecessor has been executed.

Note: this is a conservative analysis (= false is a correct result, while true might indicate an unknown case). In particular, if the fallthrough statement is a label or a compound statement, the answer is true.

Recursively count the total number of sub-elements in the given element (see getSubElements()).

Indicate if next instruction will be executed. This is not an in-depth analysis, meaning that if there if a if (true) return; b = 2;, the method will return BOTH (predicates are not examined, only branches and based on last instruction).

Retrieve the value associated to an ICConstant as a Long.

Get the ICDecl possibly contained in a statement; either the statement itself, or the left-side of an assignment.

Get the initial value of a defined variable, from its definition statement.

Get the next "real" statement to be executed in the block, starting at the given index inclusively.

In particular, this method skips over:

• the do { part of a do-while block
• the while(true) { part of a while block
• the if(true) { part of a conditional statement

This method does two things:

• locating the statement provided, and skipping over it (note: if it is a compound statement, the entire compound is skipped)
• the next real statement that immediately follows is returned (see #getFirstRealStatement()).

 stm1;  // first
 while(true) {
   stm2;  // next
   ...
 

 stm1;  // first
 do {
   stm2;  // next
   ...
 

 if(...) {
   while(...) {  // first
      ...;
   }
 }
 stm2;  // next
 

Check if the statement follows the pattern if(P){goto x;} and if so, returns x.

Retrieve parent block or null if no parent was found (or processed statement is the top body of the ICMethod)

Attempt to retrieve the previously executed statements from a given statement.

Note that there is no look up for goto and jump so the previous statement of a label will only be the previous instruction as seen in the method. This method returns null when previous statements are too complicated to retrieve.

Check if a if-statement has an empty branch (including the default one).

Check if no ICCall is done by this ICElement.

Check if an ICElement can not possibly modify variables. This method is intended to be safe, e.g. it will return false on ICCall.

Check if a statement is a do-while loop, whose predicate is literal True.

Check if a statement is a while loop, whose predicate is literal True.

Check if a statement is a loop, whose predicate is literal True.

Check if the statement is a ICBreak to the given label.

Check if the element is either an ICClass, an ICMethod or an ICField

Check if a statement contains a given label; compound statements are recursively processed to search for the label.

Check if the statement is a ICGoto to the given label.

Check if the statement follows the pattern if(P){BRANCH;}, where BRANCH is a sole branch instruction.

Check if a statement is a if-statement with two blocks, including a default block.

Check if a statement follows the pattern if(P){ }[else if(...){}]*, i.e. a if-statement with possibly multiple blocks but no default else block.

Check if the element is a ICConstantInteger

Check if the element is a ICConstantInteger equals to the given value.

Check if a statement is a loop (for, while, do-while).

Check if the statement is a ICBreak without label.

Recursively replace sub-elements of an element , using equals() equality.