expr.h File Reference

#include <ast/ast.h>
#include <inttypes.h>
#include <expr/exparse.h>
#include <assert.h>
#include <cdt.h>
#include <stdarg.h>
#include <stdbool.h>
#include <stddef.h>
#include <stdio.h>
#include <util/agxbuf.h>
#include <util/arena.h>

Include dependency graph for expr.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	Exid_s
struct	Exref_s
union	Exdata_u
struct	Exnode_s
struct	Exdisc_s
struct	Expr_s

Macros
#define	EX_VERSION   20000101L
#define	EX_CHARSTRING   (1 << 0) /* '...' same as "..." */
#define	EX_UNDECLARED   (1 << 9) /* allow undeclared identifiers */
#define	EX_ARRAY   (-3) /* getval() array elt */
#define	EX_CALL   (-2) /* getval() function call elt */
#define	EX_SCALAR   (-1) /* getval() scalar elt */
#define	EX_NAMELEN   32 /* default Exid_t.name length */
#define	EX_ID(n, l, i, t)   {{0}, (l), (i), (t), 0, 0, 0, n}
#define	DELETE_T   MINTOKEN /* exexpr() delete `type' */
#define	INTEGRAL(t)   ((t) >= INTEGER && (t) <= CHARACTER)
#define	BUILTIN(t)   ((t) > MINTOKEN)
#define	F   01 /* FLOATING */
#define	I   02 /* INTEGER */
#define	S   03 /* STRING */
#define	TBITS   4
#define	TMASK   ((1 << TBITS) - 1)
#define	A(n, t)   ((t) << ((n) * TBITS)) /* function arg n is type t */
#define	N(t)   ((t) >>= TBITS) /* shift for next arg */

Typedefs
typedef EX_STYPE	Extype_t
typedef union Exdata_u	Exdata_t
typedef struct Exdisc_s	Exdisc_t
typedef struct Exnode_s	Exnode_t
typedef struct Expr_s	Expr_t
typedef struct Exref_s	Exref_t
typedef void(*	Exerror_f) (const char *, void *, int, const char *,...)
typedef void(*	Exexit_f) (void *, int)
typedef struct Exid_s	Exid_t

Functions
Exnode_t *	excast (Expr_t *, Exnode_t *, long, Exnode_t *, int)
Exnode_t *	exnoncast (Exnode_t *)
void	exclose (Expr_t *)
int	excomp (Expr_t *p, const char *name, int line, FILE *fp, char *prefix)
char *	excontext (Expr_t *, char *, int)
void	exdump (Expr_t *, Exnode_t *, agxbuf *)
void	exerror (const char *,...)
void	exwarn (const char *,...)
Extype_t	exeval (Expr_t *, Exnode_t *, void *)
Exnode_t *	exexpr (Expr_t *, const char *, Exid_t *, int)
void	exfreenode (Expr_t *, Exnode_t *)
Exnode_t *	exnewnode (Expr_t *, long, bool, long, Exnode_t *, Exnode_t *)
char *	exnospace (void)
Expr_t *	exopen (Exdisc_t *)
int	expop (Expr_t *)
int	expush (Expr_t *, const char *, int, FILE *)
int	extoken_fn (Expr_t *)
char *	exstring (Expr_t *, char *)
void *	exstralloc (Expr_t *, size_t)
char *	extype (long int)
Extype_t	exzero (long int)
char *	exopname (long)
void	exinit (void)
char *	extypename (Expr_t *p, long)
int	exisAssign (Exnode_t *)
static char *	exprintf (arena_t *vm, const char *fmt,...)

Macro Definition Documentation

A

#define A	(		n,
			t
	)		((t) << ((n) * TBITS)) /* function arg n is type t */

Definition at line 76 of file expr.h.

BUILTIN

#define BUILTIN

(

t

)

((t) > MINTOKEN)

Definition at line 58 of file expr.h.

DELETE_T

#define DELETE_T   MINTOKEN /* exexpr() delete `type' */

Definition at line 55 of file expr.h.

EX_ARRAY

#define EX_ARRAY   (-3) /* getval() array elt */

Definition at line 47 of file expr.h.

EX_CALL

#define EX_CALL   (-2) /* getval() function call elt */

Definition at line 48 of file expr.h.

EX_CHARSTRING

#define EX_CHARSTRING   (1 << 0) /* '...' same as "..." */

Definition at line 44 of file expr.h.

EX_ID

#define EX_ID	(		n,
			l,
			i,
			t
	)		{{0}, (l), (i), (t), 0, 0, 0, n}

Definition at line 53 of file expr.h.

EX_NAMELEN

#define EX_NAMELEN   32 /* default Exid_t.name length */

Definition at line 51 of file expr.h.

EX_SCALAR

#define EX_SCALAR   (-1) /* getval() scalar elt */

Definition at line 49 of file expr.h.

EX_UNDECLARED

#define EX_UNDECLARED   (1 << 9) /* allow undeclared identifiers */

Definition at line 45 of file expr.h.

EX_VERSION

#define EX_VERSION   20000101L

Definition at line 38 of file expr.h.

F

#define F   01 /* FLOATING */

Definition at line 70 of file expr.h.

I

#define I   02 /* INTEGER */

Definition at line 71 of file expr.h.

INTEGRAL

#define INTEGRAL

(

t

)

((t) >= INTEGER && (t) <= CHARACTER)

Definition at line 57 of file expr.h.

N

#define N

(

t

)

((t) >>= TBITS) /* shift for next arg */

Definition at line 77 of file expr.h.

S

#define S   03 /* STRING */

Definition at line 72 of file expr.h.

TBITS

#define TBITS   4

Definition at line 74 of file expr.h.

TMASK

#define TMASK   ((1 << TBITS) - 1)

Definition at line 75 of file expr.h.

Typedef Documentation

Exdata_t

typedef union Exdata_u Exdata_t

Definition at line 81 of file expr.h.

Exdisc_t

typedef struct Exdisc_s Exdisc_t

Definition at line 82 of file expr.h.

Exerror_f

typedef void(* Exerror_f) (const char *, void *, int, const char *,...)

Definition at line 87 of file expr.h.

Exexit_f

typedef void(* Exexit_f) (void *, int)

Definition at line 88 of file expr.h.

Exid_t

typedef struct Exid_s Exid_t

Exnode_t

typedef struct Exnode_s Exnode_t

Definition at line 83 of file expr.h.

Expr_t

typedef struct Expr_s Expr_t

Definition at line 84 of file expr.h.

Exref_t

typedef struct Exref_s Exref_t

Definition at line 85 of file expr.h.

Extype_t

typedef EX_STYPE Extype_t

Definition at line 79 of file expr.h.

Function Documentation

excast()

Exnode_t * excast	(	Expr_t *	,
		Exnode_t *	,
		long	,
		Exnode_t *	,
		int
	)

Referenced by exexpr(), and prformat().

Here is the caller graph for this function:

exclose()

void exclose

(

Expr_t *

)

Referenced by exopen(), and freeCompileProg().

Here is the caller graph for this function:

excomp()

int excomp	(	Expr_t *	p,
		const char *	name,
		int	line,
		FILE *	fp,
		char *	prefix
	)

Compile an expression

The callee takes ownership of the pointer prefix and will free it during expop or exclose.

Parameters

p	Program structure to store result in
name	Filename of originating source file
line	Line number of originating source file
fp	Handle to source file
prefix	Optional program text to include ahead of the file content

Returns

0 on success

Referenced by compile().

Here is the caller graph for this function:

excontext()

char * excontext	(	Expr_t *	p,
		char *	buf,
		int	n
	)

Definition at line 29 of file excontext.c.

References gv_isspace().

Referenced by make_msg().

Here is the call graph for this function:

Here is the caller graph for this function:

exdump()

void exdump	(	Expr_t *	ex,
		Exnode_t *	node,
		agxbuf *	xb
	)

Definition at line 617 of file excc.c.

References agxbprint(), agxbputc(), dtfirst, dtnext, Excc_t::expr, gen(), PROCEDURE, and Expr_s::symbols.

Referenced by deparse().

Here is the call graph for this function:

Here is the caller graph for this function:

exerror()

void exerror	(	const char *	format,
			...
	)

Definition at line 63 of file exerror.c.

References expr, format, free(), Expr_s::id, make_msg(), and Exstate_t::program.

Referenced by assignable(), cloneGraph(), cloneO(), cloneSubg(), closeFile(), convert(), copy(), deref(), eval(), ex_error(), exnospace(), exsubstr(), extoken_fn(), freadFile(), fwriteFile(), getArg(), getval(), in(), length(), lookup(), nxtAttr(), openFile(), prformat(), print(), readFile(), readLine(), refval(), scan(), scformat(), setval(), stringOf(), strToTvtype(), toKind(), tvtypeToStr(), typeChk(), writeFile(), xConvert(), and xPrint().

Here is the call graph for this function:

Here is the caller graph for this function:

exeval()

Extype_t exeval	(	Expr_t *	ex,
		Exnode_t *	exnode,
		void *	env
	)

Definition at line 1949 of file exeval.c.

References eval(), and RETURN.

Referenced by eval(), evalEdge(), evalNode(), gvpr_core(), and prformat().

Here is the call graph for this function:

Here is the caller graph for this function:

exexpr()

Exnode_t * exexpr	(	Expr_t *	ex,
		const char *	name,
		Exid_t *	sym,
		int	type
	)

Definition at line 28 of file exexpr.c.

References Exnode_s::data, DELETE_T, dtmatch, excast(), exfreenode(), Exid_s::lex, NAME, NULL, PROCEDURE, Expr_s::symbols, type, and Exid_s::value.

Referenced by compile().

Here is the call graph for this function:

Here is the caller graph for this function:

exfreenode()

void exfreenode	(	Expr_t *	,
		Exnode_t *
	)

Referenced by exexpr(), if(), and if().

Here is the caller graph for this function:

exinit()

void exinit

(

void

)

Referenced by compileProg().

Here is the caller graph for this function:

exisAssign()

int exisAssign

(

Exnode_t *

)

Referenced by checkGuard().

Here is the caller graph for this function:

exnewnode()

Exnode_t * exnewnode	(	Expr_t *	,
		long	,
		bool	,
		long	,
		Exnode_t *	,
		Exnode_t *
	)

exnoncast()

Exnode_t * exnoncast

(

Exnode_t *

)

Referenced by checkGuard().

Here is the caller graph for this function:

exnospace()

char * exnospace

(

void

)

Definition at line 27 of file exnospace.c.

References exerror().

Referenced by if().

Here is the call graph for this function:

Here is the caller graph for this function:

exopen()

Expr_t * exopen

(

Exdisc_t *

disc

)

Definition at line 40 of file exopen.c.

References disc, dtinsert, dtopen(), Dtset, exbuiltin, exclose(), Expr_s::file, free_exid(), Expr_s::id, dtdisc_s_::key, Exid_s::name, PROCEDURE, setcontext, and Expr_s::symbols.

Referenced by compileProg().

Here is the call graph for this function:

Here is the caller graph for this function:

exopname()

char * exopname

(

long

op

)

Definition at line 43 of file excc.c.

References AND, EQ, GE, LE, LSH, NE, OR, and RSH.

Referenced by gen().

Here is the caller graph for this function:

expop()

int expop

(

Expr_t *

)

Referenced by lex().

Here is the caller graph for this function:

exprintf()

static char * exprintf ( arena_t *  vm, const char *  fmt,   ...  )

inlinestatic

Construct an arena-backed string.

Parameters

vm	Allocator to use.
fmt	printf-style format sting.
...	printf-style varargs.

Returns

Dynamically allocated string.

Definition at line 275 of file expr.h.

References gv_arena_alloc(), len(), and NULL.

Referenced by eval().

Here is the call graph for this function:

Here is the caller graph for this function:

expush()

int expush	(	Expr_t *	,
		const char *	,
		int	,
		FILE *
	)

Referenced by extoken_fn().

Here is the caller graph for this function:

exstralloc()

void * exstralloc	(	Expr_t *	ex,
		size_t	sz
	)

Definition at line 1972 of file exeval.c.

References gv_arena_alloc().

Referenced by bbOf(), canon(), getval(), toLower(), toUpper(), and xyOf().

Here is the call graph for this function:

Here is the caller graph for this function:

exstring()

char * exstring	(	Expr_t *	ex,
		char *	s
	)

Definition at line 1964 of file exeval.c.

References gv_arena_strdup().

Referenced by bbOf(), colorx(), nameOf(), readLine(), and xyOf().

Here is the call graph for this function:

Here is the caller graph for this function:

extoken_fn()

int extoken_fn

(

Expr_t *

ex

)

Definition at line 313 of file extoken.c.

References agxbclear(), agxbput(), agxbputc(), agxbuse(), AND, CHARACTER, chrtoi(), DEC, DECLARE, dtinsert, dtmatch, DYNAMIC, EQ, error_info, EX_CHARSTRING, ex_lval, EX_NAMELEN, exerror(), expr, expush(), extoken_fn(), exunlex, FLOATING, EX_STYPE::floating, GE, gv_arena_alloc(), gv_arena_strdup(), gv_isalnum(), gv_isalpha(), gv_isdigit(), gv_isspace(), gv_isxdigit(), ID, EX_STYPE::id, id_string, INC, Exid_s::index, INTEGER, EX_STYPE::integer, LABEL, LE, lex, Exid_s::lex, Error_info_s::line, LSH, NAME, Exid_s::name, NE, Exstate_t::nolabel, NULL, EX_STYPE::op, OR, PRAGMA, RSH, setcontext, streq(), stresc(), STRING, EX_STYPE::string, Expr_s::symbols, UNREACHABLE, UNSIGNED, and Expr_s::vm.

Referenced by extoken_fn().

Here is the call graph for this function:

Here is the caller graph for this function:

extype()

char * extype

(

long int

type

)

Definition at line 26 of file extype.c.

References FLOATING, STRING, type, and UNSIGNED.

Referenced by gen().

Here is the caller graph for this function:

extypename()

char * extypename	(	Expr_t *	p,
		long
	)

Referenced by xConvert(), and xPrint().

Here is the caller graph for this function:

exwarn()

void exwarn	(	const char *	format,
			...
	)

Definition at line 77 of file exerror.c.

References ERROR_WARNING, expr, format, free(), Expr_s::id, make_msg(), and Exstate_t::program.

Referenced by exsub(), readFile(), and writeFile().

Here is the call graph for this function:

Here is the caller graph for this function:

exzero()

Extype_t exzero

(

long int

type

)

Definition at line 26 of file exzero.c.

References expr, FLOATING, EX_STYPE::floating, INTEGER, EX_STYPE::integer, Exstate_t::nullstring, STRING, EX_STYPE::string, type, and UNSIGNED.

Referenced by eval(), getdyn(), and refval().

Here is the caller graph for this function: