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

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

public class SimpleExprStatement
extends SimpleStatement

Field Summary

SimpleExpression

expr

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

sourceStart

Constructor Summary

SimpleExprStatement(SimpleExpression expr)

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

expr

public final SimpleExpression expr

Constructor Detail

SimpleExprStatement

public SimpleExprStatement(SimpleExpression expr)

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