function getAstAsCorbaString input String fileName = "<interactive>"; output String result "returns the string if fileName is interactive; else it returns ok or error depending on if writing the file succeeded"; end getAstAsCorbaString;