A Green function approach to graphene–superconductor junctions with well-defined edges