Package com.redhat.ceylon.compiler.loader

Examples of com.redhat.ceylon.compiler.loader.TypeParser

157
158
159
160
161
162
163
164
165
166
167
       
    };
   
    @Test
    public void testUnion(){
        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;
View Full Code Here
175
176
177
178
179
180
181
182
183
184
185
        Assert.assertTrue(types.get(2).getDeclaration() instanceof Class);
    }

    @Test
    public void testIntersection(){
        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 IntersectionType);
        IntersectionType intersection = (IntersectionType) declaration;
View Full Code Here
193
194
195
196
197
198
199
200
201
202
203
        Assert.assertTrue(types.get(2).getDeclaration() instanceof Class);
    }

    @Test
    public void testIntersectionAndUnion(){
        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;
View Full Code Here
218
219
220
221
222
223
224
225
226
227
        Assert.assertTrue(unionTypes.get(1).getDeclaration() instanceof Class);
    }

    @Test
    public void testParams(){
        ProducedType type = new TypeParser(MockLoader.instance).decodeType("t2<b,c>", null, mockModule, mockUnit);
        assertTypeWithParameters(type);
       
        Assert.assertTrue(type.getVarianceOverrides().isEmpty());
    }
View Full Code Here
226
227
228
229
230
231
232
233
234
235
236
        Assert.assertTrue(type.getVarianceOverrides().isEmpty());
    }

    @Test
    public void testParamsVariance1(){
        ProducedType type = new TypeParser(MockLoader.instance).decodeType("t2<in b,out c>", null, mockModule, mockUnit);
        assertTypeWithParameters(type);

        Map<TypeParameter, SiteVariance> varianceOverrides = type.getVarianceOverrides();
        Assert.assertNotNull(varianceOverrides);
        Assert.assertEquals(2, varianceOverrides.size());
View Full Code Here
239
240
241
242
243
244
245
246
247
248
249
        Assert.assertEquals(SiteVariance.OUT, varianceOverrides.get(tps.get(1)));
    }

    @Test
    public void testParamsVariance2(){
        ProducedType type = new TypeParser(MockLoader.instance).decodeType("t2<b,out c>", null, mockModule, mockUnit);
        assertTypeWithParameters(type);

        Map<TypeParameter, SiteVariance> varianceOverrides = type.getVarianceOverrides();
        Assert.assertNotNull(varianceOverrides);
        Assert.assertEquals(1, varianceOverrides.size());
View Full Code Here
252
253
254
255
256
257
258
259
260
261
262
        Assert.assertEquals(SiteVariance.OUT, varianceOverrides.get(tps.get(1)));
    }

    @Test
    public void testParamsVariance3(){
        ProducedType type = new TypeParser(MockLoader.instance).decodeType("t2<in b,c>", null, mockModule, mockUnit);
        assertTypeWithParameters(type);

        Map<TypeParameter, SiteVariance> varianceOverrides = type.getVarianceOverrides();
        Assert.assertNotNull(varianceOverrides);
        Assert.assertEquals(1, varianceOverrides.size());
View Full Code Here
279
280
281
282
283
284
285
286
287
288
289
        Assert.assertTrue(tal.get(1).getDeclaration() instanceof Class);
    }

    @Test
    public void testUnionParams(){
        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;
View Full Code Here
347
348
349
350
351
352
353
354
355
356
357
    }

    @Test
    public void testQualified(){
        ProducedType type = new TypeParser(MockLoader.instance).decodeType("a.b", null, mockModule, mockUnit);
        Assert.assertNotNull(type);
        TypeDeclaration declaration = type.getDeclaration();
        Assert.assertNotNull(declaration);
        Assert.assertTrue(declaration instanceof Class);
        Assert.assertEquals("a.b", declaration.getQualifiedNameString());
View Full Code Here
364
365
366
367
368
369
370
371
372
373
374
        Assert.assertEquals("a", qualifyingDeclaration.getName());
    }

    @Test
    public void testQualifiedAndParameterised(){
        ProducedType type = new TypeParser(MockLoader.instance).decodeType("t2<a,b>.t2<c,d>", null, mockModule, mockUnit);
        Assert.assertNotNull(type);
        TypeDeclaration declaration = type.getDeclaration();
        Assert.assertNotNull(declaration);
        Assert.assertTrue(declaration instanceof Class);
        Assert.assertEquals("t2.t2", declaration.getQualifiedNameString());
View Full Code Here
TOP

Related Classes of com.redhat.ceylon.compiler.loader.TypeParser

  • com.redhat.ceylon.compiler.java.loader.CeylonModelLoader
  • com.redhat.ceylon.compiler.java.test.model.TypeParserTest
  • com.redhat.ceylon.compiler.loader.impl.reflect.ReflectionModelLoader
  • com.redhat.ceylon.compiler.loader.model.FunctionOrValueInterface
  • com.redhat.ceylon.compiler.typechecker.model.Declaration
  • com.redhat.ceylon.compiler.typechecker.model.IntersectionType
  • com.redhat.ceylon.compiler.typechecker.model.Module
  • com.redhat.ceylon.compiler.typechecker.model.Package
  • com.redhat.ceylon.compiler.typechecker.model.ProducedType
  • com.redhat.ceylon.compiler.typechecker.model.Scope
    • 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.