parserImport XOCL; parserImport XML::PrintXML; import XML::Parser; import IO; context CaseClause @Operation toXML(out:OutputChannel) @XML(out) guard.toXML(out); pattern.toXML(out) end end