|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use SynchronizedStatement | |
|---|---|
| org.eclipse.jdt.internal.compiler | |
| org.eclipse.jdt.internal.formatter | |
| org.jmlspecs.eclipse.jdt.internal.esc2 | |
| org.jmlspecs.jml4.fspv | |
| org.jmlspecs.jml4.rac | |
| Uses of SynchronizedStatement in org.eclipse.jdt.internal.compiler |
|---|
| Methods in org.eclipse.jdt.internal.compiler with parameters of type SynchronizedStatement | |
|---|---|
void |
ASTVisitor.endVisit(SynchronizedStatement synchronizedStatement,
BlockScope scope)
|
boolean |
ASTVisitor.visit(SynchronizedStatement synchronizedStatement,
BlockScope scope)
|
| Uses of SynchronizedStatement in org.eclipse.jdt.internal.formatter |
|---|
| Methods in org.eclipse.jdt.internal.formatter with parameters of type SynchronizedStatement | |
|---|---|
boolean |
CodeFormatterVisitor.visit(SynchronizedStatement synchronizedStatement,
BlockScope scope)
|
| Uses of SynchronizedStatement in org.jmlspecs.eclipse.jdt.internal.esc2 |
|---|
| Methods in org.jmlspecs.eclipse.jdt.internal.esc2 with parameters of type SynchronizedStatement | |
|---|---|
boolean |
PrintVisitor.visit(SynchronizedStatement synchronizedStatement,
BlockScope scope)
Deprecated. |
| Uses of SynchronizedStatement in org.jmlspecs.jml4.fspv |
|---|
| Methods in org.jmlspecs.jml4.fspv with parameters of type SynchronizedStatement | |
|---|---|
void |
TraceAstVisitor.endVisit(SynchronizedStatement synchronizedStatement,
BlockScope scope)
|
boolean |
TraceAstVisitor.visit(SynchronizedStatement synchronizedStatement,
BlockScope scope)
|
| Uses of SynchronizedStatement in org.jmlspecs.jml4.rac |
|---|
| Methods in org.jmlspecs.jml4.rac with parameters of type SynchronizedStatement | |
|---|---|
void |
JavaAstVisitor.endVisit(SynchronizedStatement synchronizedStatement,
BlockScope scope)
|
void |
DefaultRacAstVisitor.endVisit(SynchronizedStatement synchronizedStatement,
BlockScope scope)
|
void |
AstDirtyBitsRetriever.endVisit(SynchronizedStatement synchronizedStatement,
BlockScope scope)
|
void |
AstDirtyBitsRestorer.endVisit(SynchronizedStatement synchronizedStatement,
BlockScope scope)
|
boolean |
JavaAstVisitor.visit(SynchronizedStatement synchronizedStatement,
BlockScope scope)
Used to acquire a mutual-exclusion lock on behalf of the executing thread, executes a block, then releases the lock. |
boolean |
DefaultRacAstVisitor.visit(SynchronizedStatement synchronizedStatement,
BlockScope scope)
|
boolean |
AstDirtyBitsRetriever.visit(SynchronizedStatement synchronizedStatement,
BlockScope scope)
|
boolean |
AstDirtyBitsRestorer.visit(SynchronizedStatement synchronizedStatement,
BlockScope scope)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||