function getElementAnnotation input TypeName elementName; output String annotationString; end getElementAnnotation;