// // This program is free software; you can redistribute it and/or // modify it under the terms of the GNU General Public License // as published by the Free Software Foundation; either version 2 // of the License, or (at your option) any later version. // // This program is distributed in the hope that it will be useful, // but WITHOUT ANY WARRANTY; without even the implied warranty of // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the // GNU General Public License for more details. // // You should have received a copy of the GNU General Public License // along with this program; if not, write to the Free Software // Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. // module Overlay gates: in: from_udp; // gate from the UDP layer // in: from_tcp; // gate from the TCP layer in: from_app; // gate from the application out: to_udp; // gate to the UDP layer // out: to_tcp; // gate to the TCP layer out: to_app; // gate to the application // connections nocheck: // from_udp --> overlay.from_udp++; // to_udp <-- overlay.to_udp++; // from_app --> chord.from_app; // to_app <-- chord.to_app; endmodule