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

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

public class GcProgram
extends java.lang.Object

Field Summary

CfgBlock[]	blocks
IncarnationMap	incarnations
java.lang.String	methodIndicator
java.lang.String	startName

Constructor Summary

GcProgram(CfgBlock[] blocks, java.lang.String startName, IncarnationMap incMap, java.lang.String methodIndicator)

Method Summary

VcProgram	accept(WlpVisitor visitor)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

blocks

public final CfgBlock[] blocks

startName

public final java.lang.String startName

incarnations

public IncarnationMap incarnations

methodIndicator

public final java.lang.String methodIndicator

Constructor Detail

GcProgram

public GcProgram(CfgBlock[] blocks,
                 java.lang.String startName,
                 IncarnationMap incMap,
                 java.lang.String methodIndicator)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

accept

public VcProgram accept(WlpVisitor visitor)