dk.brics.string.intermediate
Class ObjectCorrupt

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

All Implemented Interfaces:

Comparable<Statement>

public class ObjectCorrupt
extends Statement

Corruption of a variable whose type is uncertain. Unless the object has type String, its value may change spontaneously at any point after this.

Depending on the type of the variable, certain other variables might be aliases of it, which is why we want to keep such corruption statements.

Field Summary

Variable

to

Constructor Summary

ObjectCorrupt(Variable to)
Corruption of a variable whose type is uncertain.

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

Field Detail

to

public Variable to

Constructor Detail

ObjectCorrupt

public ObjectCorrupt(Variable to)

Corruption of a variable whose type is uncertain.

Parameters:

to - variable to corrupt

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.