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

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

public class CfgAssert
extends CfgStatement

Field Summary

KindOfAssertion	kind
CfgExpression	pred
static CfgStatement	SKIP

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

EMPTY, sourceStart

Constructor Summary

CfgAssert(CfgExpression pred, KindOfAssertion kind, 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

SKIP

public static final CfgStatement SKIP

pred

public final CfgExpression pred

kind

public final KindOfAssertion kind

Constructor Detail

CfgAssert

public CfgAssert(CfgExpression pred,
                 KindOfAssertion kind,
                 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