|
||||||||||
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 |