Mercurial > hg > truffle

annotate graal/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/parser/ImplicitCastParser.java @ 18758:3912400fc33a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Truffle-DSL: remove type system singleton
author Christian Humer <christian.humer@gmail.com>
date Mon, 29 Dec 2014 23:38:42 +0100
parents 0370880ac9ce
children a665483c3881
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
11468
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
1 /*
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
2 * Copyright (c) 2012, 2012, Oracle and/or its affiliates. All rights reserved.
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
4 *
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
7 * published by the Free Software Foundation.
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
8 *
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
13 * accompanied this code).
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
14 *
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
18 *
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
21 * questions.
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
22 */
16759
23415229349b Truffle-DSL: new package structure.
Christian Humer <christian.humer@gmail.com>
parents: 13527
diff changeset
23 package com.oracle.truffle.dsl.processor.parser;
11468
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
24
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
25 import java.lang.annotation.*;
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
26 import java.util.*;
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
27
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
28 import javax.lang.model.element.*;
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
29 import javax.lang.model.type.*;
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
30
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
31 import com.oracle.truffle.api.dsl.*;
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
32 import com.oracle.truffle.dsl.processor.*;
16759
23415229349b Truffle-DSL: new package structure.
Christian Humer <christian.humer@gmail.com>
parents: 13527
diff changeset
33 import com.oracle.truffle.dsl.processor.model.*;
11468
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
34
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
35 public class ImplicitCastParser extends TypeSystemMethodParser<ImplicitCastData> {
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
36
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
37 public ImplicitCastParser(ProcessorContext context, TypeSystemData typeSystem) {
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
38 super(context, typeSystem);
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
39 }
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
40
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
41 @Override
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
42 public Class<? extends Annotation> getAnnotationType() {
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
43 return ImplicitCast.class;
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
44 }
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
45
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
46 @Override
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
47 public MethodSpec createSpecification(ExecutableElement method, AnnotationMirror mirror) {
16817
0370880ac9ce Truffle-DSL: better caching for type checks.
Christian Humer <christian.humer@gmail.com>
parents: 16759
diff changeset
48 List<TypeMirror> types = getTypeSystem().getPrimitiveTypeMirrors();
0370880ac9ce Truffle-DSL: better caching for type checks.
Christian Humer <christian.humer@gmail.com>
parents: 16759
diff changeset
49 Set<String> identifiers = getTypeSystem().getTypeIdentifiers();
0370880ac9ce Truffle-DSL: better caching for type checks.
Christian Humer <christian.humer@gmail.com>
parents: 16759
diff changeset
50 MethodSpec spec = new MethodSpec(new ParameterSpec("target", types, identifiers));
0370880ac9ce Truffle-DSL: better caching for type checks.
Christian Humer <christian.humer@gmail.com>
parents: 16759
diff changeset
51 spec.addRequired(new ParameterSpec("source", types, identifiers));
11468
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
52 return spec;
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
53 }
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
54
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
55 @Override
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
56 public ImplicitCastData create(TemplateMethod method, boolean invalid) {
11545
2fb276f5e3e9 Truffle-DSL: implemented implicit casts.
Christian Humer <christian.humer@gmail.com>
parents: 11468
diff changeset
57 if (invalid) {
2fb276f5e3e9 Truffle-DSL: implemented implicit casts.
Christian Humer <christian.humer@gmail.com>
parents: 11468
diff changeset
58 return new ImplicitCastData(method, null, null);
2fb276f5e3e9 Truffle-DSL: implemented implicit casts.
Christian Humer <christian.humer@gmail.com>
parents: 11468
diff changeset
59 }
2fb276f5e3e9 Truffle-DSL: implemented implicit casts.
Christian Humer <christian.humer@gmail.com>
parents: 11468
diff changeset
60
16759
23415229349b Truffle-DSL: new package structure.
Christian Humer <christian.humer@gmail.com>
parents: 13527
diff changeset
61 Parameter target = method.findParameter("targetValue");
23415229349b Truffle-DSL: new package structure.
Christian Humer <christian.humer@gmail.com>
parents: 13527
diff changeset
62 Parameter source = method.findParameter("sourceValue");
11545
2fb276f5e3e9 Truffle-DSL: implemented implicit casts.
Christian Humer <christian.humer@gmail.com>
parents: 11468
diff changeset
63
2fb276f5e3e9 Truffle-DSL: implemented implicit casts.
Christian Humer <christian.humer@gmail.com>
parents: 11468
diff changeset
64 TypeData targetType = target.getTypeSystemType();
2fb276f5e3e9 Truffle-DSL: implemented implicit casts.
Christian Humer <christian.humer@gmail.com>
parents: 11468
diff changeset
65 TypeData sourceType = source.getTypeSystemType();
2fb276f5e3e9 Truffle-DSL: implemented implicit casts.
Christian Humer <christian.humer@gmail.com>
parents: 11468
diff changeset
66
2fb276f5e3e9 Truffle-DSL: implemented implicit casts.
Christian Humer <christian.humer@gmail.com>
parents: 11468
diff changeset
67 if (targetType.equals(sourceType)) {
2fb276f5e3e9 Truffle-DSL: implemented implicit casts.
Christian Humer <christian.humer@gmail.com>
parents: 11468
diff changeset
68 method.addError("Target type and source type of an @%s must not be the same type.", ImplicitCast.class.getSimpleName());
2fb276f5e3e9 Truffle-DSL: implemented implicit casts.
Christian Humer <christian.humer@gmail.com>
parents: 11468
diff changeset
69 }
2fb276f5e3e9 Truffle-DSL: implemented implicit casts.
Christian Humer <christian.humer@gmail.com>
parents: 11468
diff changeset
70
18758
3912400fc33a Truffle-DSL: remove type system singleton
Christian Humer <christian.humer@gmail.com>
parents: 16817
diff changeset
71 if (!method.getMethod().getModifiers().contains(Modifier.STATIC)) {
3912400fc33a Truffle-DSL: remove type system singleton
Christian Humer <christian.humer@gmail.com>
parents: 16817
diff changeset
72 method.addError("@%s annotated method %s must be static.", ImplicitCast.class.getSimpleName(), method.getMethodName());
3912400fc33a Truffle-DSL: remove type system singleton
Christian Humer <christian.humer@gmail.com>
parents: 16817
diff changeset
73 }
3912400fc33a Truffle-DSL: remove type system singleton
Christian Humer <christian.humer@gmail.com>
parents: 16817
diff changeset
74
11545
2fb276f5e3e9 Truffle-DSL: implemented implicit casts.
Christian Humer <christian.humer@gmail.com>
parents: 11468
diff changeset
75 return new ImplicitCastData(method, sourceType, targetType);
11468
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
76 }
79d4c4b2d6db Truffle-DSL: added ImplicitCast api classes. (non functional yet)
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
77 }