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

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

public class SimpleSequence
extends SimpleStatement

Field Summary

SimpleStatement

stmt1

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

sourceStart

Constructor Summary

SimpleSequence(SimpleStatement stmt1, SimpleStatement stmt2)

Method Summary

CfgStatement	accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
static SimpleStatement	fold(SimpleStatement[] block)
SimpleStatement	stmt2()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

stmt1

public final SimpleStatement stmt1

Constructor Detail

SimpleSequence

public SimpleSequence(SimpleStatement stmt1,
                      SimpleStatement stmt2)

Method Detail

accept

public CfgStatement accept(PassifyVisitor visitor,
                           IncarnationMap incarnationMap)

Specified by:

accept in class SimpleStatement

toString

public java.lang.String toString()

Specified by:

toString in class SimpleStatement

stmt2

public SimpleStatement stmt2()

fold

public static SimpleStatement fold(SimpleStatement[] block)