dk.brics.string.intermediate
Class ArrayCorrupt

java.lang.Object
  dk.brics.string.intermediate.Statement
      dk.brics.string.intermediate.ArrayStatement
          dk.brics.string.intermediate.ArrayCorrupt

All Implemented Interfaces:

Comparable<Statement>

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

to

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

ArrayCorrupt

public ArrayCorrupt(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.