dk.brics.string.intermediate
Class StringBufferCorrupt

java.lang.Object
  extended by dk.brics.string.intermediate.Statement
      extended by dk.brics.string.intermediate.StringBufferStatement
          extended by dk.brics.string.intermediate.StringBufferCorrupt
All Implemented Interfaces:
Comparable<Statement>

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
to
 
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

StringBufferCorrupt

public StringBufferCorrupt(Variable to)
Method Detail

visitBy

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
Parameters:
v - the visitor.


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