12 static Context globalContext { };
13 static Module privateModule;
14 static ModuleImport mainModule;
15 static OldList _excludedSymbols { offset = (uint)&((Symbol)0).left };
16 static OldList defines, imports;
17 static NameSpace globalData
19 classes.CompareKey = (void *)BinaryTree::CompareString;
20 defines.CompareKey = (void *)BinaryTree::CompareString;
21 functions.CompareKey = (void *)BinaryTree::CompareString;
22 nameSpaces.CompareKey = (void *)BinaryTree::CompareString;
25 static void OutputImports(char * fileName)
27 File f = FileOpen(fileName, write);
33 f.Printf("[Imported Modules]\n");
34 for(module = imports.first; module; module = module.next)
37 FunctionImport function;
40 f.Printf(" %s\n", module.name);
42 f.Printf(" [This]\n");
43 if(module.importType == staticImport)
44 f.Printf(" [Static]\n");
45 else if(module.importType == remoteImport)
46 f.Printf(" [Remote]\n");
48 if(module.importAccess == privateAccess)
49 f.Printf(" [Private]\n");
51 f.Printf(" [Public]\n");
53 if(module.classes.first)
55 f.Printf(" [Imported Classes]\n");
56 for(_class = module.classes.first; _class; _class = _class.next)
58 f.Printf(" %s\n", _class.name);
61 f.Printf(" [Instantiated]\n");
65 f.Printf(" [Remote]\n");
68 if(_class.methods.first)
71 f.Printf(" [Imported Methods]\n");
72 for(method = _class.methods.first; method; method = method.next)
74 f.Printf(" %s\n", method.name);
76 f.Printf(" [Virtual]\n");
82 if(_class.properties.first)
85 f.Printf(" [Imported Properties]\n");
86 for(prop = _class.properties.first; prop; prop = prop.next)
88 f.Printf(" %s\n", prop.name);
90 f.Printf(" [Virtual]\n");
101 if(module.functions.first)
103 f.Printf(" [Imported Functions]\n");
104 for(function = module.functions.first; function; function = function.next)
106 f.Printf(" %s\n", function.name);
118 static bool TestType(String string, String expected)
121 char typeString[1024] = { 0 };
122 Type type = ProcessTypeString(string, false);
123 PrintType(type, typeString, true, false);//true);
124 if(strcmp(typeString, expected ? expected : string))
126 PrintLn("FAILED: ", string, " -> ", typeString);
132 static void TestTypes()
134 int succeeded = 0, count = 0;
136 count++, succeeded += TestType("dllexport void (dllexport * Module::signal(int, void (*)(int)))(int)", null);
137 count++, succeeded += TestType("int (* f[8])[10]", null);
138 count++, succeeded += TestType("void (* signal(int, void (*)(int)))(int)", null);
139 count++, succeeded += TestType("void (* signal(double))()", null);
140 count++, succeeded += TestType("void (* bla)(int)", null);
141 count++, succeeded += TestType("int f(void (*[10])())", null);
142 count++, succeeded += TestType("void (*[10])()", null);
143 count++, succeeded += TestType("void (* converters_table[10])()", null);
144 count++, succeeded += TestType("int (* f[8])[10]", null);
146 count++, succeeded += TestType("int f[8][10]", null);
147 count++, succeeded += TestType("int f[10]", null);
148 count++, succeeded += TestType("void *", null);
149 count++, succeeded += TestType("char * x", "char * x");
150 count++, succeeded += TestType("char * x", null);
151 count++, succeeded += TestType("char (* x[3])()", null);
152 count++, succeeded += TestType("char (*(* x[3])())", "char * (* x[3])()");
153 count++, succeeded += TestType("char (* x())", "char * x()");
154 count++, succeeded += TestType("char (* (* x[3])())[5]", null);
155 count++, succeeded += TestType("char (* f())[5]", null);
156 count++, succeeded += TestType("char * (* f())[5]", null);
157 count++, succeeded += TestType("char * (* * f())[5][2][3]", null);
158 count++, succeeded += TestType("char * (* * (* f)())[5][2][3]", null);
159 count++, succeeded += TestType("char * (* (* * (* f)())[5][2])[3]", null);
160 count++, succeeded += TestType("void (* (* bar)[5])()", null);
161 count++, succeeded += TestType("const int * (* const f)(char[10])", null);
162 count++, succeeded += TestType("const int", null);
163 count++, succeeded += TestType("int * const *", null);
164 count++, succeeded += TestType("int * const", null);
165 count++, succeeded += TestType("const int *", null);
167 count++, succeeded += TestType("char * const (* (* const bar)[5])(int)", null);
168 count++, succeeded += TestType("char * const (* (* (* const bar)[5][6])(int))[2]", null);
169 count++, succeeded += TestType("int * * a", null);
171 count++, succeeded += TestType("char * const (* bar)()", null);
173 count++, succeeded += TestType("char * const (* const (* const bar)[5])(int)", null);
175 count++, succeeded += TestType("char * (* const (* bar)[5])(int)", null);
176 count++, succeeded += TestType("void (* * const bar[5])()", null);
177 count++, succeeded += TestType("void (* * const bar)()", null);
178 count++, succeeded += TestType("void (* const * bar)()", null);
179 count++, succeeded += TestType("const int * * foo", null); // this prevents you from doing: **foo = 0;
180 count++, succeeded += TestType("int * const * bar", null); // this prevents you from doing: *bar = 0;
181 count++, succeeded += TestType("int * * const two", null); // this prevents you from doing: two = 0;
182 count++, succeeded += TestType("dllexport int TestFunction()", null);
183 count++, succeeded += TestType("dllexport int (* TestFunction())[3]", null);
186 count++, succeeded += TestType("int dllexport TestFunction()", "dllexport int TestFunction()");
187 count++, succeeded += TestType("bool (stdcall * Load)(Module module)", null);
189 count++, succeeded += TestType("bool (__attribute__((stdcall)) * Load)(Module module)", "bool (stdcall * Load)(Module module)");
190 count++, succeeded += TestType("int (dllexport * Load)()", null);
191 count++, succeeded += TestType("int (* Load)(Module module)", null);
192 count++, succeeded += TestType("bool (__declspec(dllexport) * Load)(Module module)", "bool (dllexport * Load)(Module module)");
193 count++, succeeded += TestType("__declspec(dllexport) int TestFunction()", "dllexport int TestFunction()");
194 count++, succeeded += TestType("int __declspec(dllexport) TestFunction()", "dllexport int TestFunction()");
195 count++, succeeded += TestType("int __attribute__((dllexport)) TestFunction()", "dllexport int TestFunction()");
196 count++, succeeded += TestType("bool (__attribute__((dllexport)) * Load)(Module module)", "bool (dllexport * Load)(Module module)");
197 count++, succeeded += TestType("any_object TestFunction(any_object, typed_object param)", null);
198 count++, succeeded += TestType("void typed_object::OnDisplay(Surface surface, int x, int y, int width, void * fieldData, Alignment alignment, DataDisplayFlags displayFlags)", null);
199 count++, succeeded += TestType("int typed_object::OnCompare(any_object object)", null);
200 count++, succeeded += TestType("char * typed_object::OnGetString(char * tempString, void * fieldData, bool * needClass)", null);
201 count++, succeeded += TestType("void typed_object&::OnCopy(any_object newData)", null);
202 count++, succeeded += TestType("void typed_object::OnFree(void)", null);
203 count++, succeeded += TestType("bool typed_object&::OnGetDataFromString(char * string)", null);
204 count++, succeeded += TestType("Window typed_object::OnEdit(DataBox dataBox, DataBox obsolete, int x, int y, int w, int h, void * userData)", null);
205 count++, succeeded += TestType("void typed_object::OnSerialize(IOChannel channel)", null);
206 count++, succeeded += TestType("void typed_object&::OnUnserialize(IOChannel channel)", null);
207 count++, succeeded += TestType("bool typed_object&::OnSaveEdit(Window window, void * object)", null);
208 count++, succeeded += TestType("void ::StaticMethod(IOChannel channel)", null);
210 count++, succeeded += TestType("void PrintLn(typed_object object, ...)", null);
211 count++, succeeded += TestType("void PrintLn(typed_object object, ...)", null);
213 count++, succeeded += TestType("thisclass RemoveSwapRight()", null);
214 count++, succeeded += TestType("struct { thisclass prev; thisclass next; }", null);
216 count++, succeeded += TestType("LinkElement<thisclass>", null);
218 count++, succeeded += TestType("void (dllexport * converters_table[10])()", null);
220 count++, succeeded += TestType("bool (stdcall * * Load)(Module module)", null);
222 count++, succeeded += TestType("int stdcall TestFunction()", "stdcall int TestFunction()");
223 count++, succeeded += TestType("dllexport stdcall void test()", null);
225 count++, succeeded += TestType("bool (* Module::notifySelect)(MenuItem selection, Modifiers mods)", null);
227 count++, succeeded += TestType("typed_object &", null);
229 PrintLn("\n", succeeded, " / ", count, " tests succeeded.");
233 class CompilerApp : Application
237 char * cppCommand = null;
238 char * cppOptions = null;
239 int cppOptionsLen = 0;
240 /*char ** argv = null;
244 char defaultOutputFile[MAX_LOCATION];
245 bool buildingBootStrap = false;
247 Platform targetPlatform = GetRuntimePlatform();
248 int targetBits = GetHostBits();
251 // buildingBootStrap = true;
256 /*for(c = 0; c<this.argc; c++)
258 char * arg = this.argv[c];
259 int argLen = strlen(arg);
261 argv = renew argv char *[argc + 1];
262 argv[argc] = new char[argLen+1];
263 strcpy(argv[argc], arg);
265 while(argv[argc][argLen-1] == '\\' && c < this.argc-1)
272 argv[argc] = renew argv[argc] char[argLen + len + 1];
274 argv[argc][argLen-1] = ' ';
275 strcpy(argv[argc] + argLen, arg);
282 printf("\nArguments given:\n");
283 for(c=1; c<argc; c++)
284 printf(" %s", argv[c]);
286 for(c=1; c<argc; c++)
287 PrintLn("Arg", c, ": ", argv[c]);
292 for(c = 1; c<argc; c++)
294 char * arg = argv[c];
297 if(!strcmp(arg + 1, "m32") || !strcmp(arg + 1, "m64"))
299 int newLen = cppOptionsLen + 1 + strlen(arg);
300 cppOptions = renew cppOptions char[newLen + 1];
301 cppOptions[cppOptionsLen] = ' ';
302 strcpy(cppOptions + cppOptionsLen + 1, arg);
303 cppOptionsLen = newLen;
304 targetBits = !strcmp(arg + 1, "m32") ? 32 : 64;
306 else if(arg[1] == 'D' || arg[1] == 'I')
309 int size = cppOptionsLen + 1 + strlen(arg) * 2 + 1;
310 cppOptions = renew cppOptions char[size];
311 buf = cppOptions + cppOptionsLen;
314 cppOptionsLen = cppOptionsLen + 1 + strlen(buf);
317 if(!strcmp(arg, "-DBUILDING_ECERE_COM"))
318 SetBuildingEcereCom(true);
319 else if(!strcmp(arg, "-DECERE_COM_MODULE"))
320 SetBuildingEcereComModule(true);
321 else if(!strcmp(arg, "-DECERE_BOOTSTRAP"))
322 buildingBootStrap = true;
325 else if(!strcmp(arg+1, "t"))
328 targetPlatform = argv[c];
332 else if(!strcmp(arg+1, "cpp"))
335 cppCommand = CopyString(argv[c]);
339 else if(!strcmp(arg+1, "o"))
341 if(!GetOutputFile() && c + 1 < argc)
343 SetOutputFile(argv[c+1]);
349 else if(!strcmp(arg+1, "c"))
351 if(!GetSourceFile() && c + 1 < argc)
353 SetSourceFile(argv[c+1]);
359 else if(!strcmp(arg+1, "isystem") || !strcmp(arg+1, "isysroot"))
364 char * arg1 = argv[++c];
365 int size = cppOptionsLen + 1 + strlen(arg) * 2 + strlen(arg1) * 2 + 1;
366 cppOptions = renew cppOptions char[size];
367 buf = cppOptions + cppOptionsLen;
369 buf = PassArg(buf, arg);
371 buf = PassArg(buf, arg1);
372 cppOptionsLen = buf - cppOptions;
377 else if(!strcmp(arg+1, "symbols"))
381 SetSymbolsDir(argv[c+1]);
387 else if(!strcmp(arg+1, "memguard"))
389 SetMemoryGuard(true);
391 else if(!strcmp(arg+1, "defaultns"))
395 SetDefaultNameSpace(argv[c+1]);
396 //defaultNameSpaceLen = strlen(defaultNameSpace);
402 else if(!strcmp(arg+1, "strictns"))
404 SetStrictNameSpaces(true);
406 else if(!strcmp(arg+1, "nolinenumbers"))
408 SetOutputLineNumbers(false);
417 cppCommand = CopyString("gcc");
420 else if(!GetOutputFile())
422 strcpy(defaultOutputFile, "");
423 PathCat(defaultOutputFile, GetSourceFile());
424 ChangeExtension(defaultOutputFile, "c", defaultOutputFile);
425 SetOutputFile(defaultOutputFile);
431 printf($"Syntax:\n ecc [-t <target platform>] [-cpp <c preprocessor>] [-o <output>] [-symbols <outputdir>] [-I<includedir>]* [-isystem <sysincludedir>]* [-D<definition>]* -c <input>\n");
436 // TODO: Improve this
437 char command[MAX_F_STRING*3];
438 SetGlobalData(&globalData);
439 SetExcludedSymbols(&_excludedSymbols);
440 SetGlobalContext(globalContext);
441 SetCurrentContext(globalContext);
442 SetTopContext(globalContext);
443 SetDefines(&::defines);
444 SetImports(&imports);
446 SetTargetPlatform(targetPlatform);
447 SetTargetBits(targetBits);
450 privateModule = (Module)__ecere_COM_Initialize(true | (targetBits == sizeof(uintptr)*8 ? 0 : targetBits == 64 ? 2 : targetBits==32 ? 4 : 0) | 8, 1, null);
451 SetPrivateModule(privateModule);
453 globalContext.types.Add((BTNode)Symbol { string = CopyString("uint"), type = ProcessTypeString("unsigned int", false) });
454 globalContext.types.Add((BTNode)Symbol { string = CopyString("uint64"), type = ProcessTypeString("unsigned int64", false) });
455 globalContext.types.Add((BTNode)Symbol { string = CopyString("uint32"), type = ProcessTypeString("unsigned int", false) });
456 globalContext.types.Add((BTNode)Symbol { string = CopyString("uint16"), type = ProcessTypeString("unsigned short", false) });
457 globalContext.types.Add((BTNode)Symbol { string = CopyString("byte"), type = ProcessTypeString("unsigned char", false) });
458 if(buildingBootStrap)
460 // Do not define this when we pre-include stdint.h or the eC compiler will be confused when parsing these types (External prioritization in pass15.ec will fail)
461 globalContext.types.Add((BTNode)Symbol { string = CopyString("intptr_t"), type = ProcessTypeString("intptr", false) });
462 globalContext.types.Add((BTNode)Symbol { string = CopyString("uintptr_t"), type = ProcessTypeString("uintptr", false) });
463 globalContext.types.Add((BTNode)Symbol { string = CopyString("ssize_t"), type = ProcessTypeString("intsize", false) });
464 globalContext.types.Add((BTNode)Symbol { string = CopyString("size_t"), type = ProcessTypeString("uintsize", false) });
472 GlobalData data { fullName = CopyString("__thisModule"), dataTypeString = CopyString("Module"), module = privateModule };
473 data.key = (uintptr)data.fullName;
474 globalData.functions.Add((BTNode)data);
477 snprintf(command, sizeof(command), "%s%s -x c -E %s\"%s\"", cppCommand, cppOptions ? cppOptions : "", buildingBootStrap ? "" : "-include stdint.h -include sys/types.h ", GetSourceFile());
478 command[sizeof(command)-1] = 0;
480 PrintLn("ECC Executing:");
483 if((cppOutput = DualPipeOpen({ output = true }, command)))
485 char impFile[MAX_LOCATION];
486 ImportedModule module;
487 char mainModuleName[MAX_FILENAME];
491 TempFile fileInput { };
492 SetFileInput(fileInput);
494 imports.Add((mainModule = ModuleImport { }));
495 SetMainModule(mainModule);
497 GetLastDirectory(GetSourceFile(), mainModuleName);
500 // TEMP: UNTIL WE CAN HAVE PER SOURCE FILE PREPROCESSOR DEFINITIONS...
501 if(GetBuildingEcereCom() &&
502 !(strcmpi(mainModuleName, "instance.ec") && strcmpi(mainModuleName, "BinaryTree.ec") &&
503 strcmpi(mainModuleName, "dataTypes.ec") && strcmpi(mainModuleName, "OldList.ec") &&
504 strcmpi(mainModuleName, "String.ec") && strcmpi(mainModuleName, "BTNode.ec") &&
505 strcmpi(mainModuleName, "Array.ec") && strcmpi(mainModuleName, "AVLTree.ec") &&
506 strcmpi(mainModuleName, "BuiltInContainer.ec") && strcmpi(mainModuleName, "Container.ec") &&
507 strcmpi(mainModuleName, "CustomAVLTree.ec") && strcmpi(mainModuleName, "LinkList.ec") &&
508 strcmpi(mainModuleName, "List.ec") && strcmpi(mainModuleName, "Map.ec") &&
509 strcmpi(mainModuleName, "Mutex.ec")))
510 SetBuildingEcereComModule(true);
511 if(GetBuildingEcereCom() &&
512 !(strcmpi(mainModuleName, "instance.ec") && strcmpi(mainModuleName, "BinaryTree.ec") &&
513 /*strcmpi(mainModuleName, "dataTypes.ec") && strcmpi(mainModuleName, "OldList.ec") &&*/
514 /*strcmpi(mainModuleName, "String.ec") && */strcmpi(mainModuleName, "BTNode.ec") &&
515 strcmpi(mainModuleName, "Mutex.ec") && strcmpi(mainModuleName, "Thread.ec")))
516 //if(GetBuildingEcereCom() && !strcmpi(mainModuleName, "instance.ec"))
517 SetMemoryGuard(false);
520 StripExtension(mainModuleName);
521 module = ImportedModule { name = CopyString(mainModuleName), type = moduleDefinition };
522 ::defines.AddName(module);
525 while(!cppOutput.Eof())
528 int count = cppOutput.Read(junk, 1, 4096);
529 fileInput.Write(junk, 1, count);
531 exitCode = cppOutput.GetExitCode();
534 fileInput.Seek(0, start);
540 // Predeclare all classes
542 char symFile[MAX_FILENAME];
543 char symLocation[MAX_LOCATION];
544 ImportedModule module, next;
546 GetLastDirectory(GetSourceFile(), symFile);
547 ChangeExtension(symFile, "sym", symFile);
549 strcpy(symLocation, GetSymbolsDir());
550 PathCat(symLocation, symFile);
552 // LoadSymbols(symLocation, normalImport, true);
553 LoadSymbols(symLocation, preDeclImport, false);
555 for(module = ::defines.first; module; module = next)
558 if(module.type == moduleDefinition && strcmpi(module.name, mainModuleName))
561 ::defines.Delete(module);
565 if(!GetEcereImported() && !GetBuildingEcereCom())
566 eModule_LoadStrict(privateModule, "ecereCOM", publicAccess /*privateAccess*/);
571 CheckDataRedefinitions();
574 SetCurrentNameSpace(null);
575 SetDefaultNameSpace(null);
576 SetDeclMode(privateAccess);
583 if(/*ast /*&& !parseError*/ /*&& */!exitCode)
585 ProcessDBTableDefinitions();
587 // *** PASS 0 - Register all classes, methods, properties and members ***
588 // *** Build the constructors, destructors, properties as ***
589 // *** class functions ***
590 PrePreProcessClassDefinitions();
591 ComputeModuleClasses(privateModule);
592 PreProcessClassDefinitions();
594 // For classes defined in this module...
595 ComputeModuleClasses(privateModule);
598 // *** PASS 1 - Turn the class functions into functions ***
599 // *** Write the RegisterModule (Register classes) ***
600 ProcessClassDefinitions();
602 // *** PASS 1.5 - Replace members by this.member, figure out types, do type checking / conversions
605 // *** PASS 1.6 - Replace instantiations
606 ProcessInstantiations();
608 // *** PASS 2 - Replace Member Access ***
609 ProcessMemberAccess();
611 // *** PASS 3 - Replace pointers to objects by "Instance *" ***
612 ProcessInstanceDeclarations();
614 strcpy(impFile, GetSymbolsDir());
616 char fileName[MAX_FILENAME];
617 GetLastDirectory(GetSourceFile(), fileName);
618 PathCat(impFile, fileName);
619 ChangeExtension(impFile, "imp", impFile);
622 OutputImports(impFile);
623 // For now use precomp to generate sym file only...
625 if(/*!strcmp(targetExt, "c") && */!this.exitCode)
627 File output = FileOpen(GetOutputFile(), write);
630 output.Printf("/* Code generated from eC source file. */\n");
631 output.Printf("#if defined(__GNUC__)\n");
632 output.Printf("typedef long long int64;\n");
633 output.Printf("typedef unsigned long long uint64;\n");
634 output.Printf("#ifndef _WIN32\n");
635 output.Printf("#define __declspec(x)\n");
636 output.Printf("#endif\n");
637 output.Printf("#elif defined(__TINYC__)\n");
638 output.Printf("#include <stdarg.h>\n");
639 output.Printf("#define __builtin_va_list va_list\n");
640 output.Printf("#define __builtin_va_start va_start\n");
641 output.Printf("#define __builtin_va_end va_end\n");
642 output.Printf("#ifdef _WIN32\n");
643 output.Printf("#define strcasecmp stricmp\n");
644 output.Printf("#define strncasecmp strnicmp\n");
645 output.Printf("#define __declspec(x) __attribute__((x))\n");
646 output.Printf("#else\n");
647 output.Printf("#define __declspec(x)\n");
648 output.Printf("#endif\n");
649 output.Printf("typedef long long int64;\n");
650 output.Printf("typedef unsigned long long uint64;\n");
651 output.Printf("#else\n");
652 output.Printf("typedef __int64 int64;\n");
653 output.Printf("typedef unsigned __int64 uint64;\n");
654 output.Printf("#endif\n");
655 output.Printf("#ifdef __BIG_ENDIAN__\n");
656 output.Printf("#define __ENDIAN_PAD(x) (8 - (x))\n");
657 output.Printf("#else\n");
658 output.Printf("#define __ENDIAN_PAD(x) 0\n");
659 output.Printf("#endif\n");
660 if(buildingBootStrap)
662 //output.Printf("#ifdef __MINGW32__\n");
663 //output.Printf("#ifdef _WIN64\n");
665 output.Printf("#if defined(_WIN64) || WORDSIZE == 64\n");
666 output.Printf("typedef unsigned long long int uintptr_t;\n");
667 output.Printf("typedef long long int intptr_t;\n");
668 output.Printf("#else\n");
669 output.Printf("typedef unsigned int uintptr_t;\n");
670 output.Printf("typedef int intptr_t;\n");
671 output.Printf("#endif\n");
673 //output.Printf("#else\n");
674 output.Printf("#include <stdint.h>\n");
675 output.Printf("#include <sys/types.h>\n");
676 //output.Printf("#endif\n");
679 // NOTE: If anything is changed up there, the start outputLine must be updated in libec's output.c or Debugging lines will be wrong
682 OutputTree(ast, output);
687 else if(!strcmp(targetExt, "o"))
689 // Compile right away
690 File output = FileOpen(GetOutputFile(), Write);
691 output.Printf("#include <ecereCOM.h>\n\n");
692 OutputTree(ast, output);
697 this.exitCode = exitCode;
705 FreeContext(globalContext);
706 FreeExcludedSymbols(_excludedSymbols);
708 ::defines.Free(FreeModuleDefine);
709 imports.Free(FreeModuleImport);
711 FreeTypeData(privateModule);
713 FreeGlobalData(globalData);
715 delete privateModule;
721 /*for(c = 0; c<argc; c++)
725 SetSymbolsDir(null); // Free symbols dir
729 #if defined(_DEBUG) && defined(__WIN32__)
731 if(exitCode || GetNumWarnings())