← Back to branch summary

~ubuntu-branches/debian/sid/frama-c/sid

« back to all changes in this revision

Viewing changes to share/jessie/unistd.h

  • Committer: Bazaar Package Importer
  • Author(s): Mehdi Dogguy
  • Date: 2009-06-03 08:19:25 UTC
  • Revision ID: james.westby@ubuntu.com-20090603081925-kihvxvt0wy3zc4ar
Tags: upstream-20081201.dfsg
Import upstream version 20081201.dfsg

Show diffs side-by-side

added added

removed removed

Lines of Context:
share/jessie/unistd.h
 
1
/**************************************************************************/
 
2
/*                                                                        */
 
3
/*  This file is part of Frama-C.                                         */
 
4
/*                                                                        */
 
5
/*  Copyright (C) 2007-2008                                               */
 
6
/*    INRIA (Institut National de Recherche en Informatique et en         */
 
7
/*           Automatique)                                                 */
 
8
/*                                                                        */
 
9
/*  you can redistribute it and/or modify it under the terms of the GNU   */
 
10
/*  Lesser General Public License as published by the Free Software       */
 
11
/*  Foundation, version 2.1.                                              */
 
12
/*                                                                        */
 
13
/*  It is distributed in the hope that it will be useful,                 */
 
14
/*  but WITHOUT ANY WARRANTY; without even the implied warranty of        */
 
15
/*  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         */
 
16
/*  GNU Lesser General Public License for more details.                   */
 
17
/*                                                                        */
 
18
/*  See the GNU Lesser General Public License version 2.1                 */
 
19
/*  for more details (enclosed in the file licenses/LGPLv2.1).            */
 
20
/**************************************************************************/
 
21
 
 
22
/* $Id: unistd.h,v 1.4 2008/11/24 10:29:18 uid570 Exp $ */
 
23
 
 
24
#ifndef _UNISTD_H_
 
25
#define _UNISTD_H_
 
26
 
 
27
extern char *FRAMA_C_STRING_OR_NULL optarg;
 
28
extern int optind, opterr, optopt;
 
29
 
 
30
/*@ assigns optarg, optind, opterr, optopt;
 
31
  @ ensures \result == -1 || valid_string(optarg);
 
32
  @*/
 
33
extern int getopt (int argc, char *FRAMA_C_STRING const argv[],           
 
34
                   const char *FRAMA_C_STRING_OR_NULL optstring);
 
35
 
 
36
/*@ assigns \nothing;
 
37
  @ ensures -1 <= \result <= 0;
 
38
  @*/
 
39
extern int chdir(const char *FRAMA_C_STRING path);
 
40
 
 
41
/*@ requires \valid_range(buf,0,size-1);
 
42
  @ assigns buf[0..size-1];
 
43
  @ ensures \result == NULL || \result == buf;
 
44
  @*/
 
45
extern char *getcwd(char *buf, size_t size);
 
46
 
 
47
#endif /* _UNISTD_H_ */