Home | History | Annotate | Download | only in aidl
      1 /*
      2  * Copyright (C) 2015, The Android Open Source Project
      3  *
      4  * Licensed under the Apache License, Version 2.0 (the "License");
      5  * you may not use this file except in compliance with the License.
      6  * You may obtain a copy of the License at
      7  *
      8  *     http://www.apache.org/licenses/LICENSE-2.0
      9  *
     10  * Unless required by applicable law or agreed to in writing, software
     11  * distributed under the License is distributed on an "AS IS" BASIS,
     12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
     13  * See the License for the specific language governing permissions and
     14  * limitations under the License.
     15  */
     16 
     17 #include "type_namespace.h"
     18 
     19 #include <algorithm>
     20 #include <string>
     21 #include <vector>
     22 
     23 #include "aidl_language.h"
     24 #include "logging.h"
     25 
     26 using android::base::StringPrintf;
     27 using android::base::Split;
     28 using android::base::Trim;
     29 using std::string;
     30 using std::vector;
     31 
     32 namespace android {
     33 namespace aidl {
     34 
     35 // Since packages cannot contain '-' normally, we cannot be asked
     36 // to create a type that conflicts with these strings.
     37 const char kAidlReservedTypePackage[] = "aidl-internal";
     38 const char kUtf8StringClass[] = "Utf8String";
     39 const char kUtf8InCppStringClass[] = "Utf8InCppString";
     40 
     41 // These *must* match the package and class names above.
     42 const char kUtf8StringCanonicalName[] = "aidl-internal.Utf8String";
     43 const char kUtf8InCppStringCanonicalName[] = "aidl-internal.Utf8InCppString";
     44 
     45 const char kStringCanonicalName[] = "java.lang.String";
     46 
     47 const char kUtf8Annotation[] = "@utf8";
     48 const char kUtf8InCppAnnotation[] = "@utfInCpp";
     49 
     50 namespace {
     51 
     52 bool is_java_keyword(const char* str) {
     53   static const std::vector<std::string> kJavaKeywords{
     54       "abstract",   "assert",       "boolean",   "break",      "byte",
     55       "case",       "catch",        "char",      "class",      "const",
     56       "continue",   "default",      "do",        "double",     "else",
     57       "enum",       "extends",      "final",     "finally",    "float",
     58       "for",        "goto",         "if",        "implements", "import",
     59       "instanceof", "int",          "interface", "long",       "native",
     60       "new",        "package",      "private",   "protected",  "public",
     61       "return",     "short",        "static",    "strictfp",   "super",
     62       "switch",     "synchronized", "this",      "throw",      "throws",
     63       "transient",  "try",          "void",      "volatile",   "while",
     64       "true",       "false",        "null",
     65   };
     66   return std::find(kJavaKeywords.begin(), kJavaKeywords.end(), str) !=
     67       kJavaKeywords.end();
     68 }
     69 
     70 } // namespace
     71 
     72 ValidatableType::ValidatableType(
     73     int kind, const string& package, const string& type_name,
     74     const string& decl_file, int decl_line)
     75     : kind_(kind),
     76       type_name_(type_name),
     77       canonical_name_((package.empty()) ? type_name
     78                                         : package + "." + type_name),
     79       origin_file_(decl_file),
     80       origin_line_(decl_line) {}
     81 
     82 string ValidatableType::HumanReadableKind() const {
     83   switch (Kind()) {
     84     case ValidatableType::KIND_BUILT_IN:
     85       return "a built in";
     86     case ValidatableType::KIND_PARCELABLE:
     87       return "a parcelable";
     88     case ValidatableType::KIND_INTERFACE:
     89       return "an interface";
     90     case ValidatableType::KIND_GENERATED:
     91       return "a generated";
     92   }
     93   return "unknown";
     94 }
     95 
     96 bool TypeNamespace::IsValidPackage(const string& /* package */) const {
     97   return true;
     98 }
     99 
    100 const ValidatableType* TypeNamespace::GetReturnType(
    101     const AidlType& raw_type, const string& filename,
    102     const AidlInterface& interface) const {
    103   string error_msg;
    104   const ValidatableType* return_type = GetValidatableType(raw_type, &error_msg,
    105                                                           interface);
    106   if (return_type == nullptr) {
    107     LOG(ERROR) << StringPrintf("In file %s line %d return type %s:\n    ",
    108                                filename.c_str(), raw_type.GetLine(),
    109                                raw_type.ToString().c_str())
    110                << error_msg;
    111     return nullptr;
    112   }
    113 
    114   return return_type;
    115 }
    116 
    117 const ValidatableType* TypeNamespace::GetArgType(
    118     const AidlArgument& a, int arg_index, const string& filename,
    119     const AidlInterface& interface) const {
    120   string error_prefix = StringPrintf(
    121       "In file %s line %d parameter %s (argument %d):\n    ",
    122       filename.c_str(), a.GetLine(), a.GetName().c_str(), arg_index);
    123 
    124   // check the arg type
    125   string error_msg;
    126   const ValidatableType* t = GetValidatableType(a.GetType(), &error_msg,
    127                                                 interface);
    128   if (t == nullptr) {
    129     LOG(ERROR) << error_prefix << error_msg;
    130     return nullptr;
    131   }
    132 
    133   if (!a.DirectionWasSpecified() && t->CanBeOutParameter()) {
    134     LOG(ERROR) << error_prefix << StringPrintf(
    135         "'%s' can be an out type, so you must declare it as in,"
    136         " out or inout.",
    137         a.GetType().ToString().c_str());
    138     return nullptr;
    139   }
    140 
    141   if (a.GetDirection() != AidlArgument::IN_DIR &&
    142       !t->CanBeOutParameter()) {
    143     LOG(ERROR) << error_prefix << StringPrintf(
    144         "'%s' can only be an in parameter.",
    145         a.ToString().c_str());
    146     return nullptr;
    147   }
    148 
    149   // check that the name doesn't match a keyword
    150   if (is_java_keyword(a.GetName().c_str())) {
    151     LOG(ERROR) << error_prefix << "Argument name is a Java or aidl keyword";
    152     return nullptr;
    153   }
    154 
    155   // Reserve a namespace for internal use
    156   if (a.GetName().substr(0, 5)  == "_aidl") {
    157     LOG(ERROR) << error_prefix << "Argument name cannot begin with '_aidl'";
    158     return nullptr;
    159   }
    160 
    161   return t;
    162 }
    163 
    164 }  // namespace aidl
    165 }  // namespace android
    166