(clang) How to parse macros themselves, getting an ast where possible? -

-

hi i'm using clang extract information c files. , i'm trying extract values of macros.

e.g. i'd want value '13' or ast (+ (* 3 4) 1):

#define some_constant 3*4+1

or macro function, i'd want ast e.g. (some_macrofunc (x y) (+ (add4 x) (* y 9))) :

int add4(int q) {return q+4;} #define some_macrofunc(x,y) add4(x)+y*9

so far i've managed iterate through macros via 'preprocessor' class's macro_begin() , macro_end() functions.

then i've gotten macro names, , 'macroinfo' class i've been able whether macro functionlike (including param names) or not. i've got access tokens in macro, able token kind e.g: string_literal, identifier, comma, l_paren, r_paren, etc.

so 2 things:

  1. how access actual value of tokens, rather kinds.

  2. is there way generate ast macros given tokens? 1 way thought parse source code, extract macros, , using names, add code including macros source , reparse ast.

e.g. like:

char *tempsome_constant = some_constant;     void tempsome_macrofunc(char *x, char *y) {some_macrofunc(x,y);}

though method seems hacky, , have trouble macros aren't statement or expression like.

thanks.

edit: clarify want expanded body (until no macros left, non macro tokens) of each macro.

edit2 solved what:

if anyones interested intend expand body of macro manually.

"preprocessor.getspelling(token)" token value.

"preprocessor.getidentifiertable().get(stringref(spelling))" identinfo token.

and using "clang\lib\lex\ppmacroexpansion.cpp" reference.

still thinking how pass parser without reparsing whole source tree, shouldn't difficult figure out.

thanks ira baxter discussion, helped me iron out problem.

i working on similar. use clang front end collecting context (w.r.t. class, function etc.) in macro defined , use (pseudo) expression parser figure out if macro-body valid expression or not. ultimate goal transform macro c++ declaration. got paper accepted icsm-2012 explains how achieve this.

the tools -the demacrofier- used rid of macros hosted here

ira baxter's examples insightful in way macros used. however, %age of macros less \ref(an empirical analysis of c preprocessor use ernst et al.). currently, focusing more on common cases.


Comments

Post a Comment

Popular posts from this blog

django - How can I change user group without delete record -

-
on website user have 1 group. , user can change group. it's made user.groups.clear() and user.groups.add(new_group) but it's not efficient, because there 2 sql query: delete, insert. how can change group update query? user , group related each other using manytomanyfield . means intersection table exists relating both entities, , if don't specify model map (using through attribute) django creates 1 you. looking @ sources django.contrib.auth.models see that's case. fortunatly, can access intermediary model using through attribute of manager (in case, user.groups.through ). can use regular model. example: >>> alice = user.objects.create_user('alice', 'alice@example.com', 'alicepw') >>> employee = group.objects.create(name='employee') >>> manager = group.objects.create(name='manager') >>> alice.groups.add(employee) >>> alice.groups.all() [<group: employee...
Read more

java - Need to add SOAP security token -

-
i need set custom soap header attribute on jax-ws generated webservice client. case webservice calls must go through proxy server requiring specific token (recieved web request header) present in soap request header. e.g.: 1 carserviceservice service = null; 2 service = new carserviceservice(new url(url), new qname(qname); 3 carserviceendpoint port = service.getcarserviceport(); it seems in line 3 wsdl retrieved , call fails due missing security token. 1 point direction on how done? a detailed example has been mentioned here: creating , deploying jax-ws web service on tomcat 6 this article shows how create , use security token .
Read more

java - EclipseLink JPA Object is not a known entity type -

-
i have strange problem eclipselink , object want persist. have 1 object (keypointlistimpl) stores object keypointimpl in list. persisting keypointimpl objects works great if try persist keypointlistimpl object java.lang.illegalargumentexception says object keypointimpl isn't known entity type. here keypointimpl code: @entity @table(name="keypoints") public class keypointimpl implements keypoint { @id @generatedvalue(strategy = generationtype.identity) private int id; @enumerated(enumtype.string) private detectortype keypointtype; private float x; private float y; private float size; private float angle; private float response; private int octave; private int classid; ... } here keypointlistimpl code: @entity @table(name="keypointlists") public class keypointlistimpl implements keypointlist { @id @generatedvalue(strategy = generationtype.identity) private int id; @onetoone(cascade={ca...
Read more