{"push_id":1074940945,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f4e95f25de7301093dc63cca597ea8d424e32cbf","before":"39865431a94e2a3bc0c29299456141bc36b338fe","commits":[{"sha":"f4e95f25de7301093dc63cca597ea8d424e32cbf","author":{"email":"3c49283fdd8f0fc594a7c068549b8deb22b4265f@adacore.com","name":"Pierre-Marie de Rodat"},"message":"Make it possible for properties to have different prefixes in code gen.\n\nSo far, all properties used to be compiled into functions called\n\"P_XXX\". This change enhances the PropertyDef constructor to accept an\narbitrary prefix and updates the Property and AbstractProperty\nconstructors to keep the \"P_\" prefix.\n\nWe need this so that we can define automatically generated properties\nwhose names will not clash with user-defined ones.\n\nChange-Id: If446892a41790a47ee5b29e6fcfeb968acf00f00\nTN: P412-012","distinct":true,"url":"https://api.github.com/repos/AdaCore/langkit/commits/f4e95f25de7301093dc63cca597ea8d424e32cbf"}]}