BasicBlock

java.lang.Object
- exc.object.PropObject
- - exc.block.BasicBlock

All Implemented Interfaces:

java.lang.Iterable<Statement>
```
public class BasicBlock
extends PropObject
implements java.lang.Iterable<Statement>
```
Basic block. It contains statements without control flow.

Field Summary

Fields
Modifier and Type Field and Description

protected static int BasicBlockCounter
counter for generated BasicBlock
- Fields inherited from class exc.object.PropObject
  id

Fields
Modifier and Type	Field and Description
`protected static int`	`BasicBlockCounter` counter for generated BasicBlock

Constructor Summary

Constructors
Constructor and Description

BasicBlock()

BasicBlock(BasicBlock b)

Constructors
Constructor and Description
`BasicBlock()`
`BasicBlock(BasicBlock b)`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`add(Statement s)`
`void`	`add(Xobject statement)`
`void`	`addCflowTo(BasicBlock b)`
`void`	`addStatement(Statement s)`
`void`	`addStatement(Xobject statement)`
`static BasicBlock`	`Cond(Xobject x)`
`BasicBlock`	`copy()`
`int`	`DFN()`
`static BasicBlock`	`Expr(Block parent, Xobject x)`
`java.util.Vector<BasicBlock>`	`getCflowIn()`
`BasicBlock`	`getCflowIn(int i)`
`java.util.Vector<BasicBlock>`	`getCflowOut()`
`BasicBlock`	`getCflowOut(int i)`
`Xobject`	`getExpr()`
`Statement`	`getHead()`
`Block`	`getParent()`
`Statement`	`getTail()`
`void`	`insert(Statement s)`
`void`	`insert(Xobject statement)`
`void`	`insertStatement(Statement s)`
`void`	`insertStatement(Xobject statement)`
`boolean`	`isEmpty()`
`boolean`	`isMarked()`
`boolean`	`isSingle()`
`java.util.Iterator<Statement>`	`iterator()`
`void`	`removeCflowTo(BasicBlock b)`
`void`	`resetMark()`
`void`	`setDFN(int n)`
`void`	`setExpr(Xobject x)`
`void`	`setMark()`
`void`	`setParent(Block b)`
`void`	`setTopNext(BasicBlock bb)`
`void`	`setTopPrev(BasicBlock bb)`
`static BasicBlock`	`Statement(Xobject x)`
`StatementIterator`	`statements()`
`BasicBlock`	`topNext()`
`BasicBlock`	`topPrev()`
`java.lang.String`	`toString()`
`Xobject`	`toXobject()`

Methods inherited from class exc.object.PropObject
getProp, getProperties, Id, remProp, remProperties, setId, setProp, setProperties

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable
forEach, spliterator

Field Detail
- BasicBlockCounter
```
protected static int BasicBlockCounter
```
  counter for generated BasicBlock

Constructor Detail

BasicBlock
```
public BasicBlock()
```

BasicBlock
```
public BasicBlock(BasicBlock b)
```

Method Detail

copy
```
public BasicBlock copy()
```

getParent
```
public final Block getParent()
```

setParent
```
public final void setParent(Block b)
```

getHead
```
public final Statement getHead()
```

getTail
```
public final Statement getTail()
```

getExpr
```
public Xobject getExpr()
```

setExpr
```
public void setExpr(Xobject x)
```

statements
```
public StatementIterator statements()
```

iterator
```
public java.util.Iterator<Statement> iterator()
```
Specified by:

iterator in interface java.lang.Iterable<Statement>

getCflowIn

public java.util.Vector<BasicBlock> getCflowIn()

getCflowOut

public java.util.Vector<BasicBlock> getCflowOut()

getCflowIn
```
public BasicBlock getCflowIn(int i)
```

getCflowOut
```
public BasicBlock getCflowOut(int i)
```

addCflowTo
```
public void addCflowTo(BasicBlock b)
```

removeCflowTo

public void removeCflowTo(BasicBlock b)

topNext
```
public BasicBlock topNext()
```

topPrev
```
public BasicBlock topPrev()
```

setTopNext

public void setTopNext(BasicBlock bb)

setTopPrev

public void setTopPrev(BasicBlock bb)

resetMark
```
public void resetMark()
```

setMark
```
public void setMark()
```

isMarked
```
public boolean isMarked()
```

DFN
```
public int DFN()
```

setDFN
```
public void setDFN(int n)
```

add
```
public void add(Statement s)
```

add
```
public void add(Xobject statement)
```

addStatement

public void addStatement(Statement s)

addStatement

public void addStatement(Xobject statement)

insert

public void insert(Xobject statement)

insert
```
public void insert(Statement s)
```

insertStatement

public void insertStatement(Xobject statement)

insertStatement

public void insertStatement(Statement s)

isEmpty
```
public boolean isEmpty()
```

isSingle
```
public boolean isSingle()
```

Cond

public static BasicBlock Cond(Xobject x)

Statement

public static BasicBlock Statement(Xobject x)

Expr

public static BasicBlock Expr(Block parent,
                              Xobject x)

toXobject
```
public Xobject toXobject()
```

toString
```
public java.lang.String toString()
```
Overrides:

toString in class java.lang.Object

Class BasicBlock

Field Summary

Fields inherited from class exc.object.PropObject

Constructor Summary

Method Summary

Methods inherited from class exc.object.PropObject

Methods inherited from class java.lang.Object

Methods inherited from interface java.lang.Iterable

Field Detail

BasicBlockCounter

Constructor Detail

BasicBlock

BasicBlock

Method Detail

copy

getParent

setParent

getHead

getTail

getExpr

setExpr

statements

iterator

getCflowIn

getCflowOut

getCflowIn

getCflowOut

addCflowTo

removeCflowTo

topNext

topPrev

setTopNext

setTopPrev

resetMark

setMark

isMarked

DFN

setDFN

add

add

addStatement

addStatement

insert

insert

insertStatement

insertStatement

isEmpty

isSingle

Cond

Statement

Expr

toXobject

toString