Uses of Class
org.eclipse.jdt.internal.compiler.ast.IfStatement

Packages that use IfStatement

org.eclipse.jdt.internal.compiler
org.eclipse.jdt.internal.formatter
org.jmlspecs.eclipse.jdt.internal.esc2
org.jmlspecs.jml4.esc.gc
org.jmlspecs.jml4.fspv
org.jmlspecs.jml4.rac

Uses of IfStatement in org.eclipse.jdt.internal.compiler

Methods in org.eclipse.jdt.internal.compiler with parameters of type IfStatement

void	ASTVisitor.endVisit(IfStatement ifStatement, BlockScope scope)
boolean	ASTVisitor.visit(IfStatement ifStatement, BlockScope scope)

Uses of IfStatement in org.eclipse.jdt.internal.formatter

Methods in org.eclipse.jdt.internal.formatter with parameters of type IfStatement

boolean

CodeFormatterVisitor.visit(IfStatement ifStatement, BlockScope scope)

Uses of IfStatement in org.jmlspecs.eclipse.jdt.internal.esc2

Methods in org.jmlspecs.eclipse.jdt.internal.esc2 with parameters of type IfStatement

boolean

PrintVisitor.visit(IfStatement ifStatement, BlockScope scope) Deprecated.

Uses of IfStatement in org.jmlspecs.jml4.esc.gc

Methods in org.jmlspecs.jml4.esc.gc with parameters of type IfStatement

boolean

Ast2SugaredVisitor.visit(IfStatement ifStatement, BlockScope scope)

Uses of IfStatement in org.jmlspecs.jml4.fspv

Methods in org.jmlspecs.jml4.fspv with parameters of type IfStatement

void	TraceAstVisitor.endVisit(IfStatement ifStatement, BlockScope scope)
void	TheoryTranslator.endVisit(IfStatement ifStatement, BlockScope scope)
boolean	TraceAstVisitor.visit(IfStatement ifStatement, BlockScope scope)
boolean	TheoryTranslator.visit(IfStatement ifStatement, BlockScope scope)

Uses of IfStatement in org.jmlspecs.jml4.rac

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

void	JavaAstVisitor.endVisit(IfStatement ifStatement, BlockScope scope)
void	InlineAssertionVisitor.endVisit(IfStatement ifStatement, BlockScope scope)
void	InlineAssertionMerger.endVisit(IfStatement ifStatement, BlockScope scope)
void	DefaultRacAstVisitor.endVisit(IfStatement ifStatement, BlockScope scope)
void	AstDirtyBitsRetriever.endVisit(IfStatement ifStatement, BlockScope scope)
void	AstDirtyBitsRestorer.endVisit(IfStatement ifStatement, BlockScope scope)
boolean	JavaAstVisitor.visit(IfStatement ifStatement, BlockScope scope) Control-flow statement that executes a portion of code only if condition is evaluated to true.
boolean	InlineAssertionVisitor.visit(IfStatement ifStatement, BlockScope scope)
boolean	InlineAssertionMerger.visit(IfStatement ifStatement, BlockScope scope)
boolean	DefaultRacAstVisitor.visit(IfStatement ifStatement, BlockScope scope)
boolean	AstDirtyBitsRetriever.visit(IfStatement ifStatement, BlockScope scope)
boolean	AstDirtyBitsRestorer.visit(IfStatement ifStatement, BlockScope scope)