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

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

Direct Known Subclasses:

SimpleAssert, SimpleAssume, SimpleExprStatement, SimpleGoto, SimpleHavoc, SimpleSequence, SimpleVarDecl

public abstract class SimpleStatement
extends java.lang.Object

Field Summary

int	sourceStart

Constructor Summary

SimpleStatement(int sourceStart)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

sourceStart

public final int sourceStart

Constructor Detail

SimpleStatement

public SimpleStatement(int sourceStart)

Method Detail

accept

public abstract CfgStatement accept(PassifyVisitor visitor,
                                    IncarnationMap incarnationMap)

toString

public abstract java.lang.String toString()

Overrides:

toString in class java.lang.Object