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

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

public class CfgSequence
extends CfgStatement

Field Summary

CfgStatement	stmt1
CfgStatement	stmt2

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

EMPTY, sourceStart

Constructor Summary

CfgSequence(CfgStatement stmt1, CfgStatement stmt2)

Method Summary

VC	accept(WlpVisitor visitor, VC N)
static CfgStatement	fold(java.util.List cfgStmts)
java.lang.String	toString()
java.util.List	unfold()
static CfgStatement[]	unfold(CfgStatement[] stmts)
static java.util.List	unfold(java.util.List stmts)

Methods inherited from class java.lang.Object

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

Field Detail

stmt1

public final CfgStatement stmt1

stmt2

public final CfgStatement stmt2

Constructor Detail

CfgSequence

public CfgSequence(CfgStatement stmt1,
                   CfgStatement stmt2)

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

unfold

public static CfgStatement[] unfold(CfgStatement[] stmts)

unfold

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

fold

public static CfgStatement fold(java.util.List cfgStmts)

unfold

public java.util.List unfold()

Overrides:

unfold in class CfgStatement