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

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

public class SimpleAssert
extends SimpleStatement

Field Summary

KindOfAssertion	kind
SimpleExpression	pred
static SimpleStatement	SKIP

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

sourceStart

Constructor Summary

SimpleAssert(SimpleExpression pred, KindOfAssertion kind, 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

SKIP

public static final SimpleStatement SKIP

pred

public final SimpleExpression pred

kind

public final KindOfAssertion kind

Constructor Detail

SimpleAssert

public SimpleAssert(SimpleExpression pred,
                    KindOfAssertion kind,
                    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