|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use StaticAnalysis | |
|---|---|
| org.jmlspecs.jml4.rac.quantifiedexpression | |
| Uses of StaticAnalysis in org.jmlspecs.jml4.rac.quantifiedexpression |
|---|
| Methods in org.jmlspecs.jml4.rac.quantifiedexpression that return StaticAnalysis | |
|---|---|
static StaticAnalysis |
StaticAnalysis.getInstance(VariableGenerator varGen,
RacContext ctx,
JmlQuantifiedExpression expr,
java.lang.String resultVar,
PostStateExpressionTranslator transExp,
RacResult racResult,
SourceTypeBinding typeBinding)
Returns an instance of StaticAnalysis, that
translates JML quantified expressions into Java source code. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||