org.jmlspecs.jml4.esc.gc.lang
Class CfgAssume

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.CfgStatement
      org.jmlspecs.jml4.esc.gc.lang.CfgAssume

public class CfgAssume
extends CfgStatement

Field Summary

CfgExpression

pred

Fields inherited from class org.jmlspecs.jml4.esc.gc.lang.CfgStatement

EMPTY, sourceStart

Constructor Summary

CfgAssume(CfgExpression pred, int sourceStart)

Method Summary

VC	accept(WlpVisitor visitor, VC N)
java.lang.String	toString()

Methods inherited from class org.jmlspecs.jml4.esc.gc.lang.CfgStatement

unfold, unfold

Methods inherited from class java.lang.Object

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

Field Detail

pred

public final CfgExpression pred

Constructor Detail

CfgAssume

public CfgAssume(CfgExpression pred,
                 int sourceStart)

Method Detail

toString

public java.lang.String toString()

Specified by:

toString in class CfgStatement

accept

public VC accept(WlpVisitor visitor,
                 VC N)

Specified by:

accept in class CfgStatement