|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of UnaryExpression in org.eclipse.jdt.internal.codeassist.complete |
---|
Methods in org.eclipse.jdt.internal.codeassist.complete with parameters of type UnaryExpression | |
---|---|
void |
CompletionNodeDetector.endVisit(UnaryExpression unaryExpression,
BlockScope scope)
|
boolean |
CompletionNodeDetector.visit(UnaryExpression unaryExpression,
BlockScope scope)
|
Uses of UnaryExpression in org.eclipse.jdt.internal.compiler |
---|
Methods in org.eclipse.jdt.internal.compiler with parameters of type UnaryExpression | |
---|---|
void |
ASTVisitor.endVisit(UnaryExpression unaryExpression,
BlockScope scope)
|
boolean |
ASTVisitor.visit(UnaryExpression unaryExpression,
BlockScope scope)
|
Uses of UnaryExpression in org.eclipse.jdt.internal.compiler.problem |
---|
Methods in org.eclipse.jdt.internal.compiler.problem with parameters of type UnaryExpression | |
---|---|
void |
ProblemReporter.invalidOperator(UnaryExpression expression,
TypeBinding type)
|
Uses of UnaryExpression in org.eclipse.jdt.internal.formatter |
---|
Methods in org.eclipse.jdt.internal.formatter with parameters of type UnaryExpression | |
---|---|
boolean |
CodeFormatterVisitor.visit(UnaryExpression unaryExpression,
BlockScope scope)
|
Uses of UnaryExpression in org.jmlspecs.eclipse.jdt.internal.esc2 |
---|
Methods in org.jmlspecs.eclipse.jdt.internal.esc2 with parameters of type UnaryExpression | |
---|---|
boolean |
PrintVisitor.visit(UnaryExpression unaryExpression,
BlockScope scope)
Deprecated. |
Uses of UnaryExpression in org.jmlspecs.jml4.ast |
---|
Subclasses of UnaryExpression in org.jmlspecs.jml4.ast | |
---|---|
class |
JmlElemtypeExpression
|
class |
JmlOldExpression
|
class |
JmlOperationOverStoreRefList
|
class |
JmlTypeExpression
|
class |
JmlTypeofExpression
|
class |
JmlUnaryExpression
NOTE: operators taking a list of store ref, like \not_modified() are modeled as unary operators -- taking a single argument consisting of the entire list. |
Uses of UnaryExpression in org.jmlspecs.jml4.esc.gc |
---|
Methods in org.jmlspecs.jml4.esc.gc with parameters of type UnaryExpression | |
---|---|
boolean |
Ast2SugaredVisitor.visit(UnaryExpression unaryExpression,
BlockScope scope)
|
Uses of UnaryExpression in org.jmlspecs.jml4.fspv |
---|
Methods in org.jmlspecs.jml4.fspv with parameters of type UnaryExpression | |
---|---|
void |
TraceAstVisitor.endVisit(UnaryExpression unaryExpression,
BlockScope scope)
|
void |
TheoryTranslator.endVisit(UnaryExpression unaryExpression,
BlockScope scope)
|
boolean |
TraceAstVisitor.visit(UnaryExpression unaryExpression,
BlockScope scope)
|
boolean |
TheoryTranslator.visit(UnaryExpression unaryExpression,
BlockScope scope)
|
Uses of UnaryExpression in org.jmlspecs.jml4.rac |
---|
Methods in org.jmlspecs.jml4.rac with parameters of type UnaryExpression | |
---|---|
void |
JavaAstVisitor.endVisit(UnaryExpression unaryExpression,
BlockScope scope)
|
void |
DefaultRacAstVisitor.endVisit(UnaryExpression unaryExpression,
BlockScope scope)
|
void |
AstDirtyBitsRetriever.endVisit(UnaryExpression unaryExpression,
BlockScope scope)
|
void |
AstDirtyBitsRestorer.endVisit(UnaryExpression unaryExpression,
BlockScope scope)
|
boolean |
JavaAstVisitor.visit(UnaryExpression unaryExpression,
BlockScope scope)
Expressions having unary operators. |
boolean |
DefaultRacAstVisitor.visit(UnaryExpression unaryExpression,
BlockScope scope)
|
boolean |
AstDirtyBitsRetriever.visit(UnaryExpression unaryExpression,
BlockScope scope)
|
boolean |
AstDirtyBitsRestorer.visit(UnaryExpression unaryExpression,
BlockScope scope)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |