00001 00017 #ifndef OSNL2OSIL_H 00018 #define OSNL2OSIL_H 00019 00020 00021 00022 #include "OSInstance.h" 00023 #include "OSnLNode.h" 00024 #include "nlp.h" 00025 #include <asl.h> 00026 #include <string> 00027 00028 00041 class OSnl2osil 00042 { 00043 public: 00045 OSnl2osil( std::string nlfilename); 00046 00048 ~OSnl2osil(); 00049 00055 bool createOSInstance(); 00056 00062 OSnLNode* walkTree(expr *e); 00063 00067 OSInstance *osinstance; 00068 private: 00069 00073 ograd *og; 00074 00077 ASL *asl; 00078 00081 FILE *nl; 00082 00085 char *stub; 00086 00087 }; 00088 #endif