JUtil

Check that the statement is a simple "if(...) { goto x; }" and if so, returns "x"

Retrieve the parent of an AST element (or first parent, if the element is reusable and has potentially multiple parents).

This convenience method attempts to determine the next "real" statement to be executed in the block, starting at the provided index 'i'.

This method can only go "deeper" (forward). It cannot go "up", which would require keeping track of parents. Use a PStmManager to do that.

Important: Label statements are not skipped over. 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
• the "try {" part of a try-catch block

Get the negated value of a constant, if possible.

Detect: x, (int)x

Determine whether the statement defines an identifier.

Currently, definitions should only be found in four types of statements:
- pure decl: "int x;"
- decl + init: "int x = 0;"
- in top-level Method elements (NOT CHECKED HERE)
- in compound Try elements (NOT CHECKED HERE)

Check that the statement is a "goto target;"

Determine whether the elements is the provided identifier or a simple definition of the identifier.

Determine whether a statement is a simple if: if(...){...}.

Determine whether a statement is like: if(...){...}else{...} which is the if-statement with 2 blocks: the main case block and the default block.

Determine if the provided statement is like if(COND){goto LABEL;} and if so, return the label.

Determine whether a statement is like: if(...){ }[else if(...){}]*

ie, the if-block can have multiple case-blocks but NO default 'else' block

Detect: 1, x, (int)x

Determine whether the provided statement is a return, throw, goto, break, or continue.

Recursively determine if the statement is or contains a Label. Can be called for any statement, including compound statements.

Determine whether the provided statement is a try-catch-all (single catch block, that catches all exceptions)