Uses of Class
org.jmlspecs.jml4.rac.RacOldExpression

Packages that use RacOldExpression

org.jmlspecs.jml4.rac

Uses of RacOldExpression in org.jmlspecs.jml4.rac

Methods in org.jmlspecs.jml4.rac that return types with arguments of type RacOldExpression

java.util.List<RacOldExpression>	PreconditionTranslator.getOldExpressions() Return all old expressions found in the postcondition.
java.util.List<RacOldExpression>	PostStateExpressionTranslator.getOldExpressions() Returns old expressions found in the expression under translation.
java.util.List<RacOldExpression>	PostconditionTranslator.getOldExpressions() Return all old expressions found in the postcondition.
java.util.List<RacOldExpression>	PostStateExpressionTranslator.getOldQuantifiedExpressions() Returns old expressions found in quantifiers under translation.

Method parameters in org.jmlspecs.jml4.rac with type arguments of type RacOldExpression

MethodDeclaration	PreconditionMethod.generate(java.lang.StringBuffer stmt, java.util.Collection<RacOldExpression> preExprs, java.util.Set<ASTNode> terms, RacResult result) Generates and returns a precondition checking method.
MethodDeclaration	PreconditionTranslator.getPreconditionMethod(java.util.Collection<RacOldExpression> oldExprs, RacResult racResult) Returns a precondition check method that also executes the given old expressions (in the pre-state).
void	PreconditionTranslator.putOldExpressions(java.util.List<RacOldExpression> oldExp) Puts old expressions found in the expression under translation.
void	PostStateExpressionTranslator.putOldExpressions(java.util.List<RacOldExpression> oldExp) Puts old expressions found in the expression under translation.
void	PostconditionTranslator.putOldExpressions(java.util.List<RacOldExpression> oldExp) Puts old expressions found in the expression under translation.