Package com.redhat.ceylon.compiler.typechecker.model

Examples of com.redhat.ceylon.compiler.typechecker.model.ClassOrInterface

638
639
640
641
642
643
644
645
646
647
648
        share(d);
    }

    void referenceOuter(TypeDeclaration d) {
        if (!d.isToplevel()) {
            final ClassOrInterface coi = Util.getContainingClassOrInterface(d.getContainer());
            if (coi != null) {
                out(names.self(d), ".outer$");
                if (d.isClassOrInterfaceMember()) {
                    out("=this");
                } else {
View Full Code Here
702
703
704
705
706
707
708
709
710
711
712
                for (com.redhat.ceylon.compiler.typechecker.model.Parameter p : plist) {
                    generateAttributeForParameter(node, (com.redhat.ceylon.compiler.typechecker.model.Class)d, p);
                }
            }
            if (d.isMember()) {
                ClassOrInterface coi = Util.getContainingClassOrInterface(d.getContainer());
                if (coi != null && d.inherits(coi)) {
                    out(names.self(d), ".", names.name(d),"=", names.name(d), ";");
                }
            }
            endBlock();
View Full Code Here
745
746
747
748
749
750
751
752
753
754
755
    private ClassOrInterface prototypeOwner;

    private void addToPrototype(ClassOrInterface d, final Tree.Statement s,
            List<com.redhat.ceylon.compiler.typechecker.model.Parameter> params) {
        ClassOrInterface oldPrototypeOwner = prototypeOwner;
        prototypeOwner = d;
        if (s instanceof MethodDefinition) {
            addMethodToPrototype(d, (MethodDefinition)s);
        } else if (s instanceof MethodDeclaration) {
            //Don't even bother with nodes that have errors
View Full Code Here
41
42
43
44
45
46
47
48
49
50
51
            final boolean isCallable = !forInvoke && decl instanceof Method
                    && bme.getUnit().getCallableDeclaration().equals(bme.getTypeModel().getDeclaration());
            String who = isCallable && decl.isMember() ? gen.getMember(bme, decl, null) : null;
            if (who == null || who.isEmpty()) {
                //We may not need to wrap this in certain cases
                ClassOrInterface cont = Util.getContainingClassOrInterface(bme.getScope());
                who=cont == null ? "0" : gen.getNames().self(cont);
            }
            final boolean hasTparms = hasTypeParameters(bme);
            if (isCallable && (who != null || hasTparms)) {
                if (hasTparms) {
View Full Code Here
31
32
33
34
35
36
37
38
39
40
41
    /** Generates a function to initialize the specified type. */
    static void initializeType(final Tree.Declaration type, final GenerateJsVisitor gen) {
        Tree.ExtendedType extendedType = null;
        Tree.SatisfiedTypes satisfiedTypes = null;
        final ClassOrInterface decl;
        final List<Tree.Statement> stmts;
        if (type instanceof Tree.ClassDefinition) {
            Tree.ClassDefinition classDef = (Tree.ClassDefinition) type;
            extendedType = classDef.getExtendedType();
            satisfiedTypes = classDef.getSatisfiedTypes();
View Full Code Here
119
120
121
122
123
124
125
126
127
128
129
130
131
132
                gen.out(modAlias, ".");
            }
            if (t.getContainer() instanceof ClassOrInterface) {
                final Scope scope = node == null ? null : Util.getContainingClassOrInterface(node.getScope());
                List<ClassOrInterface> parents = new ArrayList<>();
                ClassOrInterface parent = (ClassOrInterface)t.getContainer();
                parents.add(0, parent);
                while (parent.getContainer() instanceof ClassOrInterface) {
                    parent = (ClassOrInterface)parent.getContainer();
                    parents.add(0, parent);
                }
                for (ClassOrInterface p : parents) {
                    if (p==scope) {
                        if (gen.opts.isOptimize()) {
View Full Code Here
246
247
248
249
250
251
252
253
254
255
256
257
            parent = parent.getScope();
        }
        if (tp.getContainer() instanceof ClassOrInterface) {
            if (parent == tp.getContainer()) {
                if (!skipSelfDecl) {
                    ClassOrInterface ontoy = Util.getContainingClassOrInterface(node.getScope());
                    while (ontoy.isAnonymous())ontoy=Util.getContainingClassOrInterface(ontoy.getScope());
                    gen.out(gen.getNames().self((TypeDeclaration)ontoy));
                    for (int i = 0; i < outers; i++) {
                        gen.out(".outer$");
                    }
                    gen.out(".");
View Full Code Here
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
    }

    @Test
    public void tmptest() {
        System.out.println("-----------------------");
        ClassOrInterface d0 = (ClassOrInterface)srclang.getDirectMember("Iterable", null, false);
        Assert.assertNotNull("ContainerWithFirstElement from srclang", d0);
        ClassOrInterface d1 = (ClassOrInterface)jslang.getDirectMember("Iterable", null, false);
        Assert.assertNotNull("ContainerWithFirstElement from jslang", d1);
        ProducedType seq0 = null, seq1 = null;
        for (ProducedType pt : d0.getSatisfiedTypes()) {
            System.out.println(d0 + " satisfies " + pt);
            if (pt.getProducedTypeName().startsWith("Null[]")) {
                seq0 = pt;
                break;
            }
        }
        for (ProducedType pt : d1.getSatisfiedTypes()) {
            if (pt.getProducedTypeName().startsWith("Null[]")) {
                seq1 = pt;
                break;
            }
        }
        compareTypes(seq0, seq1, new ArrayList<String>());
        System.out.println("src " + seq0 + " - js " + seq1);
        compareTypeDeclarations(d0, d1);
        MethodOrValue m0 = (MethodOrValue)d0.getDirectMember("last", null, false);
        MethodOrValue m1 = (MethodOrValue)d1.getDirectMember("last", null, false);
        System.out.println("Iterable.last " + m0 + " vs " + m1);
        System.out.println("refined member " + d0.getRefinedMember("last", null, false).getContainer() + " vs " + d1.getRefinedMember("last", null, false).getContainer());
        System.out.println("last is transient? " + m0.isTransient() + " vs " + m1.isTransient());
        System.out.println("refined " + m0.getRefinedDeclaration().getContainer() + " vs " + m1.getRefinedDeclaration().getContainer());
    }
View Full Code Here
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
                orderedTypes, anonymousClass);
    }

    @Override
    public void visit(Tree.ClassOrInterface that) {
        ClassOrInterface classOrInterface = that.getDeclarationModel();
        validateMemberRefinement(that, classOrInterface);
        super.visit(that);
        if (!classOrInterface.isAlias()) {
            boolean concrete =
                    !classOrInterface.isAbstract() &&
                    !classOrInterface.isFormal();
            List<Type> orderedTypes =
                    sortDAGAndBuildMetadata(classOrInterface, that);
            if (concrete) {
                checkForFormalsNotImplemented(that,
                        orderedTypes, (Class) classOrInterface);
View Full Code Here
145
146
147
148
149
150
151
152
153
154
155
156
157
158
            checkForShortcutRefinement(that, dec);
        }
    }

    private static void checkForShortcutRefinement(Node that, Declaration dec) {
        ClassOrInterface classOrInterface =
                (ClassOrInterface) dec.getContainer();
        for (Declaration im:
                classOrInterface.getInheritedMembers(dec.getName())) {
            if (im instanceof MethodOrValue &&
                    ((MethodOrValue) im).isShortcutRefinement()) {
                that.addError("refines a non-formal, non-default member: " +
                        message(im));
            }
View Full Code Here
TOP

Related Classes of com.redhat.ceylon.compiler.typechecker.model.ClassOrInterface

  • com.redhat.ceylon.ceylondoc.CeylonDocTool
  • com.redhat.ceylon.ceylondoc.ClassDoc
  • com.redhat.ceylon.ceylondoc.IndexDoc
  • com.redhat.ceylon.ceylondoc.LinkRenderer
  • com.redhat.ceylon.compiler.java.codegen.AbstractTransformer
  • com.redhat.ceylon.compiler.java.codegen.CeylonVisitor
  • com.redhat.ceylon.compiler.java.codegen.ClassTransformer
  • com.redhat.ceylon.compiler.java.codegen.ExpressionTransformer
  • com.redhat.ceylon.compiler.java.codegen.HasTypeVisitor
  • com.redhat.ceylon.compiler.java.codegen.InterfaceVisitor
    • 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.