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

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.CfgStatement
      org.jmlspecs.jml4.esc.gc.lang.CfgGoto

public class CfgGoto
extends CfgStatement

Field Summary

java.lang.String[]

gotos

Fields inherited from class org.jmlspecs.jml4.esc.gc.lang.CfgStatement

EMPTY, sourceStart

Constructor Summary

CfgGoto(java.lang.String[] gotos)

Method Summary

VC	accept(WlpVisitor visitor, VC N)
java.lang.String	toString()

Methods inherited from class org.jmlspecs.jml4.esc.gc.lang.CfgStatement

unfold, unfold

Methods inherited from class java.lang.Object

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

Field Detail

gotos

public final java.lang.String[] gotos

Constructor Detail

CfgGoto

public CfgGoto(java.lang.String[] gotos)

Method Detail

accept

public VC accept(WlpVisitor visitor,
                 VC N)

Specified by:

accept in class CfgStatement

toString

public java.lang.String toString()

Specified by:

toString in class CfgStatement