getopt.c File Reference

Functions
int	getopt (int argc, char *const argv[], const char *optstring)
static int	__ESBMC_getopt_long (int argc, char *const argv[])
int	getopt_long (int argc, char *const argv[], const char *optstring, const struct option *longopts, int *longindex)
int	getopt_long_only (int argc, char *const argv[], const char *optstring, const struct option *longopts, int *longindex)

Variables
char *	optarg

Function Documentation

__ESBMC_getopt_long()

int __ESBMC_getopt_long ( int argc, char *const argv[] )

static

getopt()

int getopt	(	int	argc,
		char *const	argv[],
		const char *	optstring )

getopt_long()

int getopt_long	(	int	argc,
		char *const	argv[],
		const char *	optstring,
		const struct option *	longopts,
		int *	longindex )

getopt_long_only()

int getopt_long_only	(	int	argc,
		char *const	argv[],
		const char *	optstring,
		const struct option *	longopts,
		int *	longindex )

Variable Documentation

optarg

char* optarg

extern