Class StringBufferCorrupt

  extended by dk.brics.string.intermediate.Statement
      extended by dk.brics.string.intermediate.StringBufferStatement
          extended by dk.brics.string.intermediate.StringBufferCorrupt
All Implemented Interfaces:

public class StringBufferCorrupt
extends StringBufferStatement

Corruption of a string buffer variable.

From this point, the string buffer object pointed to by the to variable can contain any value, and it can spontaneously change its value to anything at any time.

Field Summary
Fields inherited from class dk.brics.string.intermediate.StringBufferStatement
Constructor Summary
StringBufferCorrupt(Variable to)
Method Summary
 void visitBy(StatementVisitor v)
          Visit this statement by the given statement visitor.
Methods inherited from class dk.brics.string.intermediate.Statement
addSucc, addSuccIfAbsent, compareTo, getIndex, getMethod, getPreds, getSuccs, toString
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail


public StringBufferCorrupt(Variable to)
Method Detail


public void visitBy(StatementVisitor v)
Description copied from class: Statement
Visit this statement by the given statement visitor. This will invoke the corresponding method in the visitor.

Specified by:
visitBy in class Statement
v - the visitor.

Copyright © 2003-2009 Anders Møller, Aske Simon Christensen, Asger Feldthaus.