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

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

1653
1654
1655
1656
1657
1658
1659
1660
1661
1662
1663
            if (t!=null) {
                types.add(t);
            }
        }
        if (inExtends) {
            ProducedType t = new LazyProducedType(unit) {
                @Override
                public TypeDeclaration initDeclaration() {
                    UnionType ut = new UnionType(unit);
                    ut.setCaseTypes(types);
                    return ut;
View Full Code Here
1678
1679
1680
1681
1682
1683
1684
1685
1686
1687
1688
                    new ArrayList<ProducedType>(that.getStaticTypes().size());
            for (Tree.StaticType st: that.getStaticTypes()) {
                ProducedType t = st.getTypeModel();
                if (t!=null) types.add(t);
            }
            ProducedType t = new LazyProducedType(unit) {
                @Override
                public TypeDeclaration initDeclaration() {
                    IntersectionType it = new IntersectionType(unit);
                    it.setSatisfiedTypes(types);
                    return it;
View Full Code Here
1702
1703
1704
1705
1706
1707
1708
1709
1710
1711
1712
            final ProducedType elementType =
                    that.getElementType().getTypeModel();
            final NaturalLiteral length = that.getLength();
            ProducedType t;
            if (length==null) {
                t = new LazyProducedType(unit) {
                    @Override
                    public TypeDeclaration initDeclaration() {
                        return unit.getSequentialDeclaration();
                    }
                    @Override
View Full Code Here
1768
1769
1770
1771
1772
1773
1774
1775
1776
1777
1778
    public void visit(final Tree.SequencedType that) {
        super.visit(that);
        if (inExtends) {
            final ProducedType type = that.getType().getTypeModel();
            ProducedType t = new LazyProducedType(unit) {
                @Override
                public TypeDeclaration initDeclaration() {
                    return that.getAtLeastOne() ?
                            unit.getSequenceDeclaration() :
                            unit.getSequentialDeclaration();
View Full Code Here
1794
1795
1796
1797
1798
1799
1800
1801
1802
1803
1804
    public void visit(final Tree.EntryType that) {
        super.visit(that);
        if (inExtends) {
            final ProducedType keyType = that.getKeyType().getTypeModel();
            final ProducedType valueType = that.getValueType().getTypeModel();
            ProducedType t = new LazyProducedType(unit) {
                @Override
                public TypeDeclaration initDeclaration() {
                    return unit.getEntryDeclaration();
                }
                @Override
View Full Code Here
1819
1820
1821
1822
1823
1824
1825
1826
1827
1828
1829
    public void visit(final Tree.FunctionType that) {
        super.visit(that);
        if (inExtends) {
            final ProducedType returnType =
                    that.getReturnType().getTypeModel();
            ProducedType t = new LazyProducedType(unit) {
                @Override
                public TypeDeclaration initDeclaration() {
                    return unit.getCallableDeclaration();
                }
                @Override
View Full Code Here
1845
1846
1847
1848
1849
1850
1851
1852
1853
1854
1855
   
    public void visit(final Tree.SuperType that) {
        super.visit(that);
        if (inExtends) {
            final Scope scope = that.getScope();
            ProducedType t = new LazyProducedType(unit) {
                @Override
                public TypeDeclaration initDeclaration() {
                    ClassOrInterface ci =
                            getContainingClassOrInterface(scope);
                    if (ci==null) {
View Full Code Here
TOP

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

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