implementation InputForm::full()