Modifier and Type | Method and Description |
---|---|
ConditionalExpression |
InlineDeAssigner.Deassigner.rewriteExpression(ConditionalExpression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Modifier and Type | Method and Description |
---|---|
private static Pair<ConditionalExpression,ConditionalExpression> |
IterLoopRewriter.getSplitAnd(ConditionalExpression cnd) |
private static Pair<ConditionalExpression,ConditionalExpression> |
IterLoopRewriter.getSplitAnd(ConditionalExpression cnd) |
Modifier and Type | Method and Description |
---|---|
private static Pair<ConditionalExpression,ConditionalExpression> |
IterLoopRewriter.getSplitAnd(ConditionalExpression cnd) |
ConditionalExpression |
InlineDeAssigner.Deassigner.rewriteExpression(ConditionalExpression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
Modifier and Type | Field and Description |
---|---|
(package private) ConditionalExpression |
InstanceOfAssignRewriter.ConditionTest.expression |
Modifier and Type | Method and Description |
---|---|
private java.util.List<ConditionalExpression> |
PreconditionAssertRewriter.getFlattenedCNF(ConditionalExpression ce) |
Modifier and Type | Method and Description |
---|---|
private void |
PreconditionAssertRewriter.getFlattenedCNF(ConditionalExpression ce,
java.util.List<ConditionalExpression> accum) |
Constructor and Description |
---|
ConditionTest(ConditionalExpression ct,
boolean isPositive,
InstanceOfAssignRewriter.MatchType matchType) |
Modifier and Type | Class and Description |
---|---|
class |
BooleanExpression |
class |
BooleanOperation |
class |
ComparisonOperation |
class |
NotOperation |
Modifier and Type | Field and Description |
---|---|
private ConditionalExpression |
TernaryExpression.condition |
static ConditionalExpression |
BooleanExpression.FALSE |
private ConditionalExpression |
NotOperation.inner |
private ConditionalExpression |
BooleanOperation.lhs |
private ConditionalExpression |
BooleanOperation.rhs |
static ConditionalExpression |
BooleanExpression.TRUE |
Modifier and Type | Method and Description |
---|---|
static ConditionalExpression |
BooleanOperation.makeRightDeep(java.util.List<ConditionalExpression> c,
BoolOp op) |
Constructor and Description |
---|
BooleanOperation(BytecodeLoc loc,
ConditionalExpression lhs,
ConditionalExpression rhs,
BoolOp op) |
NotOperation(BytecodeLoc loc,
ConditionalExpression lhs) |
TernaryExpression(BytecodeLoc loc,
ConditionalExpression condition,
Expression lhs,
Expression rhs) |
TernaryExpression(BytecodeLoc loc,
InferredJavaType type,
ConditionalExpression condition,
Expression lhs,
Expression rhs) |
Modifier and Type | Field and Description |
---|---|
private ConditionalExpression |
ForStatement.condition |
private ConditionalExpression |
IfExitingStatement.condition |
private ConditionalExpression |
IfStatement.condition |
private ConditionalExpression |
WhileStatement.condition |
Modifier and Type | Method and Description |
---|---|
ConditionalExpression |
ForStatement.getCondition() |
ConditionalExpression |
IfExitingStatement.getCondition() |
ConditionalExpression |
IfStatement.getCondition() |
ConditionalExpression |
WhileStatement.getCondition() |
Modifier and Type | Method and Description |
---|---|
void |
IfStatement.setCondition(ConditionalExpression condition) |
Constructor and Description |
---|
ForStatement(BytecodeLoc loc,
ConditionalExpression conditionalExpression,
BlockIdentifier blockIdentifier,
AssignmentSimple initial,
java.util.List<AbstractAssignmentExpression> assignments) |
IfExitingStatement(BytecodeLoc loc,
ConditionalExpression conditionalExpression,
Statement statement) |
IfStatement(BytecodeLoc loc,
ConditionalExpression conditionalExpression) |
WhileStatement(BytecodeLoc loc,
ConditionalExpression conditionalExpression,
BlockIdentifier blockIdentifier) |
Modifier and Type | Method and Description |
---|---|
ConditionalExpression |
LValueAssignmentExpressionRewriter.rewriteExpression(ConditionalExpression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
static ConditionalExpression |
ConditionalUtils.simplify(ConditionalExpression condition) |
Modifier and Type | Method and Description |
---|---|
ConditionalExpression |
LValueAssignmentExpressionRewriter.rewriteExpression(ConditionalExpression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
static ConditionalExpression |
ConditionalUtils.simplify(ConditionalExpression condition) |
Modifier and Type | Class and Description |
---|---|
class |
WildcardMatch.ConditionalExpressionWildcard |
Modifier and Type | Field and Description |
---|---|
private ConditionalExpression |
WildcardMatch.ConditionalExpressionWildcard.matchedValue |
Modifier and Type | Method and Description |
---|---|
ConditionalExpression |
WildcardMatch.ConditionalExpressionWildcard.getDemorganApplied(boolean amNegating) |
ConditionalExpression |
WildcardMatch.ConditionalExpressionWildcard.getMatch() |
ConditionalExpression |
WildcardMatch.ConditionalExpressionWildcard.getNegated() |
ConditionalExpression |
WildcardMatch.ConditionalExpressionWildcard.getRightDeep() |
ConditionalExpression |
WildcardMatch.ConditionalExpressionWildcard.optimiseForType() |
ConditionalExpression |
WildcardMatch.ConditionalExpressionWildcard.simplify() |
Modifier and Type | Field and Description |
---|---|
protected ConditionalExpression |
AbstractStructuredConditionalLoopStatement.condition |
private ConditionalExpression |
StructuredFor.condition |
private ConditionalExpression |
UnstructuredFor.condition |
private ConditionalExpression |
UnstructuredWhile.condition |
private ConditionalExpression |
StructuredAssert.conditionalExpression |
(package private) ConditionalExpression |
StructuredIf.conditionalExpression |
private ConditionalExpression |
UnstructuredIf.conditionalExpression |
Modifier and Type | Method and Description |
---|---|
ConditionalExpression |
AbstractStructuredConditionalLoopStatement.getCondition() |
ConditionalExpression |
UnstructuredWhile.getCondition() |
ConditionalExpression |
StructuredIf.getConditionalExpression() |
Modifier and Type | Method and Description |
---|---|
static AbstractStructuredConditionalLoopStatement |
StructuredDo.create(ConditionalExpression condition,
Op04StructuredStatement body,
BlockIdentifier block) |
static StructuredAssert |
StructuredAssert.mkStructuredAssert(BytecodeLoc loc,
ConditionalExpression conditionalExpression,
Expression arg) |