xml 1.0

git-svn-id: http://ltt.polymtl.ca/svn@1667 04897980-b3bd-0310-b5e0-8ef037075253

diff --git a/ltt/branches/poly/ltt/facility.c b/ltt/branches/poly/ltt/facility.c
index 0440efb4e05ee721a15d86f79cee8ee4cfacf3e0..619a4bab3b9f1e45d6b34d901ab9e90b154c96d6 100644 (file)
--- a/ltt/branches/poly/ltt/facility.c
+++ b/ltt/branches/poly/ltt/facility.c
@@ -102,7 +102,25 @@ int ltt_facility_open(LttFacility *f, LttTrace * t, gchar * pathname)
   while(1){
     token = getToken(&in);
     if(in.type == ENDFILE) break;
-    
+   
+               if(g_ascii_strcasecmp(token, "<")) in.error(&in,"not a facility file");
+               token = getName(&in);
+               if(g_ascii_strcasecmp(token, "?")) in.error(&in,"not a facility file");
+               token = getName(&in);
+               if(g_ascii_strcasecmp(token, "xml")) in.error(&in,"not a facility file");
+               token = getName(&in);
+               if(g_ascii_strcasecmp(token, "version")) in.error(&in,"not a facility file");
+               token = getName(&in);
+               if(g_ascii_strcasecmp(token, "=")) in.error(&in,"not a facility file");
+               token = getQuotedString(&in);
+               if(g_ascii_strcasecmp(token, "1.0")) in.error(&in,"not a facility file");
+               token = getName(&in);
+               if(g_ascii_strcasecmp(token, "?")) in.error(&in,"not a facility file");
+               token = getToken(&in);
+               if(g_ascii_strcasecmp(token, ">")) in.error(&in,"not a facility file");
+
+               token = getToken(&in);
+               
     if(g_ascii_strcasecmp(token, "<")) in.error(&in,"not a facility file");
     token = getName(&in);