aboutsummaryrefslogtreecommitdiff
path: root/src/main/java/org/zwobble/couscous/transforms/AnonymousClassToInnerClass.java
blob: 4a44a0cd341983cb460f9475aa94e926c0c653fe (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
package org.zwobble.couscous.transforms;

import com.google.common.collect.ImmutableList;
import org.zwobble.couscous.ast.*;
import org.zwobble.couscous.ast.sugar.AnonymousClass;
import org.zwobble.couscous.ast.visitors.NodeTransformer;
import org.zwobble.couscous.frontends.java.GeneratedClosure;
import org.zwobble.couscous.frontends.java.Scope;
import org.zwobble.couscous.types.ScalarType;

import java.util.List;
import java.util.Optional;

import static org.zwobble.couscous.ast.ThisReferenceNode.thisReference;
import static org.zwobble.couscous.util.Casts.tryCast;
import static org.zwobble.couscous.util.ExtraIterables.only;
import static org.zwobble.couscous.util.ExtraLists.*;
import static org.zwobble.couscous.util.ExtraMaps.map;
import static org.zwobble.couscous.util.ExtraSets.set;

public class AnonymousClassToInnerClass {
    public static TypeNode transform(TypeNode type) {
        Scope scope = Scope.create().temporaryPrefix("_couscous_anonymous_class_to_inner_class");
        AnonymousClassToInnerClass transformer = new AnonymousClassToInnerClass(scope, type);
        return transformer.transformTypeDeclaration(type);
    }

    private final Scope scope;
    private final TypeNode type;
    private final ImmutableList.Builder<TypeNode> innerTypes = ImmutableList.builder();
    private int anonymousClassCount = 0;

    private AnonymousClassToInnerClass(Scope scope, TypeNode type) {
        this.scope = scope;
        this.type = type;
    }

    private TypeNode transformTypeDeclaration(TypeNode type) {
        NodeTransformer transformer = NodeTransformer.builder()
            .transformExpression(this::transformExpression)
            .build();
        return only(transformer.transformTypeDeclaration(type)).addInnerTypes(innerTypes.build());
    }

    private Optional<ExpressionNode> transformExpression(ExpressionNode expression) {
        return tryCast(AnonymousClass.class, expression)
            .map(anonymous -> {
                ScalarType className = ScalarType.innerType(type.getName(), "Anonymous_" + anonymousClassCount++);
                GeneratedClosure closure = classWithCapture(scope, className, anonymous);
                innerTypes.add(closure.getClassNode());
                return closure.generateConstructor();
            });
    }

    private GeneratedClosure classWithCapture(
        Scope scope,
        ScalarType className,
        AnonymousClass anonymousClass
    ) {
        ClassNode classNode = ClassNode.declareClass(
            className,
            list(),
            set(anonymousClass.getType()),
            anonymousClass.getFields(),
            list(),
            ConstructorNode.DEFAULT,
            anonymousClass.getMethods(),
            list()
        );
        if (anonymousClass.getAnonymousType().isPresent()) {
            NodeTransformer nodeTransformer = NodeTransformer.replaceExpressions(map(
                thisReference(anonymousClass.getAnonymousType().get()),
                thisReference(className)
            ));
            classNode = nodeTransformer.transformClass(classNode);
        }
        return ClosureGenerator.classWithCapture(scope, classNode);
    }

    private List<Node> relevantDescendants(Node root) {
        return eagerFlatMap(
            eagerFilter(root.childNodes(), node -> !(node instanceof TypeNode)),
            node -> cons(node, relevantDescendants(node))
        );
    }
}