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

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

public class SimpleProgram
extends java.lang.Object

Field Summary

SimpleBlock[]	blocks
java.util.Map	map
java.lang.String	methodIndicator
java.lang.String	startName

Constructor Summary

SimpleProgram(SimpleBlock[] blocks, java.lang.String startName, java.lang.String methodIndicator)

Method Summary

GcProgram	accept(PassifyVisitor visitor)
void	findParentsOfBlocks()
SimpleBlock	getBlock(java.lang.String blockId)
SimpleBlock[]	getSortedParentsFirst()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

blocks

public final SimpleBlock[] blocks

startName

public final java.lang.String startName

map

public final java.util.Map map

methodIndicator

public final java.lang.String methodIndicator

Constructor Detail

SimpleProgram

public SimpleProgram(SimpleBlock[] blocks,
                     java.lang.String startName,
                     java.lang.String methodIndicator)

Method Detail

getBlock

public SimpleBlock getBlock(java.lang.String blockId)

getSortedParentsFirst

public SimpleBlock[] getSortedParentsFirst()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

accept

public GcProgram accept(PassifyVisitor visitor)

findParentsOfBlocks

public void findParentsOfBlocks()