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

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.simple.SimpleStatement
      org.jmlspecs.jml4.esc.gc.lang.simple.SimpleGoto

public class SimpleGoto
extends SimpleStatement

Field Summary

java.lang.String[]

gotos

Fields inherited from class org.jmlspecs.jml4.esc.gc.lang.simple.SimpleStatement

sourceStart

Constructor Summary

SimpleGoto(java.lang.String[] gotos)

Method Summary

CfgStatement	accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
java.lang.String	toString()

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

SimpleGoto

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

Method Detail

accept

public CfgStatement accept(PassifyVisitor visitor,
                           IncarnationMap incarnationMap)

Specified by:

accept in class SimpleStatement

toString

public java.lang.String toString()

Specified by:

toString in class SimpleStatement