1cappuccino input.ttcn /^var Coffee cappuccino := { id:= 5, description := "with creme" }$/;" v 2latte input.ttcn /^var template Coffee latte := Latte()$/;" v 3someCofee input.ttcn /^var template Coffee someCofee := SomeCoffee(8,?)$/;" v 4espresso input.ttcn /^var template Coffee espresso := Espresso()$/;" v 5latte input.ttcn /^var template Coffee latte := Latte$/;" v 6espresso input.ttcn /^var template Coffee espresso := Black(getBlackId(),*)$/;" v 7latteId input.ttcn /^var Coffee.id latteId := 4$/;" v 8complecCoffee1 input.ttcn /^var Coffee complecCoffee1 := { id:= {5}, description := omit }$/;" v 9complecCoffee2 input.ttcn /^var Coffee complecCoffee2 := { { 5 }, omit }$/;" v 10complecCoffee3 input.ttcn /^var Coffee complecCoffee3 := { { 5 }, {"complex"}}$/;" v 11complecCoffee4 input.ttcn /^var Coffee complecCoffee4 := { { 5 }, getComplex() }$/;" v 12complecCoffee5 input.ttcn /^var Coffee complecCoffee5 := { getComplex() }$/;" v 13complecCoffee6 input.ttcn /^var Coffee complecCoffee6 := { getComplex(), {"complex"} }$/;" v 14