Uses of Class
org.jmlspecs.jml4.ast.JmlAllocationExpression

Packages that use JmlAllocationExpression

org.jmlspecs.jml4.rac

Uses of JmlAllocationExpression in org.jmlspecs.jml4.rac

Methods in org.jmlspecs.jml4.rac with parameters of type JmlAllocationExpression

void	JmlAstVisitor.endVisit(JmlAllocationExpression allocationExpression, BlockScope scope)
void	DefaultRacAstVisitor.endVisit(JmlAllocationExpression allocationExpression, BlockScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlAllocationExpression allocationExpression, BlockScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlAllocationExpression allocationExpression, BlockScope scope)
boolean	JmlAstVisitor.visit(JmlAllocationExpression allocationExpression, BlockScope scope)
boolean	DefaultRacAstVisitor.visit(JmlAllocationExpression allocationExpression, BlockScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlAllocationExpression allocationExpression, BlockScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlAllocationExpression allocationExpression, BlockScope scope)