rpm: lib/manifest.h Source File

00001 #ifndef H_MANIFEST
00002 #define H_MANIFEST
00003 
00009 #ifdef __cplusplus
00010 extern "C" {
00011 #endif
00012 
00018 /*@-incondefs@*/
00019 /*@only@*/
00020 char * rpmPermsString(int mode) 
00021         /*@*/
00022         /*@ensures maxSet(result) == 10 /\ maxRead(result) == 10 @*/;
00023 /*@=incondefs@*/
00024 
00032 rpmRC rpmReadPackageManifest(FD_t fd, int * argcPtr, const char *** argvPtr)
00033         /*@globals fileSystem, internalState @*/
00034         /*@modifies fd, *argcPtr, *argvPtr, fileSystem, internalState @*/;
00035 
00036 #ifdef __cplusplus
00037 }
00038 #endif
00039 
00040 #endif  /* H_MANIFEST */