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

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

198
199
200
201
202
203
204
205
206
207
208
209
        ProducedType type = new TypeParser(MockLoader.instance).decodeType("a&b|c", null, mockModule, mockUnit);
        Assert.assertNotNull(type);
        TypeDeclaration declaration = type.getDeclaration();
        Assert.assertNotNull(declaration);
        Assert.assertTrue(declaration instanceof UnionType);
        UnionType union = (UnionType) declaration;
        List<ProducedType> unionTypes = union.getCaseTypes();
        Assert.assertEquals(2, unionTypes.size());
       
        Assert.assertTrue(unionTypes.get(0).getDeclaration() instanceof IntersectionType);
        IntersectionType intersection = (IntersectionType) unionTypes.get(0).getDeclaration();
View Full Code Here
284
285
286
287
288
289
290
291
292
293
294
295
        ProducedType type = new TypeParser(MockLoader.instance).decodeType("a|t2<b|c,t2<d,e|f>>", null, mockModule, mockUnit);
        Assert.assertNotNull(type);
        TypeDeclaration declaration = type.getDeclaration();
        Assert.assertNotNull(declaration);
        Assert.assertTrue(declaration instanceof UnionType);
        UnionType union = (UnionType) declaration;
        List<ProducedType> caseTypes = union.getCaseTypes();
        Assert.assertEquals(2, caseTypes.size());
       
        // a
        Assert.assertEquals("a", caseTypes.get(0).getDeclaration().getName());
        Assert.assertTrue(caseTypes.get(0).getDeclaration() instanceof Class);
View Full Code Here
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
     * unionType: intersectionType (| intersectionType)*
     */
    private ProducedType parseUnionType() {
        ProducedType firstType = parseIntersectionType();
        if(lexer.lookingAt(TypeLexer.OR)){
            UnionType type = new UnionType(unit);
            List<ProducedType> caseTypes = new LinkedList<ProducedType>();
            type.setCaseTypes(caseTypes);
            caseTypes.add(firstType);
            while(lexer.lookingAt(TypeLexer.OR)){
                lexer.eat();
                caseTypes.add(parseIntersectionType());
            }
            return type.getType();
        }else{
            return firstType;
        }
    }
View Full Code Here
590
591
592
593
594
595
596
597
598
599
600
601
            super.stringTo(sb, '|');
        }

        @Override
        public ProducedType toProducedType(RuntimeModuleManager moduleManager) {
            UnionType ret = new UnionType(moduleManager.getModelLoader().getUnit());
            ArrayList<ProducedType> caseTypes = new ArrayList<ProducedType>(members.length);
            for(TypeDescriptor member : members)
                Util.addToUnion(caseTypes,Metamodel.getProducedType(member));
            ret.setCaseTypes(caseTypes);
            return ret.getType();
        }
View Full Code Here
TOP

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

  • com.redhat.ceylon.compiler.java.codegen.AbstractTransformer
  • com.redhat.ceylon.compiler.java.codegen.BoxingVisitor
  • com.redhat.ceylon.compiler.java.runtime.model.TypeDescriptor$Union
  • com.redhat.ceylon.compiler.java.test.model.TypeParserTest
  • com.redhat.ceylon.compiler.js.InvocationGenerator
  • com.redhat.ceylon.compiler.js.TypeUtils
  • com.redhat.ceylon.compiler.loader.AbstractModelLoader
  • com.redhat.ceylon.compiler.loader.JsonPackage
  • com.redhat.ceylon.compiler.loader.TypeParser
  • com.redhat.ceylon.compiler.typechecker.analyzer.DeclarationVisitor
    • 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.