1/*
2 * Copyright (c) 1999-2008 Mark D. Hill and David A. Wood
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are
7 * met: redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer;

--- 203 unchanged lines hidden (view full) ---

212}
213
214void
215Switch::print(std::ostream& out) const
216{
217 // FIXME printing
218 out << "[Switch]";
219}
220
221Switch *
222SwitchParams::create()
223{
224 return new Switch(this);
225}