org.jmlspecs.jml4.fspv.simpl.ast
Class SimplStatement

java.lang.Object
  org.jmlspecs.jml4.fspv.simpl.ast.SimplTheoryNode
      org.jmlspecs.jml4.fspv.simpl.ast.SimplStatement

Direct Known Subclasses:

SimplAssignment, SimplBlockStatement, SimplExpression, SimplSkipStatement, SimplWhileStatement

public class SimplStatement
extends SimplTheoryNode

Field Summary

static SimplStatement

SKIP

Constructor Summary

SimplStatement()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

SKIP

public static final SimplStatement SKIP

Constructor Detail

SimplStatement

public SimplStatement()