dk.brics.string.intermediate
Class AssertStatement

java.lang.Object
  dk.brics.string.intermediate.Statement
      dk.brics.string.intermediate.AssertStatement

All Implemented Interfaces:

Comparable<Statement>

Direct Known Subclasses:

AssertAliases, AssertBinaryOp, AssertUnaryOp

public abstract class AssertStatement
extends Statement

An assertion asserts that something was true last time another specified statement completed. Only if the variables involved are unchanged between that statement and the assertion can the assertion be trusted.

Author:

Asger

Field Summary

Statement

targetStatement

Constructor Summary

AssertStatement(Statement targetStatement)

Method Summary

Methods inherited from class dk.brics.string.intermediate.Statement

addSucc, addSuccIfAbsent, compareTo, getIndex, getMethod, getPreds, getSuccs, toString, visitBy

Methods inherited from class java.lang.Object

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

Field Detail

targetStatement

public Statement targetStatement

Constructor Detail

AssertStatement

public AssertStatement(Statement targetStatement)