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

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

Direct Known Subclasses:

SimplConstructor, SimplMethod

public class SimplProcedure
extends SimplDeclaration

Field Summary

SimplArgument[]	arguments
SimplLocalVariable[]	locals
SimplExpression	memoryCountExpression
java.lang.String	name
SimplVariable	result
SimplHoareState	state
SimplStatement[]	statements

Constructor Summary

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

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

name

public final java.lang.String name

state

public final SimplHoareState state

arguments

public final SimplArgument[] arguments

locals

public final SimplLocalVariable[] locals

statements

public final SimplStatement[] statements

result

public final SimplVariable result

memoryCountExpression

public final SimplExpression memoryCountExpression

Constructor Detail

SimplProcedure

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