org.jmlspecs.jml4.esc.vc.lang
Class VcProgram

java.lang.Object
  org.jmlspecs.jml4.esc.vc.lang.VcProgram

public class VcProgram
extends java.lang.Object

Field Summary

java.util.Map	incarnations
java.lang.String	methodIndicator
java.lang.String	startId
VC[]	vcs

Constructor Summary

VcProgram(VC[] vcs, java.lang.String startId, java.util.Map incarnations, java.lang.String methodIndicator)

Method Summary

VC[]	getAsImplications_old()
VC[]	getAsImplications()
VC[]	getAsSingleVC_old()
VC[]	getAsSingleVC()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

vcs

public final VC[] vcs

startId

public final java.lang.String startId

incarnations

public final java.util.Map incarnations

methodIndicator

public final java.lang.String methodIndicator

Constructor Detail

VcProgram

public VcProgram(VC[] vcs,
                 java.lang.String startId,
                 java.util.Map incarnations,
                 java.lang.String methodIndicator)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getAsSingleVC

public VC[] getAsSingleVC()

getAsSingleVC_old

public VC[] getAsSingleVC_old()

getAsImplications

public VC[] getAsImplications()

getAsImplications_old

public VC[] getAsImplications_old()