org.jmlspecs.jml4.fspv.simpl
Class SimplMemoryManagement

java.lang.Object
  org.jmlspecs.jml4.fspv.simpl.SimplMemoryManagement

public class SimplMemoryManagement
extends java.lang.Object

Constructor Summary

SimplMemoryManagement()

Method Summary

void	add(SimplExpression simplExpression)
SimplExpression	getExpression()
boolean	isExpressionNull()

Methods inherited from class java.lang.Object

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

Constructor Detail

SimplMemoryManagement

public SimplMemoryManagement()

Method Detail

add

public void add(SimplExpression simplExpression)

getExpression

public SimplExpression getExpression()

isExpressionNull

public boolean isExpressionNull()