Expr.C File Reference

#include "Expr.H"
#include "ApplyCache.H"
#include "Files.H"
#include "Debug.H"
#include "ThreadData.H"
#include <sstream>
#include <FPStream.H>

Go to the source code of this file.

Functions
FP::Tag	FingerPrint (Expr expr)
Vals	EvalArgs (ArgList args, const Context &c)
Vars	AddVars (const Vars &fv1, const Vars &fv2)
Vars	Remove (const Vars &body, const Text &id)
Vars	Remove (const Vars &body, const Vars &bound)
bool	AllFreeVarsBoundInContext (const Expr e, const Context &c)
bool	IsId (const Text &id)
Context	ProcessModelHead (ModelEC *model)
Variables
const char *	nameDot = "."

---

Function Documentation

Vars AddVars (  const Vars &  fv1, const Vars &  fv2 )

Definition at line 822 of file Expr.C. References ListT< Value >::Member(), ListT< Value >::Null(), ListT< Value >::Pop(), and ListT< Value >::Push(). Referenced by BindingEC::AddExpr(), ListEC::AddExpr(), StmtListEC::AddExpr(), ArgListEC::AddExpr(), ExprListEC::AddExpr(), ApplyEC::ApplyEC(), ApplyOpEC::ApplyOpEC(), BindEC::BindEC(), BlockEC::BlockEC(), FuncEC::FuncEC(), IfEC::IfEC(), IterateEC::IterateEC(), PairEC::PairEC(), and SelectEC::SelectEC().

bool AllFreeVarsBoundInContext (  const Expr  e, const Context &  c )

Definition at line 859 of file Expr.C. References ErrorDetail(), FindInContext(), Basics::mutex::lock(), ListT< Value >::Null(), nullAssoc, outputMu, ListT< Value >::Pop(), PrintContext(), and Basics::mutex::unlock().

Vals EvalArgs (  ArgList  args, const Context &  c )

Definition at line 812 of file Expr.C. References ListT< Value >::Append1D(), Sequence< Elem, elem_ptrfree >::get(), and Sequence< Elem, elem_ptrfree >::size(). Referenced by Append(), Assert(), Bind1(), Defined(), Div(), Elem(), Find(), FindR(), GetFP(), GetName(), GetValue(), Head(), IsBinding(), IsBool(), IsClosure(), IsErr(), IsInt(), IsList(), IsText(), Length(), List1(), Lookup(), Map(), Max(), Min(), Mod(), ModelName(), ParMap(), Print(), SameType(), Sub(), Tail(), and TypeOf().

FP::Tag FingerPrint (  Expr  expr  )

Definition at line 806 of file Expr.C. References ExprC::PrintD(), and FP::FPStream::tag().

bool IsId (  const Text &  id  )

Definition at line 879 of file Expr.C. References Length(). Referenced by ProcessModelHead().

Context ProcessModelHead (  ModelEC *  model  )

Definition at line 918 of file Expr.C. References BindEK, conEmpty, ExprC::EError(), Sequence< Elem, elem_ptrfree >::get(), NameEC::id, InternalError(), IsId(), ExprC::kind, BindEC::lhs, Basics::mutex::lock(), outputMu, PushToContext(), BindEC::rhs, Sequence< Elem, elem_ptrfree >::size(), and Basics::mutex::unlock(). Referenced by ModelEC::Eval(), ModelVC::Force(), and Interpret().

Vars Remove (  const Vars &  body, const Vars &  bound )

Definition at line 845 of file Expr.C. References ListT< Value >::Member(), ListT< Value >::Null(), and ListT< Value >::Pop().

Vars Remove (  const Vars &  body, const Text &  id )

Definition at line 834 of file Expr.C.

---

Variable Documentation

const char* nameDot = "."

Definition at line 35 of file Expr.C. Referenced by ApplyEC::ApplyEC(), ApplyModel(), BindApplicationArgs(), BindRunToolArgs(), CollectAllDpnd(), CollectModel(), ModelEC::Eval(), Formals(), FuncEC::FuncEC(), Map(), ModelCutOff(), ParMap(), and ValInit().

---