/** * 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, } struct Lecture{ string id, string lecturename, string isActive, string starttime, string endtime, string lastused, string desc, string imagename, string username, } service Server{ User getFtpUser(), int DeleteFtpUser(string user), string getPathOfImage(string image_id,string version), bool writeVLdata(string imagename, string firstname, string lastname,string university, string Mail, string Tel, string Fak, bool license, bool internet, int ram, int cpu, string imagePath), list getImageList(), list getLectureList(), 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), }