org.jmlspecs.jml4.esc.gc.lang.simple
Class SimpleHavoc

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.simple.SimpleStatement
      org.jmlspecs.jml4.esc.gc.lang.simple.SimpleHavoc

public class SimpleHavoc
extends SimpleStatement

Field Summary

SimpleVariable

var

Fields inherited from class org.jmlspecs.jml4.esc.gc.lang.simple.SimpleStatement

sourceStart

Constructor Summary

SimpleHavoc(SimpleVariable var, int sourceStart)

Method Summary

CfgStatement	accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

var

public final SimpleVariable var

Constructor Detail

SimpleHavoc

public SimpleHavoc(SimpleVariable var,
                   int sourceStart)

Method Detail

accept

public CfgStatement accept(PassifyVisitor visitor,
                           IncarnationMap incarnationMap)

Specified by:

accept in class SimpleStatement

toString

public java.lang.String toString()

Specified by:

toString in class SimpleStatement