High frequency edge diffraction theory