1CoffeeTemperature input.ttcn /^type enumerated CoffeeTemperature $/;" t 2e_cold input.ttcn /^ e_cold, e_warm, e_hot$/;" e 3e_warm input.ttcn /^ e_cold, e_warm, e_hot$/;" e 4e_hot input.ttcn /^ e_cold, e_warm, e_hot$/;" e 5
1CoffeeTemperature input.ttcn /^type enumerated CoffeeTemperature $/;" t 2e_cold input.ttcn /^ e_cold, e_warm, e_hot$/;" e 3e_warm input.ttcn /^ e_cold, e_warm, e_hot$/;" e 4e_hot input.ttcn /^ e_cold, e_warm, e_hot$/;" e 5