Commit Graph

167 Commits (d773dedb4b5b7084c8ca35d2b1a4bdd207616128)

Author SHA1 Message Date
Andrzej Kotulski 9d7ab4b9c2 Translate conversion operators 9 years ago
Cristiano Calcagno 7673d94600 Distinguish between class kinds: CPP, Java, Objc 9 years ago
Andrzej Kotulski ec80d40bdd Populate return parameter when returning + turn on new feature for C/C++ 9 years ago
Andrzej Kotulski 61de633647 Add information whether translated method has return parameter 9 years ago
Andrzej Kotulski 58be5d0eb0 Add return parameter to functions returning structs 9 years ago
jrm 18668a41ce simplify the API to create procedure descriptions 9 years ago
Cristiano Calcagno 162dc42b5b Use a record for struct types instead of a 7-tuple. 9 years ago
Andrzej Kotulski df192d06c3 Use ints as clang pointers 9 years ago
jrm 9f5159241f Use Typename.t for the type of the supertypes in the defintion of classes. 9 years ago
jrm 467fe385be Use the Mangled module to name the parameters in the procudure description instead of simple string 9 years ago
jrm 2e7f5735d3 Extract the naming of types to its own module named Typename 9 years ago
jrm 4143d4eb2d Extract the kind of data structure, Class Struct or Union, into it own module 9 years ago
Andrzej Kotulski 70b003696f Translate bodies of destructors 9 years ago
Andrzej Kotulski 6d9c5c684e Fix naming problems with template methods 9 years ago
Dulma Rodriguez b51da4f050 Remove the concept of generated method from the frontend and proc attributes 9 years ago
Dulma Rodriguez 1e5b8aeee7 Adding builtin setters and using them by skip 9 years ago
Andrzej Kotulski 173ee91844 Support template methods 9 years ago
Dulma Rodriguez c02b3ca034 Add correct ivar name to the getters and save the ivar to the tenv if not available 9 years ago
Dulma Rodriguez 9c9504ba51 Using the link from method decl to property to determine whether the method is accessor 9 years ago
Dulma Rodriguez 37fdeb84bc Moving the property frontend checkers to a dummy procdesc 9 years ago
Sam Blackshear 4dc9dac9e9 getting started on a Nullable annotation checker for obj-c 9 years ago
Dulma Rodriguez 12d21c73dd Adding builtins for getters and calling them by skip 9 years ago
Andrzej Kotulski a06ce9ca0e Don't report null dereference on 'this' in C++ methods 9 years ago
Dulma Rodriguez 0441919a42 Using clang's method resolution if possible 9 years ago
Andrzej Kotulski cb42fdcc31 Use fully qualified names for functions 9 years ago
Andrzej Kotulski 9748502a1a Handle C++ static methods 9 years ago
Andrzej Kotulski 71e424d6ba Use qual_name to extract class name from method decl 9 years ago
Dulma Rodriguez 87a3d693e1 Adding static variables to blocks class to get retain cycles 9 years ago
Andrzej Kotulski 9c578406a1 update clang plugin version 9 years ago
Andrzej Kotulski 1c80ba8bb7 simplify code handling default paramters 9 years ago
Andrzej Kotulski 453924f303 Add basic translation of constructors 9 years ago
Jules Villard 7d0a7568f3 put Util.list_* functions into an IList module 9 years ago
Dulma Rodriguez ba00f08f00 Remove variable resolution and use pointers to declarations instead 9 years ago
Dulma Rodriguez e49d9d6f4d Adding an outer context to the context in case of blocks 9 years ago
Andrzej Kotulski aa1951cad4 Create generic way of generating extra instructions 9 years ago
Andrzej Kotulski cb0380eb4e Update version of fcp 9 years ago
Andrzej Kotulski f01a639605 Slight improvement of block function handling 9 years ago
Andrzej Kotulski 4d10c8d9f4 Add support for C++ this expression 9 years ago
Andrzej Kotulski 2a425b8218 Add structured type_ptr 9 years ago
Andrzej Kotulski a045886eba Get better language information about functions/methods 9 years ago
Andrzej Kotulski d6b1d422fd Update fcp and remove qual_type type 9 years ago
Dulma Rodriguez e26f9b4dd4 [clang] Removing the use of raw types 9 years ago
Andrzej Kotulski e8949d16e4 [Frontend][C++] Use Sil.class for C++ class/struct/union types 9 years ago
Dulma Rodriguez fd853f97ca [clang] C function names depend only on their name (and their file is they are static, and their type if we are in C++) 9 years ago
Dulma Rodriguez 51e0e40bc7 [clang] [2 of 3] Dealing with custom ast expressions and flow of types in the frontend. 9 years ago
Cristiano Calcagno ea7c13ff6c [backend][cleanup] Move proc_attributes to a separate module. 9 years ago
Cristiano Calcagno 6f65486942 [backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes. 9 years ago
Dulma Rodriguez e5f6df74b0 [clang] Add procdescs to cxx method. Forgotten from last commit 9 years ago
Dulma Rodriguez 3cddd0489c [clang] Use the map of pointers to find method declarations and build method signatures 9 years ago
Jules Villard cc70507552 [clang] unopen some modules 9 years ago
Andrzej Kotulski a570bf5b85 [CFrontend] Replace names containing Method with ObjCMethod 9 years ago
Andrzej Kotulski 7a839984da [C++] Add cpp methods signatures and implementations 9 years ago
Jules Villard 85b0ef7266 [clang] Refactor of creating method signatures. First step to use the map of pointers to find method declarations. 9 years ago
Dulma Rodriguez 732d23ce4d [clang] Add is_instance as part of the type of objc methods 10 years ago
Sam Blackshear e107058bf6 [Infer] Adding warning to eliminate needless rec keywords, fixing all warnings. 10 years ago
Jules Villard bae8a4dced [whitespace] indent .ml files as well 10 years ago
Jules Villard 6911a1516c [whitespace] ocp-indent the code 10 years ago
Dulma Rodriguez d7655a087e [clang] Adding getters and setters for all the methods 10 years ago
Andrzej Kotulski 687f4958c8 Change procname types for objc/c functions 10 years ago
Dino Distefano 35b7011f81 Treating blocks iterators for NSArray 10 years ago
Cristiano Calcagno 3e199467f4 Complete copyright messages. 10 years ago
Jules Villard 72c4354395 [clang] propagate parameters of sentinel attr to the backend 10 years ago
Andrzej Kotulski 927653e8d8 Update facebook-clang-plugin 10 years ago
Andrzej Kotulski 9f9bc53361 [Frontend][C++] Add support for default params 10 years ago
Jules Villard ddec46d4aa [infer] add infrastructure for function attributes in sil and clang 10 years ago
Cristiano Calcagno 3a51764d4c [clang frontend] Simplify logging functions. 10 years ago
Open Source Synchronization b8982270f2 initial synchronization 10 years ago