|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use OperatorExpression | |
|---|---|
| org.eclipse.jdt.internal.compiler.ast | |
| org.jmlspecs.jml4.ast | |
| Uses of OperatorExpression in org.eclipse.jdt.internal.compiler.ast |
|---|
| Subclasses of OperatorExpression in org.eclipse.jdt.internal.compiler.ast | |
|---|---|
class |
AND_AND_Expression
|
class |
BinaryExpression
|
class |
CombinedBinaryExpression
CombinedBinaryExpression is an implementation of BinaryExpression that specifically attempts to mitigate the issues raised by expressions which have a very deep leftmost branch. |
class |
ConditionalExpression
|
class |
EqualExpression
|
class |
InstanceOfExpression
|
class |
OR_OR_Expression
|
class |
UnaryExpression
|
| Uses of OperatorExpression in org.jmlspecs.jml4.ast |
|---|
| Subclasses of OperatorExpression in org.jmlspecs.jml4.ast | |
|---|---|
class |
JmlConditionalExpression
|
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. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||