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

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

629
630
631
632
633
634
635
636
637
        Value v = new Value();
        that.setDeclarationModel(v);
        visitArgument(that, v);
        that.getType().setTypeModel(c.getType());
        v.setType(c.getType());
        Scope o = enterScope(c);
        super.visit(that);
        exitScope(o);
    }
View Full Code Here
722
723
724
725
726
727
728
729
730
731
732
    public void visit(Tree.AttributeGetterDefinition that) {
        Value g = new Value();
        g.setTransient(true);
        that.setDeclarationModel(g);
        visitDeclaration(that, g);
        Scope o = enterScope(g);
        super.visit(that);
        exitScope(o);
        if (that.getType() instanceof Tree.ValueModifier) {
            if (g.isToplevel()) {
                that.getType().addError("toplevel getter must explicitly specify a type", 200);
View Full Code Here
741
742
743
744
745
746
747
748
749
    public void visit(Tree.AttributeArgument that) {
        Value g = new Value();
        g.setTransient(true);
        that.setDeclarationModel(g);
        visitArgument(that, g);
        Scope o = enterScope(g);
        super.visit(that);
        exitScope(o);
    }
View Full Code Here
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
    @Override
    public void visit(Tree.AttributeSetterDefinition that) {
        Setter s = new Setter();
        that.setDeclarationModel(s);
        visitDeclaration(that, s);
        Scope o = enterScope(s);
        Parameter p = new Parameter();
        p.setHidden(true);
        Value v = new Value();
        v.setInitializerParameter(p);
        p.setModel(v);
        v.setName(s.getName());
        p.setName(s.getName());
        p.setDeclaration(s);
        visitElement(that, v);
        unit.addDeclaration(v);
        Scope sc = getContainer(that);
        sc.addMember(v);
       
        s.setParameter(p);
        super.visit(that);
        exitScope(o);
       
View Full Code Here
909
910
911
912
913
914
915
916
917
    public void visit(Tree.ControlClause that) {
        ControlBlock cb = new ControlBlock();
        cb.setId(id++);
        that.setControlBlock(cb);
        visitElement(that, cb);
        Scope o = enterScope(cb);
        super.visit(that);
        exitScope(o);
    }
View Full Code Here
959
960
961
962
963
964
965
966
967
                nal.getArgumentNames().add(na.getIdentifier().getText());
            }
        }
        that.setNamedArgumentList(nal);
        visitElement(that, nal);
        Scope o = enterScope(nal);
        super.visit(that);
        exitScope(o);
    }
View Full Code Here
967
968
969
970
971
972
973
974
975
976
977
    }
   
    @Override
    public void visit(Tree.Variable that) {
        if (that.getSpecifierExpression()!=null) {
            Scope s = scope;
            if (scope instanceof ControlBlock) {
                scope = scope.getContainer();
            }
            that.getSpecifierExpression().visit(this);
            scope = s;
View Full Code Here
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
1228
1229
1230
1231
1232
1233
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
1248
       
        buildAnnotations(al, model.getAnnotations());       
    }

    public static void setVisibleScope(Declaration model) {
        Scope s=model.getContainer();
        while (s!=null) {
            if (s instanceof Declaration) {
                if (model.isShared()) {
                    if (!((Declaration) s).isShared()) {
                        model.setVisibleScope(s.getContainer());
                        break;
                    }
                }
                else {
                    model.setVisibleScope(s);
                    break;
                }
            }
            else if (s instanceof Package) {
                //TODO: unshared packages!
                /*if (!((Package) s).isShared()) {
                    model.setVisibleScope(s);
                }*/
                if (!model.isShared()) {
                    model.setVisibleScope(s);
                }
                //null visible scope means visible everywhere
                break;
            }
            else {
                model.setVisibleScope(s);
                break;
            }   
            s = s.getContainer();
        }
    }
View Full Code Here
1247
1248
1249
1250
1251
1252
1253
1254
1255
1256
1257
        }
    }

    private static void checkFormalMember(Tree.Declaration that, Declaration d) {
       
        Scope container = d.getContainer();
        if (d.isFormal()) {
            if (container instanceof ClassOrInterface) {
                //handled in RefinementVisitor
//                ClassOrInterface ci = (ClassOrInterface) d.getContainer();
//                if (!ci.isAbstract() && !ci.isFormal()) {
View Full Code Here
1320
1321
1322
1323
1324
1325
1326
1327
1328
1329
1330
                name + "'");
          }
          p.setConstrained(true);
        }
       
        Scope o = enterScope(p);
        super.visit(that);
        exitScope(o);
       
        if ( that.getAbstractedType()!=null ) {
            that.addUnsupportedError("lower bound type constraints are not yet supported");
View Full Code Here
TOP

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

  • com.redhat.ceylon.ceylondoc.CeylonDocTool
  • com.redhat.ceylon.ceylondoc.ClassOrPackageDoc
  • com.redhat.ceylon.ceylondoc.LinkRenderer
  • com.redhat.ceylon.compiler.java.codegen.AbstractTransformer
  • com.redhat.ceylon.compiler.java.codegen.BoxingVisitor
  • com.redhat.ceylon.compiler.java.codegen.ClassTransformer
  • com.redhat.ceylon.compiler.java.codegen.CodegenUtil
  • com.redhat.ceylon.compiler.java.codegen.Decl
  • com.redhat.ceylon.compiler.java.codegen.ExpressionTransformer
  • com.redhat.ceylon.compiler.java.codegen.Invocation
    • 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.