Package com.strobel.decompiler.semantics

Examples of com.strobel.decompiler.semantics.ResolveResult

397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
            return new ResolveResult(resultType);
        }

        @Override
        public ResolveResult visitInstanceOfExpression(final InstanceOfExpression node, final Void data) {
            final ResolveResult childResult = node.getExpression().acceptVisitor(this, data);

            if (childResult == null) {
                return new ResolveResult(BuiltinTypes.Boolean);
            }

            final TypeReference childType = childResult.getType();
            final ResolveResult typeResult = resolveType(node.getType());

            if (childType == null || typeResult == null || typeResult.getType() == null) {
                return new ResolveResult(BuiltinTypes.Boolean);
            }

            return new PrimitiveResolveResult(
                BuiltinTypes.Boolean,
                MetadataHelper.isSubType(typeResult.getType(), childType)
            );
        }
View Full Code Here
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
            );
        }

        @Override
        public ResolveResult visitIndexerExpression(final IndexerExpression node, final Void data) {
            final ResolveResult childResult = node.getTarget().acceptVisitor(this, data);

            if (childResult == null || childResult.getType() == null || !childResult.getType().isArray()) {
                return null;
            }

            final TypeReference elementType = childResult.getType().getElementType();

            if (elementType == null) {
                return null;
            }

            return new ResolveResult(elementType);
        }
View Full Code Here
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
            return new ResolveResult(elementType);
        }

        @Override
        public ResolveResult visitUnaryOperatorExpression(final UnaryOperatorExpression node, final Void data) {
            final ResolveResult childResult = node.getExpression().acceptVisitor(this, data);

            if (childResult == null || childResult.getType() == null) {
                return null;
            }

            if (childResult.isCompileTimeConstant()) {
                final Object resultValue = UnaryOperations.doUnary(node.getOperator(), childResult.getConstantValue());

                if (resultValue != null) {
                    return new PrimitiveResolveResult(childResult.getType(), resultValue);
                }
            }

            return new ResolveResult(childResult.getType());
        }
View Full Code Here
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
            return new ResolveResult(childResult.getType());
        }

        @Override
        public ResolveResult visitConditionalExpression(final ConditionalExpression node, final Void data) {
            final ResolveResult conditionResult = node.getCondition().acceptVisitor(this, data);

            if (conditionResult != null &&
                conditionResult.isCompileTimeConstant()) {

                if (Boolean.TRUE.equals(conditionResult.getConstantValue())) {
                    return node.getTrueExpression().acceptVisitor(this, data);
                }

                if (Boolean.FALSE.equals(conditionResult.getConstantValue())) {
                    return node.getFalseExpression().acceptVisitor(this, data);
                }
            }

            final TypeReference resultType = doBinaryPromotionStrict(
                node.getTrueExpression().acceptVisitor(this, data),
                node.getFalseExpression().acceptVisitor(this, data)
            );

            if (resultType != null) {
                return new ResolveResult(resultType);
            }

            return null;
        }
View Full Code Here
496
497
498
499
500
501
502
            for (int i = 0; i < rank; i++) {
                arrayType = arrayType.makeArrayType();
            }

            return new ResolveResult(arrayType);
        }
View Full Code Here
501
502
503
504
505
506
507
508
509
510
511
512
513
            return new ResolveResult(arrayType);
        }

        @Override
        public ResolveResult visitAssignmentExpression(final AssignmentExpression node, final Void data) {
            final ResolveResult leftResult = node.getLeft().acceptVisitor(this, data);

            if (leftResult != null && leftResult.getType() != null) {
                return new ResolveResult(leftResult.getType());
            }

            return null;
        }
View Full Code Here
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
    }

    @Override
    public final boolean matches(final INode other, final Match match) {
        if (other instanceof Expression && !other.isNull()) {
            final ResolveResult result = _resolver.apply((Expression) other);

            if (result == null || result.getType() == null) {
                return false;
            }

            final boolean isMatch;

            if (testAny(_options, OPTION_EXACT)) {
                isMatch = MetadataHelper.isSameType(
                    _expressionType,
                    result.getType(),
                    testAny(_options, OPTION_STRICT)
                );
            }
            else {
                isMatch = MetadataHelper.isAssignableFrom(
                    _expressionType,
                    result.getType(),
                    testAny(_options, OPTION_ALLOW_UNCHECKED)
                );
            }

            if (isMatch) {
View Full Code Here
372
373
374
375
376
377
378
379
380
381
382
383
384
385
    protected ResolveResult evaluateConstant(final Expression e) {
        return resolver.apply(e);
    }

    protected Boolean evaluateCondition(final Expression e) {
        final ResolveResult result = evaluateConstant(e);

        if (result != null && result.isCompileTimeConstant()) {
            final Object constantValue = result.getConstantValue();

            if (constantValue instanceof Boolean) {
                return (Boolean) constantValue;
            }
View Full Code Here
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
1314
1315
1316
1317
        options.setAllowWildcards(false);

        for (int i = 0, n = arguments.size(); i < n; i++) {
            final Expression argument = arguments.get(i);
            final ResolveResult resolvedArgument = resolver.apply(argument);

            if (resolvedArgument == null ||
                argument instanceof LambdaExpression /*||
                argument instanceof MethodGroupExpression*/) {

                continue;
            }

            final ParameterDefinition p = parameters.get(i);

            final TypeReference aType = resolvedArgument.getType();
            final TypeReference pType = p.getParameterType();

            if (isCastRequired(pType, aType, true)) {
                arguments.set(
                    i,
View Full Code Here
676
677
678
679
680
681
682
683
684
685
            type = variable.isParameter() ? variable.getOriginalParameter().getParameterType()
                                          : variable.getOriginalVariable().getVariableType();
        }

        if (type != null) {
            return new ResolveResult(type);
        }

        return null;
    }
View Full Code Here
TOP

Related Classes of com.strobel.decompiler.semantics.ResolveResult

  • com.strobel.decompiler.languages.java.analysis.ControlFlowGraphBuilder
  • com.strobel.decompiler.languages.java.analysis.ControlFlowGraphBuilder$NodeCreationVisitor
  • com.strobel.decompiler.languages.java.ast.AstMethodBodyBuilder
  • com.strobel.decompiler.languages.java.ast.DefiniteAssignmentAnalysis
  • com.strobel.decompiler.languages.java.ast.JavaResolver
  • com.strobel.decompiler.languages.java.ast.JavaResolver$ResolveVisitor
  • com.strobel.decompiler.languages.java.ast.transforms.InsertNecessaryCastsTransform
  • com.strobel.decompiler.languages.java.ast.transforms.InsertNecessaryConversionsTransform
  • com.strobel.decompiler.languages.java.ast.transforms.IntroduceStringConcatenationTransform
  • com.strobel.decompiler.languages.java.ast.transforms.RemoveImplicitBoxingTransform
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.