Implement method specification attributes