Package com.redhat.ceylon.compiler.typechecker.tree.Tree

Examples of com.redhat.ceylon.compiler.typechecker.tree.Tree.TypeVariance

5341
5342
5343
5344
5345
5346
5347
5348
5349
5350
5351
5352
5353
5354
5355
5356
5357
5358
5359
5360
5361
5362
5363
5364
                if (tal!=null) {
                    List<Tree.Type> args = tal.getTypes();
                    for (int i = 0; i<args.size(); i++) {
                        Tree.Type t = args.get(i);
                        if (t instanceof Tree.StaticType) {
                            TypeVariance variance =
                                    ((Tree.StaticType) t).getTypeVariance();
                            if (variance!=null) {
                                TypeParameter p = params.get(i);
                                if (p.isInvariant()) {
                                    if (variance.getText().equals("out")) {
                                        pt.setVariance(p, OUT);
                                    }
                                    else if (variance.getText().equals("in")) {
                                        pt.setVariance(p, IN);
                                    }
                                }
                                else {
                                    variance.addError("type parameter is not declared invariant: '" +
                                            p.getName() + "' of '" + type.getName(unit) + "'");
                                }
                            }
                        }
                    }
View Full Code Here
6230
6231
6232
6233
6234
6235
6236
6237
6238
6239
6240
6241
6242
    private void checkSupertypeVarianceAnnotations(Tree.SimpleType et) {
        Tree.TypeArgumentList tal = et.getTypeArgumentList();
        if (tal!=null) {
            for (Tree.Type t: tal.getTypes()) {
                if (t instanceof Tree.StaticType) {
                    TypeVariance variance = ((Tree.StaticType) t).getTypeVariance();
                    if (variance!=null) {
                        variance.addError("supertype expression may not specify variance");
                    }
                }
            }
        }
    }
View Full Code Here
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
            //TODO: dupe of logic in ExpressionVisitor
            List<Tree.Type> args = tal.getTypes();
            for (int i = 0; i<args.size(); i++) {
                Tree.Type t = args.get(i);
                if (t instanceof Tree.StaticType) {
                    TypeVariance variance =
                            ((Tree.StaticType) t).getTypeVariance();
                    if (variance!=null) {
                        TypeParameter p = params.get(i);
                        if (p.isInvariant()) {
                            if (variance.getText().equals("out")) {
                                pt.setVariance(p, OUT);
                            }
                            else if (variance.getText().equals("in")) {
                                pt.setVariance(p, IN);
                            }
                        }
                    }
                }
View Full Code Here
TOP

Related Classes of com.redhat.ceylon.compiler.typechecker.tree.Tree.TypeVariance

  • com.redhat.ceylon.compiler.typechecker.analyzer.ExpressionVisitor
  • com.redhat.ceylon.compiler.typechecker.analyzer.TypeVisitor
    • 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.