gololang.ir

Class TryCatchFinally

java.lang.Object

gololang.ir.GoloElement<T>

gololang.ir.GoloStatement<TryCatchFinally>

gololang.ir.TryCatchFinally

public final class TryCatchFinally
extends GoloStatement<TryCatchFinally>

A try catch finally statement.

Represents nodes such as:

 try {
   # try block
 } catch (ex) {
   # catch block
 } finally {
   # finally block
 }
 

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	DUMMY_TRY_RESULT_VARIABLE

Method Summary

Modifier and Type	Method and Description
void	accept(GoloIrVisitor visitor) Accept the visitor.
TryCatchFinally	catching(java.lang.Object block)
TryCatchFinally	catching(java.lang.String exceptionId, java.lang.Object block) Defines the catch block.
java.util.List<GoloElement<?>>	children() Returns a list of all the direct children of this node.
static TryCatchFinally	create(java.lang.String exceptionName, GoloElement<?> tryBlock, GoloElement<?> catchBlock, GoloElement<?> finallyBlock) Creates a complete try catch finally statement.
java.lang.String	dummyExceptionName()
TryCatchFinally	finalizing(java.lang.Object block) Defines the finally block.
Block	getCatchBlock()
java.lang.String	getExceptionId() Get the exception name.
int	getExceptionRefIndex() Returns the internal index of the exception reference.
Block	getFinallyBlock()
Block	getTryBlock()
boolean	hasCatchBlock()
boolean	hasFinallyBlock()
boolean	hasReturn()
boolean	isTryCatch() Check if this statement has only a catch block.
boolean	isTryCatchFinally() Check if this statement has both a catch block and a finally block.
boolean	isTryFinally() Check if this statement has only a finally block.
boolean	mustJumpToFinally() Checks if a return is present in the try or catch block and a finally is present.
protected void	replaceElement(GoloElement<?> original, GoloElement<?> newElement) Replace a child.
protected TryCatchFinally	self()
static TryCatchFinally	tryCatch() Creates an empty try catch finally statement.
TryCatchFinally	trying(java.lang.Object block) Defines the try block.

Methods inherited from class gololang.ir.GoloStatement

of

Methods inherited from class gololang.ir.GoloElement

ancestor, ancestor, ancestorOfType, cantConvert, cantReplace, cantReplace, children, children, descendants, descendants, descendants, documentation, documentation, doesNotContain, enclosingModule, getLocalReferenceTable, hasParent, hasPosition, inheritedMetadata, makeParentOf, metadata, metadata, next, next, next, ofAST, parent, positionInSourceCode, positionInSourceCode, previous, previous, previous, replaceInParentBy, walk

Methods inherited from class java.lang.Object

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

Field Detail

DUMMY_TRY_RESULT_VARIABLE

public static final java.lang.String DUMMY_TRY_RESULT_VARIABLE

See Also:

Constant Field Values

Method Detail

tryCatch

public static TryCatchFinally tryCatch()

Creates an empty try catch finally statement.

create

public static TryCatchFinally create(java.lang.String exceptionName,
                                     GoloElement<?> tryBlock,
                                     GoloElement<?> catchBlock,
                                     GoloElement<?> finallyBlock)

Creates a complete try catch finally statement.

Less readable than the fluent API, but useful for meta-generation.

self

protected TryCatchFinally self()

Specified by:

self in class GoloElement<TryCatchFinally>

getExceptionId

public java.lang.String getExceptionId()

Get the exception name.

ex in the previous example.

getExceptionRefIndex

public int getExceptionRefIndex()

Returns the internal index of the exception reference.

getTryBlock

public Block getTryBlock()

trying

public TryCatchFinally trying(java.lang.Object block)

Defines the try block.

This is a builder method.

Parameters:

block - a Block or a statement that will be wrapped.

See Also:

Block.of(Object)

getCatchBlock

public Block getCatchBlock()

catching

public TryCatchFinally catching(java.lang.String exceptionId,
                                java.lang.Object block)

Defines the catch block.

This is a builder method.

Parameters:

exceptionId - the name of the catched exception instance.

block - a Block or a statement that will be wrapped.

See Also:

Block.of(Object)

catching

public TryCatchFinally catching(java.lang.Object block)

getFinallyBlock

public Block getFinallyBlock()

finalizing

public TryCatchFinally finalizing(java.lang.Object block)

Defines the finally block.

This is a builder method.

Parameters:

block - a Block or a statement that will be wrapped.

See Also:

Block.of(Object)

dummyExceptionName

public java.lang.String dummyExceptionName()

hasFinallyBlock

public boolean hasFinallyBlock()

hasCatchBlock

public boolean hasCatchBlock()

mustJumpToFinally

public boolean mustJumpToFinally()

Checks if a return is present in the try or catch block and a finally is present.

In this case we must not generate a return but a jump to the finally block.

hasReturn

public boolean hasReturn()

isTryCatchFinally

public boolean isTryCatchFinally()

Check if this statement has both a catch block and a finally block.

isTryCatch

public boolean isTryCatch()

Check if this statement has only a catch block.

isTryFinally

public boolean isTryFinally()

Check if this statement has only a finally block.

accept

public void accept(GoloIrVisitor visitor)

Accept the visitor.

This method should only call the visitor visitXXXX method. The children of this node will be visited by the GoloElement.walk(GoloIrVisitor) method.

Specified by:

accept in class GoloElement<TryCatchFinally>

children

public java.util.List<GoloElement<?>> children()

Returns a list of all the direct children of this node.

Overrides:

children in class GoloElement<TryCatchFinally>

replaceElement

protected void replaceElement(GoloElement<?> original,
                              GoloElement<?> newElement)

Replace a child.

Replace original with newElement if original is a child of this node and type matches.

Specified by:

replaceElement in class GoloElement<TryCatchFinally>

Parameters:

original - the original value to replace. Must be a child of this node

newElement - the element to replace with. Type must match.

See Also:

GoloElement.cantReplace(), GoloElement.cantReplace(GoloElement, GoloElement), GoloElement.doesNotContain(GoloElement), GoloElement.cantConvert(String, Object)