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

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

public class SimpleAssume
extends SimpleStatement

Field Summary

SimpleExpression

pred

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

sourceStart

Constructor Summary

SimpleAssume(SimpleExpression pred, 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

pred

public final SimpleExpression pred

Constructor Detail

SimpleAssume

public SimpleAssume(SimpleExpression pred,
                    int sourceStart)

Method Detail

toString

public java.lang.String toString()

Specified by:

toString in class SimpleStatement

accept

public CfgStatement accept(PassifyVisitor visitor,
                           IncarnationMap incarnationMap)

Specified by:

accept in class SimpleStatement