/* * IntInput.cpp * */ #include "IntInput.h" template const char* IntInput::NAME = "integer"; template void IntInput::read(std::istream& in, const int*) { in >> items[0]; }