Class ArrayCorrupt

  extended by dk.brics.string.intermediate.Statement
      extended by dk.brics.string.intermediate.ArrayStatement
          extended by dk.brics.string.intermediate.ArrayCorrupt
All Implemented Interfaces:

public class ArrayCorrupt
extends ArrayStatement

Corruption of an array variable.

From this point, the array 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.ArrayStatement
Constructor Summary
ArrayCorrupt(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 ArrayCorrupt(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.