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

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

639
640
641
642
643
644
645
646
647
    @Override
    public void visit(Tree.EntryType that) {
        super.visit(that);
        ProducedType kt = that.getKeyType().getTypeModel();
        ProducedType vt = that.getValueType()==null ?
                new UnknownType(unit).getType() :
                that.getValueType().getTypeModel();
        that.setTypeModel(unit.getEntryType(kt, vt));
    }
View Full Code Here
667
668
669
670
671
672
673
674
675
676
677
        int firstDefaulted = -1;
        for (int i=0; i<ets.size(); i++) {
            Tree.Type st = ets.get(i);
            ProducedType arg = st==null ? null : st.getTypeModel();
            if (arg==null) {
                arg = new UnknownType(unit).getType();
            }
            else if (st instanceof Tree.SpreadType) {
                //currently we only allow a
                //single spread type, but in
                //future we should also allow
View Full Code Here
1359
1360
1361
1362
1363
1364
1365
            }
        }
    }

    private ProducedType newUnknownType() {
        return new UnknownType(typeFactory).getType();
    }
View Full Code Here
3021
3022
3023
3024
3025
3026
3027
3028
3029
        }else if(exceptionMessage == null){
            errorReporter = makeModelErrorReporter(message);
        }else{
            errorReporter = makeModelErrorReporter(message+": "+exceptionMessage);
        }
        UnknownType ret = new UnknownType(typeFactory);
        ret.setErrorReporter(errorReporter);
        return ret.getType();
    }
View Full Code Here
91
92
93
94
95
96
97
98
99
100
101
102
103
104
    private void collectUnknownTypes(TypeDeclaration declaration, Map<Declaration, Declaration> visited) {
        if(visited.put(declaration, declaration) != null)
            return;
        if(declaration instanceof UnknownType){
            UnknownType ut = (UnknownType) declaration;
            ut.reportErrors();
            // don't report it twice
            ut.setErrorReporter(null);
        }else if(declaration instanceof UnionType){
            for(ProducedType t : declaration.getCaseTypes()){
                collectUnknownTypesResolved(t, visited);
            }
        }else if(declaration instanceof IntersectionType){
View Full Code Here
120
121
122
123
124
125
126
    public ProducedType getCallableType(ProducedType resultType) {
        return getCallableType(List.<ProducedType>of(resultType,getEmptyDeclaration().getType()));
    }

    public ProducedType getUnknownType() {
        return new UnknownType(this).getType();
    }
View Full Code Here
TOP

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

  • com.redhat.ceylon.compiler.java.loader.TypeFactory
  • com.redhat.ceylon.compiler.java.loader.UnknownTypeCollector
  • com.redhat.ceylon.compiler.loader.AbstractModelLoader
  • com.redhat.ceylon.compiler.typechecker.analyzer.AliasVisitor
  • com.redhat.ceylon.compiler.typechecker.analyzer.DeclarationVisitor
  • 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.