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

java.lang.Object
  org.jmlspecs.jml4.fspv.simpl.ast.SimplTheoryNode
      org.jmlspecs.jml4.fspv.simpl.ast.SimplDeclaration
          org.jmlspecs.jml4.fspv.simpl.ast.SimplProcedure
              org.jmlspecs.jml4.fspv.simpl.ast.SimplMethod

public class SimplMethod
extends SimplProcedure

Field Summary

SimplVariable

thisObject

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

arguments, locals, memoryCountExpression, name, result, state, statements

Constructor Summary

SimplMethod(java.lang.String name, SimplVariable thisObject, SimplHoareState state, SimplArgument[] args, SimplLocalVariable[] locals, SimplStatement[] ss, SimplLocalVariable result, SimplExpression memoryCountExpression)

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Field Detail

thisObject

public final SimplVariable thisObject

Constructor Detail

SimplMethod

public SimplMethod(java.lang.String name,
                   SimplVariable thisObject,
                   SimplHoareState state,
                   SimplArgument[] args,
                   SimplLocalVariable[] locals,
                   SimplStatement[] ss,
                   SimplLocalVariable result,
                   SimplExpression memoryCountExpression)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object