comments

[toc] / src / typeInfo.h

diff --git a/src/typeInfo.h b/src/typeInfo.h
index e813612b6af90982dd031a6dd4cb83cf09c6d508..7862ef53282bbd556ebaa4c881d198ce6fc88ee9 100644 (file)
--- a/src/typeInfo.h
+++ b/src/typeInfo.h
@@ -12,6 +12,7 @@ struct TypeInfo
 \r
 TypeInfo typeType(std::shared_ptr<Context> globalCtx, Type t)\r
 {\r
 \r
 TypeInfo typeType(std::shared_ptr<Context> globalCtx, Type t)\r
 {\r

+  // used to differentiate basic types from user defined types\r

   TypeInfo result;\r
   result.isStruct = true;\r
   if (t.name == "int" || t.name == "float" || t.name == "double" ||\r
   TypeInfo result;\r
   result.isStruct = true;\r
   if (t.name == "int" || t.name == "float" || t.name == "double" ||\r


@@ -33,6 +34,7 @@ TypeInfo typeExpr(std::shared_ptr<Context> globalCtx, Expr e)
   {\r
   case ExprType::Func:\r
   {\r
   {\r
   case ExprType::Func:\r
   {\r

+    // get type info from return type\r

     auto f = findFunction(e._func.functionName, e._func.namespacePrefixes, globalCtx);\r
     if (!f.has_value())\r
       throw "Unknown function";\r
     auto f = findFunction(e._func.functionName, e._func.namespacePrefixes, globalCtx);\r
     if (!f.has_value())\r
       throw "Unknown function";\r


@@ -41,6 +43,7 @@ TypeInfo typeExpr(std::shared_ptr<Context> globalCtx, Expr e)
   }\r
   case ExprType::Method:\r
   {\r
   }\r
   case ExprType::Method:\r
   {\r

+    // get type info from return type\r

     TypeInfo tiCaller = typeExpr(globalCtx, *e._method.expr);\r
     if (!tiCaller.isStruct)\r
       throw "Calling method on non-struct";\r
     TypeInfo tiCaller = typeExpr(globalCtx, *e._method.expr);\r
     if (!tiCaller.isStruct)\r
       throw "Calling method on non-struct";\r


@@ -54,6 +57,7 @@ TypeInfo typeExpr(std::shared_ptr<Context> globalCtx, Expr e)
     break;\r
   }\r
   case ExprType::Lit:\r
     break;\r
   }\r
   case ExprType::Lit:\r

+    // literal types are defined\r

     result.isStruct = false;\r
     switch (e._lit.type)\r
     {\r
     result.isStruct = false;\r
     switch (e._lit.type)\r
     {\r


@@ -68,6 +72,8 @@ TypeInfo typeExpr(std::shared_ptr<Context> globalCtx, Expr e)
     break;\r
   case ExprType::Dot:\r
   {\r
     break;\r
   case ExprType::Dot:\r
   {\r

+    // assume dot access is always member access\r
+    // and lookup struct variable\r

     auto tiCaller = typeExpr(globalCtx, *e._dot.expr);\r
     if (!tiCaller.isStruct)\r
       throw "Accessing member of non-struct";\r
     auto tiCaller = typeExpr(globalCtx, *e._dot.expr);\r
     if (!tiCaller.isStruct)\r
       throw "Accessing member of non-struct";\r


@@ -94,6 +100,8 @@ TypeInfo typeExpr(std::shared_ptr<Context> globalCtx, Expr e)
     break;\r
   case ExprType::Bracket:\r
   {\r
     break;\r
   case ExprType::Bracket:\r
   {\r

+    // get type of expr and remove array/ptr modifier to get\r
+    // type of [] access\r

     TypeInfo ti = typeExpr(globalCtx, *e._brackets.lexpr);\r
     if (!ti.type.modifiers.empty())\r
     {\r
     TypeInfo ti = typeExpr(globalCtx, *e._brackets.lexpr);\r
     if (!ti.type.modifiers.empty())\r
     {\r


@@ -107,6 +115,7 @@ TypeInfo typeExpr(std::shared_ptr<Context> globalCtx, Expr e)
   }\r
   case ExprType::Identifier:\r
   {\r
   }\r
   case ExprType::Identifier:\r
   {\r

+    // var lookup and return var type\r

     auto v = findVariable(e._identifier.identifier, e._identifier.namespacePrefixes, globalCtx);\r
     if (!v.has_value())\r
       throw "Unknown variable";\r
     auto v = findVariable(e._identifier.identifier, e._identifier.namespacePrefixes, globalCtx);\r
     if (!v.has_value())\r
       throw "Unknown variable";\r