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

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

Direct Known Subclasses:

CfgAssert, CfgAssume, CfgGoto, CfgSequence, CfgStatementBlock, CfgVarDecl

public abstract class CfgStatement
extends java.lang.Object

Field Summary

static java.lang.Object[]	EMPTY
int	sourceStart

Constructor Summary

CfgStatement(int sourceStart)

Method Summary

abstract VC	accept(WlpVisitor visitor, VC N)
abstract java.lang.String	toString()
java.util.List	unfold()
static java.util.List	unfold(java.util.List list)

Methods inherited from class java.lang.Object

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

Field Detail

EMPTY

public static final java.lang.Object[] EMPTY

sourceStart

public final int sourceStart

Constructor Detail

CfgStatement

public CfgStatement(int sourceStart)

Method Detail

toString

public abstract java.lang.String toString()

Overrides:

toString in class java.lang.Object

accept

public abstract VC accept(WlpVisitor visitor,
                          VC N)

unfold

public java.util.List unfold()

unfold

public static java.util.List unfold(java.util.List list)