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

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

public class SimplProcExpression
extends SimplCallExpression

Field Summary

Fields inherited from class org.jmlspecs.jml4.fspv.simpl.ast.SimplCallExpression

name, parameters

Fields inherited from class org.jmlspecs.jml4.fspv.simpl.ast.SimplExpression

RESULT, THIS, THIS_EQUAL_PRE_THIS, THIS_NOT_NULL

Fields inherited from class org.jmlspecs.jml4.fspv.simpl.ast.SimplStatement

SKIP

Constructor Summary

SimplProcExpression(java.lang.String name, SimplExpression[] params)

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

SimplProcExpression

public SimplProcExpression(java.lang.String name,
                           SimplExpression[] params)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class SimplCallExpression