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

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.SimplConstructor

public class SimplConstructor
extends SimplProcedure

Field Summary

SimplAssignment

memoryAllocationAssignment

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

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

Constructor Summary

SimplConstructor(java.lang.String name, SimplHoareState state, SimplArgument[] args, SimplLocalVariable[] locals, SimplStatement[] statements, SimplAssignment memoryAllocationAssignment, 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

memoryAllocationAssignment

public final SimplAssignment memoryAllocationAssignment

Constructor Detail

SimplConstructor

public SimplConstructor(java.lang.String name,
                        SimplHoareState state,
                        SimplArgument[] args,
                        SimplLocalVariable[] locals,
                        SimplStatement[] statements,
                        SimplAssignment memoryAllocationAssignment,
                        SimplExpression memoryCountExpression)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object