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

Examples of com.redhat.ceylon.compiler.typechecker.model.ProducedType.containsDeclaration()

15
16
17
18
19
20
21
22
23
24
25
   
    @Override
    public void visit(Tree.TypeParameterDeclaration that) {
        TypeParameter tpd = that.getDeclarationModel();
        ProducedType dta = tpd.getDefaultTypeArgument();
        if (dta!=null && dta.containsDeclaration(tpd.getDeclaration())) {
            tpd.setDefaultTypeArgument(null);
        }
        super.visit(that);
    }
View Full Code Here
128
129
130
131
132
133
134
135
136
137
138
              ProducedType dta = tp.getDefaultTypeArgument();
              if (dta==null ||
                      //necessary to prevent stack overflow
                      //for illegal recursively-defined
                      //default type argument
                      dta.containsDeclaration(tp.getDeclaration())) {
                break;
              }
              else {
                  ProducedType da = dta.substitute(typeArgMap);
                typeArguments.add(da);
View Full Code Here
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
        Tree.TypeSpecifier ts = that.getTypeSpecifier();
        if (ts!=null) {
            Tree.StaticType type = ts.getType();
            if (type!=null) {
                ProducedType dta = type.getTypeModel();
                if (dta!=null && dta.containsDeclaration(tpd.getDeclaration())) {
                    type.addError("default type argument involves parameterized type");
                }
                /*else if (t.containsTypeParameters()) {
                    type.addError("default type argument involves type parameters: " +
                    t.getProducedTypeName());
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.