/** * Define some namespace/package name for our stuff */ namespace java server typedef i64 int struct User{ string userName, string password, string path, } struct Image{ string id, string version, string imageName, string licenseRestriction, string osName, string lectureName, string updateTime, string userData, } service Server{ User getFtpUser(), int DeleteFtpUser(string user), string getPathOfImage(string name), bool writeVLdata(string imagename, string firstname, string lastname,string university, string Mail, string Tel, string Fak, bool license, bool internet, int ram, int cpu), list getImageList(), list getAllOS(), map getPersonData(string Vorname, string Nachname), bool writeLecturedata(string name, string shortdesc, string desc,string startDate, string endDate, bool isActive, string imagename,string firstname,string lastname, string university, string Mail, string Tel,string Fak), bool startFileCopy(string file), map getImageData(string imageid, string imageversion), bool updateImageData(string name, string newName,bool license, bool internet, int ram,int cpu, string id, string version), map getLectureData(string lecturename), }