dk.brics.string.java
Class AssertionBranch

java.lang.Object
  dk.brics.string.java.AssertionBranch

public class AssertionBranch
extends Object

A subgraph containing assertions. The only statements allowed are assertions and nop statements.

Author:

Asger

Constructor Summary

AssertionBranch(Method method)
Creates an empty branch.

AssertionBranch(Statement first, Statement last)
Creates a non-empty branch of assertions.

Method Summary

Statement	getFirst() The first statement.
Statement	getLast() The last statement.
boolean	isEmpty()

Methods inherited from class java.lang.Object

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

Constructor Detail

AssertionBranch

public AssertionBranch(Method method)

Creates an empty branch.

AssertionBranch

public AssertionBranch(Statement first,
                       Statement last)

Creates a non-empty branch of assertions.

Parameters:

first - first statement

last - last statement

Method Detail

getFirst

public Statement getFirst()

The first statement. Never null.

getLast

public Statement getLast()

The last statement. Never null.

isEmpty

public boolean isEmpty()