jeb.api.ast

Class IfStm

java.lang.Object

jeb.api.ast.Statement

jeb.api.ast.Compound

jeb.api.ast.IfStm

All Implemented Interfaces:

IElement

public class IfStm
extends Compound

This AST element represents the if-statement.

An if-statement consists of one or more branches (if, else-if) followed by an optional default branch (else) block.

Example:

 if(p)
   b
 else if(p1)
   b1
 else
   b2
 

Since:

1.4.201309040

See Also:

SwitchStm

Method Summary

Modifier and Type	Method and Description
static IfStm	build(Predicate p, Block b) Create a new single-branch if-statement: if(p) b
Block	getBranchBody(int index) Get a branch (if, else-if) body.
Predicate	getBranchPredicate(int index) Get a branch (if, else-if) predicate.
Block	getDefaultBlock() Get the default branch (else) body, if any.
void	insertBranch(int index, Predicate p, Block b) Insert a branch.
void	removeBranch(int index) Remove a branch.
void	setBranchBody(int index, Block b) Set a branch (if, else-if) body.
void	setBranchPredicate(int index, Predicate p) Set a branch (if, else-if) predicate.
int	size() Get the number of branches, including the default (else) branch, if any.

Methods inherited from class jeb.api.ast.Compound

getBlocks

Methods inherited from class jeb.api.ast.Statement

attachTag, getSubElements, isCompound, replaceSubElement, retrieveTag

Methods inherited from class java.lang.Object

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

Method Detail

build

public static IfStm build(Predicate p,
                          Block b)

Create a new single-branch if-statement: if(p) b

Parameters:

p - mandatory predicate

b - mandatory body

Returns:

the new if-statement

Since:

1.4.201309040

size

public int size()

Get the number of branches, including the default (else) branch, if any.

Returns:

the number of branches

Since:

1.5.201404100

getBranchPredicate

public Predicate getBranchPredicate(int index)

Get a branch (if, else-if) predicate.

Parameters:

index - 0-based branch index

Returns:

the predicate

Since:

1.4.201309040

getBranchBody

public Block getBranchBody(int index)

Get a branch (if, else-if) body.

Parameters:

index - 0-based branch index

Returns:

the body

Since:

1.4.201309040

getDefaultBlock

public Block getDefaultBlock()

Get the default branch (else) body, if any.

Returns:

the default branch body, null if there is none

Since:

1.4.201309040

setBranchPredicate

public void setBranchPredicate(int index,
                               Predicate p)

Set a branch (if, else-if) predicate.

Parameters:

index - 0-based branch index

p - mandatory predicate

Since:

1.4.201309040

setBranchBody

public void setBranchBody(int index,
                          Block b)

Set a branch (if, else-if) body.

Parameters:

index - 0-based branch index

b - mandatory body

Since:

1.4.201309040

insertBranch

public void insertBranch(int index,
                         Predicate p,
                         Block b)

Insert a branch.

Parameters:

index - 0-based branch index

p - mandatory predicate

b - mandatory body

Since:

1.4.201309040

removeBranch

public void removeBranch(int index)

Remove a branch.

Parameters:

index - 0-based branch index

Since:

1.4.201309040