BaseEvaluator Struct Reference

Private and protected interface of class 'BaseEvaluator'. More...

#include <BaseEvaluator_private.h>

Public Member Functions
	INHERITS_FROM (Object)
Data Fields
hash_ptr	cache
hash_ptr	env
Expr_ptr(*	resolve )(BaseEvaluator_ptr self, const Expr_ptr const_expr)
SymbTable_ptr	st
Related Functions
(Note that these are not member functions.)
void	base_evaluator_deinit (BaseEvaluator_ptr self)
	The BaseEvaluator class private deinitializer.
void	base_evaluator_init (BaseEvaluator_ptr self)
	The BaseEvaluator class private initializer.
Expr_ptr	base_evaluator_resolve (const BaseEvaluator_ptr self, const Expr_ptr const_expr)
	Const expr virtual resolution method.
BaseEvaluator_ptr	BaseEvaluator_create (void)
	The BaseEvaluator class constructor.
void	BaseEvaluator_destroy (BaseEvaluator_ptr self)
	The BaseEvaluator class destructor.
Expr_ptr	BaseEvaluator_evaluate (BaseEvaluator_ptr self, Expr_ptr const_expr)
	Evaluates given constant expression.
void	BaseEvaluator_set_context (BaseEvaluator_ptr self, const SymbTable_ptr st, const hash_ptr env)
	Initializes the evaluator with context information.

---

Detailed Description

Private and protected interface of class 'BaseEvaluator'.

Public interface of class 'BaseEvaluator'.

Author:

Marco Pensallorto This file can be included only by derived and friend classes

BaseEvaluator class definition derived from class Object

See also:

Base class Object

Author:

Marco Pensallorto

Todo:

: Missing description

Definition of the public accessor for class BaseEvaluator

---

Member Function Documentation

BaseEvaluator::INHERITS_FROM

(

Object

)

---

Friends And Related Function Documentation

void base_evaluator_deinit

(

BaseEvaluator_ptr

self

)

[related]

The BaseEvaluator class private deinitializer.

The BaseEvaluator class private deinitializer

See also:

BaseEvaluator_destroy

void base_evaluator_init

(

BaseEvaluator_ptr

self

)

[related]

The BaseEvaluator class private initializer.

The BaseEvaluator class private initializer

See also:

BaseEvaluator_create

Expr_ptr base_evaluator_resolve	(	const BaseEvaluator_ptr	self,
		const Expr_ptr	const_expr
	)			[related]

Const expr virtual resolution method.

This is intended to be overridden in order to support extra types

BaseEvaluator_ptr BaseEvaluator_create

(

void

)

[related]

The BaseEvaluator class constructor.

AutomaticStart

The BaseEvaluator class constructor

See also:

BaseEvaluator_destroy

void BaseEvaluator_destroy

(

BaseEvaluator_ptr

self

)

[related]

The BaseEvaluator class destructor.

The BaseEvaluator class destructor

See also:

BaseEvaluator_create

Expr_ptr BaseEvaluator_evaluate	(	BaseEvaluator_ptr	self,
		Expr_ptr	const_expr
	)			[related]

Evaluates given constant expression.

Evaluates a constant expression within context given using BaseEvaluator_set_context. Returns a constant which is the result of the evaluation of the expression. A FAILURE node is returned if result could not be computed (e.g. no assignment for an identifier could be found in the environment)

See also:

BaseEvaluator_set_context

void BaseEvaluator_set_context	(	BaseEvaluator_ptr	self,
		const SymbTable_ptr	st,
		const hash_ptr	env
	)			[related]

Initializes the evaluator with context information.

Initializes the evaluator with context information. This function must be called *before* invoking BaseEvaluator_evaluate in order to initialize the context of evaluation

The internal cache of the evaluator is cleared

See also:

BaseEvaluator_evaluate

---

Field Documentation

hash_ptr BaseEvaluator::cache

hash_ptr BaseEvaluator::env

Expr_ptr(* BaseEvaluator::resolve)(BaseEvaluator_ptr self, const Expr_ptr const_expr)

SymbTable_ptr BaseEvaluator::st

---

The documentation for this struct was generated from the following files:

• NuSMV/code/nusmv/core/trace/eval/BaseEvaluator_private.h
• NuSMV/code/nusmv/core/trace/eval/BaseEvaluator.h