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

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.simple.SimpleBlock

public class SimpleBlock
extends java.lang.Object

Field Summary

java.lang.String	blockId
static SimpleBlock[]	EMPTY
java.lang.String[]	gotos
SimpleStatement	stmt

Constructor Summary

SimpleBlock(java.lang.String blockId, SimpleStatement stmt, java.lang.String[] gotos)

Method Summary

CfgBlock	accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
SimpleBlock[]	getParents()
boolean	isParentOf(SimpleBlock possibleChild)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

EMPTY

public static final SimpleBlock[] EMPTY

blockId

public final java.lang.String blockId

stmt

public final SimpleStatement stmt

gotos

public final java.lang.String[] gotos

Constructor Detail

SimpleBlock

public SimpleBlock(java.lang.String blockId,
                   SimpleStatement stmt,
                   java.lang.String[] gotos)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

accept

public CfgBlock accept(PassifyVisitor visitor,
                       IncarnationMap incarnationMap)

getParents

public SimpleBlock[] getParents()

isParentOf

public boolean isParentOf(SimpleBlock possibleChild)