function getDocumentationAnnotation input TypeName cl; output String out[3] "{info,revision,infoHeader}"; end getDocumentationAnnotation;