#include <ParseContext.hpp>

Inheritance diagram for ParseContext:

Classes
struct	ImportFrame
	Stack item for imports. More...
class	IndexableTypeCaster
	The Indexable type visitor. More...
class	IndexExprCreator
	The indexable type visitor for index expressions. More...
class	InitVariableDefCreator
	The indexable type visitor for init variable definitions. More...
struct	TypeDefSig
	Temporary holder for typedef signature. More...
Public Types
typedef z::dict< const Ast::TypeSpec , const Ast::Expr >	TypeDefaultValueMap
	Type to default mapping type.
Public Member Functions
void	enterImport (const Ast::UserDefinedTypeSpec::NativeType &ntype, const z::string &fname)
	Push an import frame on the stack.
void	leaveImport ()
	Pop import frame from the stack.
bool	inImport () const
	Check if parser is currently in an import file.
ImportFrame &	getImportFrame ()
	Get top-most import frame.
const ImportFrame &	getImportFrame () const
	Get top-most import frame.
const Ast::UserDefinedTypeSpec::NativeType &	getNativeType () const
	Get native type of top-most import frame.
Ast::ChildTypeSpec &	getCurrentType () const
	Get type being currently defined.
Ast::ChildTypeSpec &	enterCurrentType (Ast::ChildTypeSpec &type)
	Enter a type definition.
Ast::ChildTypeSpec &	leaveCurrentType (Ast::ChildTypeSpec &type)
	Exit a type definition.
const z::string &	getFilename () const
	Get the name of the current file being compiled.
void	setTokenPos (const int &line, const int &col)
	Set the current token position.
	ParseContext (zbl::Compiler &compiler, Ast::Unit &unit)
	Default constructor.
	~ParseContext ()
	Destructor.
const zbl::TokenData &	getNullToken () const
	Return reference to null token.
z::string	err () const
	Return an error string based on current token.
z::string	err (const zbl::TokenData &token) const
	Return an error string based on specified token.
void	importHeader (Ast::ImportStatement &stmt, const Ast::ImportStatement::Type &type)
	Imports a file.
Ast::ImportStatement &	createImportNamespace (const z::string &name)
	Enters an import level.
Ast::Namespace &	enterUnitNamespace (const z::string &name)
	Enters a namespace in current unit.
Ast::Namespace &	addUnitNamespace (Ast::Namespace &ns, const z::string &name)
	Add a child namespace to current namespace.
void	leaveUnitNamespace (Ast::Namespace &ns)
	Leave current namespace.
Ast::TypeSpec *	hasRootType (const z::string &name)
	Search for type.
Ast::TypeSpec *	hasChildType (const Ast::TypeSpec &parent, const z::string &name)
	Check if type has specified child.
Ast::TypeSpec &	getChildType (const Ast::TypeSpec &parent, const zbl::TokenData &name)
	Get child of specified parent.
Ast::TypeSpec &	enterTypeSpecRef (const zbl::TokenData &token)
	Enter type reference.
Ast::TypeSpec &	leaveTypeSpecRef (Ast::TypeSpec &typeSpec)
	Leave type reference.
Ast::QualifiedType &	createQualifiedType (const bool &isConst, const Ast::TypeSpec &type, const bool &isRef)
	Create qualified type.
void	enterCoertionList (const Ast::TypeSpec &type)
	Enter coertion list.
void	addCoertionItem (const Ast::TypeSpec &type)
	Add type to coertion list.
void	leaveCoertionList ()
	Leave coertion list.
void	addCoertionMap (const Ast::TypeSpec &lhs, const Ast::TypeSpec &rhs, const Ast::TypeSpec &dst)
	Add coertion mapping.
void	addTypeDefaultValue (const Ast::TypeSpec &type, const Ast::Expr &expr)
	Add default value for type.
const Ast::Expr &	getTypeDefaultValue (const Ast::TypeSpec &type)
	Get default value for type.
Ast::StructMemberVariableDef &	createStructVariableDefInit (const Ast::QualifiedType &type, const z::string &name, const Ast::Expr &expr)
	Create AST node for struct member with init value.
Ast::StructMemberVariableDef &	createStructVariableDef (const Ast::QualifiedType &type, const z::string &name)
	Create AST node for struct member without init value.
Ast::ParamVariableDef &	createParamVariableDefInit (const Ast::QualifiedType &type, const z::string &name, const Ast::Expr &expr)
	Create AST node for function in-parameter with init value.
Ast::ParamVariableDef &	createParamVariableDef (const Ast::QualifiedType &type, const z::string &name)
	Create AST node for struct member without init value.
Ast::InitVariableDef &	createInitVariableDefInit (const Ast::VariableDef::DefType &defType, const Ast::QualifiedType &type, const z::string &name, const Ast::Expr &expr)
	Create AST node for local variable declaration with type specified.
Ast::InitVariableDef &	createInitVariableDef (const Ast::VariableDef::DefType &defType, const z::string &name, const Ast::Expr &expr)
	Create AST node for local variable declaration without type specified.
Ast::InitVariableDef &	createForeachInitVariableDef (const Ast::VariableDef::DefType &defType, const z::string &name, const Ast::Expr &expr)
	Create AST node for for-loop variable declaration without type specified.
Ast::QualifiedType &	createOutParam (const Ast::VariableDefMap &defList)
	Create AST node for out parameter.
Ast::SharedVariableDef &	createSharedTypeExprDef (const Ast::QualifiedType &qtype, const zbl::TokenData &name, const Ast::Expr &expr)
	Create AST node for shared variable definition.
Ast::SharedVariableDef &	createSharedExprDef (const zbl::TokenData &name, const Ast::Expr &expr)
	Create AST node for shared variable definition.
Ast::SharedVariableDef &	createSharedMemberDef (const Ast::VariableRef &vref)
	Create AST node for a member of a shared variable definition.
Ast::SharedDef &	createSharedDef (const Ast::VariableDefMap &defList)
	Create AST node for shared definition type.
Ast::FunctionDef &	getFunctionDef () const
	Get AST node for function definition type.
const Ast::VariableDef *	getIdentifier (const z::string &name, Ast::Storage::T &storage) const
	Get AST node for variable definition type in current and higher scopes.
Ast::VariableDefMap &	createVariableDefMap ()
	Create AST node for variable definition map.
Ast::StructDefList &	createStructDefList ()
	Create AST node for struct definition list.
Ast::StructDef &	enterStructDef (const Ast::TypeSpec::AccessType::T &accessType, const z::string &name)
	Enter struct definition.
Ast::StructDef &	leaveStructDef (Ast::StructDef &structDef)
	Leave struct definition.
Ast::StructDef &	leaveStructDefList (Ast::StructDef &structDef, const Ast::VariableDefMap &defList, const Ast::StructDefList &subTypeList)
	Leave struct definition with list of variable and subtype definitions.
Ast::EnumDef &	createEnumDef (const Ast::TypeSpec::AccessType::T &accessType, const z::string &name, Ast::EnumMemberDefList &defList)
	Create enum definition with list of variable definitions.
Ast::EnumMemberDefList &	createEnumMemberDefList ()
	Create enum member definition list.
Ast::EnumMemberDef &	createEnumMemberDefInit (const zbl::TokenData &name, const bool &hasInit, const Ast::Expr &initExpr)
	Create enum member definition with init value.
Ast::EnumMemberDef &	createEnumMemberDef (const zbl::TokenData &name)
	Create enum member definition with init value.
TypeDefSig	createTypeDefSig (const Ast::TypeSpec::AccessType::T &accessType, const zbl::TokenData &name)
	Create typedef signature.
Ast::TypeDecl &	createTypeDecl (const TypeDefSig &sig)
	Create typedef declaration.
Ast::TypeDef &	createTypeDef (const TypeDefSig &sig, const Ast::QualifiedType &type)
	Create typedef definition.
Ast::GrammarToken &	createGrammarToken (const TokenData &name, const TokenData &txt, const bool &isRex, const bool &isNot)
	Create grammar token node.
Ast::GrammarTokenList &	createGrammarTokenList ()
	Create empty grammar token list.
Ast::GrammarMemberId &	createGrammarMemberId (const TokenData &name)
	Create grammar member id node.
const Ast::VariableDef &	createGrammarMemberNameDef (const TokenData &name)
	Create grammar member name node.
Ast::GrammarMemberNameId &	createGrammarMemberNameId (const TokenData &name, const TokenData &txt)
	Create grammar member node.
Ast::GrammarMemberList &	createGrammarMemberList ()
	Create empty grammar member list.
Ast::FunctionDef &	enterGrammarRuleOut (Ast::QualifiedType &out, const TokenData &name, Ast::Scope &in)
	Create grammar rule function definition with out parameter.
Ast::FunctionDef &	enterGrammarRule (const TokenData &name, Ast::Scope &in)
	Create grammar rule function definition without an out parameter, and enter grammar rule block.
Ast::GrammarRuleStatement &	leaveGrammarRuleBlock (Ast::FunctionDef &fdef, const Ast::GrammarMemberList &list, const Ast::StatementList &stmtList)
	Leave grammar rule block.
Ast::GrammarRuleStatement &	leaveGrammarRule (Ast::FunctionDef &fdef, const Ast::GrammarMemberList &list)
	Leave grammar rule block without statement list.
Ast::GrammarLexer &	enterLexerState (const TokenData &name)
	Enter lexer state.
Ast::GrammarLexer &	enterLexerState ()
	Enter default lexer state.
Ast::GrammarLexer &	leaveLexerState (Ast::GrammarLexer &lexer, Ast::LexerStatementList &list)
	Leave lexer state.
Ast::FunctionDef &	enterLexer (const TokenData &name, Ast::Scope &in)
	Enter lexer.
Ast::LexerStatement &	leaveLexer (Ast::FunctionDef &fdef, const Ast::GrammarTokenList &list, const Ast::StatementList &stmtList)
	Leave lexer.
Ast::LexerStatement &	leaveLexer (Ast::FunctionDef &fdef, const Ast::GrammarTokenList &list)
	Leave lexer without a statement list.
Ast::LexerStatementList &	createLexerStatementList ()
	Create empty lexer statement list.
Ast::GrammarLexerList &	createGrammarLexerList ()
	Create empty grammar lexer list.
Ast::GrammarStatementList &	createGrammarStatementList ()
	Create empty grammar statement list.
Ast::GrammarOptionValueList &	createGrammarOptionValueList (const TokenData &value)
	Create grammar option list.
Ast::GrammarOptionValueList &	addGrammarOptionValue (Ast::GrammarOptionValueList &list, const TokenData &value)
	Add value to grammar option list.
Ast::GrammarOption &	createGrammarOption (const TokenData &name, const Ast::GrammarOptionValueList &list)
	Create grammar option.
Ast::GrammarOptionList &	createGrammarOptionList ()
	Create empty grammar option list.
Ast::FunctionDef &	enterFunctionName (const Ast::TypeSpec::AccessType::T &accessType, const Ast::QualifiedType &out, const z::string &name, Ast::Scope &in, const Ast::FunctionDef::Modifier::T &modifier)
	Enter function definition.
Ast::FunctionDef &	enterFunction (const Ast::TypeSpec::AccessType::T &accessType, Ast::QualifiedType &out, const zbl::TokenData &name, Ast::Scope &in, const Ast::FunctionDef::Modifier::T &modifier)
	Enter function definition with token name.
Ast::FunctionDef &	leaveFunction (Ast::FunctionDef &fdef)
	Enter function definition.
Ast::FunctionImplItem &	leaveFunctionDef (Ast::FunctionDef &fdef, const Ast::FunctionBlock &block)
	Leave function implementation definition.
Ast::RoutineImplItem &	leaveRoutineDef (Ast::FunctionDef &fdef, const Ast::RoutineBlock &block)
	Leave routine implementation definition.
Ast::GrammarImplItem &	leaveGrammarDef (Ast::FunctionDef &fdef, const Ast::GrammarBlock &block)
	Leave grammar implementation definition.
Ast::WindowImplItem &	leaveWindowDef (Ast::FunctionDef &fdef, const Ast::WindowBlock &block)
	Leave window implementation definition.
Ast::FunctionDef &	enterFunctionImpl (Ast::TypeSpec &type)
	Enter function implementation definition.
Ast::FunctionImplItem &	leaveFunctionImpl (Ast::FunctionDef &fdef, Ast::FunctionBlock &block)
	Leave function implementation definition.
Ast::FunctionImplExpr &	createFunctionImplExpr (Ast::FunctionImplItem &item)
	Create function implementation expression.
Ast::FunctionDefImplExpr &	createFunctionDefImplExpr (Ast::ImplItem &item)
	Create function definition implementation expression.
Ast::RoutineBlock &	createRoutineBlock (Ast::StatementList &list)
	Create routine block.
Ast::FunctionBlock &	createFunctionBlock (const Ast::StatementList &list)
	Create function block.
Ast::GrammarBlock &	createGrammarBlock (const Ast::GrammarOptionList &optList, const Ast::GrammarStatementList &list, const Ast::GrammarLexerList &lexList)
	Create grammar block.
Ast::WindowBlock &	createWindowBlock (Ast::FunctionBlock &functionBlock)
	Create window block.
Ast::OwnerTemplate &	createOwnerTemplate (const Ast::QualifiedType &type)
	Create owner type.
Ast::ListTemplate &	createListTemplate (const Ast::QualifiedType &type)
	Create list type.
Ast::DictTemplate &	createDictTemplate (const Ast::QualifiedType &key, const Ast::QualifiedType &type)
	Create dictionary type.
Ast::ListItem &	createListItem (const Ast::Expr &expr)
	Create list item.
void	addListItem (Ast::ListList &list, const Ast::ListItem &item)
	Add item to list.
Ast::ListList &	createListList ()
	Create empty list.
Ast::DictItem &	createDictItem (const Ast::Expr &key, const Ast::Expr &expr)
	Create dictionary item.
void	addDictItem (Ast::DictList &list, const Ast::DictItem &item)
	Add item to dictionary.
Ast::DictList &	createDictList ()
	Create empty dictionary.
Ast::DictItem &	createTreeItem (const Ast::Expr &key, const Ast::Expr &expr)
	Create tree item.
void	addTreeItem (Ast::DictList &list, const Ast::DictItem &item)
	Add item to tree.
Ast::DictList &	createTreeList ()
	Create empty tree.
Ast::RunClosure &	createRunClosure ()
	Create run closure.
Ast::ExitClosure &	createExitClosure ()
	Create exit closure.
Ast::CallClosure &	createNamedCallClosure (const zbl::TokenData &name, const Ast::Invoker &fcall)
	Create named call closure.
Ast::CallClosure &	createCallClosure (const Ast::Invoker &fcall)
	Create call closure.
Ast::FunctionCallClosure &	createFunctionCallClosure (const zbl::TokenData &name, const Ast::Invoker &fcall)
	Create function call closure.
Ast::FunctionCallClosure &	createFunctionCallClosure (const Ast::Invoker &fcall)
	Create function call closure.
Ast::LoopClosure &	createLoopClosure (const Ast::Expr &expr)
	Create loop closure.
Ast::SharedClosure &	createSharedClosure (const zbl::TokenData &name, const Ast::SharedDef &sharedList)
	Create shared closure.
Ast::ReturnClosure &	createReturnClosure (const Ast::Closure::Type &type, const Ast::ExprList &list)
	Create return closure.
Ast::ReturnClosure &	createDefaultReturnClosure (const Ast::Closure::Type &type, Ast::FunctionDef &fdef)
	Create default return closure.
Ast::ClosureList &	createClosureList (Ast::Closure &closure)
	Create closure list.
Ast::ClosureList &	addClosureToList (Ast::ClosureList &list, const Ast::Closure::Type &type, Ast::Closure &closure)
	Add a closure to closure list.
Ast::ContinuationImplItem &	createContinuationImplItem (Ast::ClosureList &closureList, const Ast::ReturnClosure &retnClosure)
	Create a continuation implementation item.
Ast::ContinuationImplItem &	createContinuationImplItem (Ast::ClosureList &closureList)
	Create a continuation implementation item without a return closure.
Ast::ExprList &	createExprList ()
	Create expression list.
Ast::QueryExpr &	createQueryExpr (const Ast::Expr &expr)
	Create query expression.
Ast::QueryPartExpr &	createQueryPartExpr (const Ast::Expr &keyExpr, const Ast::Expr &valExpr)
	Create query pair expression.
Ast::QueryValExpr &	createQueryValExpr ()
	Create query value expression.
Ast::TernaryOpExpr &	createTernaryOpExpr (const Ast::Expr &lhs, const z::string &op1, const Ast::Expr &rhs1, const z::string &op2, const Ast::Expr &rhs2)
	Create ternary expression.
Ast::BinaryExpr &	createBinaryOpExpr (const Ast::Expr &lhs, const z::string &op, const Ast::Expr &rhs)
	Create ternary expression.
Ast::OrderedExpr &	createOrderedExpr (const Ast::Expr &rhs)
	Create ordered expression.
Ast::IndexExpr &	createIndexExpr (const Ast::Expr &expr, const Ast::Expr &idx)
	Create index expression.
Ast::IndexExpr &	createIndexKeyExpr (const Ast::Expr &expr, const TokenData &idx)
	Create index key expression.
Ast::PrefixOpExpr &	createPrefixOpExpr (const z::string &op, const Ast::Expr &rhs)
	Create prefix operator expression.
Ast::PostfixOpExpr &	createPostfixOpExpr (const Ast::Expr &lhs, const z::string &op)
	Create postfix operator expression.
Ast::StringFormatExpr &	createStringFormatExpr (const Ast::Expr &format, const Ast::DictList &list)
	Create string format expression.
Ast::ListExpr &	createListExpr (const Ast::ListList &list)
	Create list expression.
Ast::DictExpr &	createDictExpr (const Ast::DictList &list)
	Create dictionary expression.
Ast::TreeExpr &	createTreeExpr (const Ast::DictList &list)
	Create tree expression.
Ast::VariableRef &	createVariableRef (const Ast::Storage::T &storage, const Ast::VariableDef &vdef)
	Create variable reference node.
Ast::VariableRef &	createVariableRef (const zbl::TokenData &name)
	Create variable reference node.
Ast::VariableRef &	addVariableDefToList (Ast::VariableRef &vref, const zbl::TokenData &name)
	Add child to variable reference list.
Ast::VariableRefExpr &	createVariableRefExpr (const Ast::VariableRef &vref)
	Create variable reference expression.
Ast::Expr &	createEnumRefExpr (const Ast::TypeSpec &typeSpec, const zbl::TokenData &id)
	Create enum reference expression.
void	enterStructInit (const Ast::TypeSpec &typeSpec)
	Enter struct initialization.
Ast::StructInitItem &	createStructInitItem (const zbl::TokenData &name, const Ast::Expr &expr)
	Create struct initializaton item.
Ast::StructInitList &	addStructInitItemToList (Ast::StructInitList &list, const Ast::StructInitItem &item)
	Add struct initialization item to list.
Ast::StructInitList &	createStructInitList ()
	Create empty struct initialization item list.
Ast::StructInitExpr &	createStructInitExpr (const Ast::StructInitList &initList)
	Create struct initialization expression.
Ast::StructInitExpr &	createStructInitEmptyExpr ()
	Create empty struct initialization expression.
Ast::InstanceExpr &	createInstanceExpr (const Ast::TypeSpec &typeSpec, const Ast::ExprList &exprList)
	Create instance creation expression.
const Ast::QualifiedType &	getInternalCallType (const TokenData &name, const Ast::ExprList &exprList)
	get return type of internal function call
Ast::InternalCallExpr &	createInternalCallExpr (const TokenData &name, const Ast::ExprList &exprList)
	Create internal function call expression.
Ast::InvokerCallExpr &	createInvokerCallExpr (const Ast::Invoker &invoker)
	Create invoker call expression.
Ast::FunctionCallExpr &	createFunctionCallExpr (Ast::ContinuationImplItem &continuation)
	Create function call expression.
Ast::Invoker &	createInvoker (const Ast::InvokerType &invokerType, const Ast::ExprList &exprList)
	Create invoker.
Ast::FunctionCall &	createFunctionCall (const Ast::TypeSpec &typeSpec)
	Create function call invoker.
Ast::FunctionDefCall &	createFunctionDefCall (const Ast::ImplItem &item)
	Create function def invoker.
Ast::FunctionImplCall &	createFunctionImplCall (const Ast::ImplItem &item)
	Create function implementation invoker.
Ast::FunctorCall &	createFunctorExprCall (const Ast::Expr &expr)
	Create functor invoker.
Ast::FunctorCall &	createFunctorObjectCall (const Ast::VariableRef &vref)
	Create functor invoker.
Ast::NumericConstantExpr &	createNumericConstantExpr (const z::string &typestr, const z::string &val)
	Create numeric constant expression.
Ast::BooleanConstantExpr &	createBooleanConstantExpr (const z::string &val)
	Create boolean constant expression.
Ast::CharConstantExpr &	createCharConstantExpr (const z::string &val)
	Create char constant expression.
Ast::StringConstantExpr &	createStringConstantExpr (const zbl::TokenData &token)
	Create string constant expression.
Ast::ExprStatement &	createExprStatement (const Ast::Expr &expr)
	Create expression statement.
Ast::StatementBlock &	createStatementBlock (const Ast::StatementList &list)
	Create statement block.
Ast::DefineVarStatement &	createDefineVarStatement (Ast::InitVariableDef &vdef)
	Create local variable definition statement.
Ast::IfThenStatement &	createIfThenStatement (const Ast::Expr &cond, const Ast::StatementList &tlist)
	Create if-then statement.
Ast::IfElseStatement &	createIfElseStatement (const Ast::Expr &cond, const Ast::StatementList &tlist, const Ast::StatementList &flist)
	Create if-then-else statement.
Ast::IfElseStatement &	createIfElseIfStatement (const Ast::Expr &cond, const Ast::StatementList &tlist, Ast::Statement &fstmt)
	Create if-else-if ladder statement.
Ast::SelectStatement &	createSelectStatement (const Ast::SwitchLabelList &list)
	Create select statement.
Ast::SwitchStatement &	createSwitchStatement (const Ast::Expr &expr, const Ast::SwitchLabelList &list)
	Create switch statement.
Ast::SwitchLabelList &	createSwitchLabelList ()
	Create empty switch label list.
Ast::CaseLabel &	createCaseLabel (const Ast::Expr &expr, const Ast::StatementList &list)
	Create switch case label.
Ast::DefaultLabel &	createDefaultLabel (const Ast::StatementList &list)
	Create switch default label.
Ast::ForStatement &	createForStatement (const Ast::InitVariableDef &init, const Ast::Expr &cond, const Ast::Expr &incx, const Ast::StatementList &list)
	Create for statement.
Ast::ForeachStatement &	createForeachStatement (const Ast::InitVariableDef &init, const Ast::StatementList &list)
	Create foreach statement.
Ast::WhileStatement &	createWhileStatement (const Ast::Expr &cond, const Ast::StatementList &list)
	Create while statement.
Ast::DoWhileStatement &	createDoWhileStatement (const Ast::Expr &cond, const Ast::StatementList &list)
	Create do-while statement.
Ast::LogStatement &	createLogStatement (const z::string &name, const Ast::ExprList &list)
	Create log statement.
Ast::BreakStatement &	createBreakStatement ()
	Create break statement.
Ast::ContinueStatement &	createContinueStatement ()
	Create continue statement.
Ast::EmptyStatement &	createEmptyStatement ()
	Create empty statement.
Ast::RoutineReturnStatement &	createRoutineReturnStatement (const Ast::Expr &expr)
	Create routine return statement.
Ast::FunctionReturnStatement &	createFunctionReturnStatement (const Ast::ExprList &list)
	Create function return statement.
Ast::TypeSpecStatement &	createTypeSpecStatement (const Ast::TypeSpec &typeSpec)
	Create type definition statement.
Ast::TypeSpecStatement &	createFunctionImplStatement (const Ast::ImplItem &item)
	Create function implementation statement.
Ast::Scope &	enterInParamScope ()
	Enter in-param scope.
void	leaveInParamScope ()
	Leave in-param scope.
Ast::Scope &	enterBlockScope ()
	Enter block scope.
void	leaveBlockScope ()
	Leave block scope.
Ast::Scope &	enterContinuation ()
	Leave continuation scope.
Ast::ContinuationImplItem &	leaveContinuation (Ast::ContinuationImplItem &continuation)
	Leave continuation scope.
Ast::StatementList &	enterStatementList (Ast::Statement &stmt)
	Enter statement list scope.
Ast::StatementList &	leaveStatementList (Ast::StatementList &list)
	Leave statement list scope.
Ast::StatementList &	createEmptyStatementList ()
	Create empty statement list.
Ast::StatementList &	addStatement (Ast::StatementList &list, Ast::Statement &stmt)
	Add statement to statement list.
void	setProjectDef (const Ast::StructInitExpr &expr)
	When parsing a project file, set the root expression.
Public Attributes
TypeDefaultValueMap	_typeDefaultValueMap
	Type to default mapping instance.
Private Types
typedef z::stack< ImportFrame >	ImportStack
	Stack type for import frame.
typedef z::dict< z::string, Ast::QualifiedType * >	QualifiedTypeMap
	Type for mapping standard qualified types.
typedef z::list< const Ast::TypeSpec * >	CoertionList
	Type for maintaining coertion list.
typedef z::dict< const Ast::TypeSpec , const Ast::TypeSpec >	CoertionSubMap
	Type for maintaining coertion sub map.
typedef z::dict< const Ast::TypeSpec *, CoertionSubMap >	CoertionMap
	Type for maintaining coertion mapping.
typedef z::stack< const Ast::StructDef * >	StructInitStack
	Type of struct init stack.
typedef z::stack< Ast::Scope * >	ScopeStack
	Type of scope stack.
typedef z::stack < Ast::GrammarLexer * >	GrammarLexerStack
	Type of grammar lexer stack.
Private Member Functions
z::string	err (const int &line, const int &col) const
	Return an error string.
void	importHeaderFile (const Ast::ImportStatement &stmt, const Ast::ImportStatement::Type &type)
	Compiles a import file.
Ast::Namespace &	addChildNamespace (Ast::ChildTypeSpec &type, const z::string &name)
	Add a child namespace to current namespace.
Ast::ChildTypeSpec *	getParent (Ast::ChildTypeSpec *child)
	Get parent of specified type.
Ast::ChildTypeSpec &	getParent (Ast::ChildTypeSpec &child)
	Get parent of specified type.
Ast::QualifiedType &	getQualifiedType (const z::string &name)
	Create or get standard qualified type.
int	getTypeIndex (const Ast::QualifiedType &type) const
	Get int index of specified type in the coertion list.
const Ast::TypeSpec *	getTarget (const Ast::QualifiedType &lhs, const Ast::QualifiedType &rhs)
	Get the target for a coertion.
const Ast::VariableDef *	hasUdtMember (const Ast::UserDefinedTypeSpec &udt, const z::string &name) const
	Check if given UDT has specified member variable.
const Ast::VariableDef *	hasMember (const Ast::VariableDef &vd, const zbl::TokenData &name) const
	Check if a variable has specified member variable.
Ast::Expr &	getEnumRefExpr (const Ast::EnumDef &enumRef, const z::string &id)
	Create a expression node for reference to enum member.
bool	isAny (const Ast::QualifiedType &rhs)
	Check if specified type is of 'any' type.
const Ast::QualifiedType &	coerce (const Ast::QualifiedType &lhs, const Ast::QualifiedType &rhs)
	Coerce two types to one type if possible.
Ast::SharedVariableDef &	createSharedVariableDef (const Ast::QualifiedType &qtype, const z::string &name, const Ast::Expr &expr)
	Create AST node for shared variable definition.
Ast::VariableDef &	addVariableDef (const Ast::VariableDef::DefType &defType, const Ast::QualifiedType &type, const z::string &name)
	Add AST node for variable definition in current scope.
Ast::VariableDef &	addVariableDef (Ast::VariableDef &vdef)
	Add AST node for variable definition in current scope.
template<typename T >
T &	addChildLevel (T &t)
	Add child type to current type.
template<typename T >
T &	enterTypeSpec (T &t)
	Enter type definition.
template<typename T >
T &	leaveTypeSpec (T &t)
	Leave type definition.
Ast::GrammarLexer &	enterLexerState (const z::string &name)
	Enter lexer state.
void	addOutParamChild (Ast::MethodTypeSpec &rv, const Ast::QualifiedType &out) const
	Add out-param as a child of function definition.
template<typename BlockT , typename ImplT >
ImplT &	createImplItemT (Ast::FunctionDef &fdef, const BlockT &block)
	Create implementation item.
template<typename BlockT , typename ImplT >
ImplT &	leaveFunctionT (Ast::FunctionDef &fdef, const BlockT &block)
	Create function implementation item.
const Ast::AnyExpr &	createVarExpr (const Ast::Expr &expr)
	Create 'any' type expression.
const Ast::CastExpr &	createCastExpr (const Ast::Expr &expr)
	Create typecast expression.
const Ast::VariableDef &	addClosureVariableDef (const Ast::QualifiedType &type, const zbl::TokenData &name)
	Create closure variable definition.
const Ast::Expr &	convertToQueryConstant (const Ast::Expr &expr)
	Convert an expression to a query constant.
bool	isQueryType (const Ast::QualifiedType &type)
	Check if expression is a query type.
Ast::Scope &	enterScope (const Ast::Scope::Type &type)
	Enter scope.
void	leaveScope (const Ast::Scope::Type &type)
	Leave scope.
void	resetCurrentVDef ()
	Reset current variable definition.
Private Attributes
ImportStack	_importStack
	Import frame stack.
QualifiedTypeMap	_qualifiedTypeMap
	Map of standard qualified types to name.
CoertionList	_coertionList
	Coertion list.
CoertionMap	_coertionMap
	Coertion mapping.
StructInitStack	_structInitStack
	struct initialization stack
zbl::Compiler &	_compiler
	The compiler instance.
Ast::Unit &	_unit
	The unit to read into.
ScopeStack	_scopeStack
	The scope stack.
GrammarLexerStack	_grammarLexerStack
	The grammar lexer stack.
Ast::InitVariableDef *	_curr_vdef
	The current vdef.
Token	_nullToken
	A null token.

Detailed Description

The Parser Context.

Constructor & Destructor Documentation

ParseContext	(	zbl::Compiler &	compiler,
		Ast::Unit &	unit
	)		`[inline]`

Default constructor.

Parameters:

compiler	The invoking compiler instance
unit	The AST unit node into which to parse the unit

Member Function Documentation

T& addChildLevel ( T & t ) [inline, private]

Add child type to current type.

Parameters:

t	The child type

Returns:: The child type AST node

Ast::Namespace& addChildNamespace	(	Ast::ChildTypeSpec &	type,
		const z::string &	name
	)		`[inline, private]`

Add a child namespace to current namespace.

Parameters:

type	Child namespace type
name	The child namespace name

Returns:: The child namespace instance

Ast::ClosureList& addClosureToList	(	Ast::ClosureList &	list,
		const Ast::Closure::Type &	type,
		Ast::Closure &	closure
	)		`[inline]`

Add a closure to closure list.

Parameters:

list	The list to add to
type	The join type
closure	The closure to add

Returns:: The AST node of the list

const Ast::VariableDef& addClosureVariableDef	(	const Ast::QualifiedType &	type,
		const zbl::TokenData &	name
	)		`[inline, private]`

Create closure variable definition.

Parameters:

type	The type of the variable
name	The variable name

Returns:: The AST node

void addCoertionItem ( const Ast::TypeSpec & type ) [inline]

Add type to coertion list.

Parameters:

type	Type to add to coertion list

void addCoertionMap	(	const Ast::TypeSpec &	lhs,
		const Ast::TypeSpec &	rhs,
		const Ast::TypeSpec &	dst
	)		`[inline]`

Add coertion mapping.

For example, short and int maps to int.

Parameters:

lhs	Type to map from
rhs	Type to map to
dst	Final mapping

void addDictItem	(	Ast::DictList &	list,
		const Ast::DictItem &	item
	)		`[inline]`

Add item to dictionary.

Parameters:

list	dictionary to add to
item	The item to add

Returns:: The AST node

Ast::GrammarOptionValueList& addGrammarOptionValue	(	Ast::GrammarOptionValueList &	list,
		const TokenData &	value
	)		`[inline]`

Add value to grammar option list.

Parameters:

list	Grammar option value list
value	Option value to add

Returns:: The AST node

void addListItem	(	Ast::ListList &	list,
		const Ast::ListItem &	item
	)		`[inline]`

Add item to list.

Parameters:

list	List to add to
item	The item to add

Returns:: The AST node

void addOutParamChild	(	Ast::MethodTypeSpec &	rv,
		const Ast::QualifiedType &	out
	)		const `[inline, private]`

Add out-param as a child of function definition.

If out is a OutParam, add it as a child of functiondef.

Parameters:

rv	The function definition type
out	The out parameter

Returns:: The AST node

Ast::StatementList& addStatement	(	Ast::StatementList &	list,
		Ast::Statement &	stmt
	)		`[inline]`

Add statement to statement list.

Parameters:

list	Statement list
stmt	First statement to add

Returns:: AST node of statement list

Ast::StructInitList& addStructInitItemToList	(	Ast::StructInitList &	list,
		const Ast::StructInitItem &	item
	)		`[inline]`

Add struct initialization item to list.

Parameters:

list	The struct initialization list
item	The initialization item

Returns:: The AST node

void addTreeItem	(	Ast::DictList &	list,
		const Ast::DictItem &	item
	)		`[inline]`

Add item to tree.

Parameters:

list	tree to add to
item	The item to add

Returns:: The AST node

void addTypeDefaultValue	(	const Ast::TypeSpec &	type,
		const Ast::Expr &	expr
	)		`[inline]`

Add default value for type.

Parameters:

type	The type
expr	The default value

Ast::Namespace& addUnitNamespace	(	Ast::Namespace &	ns,
		const z::string &	name
	)		`[inline]`

Add a child namespace to current namespace.

Parameters:

ns	The parent namespace
name	The namespace name

Returns:: The child namespace type

Ast::VariableDef& addVariableDef	(	const Ast::VariableDef::DefType &	defType,
		const Ast::QualifiedType &	type,
		const z::string &	name
	)		`[inline, private]`

Add AST node for variable definition in current scope.

Parameters:

defType	The definition type
type	The variable type
name	The variable name

Returns:: The AST node

Ast::VariableDef& addVariableDef ( Ast::VariableDef & vdef ) [inline, private]

Add AST node for variable definition in current scope.

Parameters:

vdef	The variable definition

Returns:: The AST node

Ast::VariableRef& addVariableDefToList	(	Ast::VariableRef &	vref,
		const zbl::TokenData &	name
	)		`[inline]`

Add child to variable reference list.

Parameters:

vref	The variable reference
name	The child reference

Returns:: The AST node

const Ast::QualifiedType& coerce	(	const Ast::QualifiedType &	lhs,
		const Ast::QualifiedType &	rhs
	)		`[inline, private]`

Coerce two types to one type if possible.

Parameters:

lhs	First type
rhs	Second type

Returns:: Coerced type

const Ast::Expr& convertToQueryConstant ( const Ast::Expr & expr ) [inline, private]

Convert an expression to a query constant.

Parameters:

expr	Expression to convert

Returns:: The AST node of the converted expression

Ast::BinaryExpr& createBinaryOpExpr	(	const Ast::Expr &	lhs,
		const z::string &	op,
		const Ast::Expr &	rhs
	)		`[inline]`

Create ternary expression.

Parameters:

lhs	The LHS expression
op	The operator
rhs	The RHS expression

Returns:: The AST node

Ast::BooleanConstantExpr& createBooleanConstantExpr ( const z::string & val ) [inline]

Create boolean constant expression.

Parameters:

val	The value of the constant

Returns:: The AST node

Ast::BreakStatement& createBreakStatement ( ) [inline]

Create break statement.

Returns:: The AST node

Ast::CallClosure& createCallClosure ( const Ast::Invoker & fcall ) [inline]

Create call closure.

Parameters:

fcall The invoker

Returns:: The AST node

Ast::CaseLabel& createCaseLabel	(	const Ast::Expr &	expr,
		const Ast::StatementList &	list
	)		`[inline]`

Create switch case label.

Parameters:

expr	The case expression
list	The statement list

Returns:: The AST node

const Ast::CastExpr& createCastExpr ( const Ast::Expr & expr ) [inline, private]

Create typecast expression.

Parameters:

expr	Value to be casted

Returns:: The AST node

Ast::CharConstantExpr& createCharConstantExpr ( const z::string & val ) [inline]

Create char constant expression.

Parameters:

val	The value of the constant

Returns:: The AST node

Ast::ClosureList& createClosureList ( Ast::Closure & closure ) [inline]

Create closure list.

Parameters:

closure Closure to add to list

Returns:: The AST node

Ast::ContinuationImplItem& createContinuationImplItem	(	Ast::ClosureList &	closureList,
		const Ast::ReturnClosure &	retnClosure
	)		`[inline]`

Create a continuation implementation item.

Parameters:

closureList	The list of closures in the list
retnClosure	The return closure

Returns:: The AST node of the continuation implementation item

Ast::ContinuationImplItem& createContinuationImplItem ( Ast::ClosureList & closureList ) [inline]

Create a continuation implementation item without a return closure.

Create a default return closure

Parameters:

closureList The list of closures in the list

Returns:: The AST node of the continuation implementation item

Ast::ContinueStatement& createContinueStatement ( ) [inline]

Create continue statement.

Returns:: The AST node

Ast::DefaultLabel& createDefaultLabel ( const Ast::StatementList & list ) [inline]

Create switch default label.

Parameters:

list	The statement list

Returns:: The AST node

Ast::ReturnClosure& createDefaultReturnClosure	(	const Ast::Closure::Type &	type,
		Ast::FunctionDef &	fdef
	)		`[inline]`

Create default return closure.

For continuations that do not have a return closure, create one with default values

Parameters:

type	Return type
fdef	Function definition to return from

Returns:: The AST node

Ast::DefineVarStatement& createDefineVarStatement ( Ast::InitVariableDef & vdef ) [inline]

Create local variable definition statement.

Parameters:

vdef	The variable definition

Returns:: The AST node

Ast::DictExpr& createDictExpr ( const Ast::DictList & list ) [inline]

Create dictionary expression.

Parameters:

list	The values list

Returns:: The AST node

Ast::DictItem& createDictItem	(	const Ast::Expr &	key,
		const Ast::Expr &	expr
	)		`[inline]`

Create dictionary item.

Parameters:

key	Key of item
expr	Value of item

Returns:: The AST node

Ast::DictList& createDictList ( ) [inline]

Create empty dictionary.

Returns:: The AST node

Ast::DictTemplate& createDictTemplate	(	const Ast::QualifiedType &	key,
		const Ast::QualifiedType &	type
	)		`[inline]`

Create dictionary type.

Parameters:

key	The type of the key
type	Type of contained element

Returns:: The AST node

Ast::DoWhileStatement& createDoWhileStatement	(	const Ast::Expr &	cond,
		const Ast::StatementList &	list
	)		`[inline]`

Create do-while statement.

Parameters:

cond	The condition expression
list	The statement list

Returns:: The AST node

Ast::EmptyStatement& createEmptyStatement ( ) [inline]

Create empty statement.

Returns:: The AST node

Ast::StatementList& createEmptyStatementList ( ) [inline]

Create empty statement list.

Returns:: AST node of statement list

Ast::EnumDef& createEnumDef	(	const Ast::TypeSpec::AccessType::T &	accessType,
		const z::string &	name,
		Ast::EnumMemberDefList &	defList
	)		`[inline]`

Create enum definition with list of variable definitions.

Parameters:

accessType	The access type
name	The enum name
defList	The member variable definition list

Returns:: The AST node

Ast::EnumMemberDef& createEnumMemberDef ( const zbl::TokenData & name ) [inline]

Create enum member definition with init value.

Parameters:

name	The member variable name

Returns:: The AST node

Ast::EnumMemberDef& createEnumMemberDefInit	(	const zbl::TokenData &	name,
		const bool &	hasInit,
		const Ast::Expr &	initExpr
	)		`[inline]`

Create enum member definition with init value.

Parameters:

name	The member variable name
hasInit	True if it has an initial value
initExpr	Initial value expression

Returns:: The AST node

Ast::EnumMemberDefList& createEnumMemberDefList ( ) [inline]

Create enum member definition list.

Returns:: The AST node

Ast::Expr& createEnumRefExpr	(	const Ast::TypeSpec &	typeSpec,
		const zbl::TokenData &	id
	)		`[inline]`

Create enum reference expression.

Parameters:

typeSpec	The enum reference
id	The member id.

Returns:: The AST node

Ast::ExitClosure& createExitClosure ( ) [inline]

Create exit closure.

Returns:: The AST node

Ast::ExprList& createExprList ( ) [inline]

Create expression list.

Returns:: The AST node

Ast::ExprStatement& createExprStatement ( const Ast::Expr & expr ) [inline]

Create expression statement.

Parameters:

expr	The expression

Returns:: The AST node

Ast::InitVariableDef& createForeachInitVariableDef	(	const Ast::VariableDef::DefType &	defType,
		const z::string &	name,
		const Ast::Expr &	expr
	)		`[inline]`

Create AST node for for-loop variable declaration without type specified.

Derives type of variable from the indexable type of the container. For example:

            foreach(x in mylist) {
            }

Here the type of x will be the type of the element contained in mylist.

Parameters:

defType	The definition type
name	Name of member
expr	The list variable

Returns:: The AST node

Ast::ForeachStatement& createForeachStatement	(	const Ast::InitVariableDef &	init,
		const Ast::StatementList &	list
	)		`[inline]`

Create foreach statement.

Parameters:

init	The initialization expression
list	The statement list

Returns:: The AST node

Ast::ForStatement& createForStatement	(	const Ast::InitVariableDef &	init,
		const Ast::Expr &	cond,
		const Ast::Expr &	incx,
		const Ast::StatementList &	list
	)		`[inline]`

Create for statement.

Parameters:

init	The initialization expression
cond	The condition expression
incx	The increment expression
list	The statement list

Returns:: The AST node

Ast::FunctionBlock& createFunctionBlock ( const Ast::StatementList & list ) [inline]

Create function block.

Parameters:

list	List of statements in block

Returns:: The AST node

Ast::FunctionCall& createFunctionCall ( const Ast::TypeSpec & typeSpec ) [inline]

Create function call invoker.

Parameters:

typeSpec The function def to invoke

Returns:: The AST node

Ast::FunctionCallClosure& createFunctionCallClosure	(	const zbl::TokenData &	name,
		const Ast::Invoker &	fcall
	)		`[inline]`

Create function call closure.

Parameters:

name	The variable name
fcall	The invoker

Returns:: The AST node

Ast::FunctionCallClosure& createFunctionCallClosure ( const Ast::Invoker & fcall ) [inline]

Create function call closure.

Parameters:

fcall The invoker

Returns:: The AST node

Ast::FunctionCallExpr& createFunctionCallExpr ( Ast::ContinuationImplItem & continuation ) [inline]

Create function call expression.

Parameters:

continuation The continuation representing the function call.

Returns:: The AST node

Ast::FunctionDefCall& createFunctionDefCall ( const Ast::ImplItem & item ) [inline]

Create function def invoker.

Parameters:

item	The implementation item to invoke

Returns:: The AST node

Ast::FunctionDefImplExpr& createFunctionDefImplExpr ( Ast::ImplItem & item ) [inline]

Create function definition implementation expression.

Parameters:

item	The function implementation

Returns:: The expression AST node

Ast::FunctionImplCall& createFunctionImplCall ( const Ast::ImplItem & item ) [inline]

Create function implementation invoker.

Parameters:

item	The implementation item to invoke

Returns:: The AST node

Ast::FunctionImplExpr& createFunctionImplExpr ( Ast::FunctionImplItem & item ) [inline]

Create function implementation expression.

Parameters:

item	The function implementation

Returns:: The expression AST node

Ast::TypeSpecStatement& createFunctionImplStatement ( const Ast::ImplItem & item ) [inline]

Create function implementation statement.

Parameters:

item	The implementation item

Returns:: The AST node

Ast::FunctionReturnStatement& createFunctionReturnStatement ( const Ast::ExprList & list ) [inline]

Create function return statement.

Parameters:

list	The return expression list

Returns:: The AST node

Ast::FunctorCall& createFunctorExprCall ( const Ast::Expr & expr ) [inline]

Create functor invoker.

Parameters:

expr	The functor object to invoke

Returns:: The AST node

Ast::FunctorCall& createFunctorObjectCall ( const Ast::VariableRef & vref ) [inline]

Create functor invoker.

Parameters:

vref	The variable reference to the functor

Returns:: The AST node

Ast::GrammarBlock& createGrammarBlock	(	const Ast::GrammarOptionList &	optList,
		const Ast::GrammarStatementList &	list,
		const Ast::GrammarLexerList &	lexList
	)		`[inline]`

Create grammar block.

Parameters:

optList	List of options in grammar block
list	List of rule statements in block
lexList	List of lexer in grammar block

Returns:: The AST node

Ast::GrammarLexerList& createGrammarLexerList ( ) [inline]

Create empty grammar lexer list.

Returns:: The AST node

Ast::GrammarMemberId& createGrammarMemberId ( const TokenData & name ) [inline]

Create grammar member id node.

Parameters:

name	member name

Returns:: The AST node

Ast::GrammarMemberList& createGrammarMemberList ( ) [inline]

Create empty grammar member list.

Returns:: The AST node

const Ast::VariableDef& createGrammarMemberNameDef ( const TokenData & name ) [inline]

Create grammar member name node.

Parameters:

name	member name token

Returns:: The AST node

Ast::GrammarMemberNameId& createGrammarMemberNameId	(	const TokenData &	name,
		const TokenData &	txt
	)		`[inline]`

Create grammar member node.

Parameters:

name	member name
txt	The member txt

Returns:: The AST node

Ast::GrammarOption& createGrammarOption	(	const TokenData &	name,
		const Ast::GrammarOptionValueList &	list
	)		`[inline]`

Create grammar option.

Parameters:

name	Option name
list	List of option values

Returns:: The AST node

Ast::GrammarOptionList& createGrammarOptionList ( ) [inline]

Create empty grammar option list.

Returns:: The AST node

Ast::GrammarOptionValueList& createGrammarOptionValueList ( const TokenData & value ) [inline]

Create grammar option list.

Parameters:

value Option value to add

Returns:: The AST node

Ast::GrammarStatementList& createGrammarStatementList ( ) [inline]

Create empty grammar statement list.

Returns:: The AST node

Ast::GrammarToken& createGrammarToken	(	const TokenData &	name,
		const TokenData &	txt,
		const bool &	isRex,
		const bool &	isNot
	)		`[inline]`

Create grammar token node.

Parameters:

name	Token name
txt	Token text
isRex	True if this is a regex token
isNot	True if this is a not token

Returns:: The AST node

Ast::GrammarTokenList& createGrammarTokenList ( ) [inline]

Create empty grammar token list.

Returns:: The AST node

Ast::IfElseStatement& createIfElseIfStatement	(	const Ast::Expr &	cond,
		const Ast::StatementList &	tlist,
		Ast::Statement &	fstmt
	)		`[inline]`

Create if-else-if ladder statement.

Parameters:

cond	The condition expression
tlist	The true statement list
fstmt	The else-if statement

Returns:: The AST node

Ast::IfElseStatement& createIfElseStatement	(	const Ast::Expr &	cond,
		const Ast::StatementList &	tlist,
		const Ast::StatementList &	flist
	)		`[inline]`

Create if-then-else statement.

Parameters:

cond	The condition expression
tlist	The true statement list
flist	The false statement list

Returns:: The AST node

Ast::IfThenStatement& createIfThenStatement	(	const Ast::Expr &	cond,
		const Ast::StatementList &	tlist
	)		`[inline]`

Create if-then statement.

Parameters:

cond	The condition expression
tlist	The true statement list

Returns:: The AST node

ImplT& createImplItemT	(	Ast::FunctionDef &	fdef,
		const BlockT &	block
	)		`[inline, private]`

Create implementation item.

Parameters:

fdef	The function definition
block	The function block

Returns:: The AST node

Ast::ImportStatement& createImportNamespace ( const z::string & name ) [inline]

Enters an import level.

Parameters:

name	The import file name

Returns:: The import statement

Ast::IndexExpr& createIndexExpr	(	const Ast::Expr &	expr,
		const Ast::Expr &	idx
	)		`[inline]`

Create index expression.

Parameters:

expr	The container expression
idx	The index expression

Returns:: The AST node

Ast::IndexExpr& createIndexKeyExpr	(	const Ast::Expr &	expr,
		const TokenData &	idx
	)		`[inline]`

Create index key expression.

Parameters:

expr	The container expression
idx	The index expression

Returns:: The AST node

Ast::InitVariableDef& createInitVariableDef	(	const Ast::VariableDef::DefType &	defType,
		const z::string &	name,
		const Ast::Expr &	expr
	)		`[inline]`

Create AST node for local variable declaration without type specified.

Parameters:

defType	The type
name	Name of member
expr	Init value

Returns:: The AST node

Ast::InitVariableDef& createInitVariableDefInit	(	const Ast::VariableDef::DefType &	defType,
		const Ast::QualifiedType &	type,
		const z::string &	name,
		const Ast::Expr &	expr
	)		`[inline]`

Create AST node for local variable declaration with type specified.

Parameters:

defType	The definition type
type	The type
name	Name of member
expr	Init value

Returns:: The AST node

Ast::InstanceExpr& createInstanceExpr	(	const Ast::TypeSpec &	typeSpec,
		const Ast::ExprList &	exprList
	)		`[inline]`

Create instance creation expression.

Creates an instance of different types like struct, function, list, etc

Parameters:

typeSpec	The struct type
exprList	The initialization value list

Returns:: The AST node

Ast::InternalCallExpr& createInternalCallExpr	(	const TokenData &	name,
		const Ast::ExprList &	exprList
	)		`[inline]`

Create internal function call expression.

Parameters:

name	Name of function
exprList	The function call argument value list

Returns:: The AST node

Ast::Invoker& createInvoker	(	const Ast::InvokerType &	invokerType,
		const Ast::ExprList &	exprList
	)		`[inline]`

Create invoker.

Parameters:

invokerType	The invocation type
exprList	The argument list

Returns:: The AST node

Ast::InvokerCallExpr& createInvokerCallExpr ( const Ast::Invoker & invoker ) [inline]

Create invoker call expression.

Parameters:

invoker The invoker to call

Returns:: The AST node

Ast::LexerStatementList& createLexerStatementList ( ) [inline]

Create empty lexer statement list.

Returns:: The AST node

Ast::ListExpr& createListExpr ( const Ast::ListList & list ) [inline]

Create list expression.

Parameters:

list	The values list

Returns:: The AST node

Ast::ListItem& createListItem ( const Ast::Expr & expr ) [inline]

Create list item.

Parameters:

expr	Value of item

Returns:: The AST node

Ast::ListList& createListList ( ) [inline]

Create empty list.

Returns:: The AST node

Ast::ListTemplate& createListTemplate ( const Ast::QualifiedType & type ) [inline]

Create list type.

Parameters:

type	Type of contained element

Returns:: The AST node

Ast::LogStatement& createLogStatement	(	const z::string &	name,
		const Ast::ExprList &	list
	)		`[inline]`

Create log statement.

Parameters:

name	Name of log target
list	The list of expressions to log

Returns:: The AST node

Ast::LoopClosure& createLoopClosure ( const Ast::Expr & expr ) [inline]

Create loop closure.

Parameters:

expr	Loop confition expression

Returns:: The AST node

Ast::CallClosure& createNamedCallClosure	(	const zbl::TokenData &	name,
		const Ast::Invoker &	fcall
	)		`[inline]`

Create named call closure.

Parameters:

name	The variable name
fcall	The invoker

Returns:: The AST node

Ast::NumericConstantExpr& createNumericConstantExpr	(	const z::string &	typestr,
		const z::string &	val
	)		`[inline]`

Create numeric constant expression.

Parameters:

typestr	The type of the constant
val	The value of the constant

Returns:: The AST node

Ast::OrderedExpr& createOrderedExpr ( const Ast::Expr & rhs ) [inline]

Create ordered expression.

Parameters:

rhs	The inner expression

Returns:: The AST node

Ast::QualifiedType& createOutParam ( const Ast::VariableDefMap & defList ) [inline]

Create AST node for out parameter.

Parameters:

defList The list of variable definitions in the out-parameter

Returns:: The AST node

Ast::OwnerTemplate& createOwnerTemplate ( const Ast::QualifiedType & type ) [inline]

Create owner type.

Parameters:

type	Type of contained element

Returns:: The AST node

Ast::ParamVariableDef& createParamVariableDef	(	const Ast::QualifiedType &	type,
		const z::string &	name
	)		`[inline]`

Create AST node for struct member without init value.

This function gets and uses default value for type

Parameters:

type	The type
name	Name of member

Returns:: The AST node

Ast::ParamVariableDef& createParamVariableDefInit	(	const Ast::QualifiedType &	type,
		const z::string &	name,
		const Ast::Expr &	expr
	)		`[inline]`

Create AST node for function in-parameter with init value.

Parameters:

type	The type
name	Name of member
expr	Init value

Returns:: The AST node

Ast::PostfixOpExpr& createPostfixOpExpr	(	const Ast::Expr &	lhs,
		const z::string &	op
	)		`[inline]`

Create postfix operator expression.

Parameters:

lhs	The operand
op	The prefix operator

Returns:: The AST node

Ast::PrefixOpExpr& createPrefixOpExpr	(	const z::string &	op,
		const Ast::Expr &	rhs
	)		`[inline]`

Create prefix operator expression.

Parameters:

op	The prefix operator
rhs	The operand

Returns:: The AST node

Ast::QualifiedType& createQualifiedType	(	const bool &	isConst,
		const Ast::TypeSpec &	type,
		const bool &	isRef
	)		`[inline]`

Create qualified type.

Parameters:

isConst	True if type is a const
type	The typespec
isRef	True if this should be a reference

Returns:: The qualified type

Ast::QueryExpr& createQueryExpr ( const Ast::Expr & expr ) [inline]

Create query expression.

Parameters:

expr	The query expression

Returns:: The AST node

Ast::QueryPartExpr& createQueryPartExpr	(	const Ast::Expr &	keyExpr,
		const Ast::Expr &	valExpr
	)		`[inline]`

Create query pair expression.

Parameters:

keyExpr	The key expression
valExpr	The value expression

Returns:: The AST node

Ast::QueryValExpr& createQueryValExpr ( ) [inline]

Create query value expression.

Returns:: The AST node

Ast::ReturnClosure& createReturnClosure	(	const Ast::Closure::Type &	type,
		const Ast::ExprList &	list
	)		`[inline]`

Create return closure.

Parameters:

type	Return type
list	List of values to return

Returns:: The AST node

Ast::RoutineBlock& createRoutineBlock ( Ast::StatementList & list ) [inline]

Create routine block.

Parameters:

list	List of statements in block

Returns:: The AST node

Ast::RoutineReturnStatement& createRoutineReturnStatement ( const Ast::Expr & expr ) [inline]

Create routine return statement.

Parameters:

expr	The return expression

Returns:: The AST node

Ast::RunClosure& createRunClosure ( ) [inline]

Create run closure.

Returns:: The AST node

Ast::SelectStatement& createSelectStatement ( const Ast::SwitchLabelList & list ) [inline]

Create select statement.

Parameters:

list	The label list

Returns:: The AST node

Ast::SharedClosure& createSharedClosure	(	const zbl::TokenData &	name,
		const Ast::SharedDef &	sharedList
	)		`[inline]`

Create shared closure.

Parameters:

name	The variable name
sharedList	The list of shared definitions

Returns:: The AST node

Ast::SharedDef& createSharedDef ( const Ast::VariableDefMap & defList ) [inline]

Create AST node for shared definition type.

Parameters:

defList The variable definition list

Returns:: The AST node

Ast::SharedVariableDef& createSharedExprDef	(	const zbl::TokenData &	name,
		const Ast::Expr &	expr
	)		`[inline]`

Create AST node for shared variable definition.

Parameters:

name	Name of member
expr	Init value

Returns:: The AST node

Ast::SharedVariableDef& createSharedMemberDef ( const Ast::VariableRef & vref ) [inline]

Create AST node for a member of a shared variable definition.

Parameters:

vref	Variable reference

Returns:: The AST node

Ast::SharedVariableDef& createSharedTypeExprDef	(	const Ast::QualifiedType &	qtype,
		const zbl::TokenData &	name,
		const Ast::Expr &	expr
	)		`[inline]`

Create AST node for shared variable definition.

Parameters:

qtype	The type
name	Name of member
expr	Init value

Returns:: The AST node

Ast::SharedVariableDef& createSharedVariableDef	(	const Ast::QualifiedType &	qtype,
		const z::string &	name,
		const Ast::Expr &	expr
	)		`[inline, private]`

Create AST node for shared variable definition.

Parameters:

qtype	The type
name	Name of member
expr	Init value

Returns:: The AST node

Ast::StatementBlock& createStatementBlock ( const Ast::StatementList & list ) [inline]

Create statement block.

Parameters:

list	The statement list

Returns:: The AST node

Ast::StringConstantExpr& createStringConstantExpr ( const zbl::TokenData & token ) [inline]

Create string constant expression.

Parameters:

token The string constant value

Returns:: The AST node

Ast::StringFormatExpr& createStringFormatExpr	(	const Ast::Expr &	format,
		const Ast::DictList &	list
	)		`[inline]`

Create string format expression.

Parameters:

format	The format expression
list	The values list

Returns:: The AST node

Ast::StructDefList& createStructDefList ( ) [inline]

Create AST node for struct definition list.

Returns:: The AST node

Ast::StructInitExpr& createStructInitEmptyExpr ( ) [inline]

Create empty struct initialization expression.

Returns:: The AST node

Ast::StructInitExpr& createStructInitExpr ( const Ast::StructInitList & initList ) [inline]

Create struct initialization expression.

Parameters:

initList The initialization list

Returns:: The AST node

Ast::StructInitItem& createStructInitItem	(	const zbl::TokenData &	name,
		const Ast::Expr &	expr
	)		`[inline]`

Create struct initializaton item.

Parameters:

name	Name of member to initialize
expr	The value to initialize with

Returns:: The AST node

Ast::StructInitList& createStructInitList ( ) [inline]

Create empty struct initialization item list.

Returns:: The AST node

Ast::StructMemberVariableDef& createStructVariableDef	(	const Ast::QualifiedType &	type,
		const z::string &	name
	)		`[inline]`

Create AST node for struct member without init value.

This function gets the default init value for the type and uses that.

Parameters:

type	The type
name	Name of member

Returns:: The AST node

Ast::StructMemberVariableDef& createStructVariableDefInit	(	const Ast::QualifiedType &	type,
		const z::string &	name,
		const Ast::Expr &	expr
	)		`[inline]`

Create AST node for struct member with init value.

Parameters:

type	The type
name	Name of member
expr	Init value

Returns:: The AST node

Ast::SwitchLabelList& createSwitchLabelList ( ) [inline]

Create empty switch label list.

Returns:: The AST node

Ast::SwitchStatement& createSwitchStatement	(	const Ast::Expr &	expr,
		const Ast::SwitchLabelList &	list
	)		`[inline]`

Create switch statement.

Parameters:

expr	The switch expression
list	The label list

Returns:: The AST node

Ast::TernaryOpExpr& createTernaryOpExpr	(	const Ast::Expr &	lhs,
		const z::string &	op1,
		const Ast::Expr &	rhs1,
		const z::string &	op2,
		const Ast::Expr &	rhs2
	)		`[inline]`

Create ternary expression.

Parameters:

lhs	The LHS expression
op1	The first operator
rhs1	The first RHS expression
op2	The second operator
rhs2	The second RHS expression

Returns:: The AST node

Ast::TreeExpr& createTreeExpr ( const Ast::DictList & list ) [inline]

Create tree expression.

Parameters:

list	The values list

Returns:: The AST node

Ast::DictItem& createTreeItem	(	const Ast::Expr &	key,
		const Ast::Expr &	expr
	)		`[inline]`

Create tree item.

Parameters:

key	Key of item
expr	Value of item

Returns:: The AST node

Ast::DictList& createTreeList ( ) [inline]

Create empty tree.

Returns:: The AST node

Ast::TypeDecl& createTypeDecl ( const TypeDefSig & sig ) [inline]

Create typedef declaration.

Parameters:

sig	The typedef signature

Returns:: The AST node

Ast::TypeDef& createTypeDef	(	const TypeDefSig &	sig,
		const Ast::QualifiedType &	type
	)		`[inline]`

Create typedef definition.

Parameters:

sig	The typedef signature
type	The target type

Returns:: The AST node

TypeDefSig createTypeDefSig	(	const Ast::TypeSpec::AccessType::T &	accessType,
		const zbl::TokenData &	name
	)		`[inline]`

Create typedef signature.

Parameters:

accessType	The access type
name	The typedef name

Returns:: The AST node

Ast::TypeSpecStatement& createTypeSpecStatement ( const Ast::TypeSpec & typeSpec ) [inline]

Create type definition statement.

Parameters:

typeSpec The type definition

Returns:: The AST node

const Ast::AnyExpr& createVarExpr ( const Ast::Expr & expr ) [inline, private]

Create 'any' type expression.

Parameters:

expr	Value of any instance

Returns:: The AST node

Ast::VariableDefMap& createVariableDefMap ( ) [inline]

Create AST node for variable definition map.

Returns:: The AST node

Ast::VariableRef& createVariableRef	(	const Ast::Storage::T &	storage,
		const Ast::VariableDef &	vdef
	)		`[inline]`

Create variable reference node.

Parameters:

storage	The storage type of the definition
vdef	The variable definition to refer to

Returns:: The AST node

Ast::VariableRef& createVariableRef ( const zbl::TokenData & name ) [inline]

Create variable reference node.

Parameters:

name The token

Returns:: The AST node

Ast::VariableRefExpr& createVariableRefExpr ( const Ast::VariableRef & vref ) [inline]

Create variable reference expression.

Parameters:

vref	The variable reference

Returns:: The AST node

Ast::WhileStatement& createWhileStatement	(	const Ast::Expr &	cond,
		const Ast::StatementList &	list
	)		`[inline]`

Create while statement.

Parameters:

cond	The condition expression
list	The statement list

Returns:: The AST node

Ast::WindowBlock& createWindowBlock ( Ast::FunctionBlock & functionBlock ) [inline]

Create window block.

Parameters:

functionBlock Function block fr this window definition

Returns:: The AST node

Ast::Scope& enterBlockScope ( ) [inline]

Enter block scope.

Returns:: The AST node

void enterCoertionList ( const Ast::TypeSpec & type ) [inline]

Enter coertion list.

Parameters:

type	Type to add to coertion list

Ast::Scope& enterContinuation ( ) [inline]

Leave continuation scope.

Returns:: The AST node

Ast::ChildTypeSpec& enterCurrentType ( Ast::ChildTypeSpec & type ) [inline]

Enter a type definition.

Pushes the type on the type stack in the current import frame

Parameters:

type	The type being defined

Returns:: Reference to type being defined

Ast::FunctionDef& enterFunction	(	const Ast::TypeSpec::AccessType::T &	accessType,
		Ast::QualifiedType &	out,
		const zbl::TokenData &	name,
		Ast::Scope &	in,
		const Ast::FunctionDef::Modifier::T &	modifier
	)		`[inline]`

Enter function definition with token name.

Parameters:

accessType	The access type
out	Out parameters
name	The typedef name
in	In-parameters
modifier	Function modifier

Returns:: The AST node

Ast::FunctionDef& enterFunctionImpl ( Ast::TypeSpec & type ) [inline]

Enter function implementation definition.

Parameters:

type	The function type being defined

Returns:: The function definiton AST node

Ast::FunctionDef& enterFunctionName	(	const Ast::TypeSpec::AccessType::T &	accessType,
		const Ast::QualifiedType &	out,
		const z::string &	name,
		Ast::Scope &	in,
		const Ast::FunctionDef::Modifier::T &	modifier
	)		`[inline]`

Enter function definition.

Parameters:

accessType	The access type
out	Out parameters
name	The typedef name
in	In-parameters
modifier	Function modifier

Returns:: The AST node

Ast::FunctionDef& enterGrammarRule	(	const TokenData &	name,
		Ast::Scope &	in
	)		`[inline]`

Create grammar rule function definition without an out parameter, and enter grammar rule block.

Defaults to int as an out parameter

Parameters:

name	The grammar rule name
in	The in parameter list

Returns:: The AST node

Ast::FunctionDef& enterGrammarRuleOut	(	Ast::QualifiedType &	out,
		const TokenData &	name,
		Ast::Scope &	in
	)		`[inline]`

Create grammar rule function definition with out parameter.

Parameters:

out	The out parameter
name	The grammar rule name
in	The in parameter list

Returns:: The AST node

void enterImport	(	const Ast::UserDefinedTypeSpec::NativeType &	ntype,
		const z::string &	fname
	)		`[inline]`

Push an import frame on the stack.

Parameters:

ntype	The native type for the import
fname	The import filename

Ast::Scope& enterInParamScope ( ) [inline]

Enter in-param scope.

Returns:: The AST node

Ast::FunctionDef& enterLexer	(	const TokenData &	name,
		Ast::Scope &	in
	)		`[inline]`

Enter lexer.

Parameters:

name	The lexer name
in	The in parameters

Returns:: The AST node

Ast::GrammarLexer& enterLexerState ( ) [inline]

Enter default lexer state.

Returns:: The AST node

Ast::GrammarLexer& enterLexerState ( const TokenData & name ) [inline]

Enter lexer state.

Parameters:

name	The lexer name

Returns:: The AST node

Ast::GrammarLexer& enterLexerState ( const z::string & name ) [inline, private]

Enter lexer state.

Parameters:

name	The lexer name

Returns:: The AST node

Ast::Scope& enterScope ( const Ast::Scope::Type & type ) [inline, private]

Enter scope.

Parameters:

type	Scope type

Returns:: The AST node

Ast::StatementList& enterStatementList ( Ast::Statement & stmt ) [inline]

Enter statement list scope.

Parameters:

stmt	First statement in list

Returns:: AST node of statement list

Ast::StructDef& enterStructDef	(	const Ast::TypeSpec::AccessType::T &	accessType,
		const z::string &	name
	)		`[inline]`

Enter struct definition.

Parameters:

accessType	The access type
name	The struct name

Returns:: The AST node

void enterStructInit ( const Ast::TypeSpec & typeSpec ) [inline]

Enter struct initialization.

Parameters:

typeSpec Type of struct being initialized

T& enterTypeSpec ( T & t ) [inline, private]

Enter type definition.

Parameters:

t The type

Returns:: The type AST node

Ast::TypeSpec& enterTypeSpecRef ( const zbl::TokenData & token ) [inline]

Enter type reference.

Parameters:

token The token representing the type reference to enter

Returns:: The entered type

Ast::Namespace& enterUnitNamespace ( const z::string & name ) [inline]

Enters a namespace in current unit.

Parameters:

name	The namespace name

Returns:: The child namespace type

z::string err ( ) const [inline]

Return an error string based on current token.

Returns:: The error string

z::string err ( const zbl::TokenData & token ) const [inline]

Return an error string based on specified token.

Parameters:

token Token where error was detected

Returns:: The error string

z::string err	(	const int &	line,
		const int &	col
	)		const `[inline, private]`

Return an error string.

Parameters:

line	Line number in unit
col	Column number in unit

Returns:: The error string

Ast::TypeSpec& getChildType	(	const Ast::TypeSpec &	parent,
		const zbl::TokenData &	name
	)		`[inline]`

Get child of specified parent.

Parameters:

parent	The parent type
name	Child name to search for

Returns:: The type if found, else 0

Ast::ChildTypeSpec& getCurrentType ( ) const [inline]

Get type being currently defined.

Returns:: Current type

Ast::Expr& getEnumRefExpr	(	const Ast::EnumDef &	enumRef,
		const z::string &	id
	)		`[inline, private]`

Create a expression node for reference to enum member.

Parameters:

enumRef	The enum reference
id	The enum member

Returns:: The expression node

const z::string& getFilename ( ) const [inline]

Get the name of the current file being compiled.

Returns:: Current file name

Ast::FunctionDef& getFunctionDef ( ) const [inline]

Get AST node for function definition type.

Returns:: The AST node

const Ast::VariableDef* getIdentifier	(	const z::string &	name,
		Ast::Storage::T &	storage
	)		const `[inline]`

Get AST node for variable definition type in current and higher scopes.

Parameters:

name	The variable name
storage	Return value reference for storage type where variable was found

Returns:: Pointer to the AST node if found, else 0

ImportFrame& getImportFrame ( ) [inline]

Get top-most import frame.

Returns:: Top most import frame

const ImportFrame& getImportFrame ( ) const [inline]

Get top-most import frame.

Returns:: Top most import frame

const Ast::QualifiedType& getInternalCallType	(	const TokenData &	name,
		const Ast::ExprList &	exprList
	)		`[inline]`

get return type of internal function call

For create(), it is the type of the contained item for every thing else it is void

Parameters:

name	Name of function
exprList	The function call argument value list

Returns:: The AST node

const Ast::UserDefinedTypeSpec::NativeType& getNativeType ( ) const [inline]

Get native type of top-most import frame.

Returns:: Native type of top most import frame

const zbl::TokenData& getNullToken ( ) const [inline]

Return reference to null token.

Used by parser.

Returns:: Reference to null token

Ast::ChildTypeSpec& getParent ( Ast::ChildTypeSpec & child ) [inline, private]

Get parent of specified type.

Parameters:

child The type whose parent to get

Returns:: The parent type

Ast::ChildTypeSpec* getParent ( Ast::ChildTypeSpec * child ) [inline, private]

Get parent of specified type.

Parameters:

child The type whose parent to get

Returns:: The parent type

Ast::QualifiedType& getQualifiedType ( const z::string & name ) [inline, private]

Create or get standard qualified type.

This function checks if the specified type exists in the map, and if not creates it and returns a reference to it.

Parameters:

name	Name of qualified type

Returns:: The qualified type

const Ast::TypeSpec* getTarget	(	const Ast::QualifiedType &	lhs,
		const Ast::QualifiedType &	rhs
	)		`[inline, private]`

Get the target for a coertion.

Parameters:

lhs	Type to map from
rhs	Type to map to

Returns:: Final mapping

const Ast::Expr& getTypeDefaultValue ( const Ast::TypeSpec & type ) [inline]

Get default value for type.

Parameters:

type The type

Returns:: The default value node

int getTypeIndex ( const Ast::QualifiedType & type ) const [inline, private]

Get int index of specified type in the coertion list.

Parameters:

type The type

Returns:: The index

Ast::TypeSpec* hasChildType	(	const Ast::TypeSpec &	parent,
		const z::string &	name
	)		`[inline]`

Check if type has specified child.

Parameters:

parent	The parent type
name	Child name to search for

Returns:: The type if found, else 0

const Ast::VariableDef* hasMember	(	const Ast::VariableDef &	vd,
		const zbl::TokenData &	name
	)		const `[inline, private]`

Check if a variable has specified member variable.

Parameters:

vd	The variable definition to check
name	The member to check

Returns:: The variable definition if found, else 0

Ast::TypeSpec* hasRootType ( const z::string & name ) [inline]

Search for type.

Given a type, this function searches for it in current type, then parent type and so on until it reaches the root type. Then search the imported types.

Parameters:

name	Type name to search for

Returns:: The type if found, else 0

const Ast::VariableDef* hasUdtMember	(	const Ast::UserDefinedTypeSpec &	udt,
		const z::string &	name
	)		const `[inline, private]`

Check if given UDT has specified member variable.

Parameters:

udt	The UDT to check
name	The member to check

Returns:: The variable definition if found, else 0

void importHeader	(	Ast::ImportStatement &	stmt,
		const Ast::ImportStatement::Type &	type
	)		`[inline]`

Imports a file.

Parameters:

stmt	The import statement
type	The import type

void importHeaderFile	(	const Ast::ImportStatement &	stmt,
		const Ast::ImportStatement::Type &	type
	)		`[private]`

Compiles a import file.

This function is implemented in Compiler.cpp because the import should be done through the compiler instance

Parameters:

stmt	The import statement
type	The import type

bool inImport ( ) const [inline]

Check if parser is currently in an import file.

Returns:: True if parser is currently in an import file, else false

bool isAny ( const Ast::QualifiedType & rhs ) [inline, private]

Check if specified type is of 'any' type.

Parameters:

rhs	The type to check

Returns:: True if it is of any type, else false

bool isQueryType ( const Ast::QualifiedType & type ) [inline, private]

Check if expression is a query type.

Parameters:

type	The query type

Returns:: True if type is of query type, else false

Ast::ContinuationImplItem& leaveContinuation ( Ast::ContinuationImplItem & continuation ) [inline]

Leave continuation scope.

Parameters:

continuation The continuation implementation item

Returns:: The continuation implementation item

Ast::ChildTypeSpec& leaveCurrentType ( Ast::ChildTypeSpec & type ) [inline]

Exit a type definition.

Pops the type from the type stack

Parameters:

type	The type being defined

Returns:: Reference to type being defined

Ast::FunctionDef& leaveFunction ( Ast::FunctionDef & fdef ) [inline]

Enter function definition.

Parameters:

fdef	Function modifier

Returns:: The AST node

Ast::FunctionImplItem& leaveFunctionDef	(	Ast::FunctionDef &	fdef,
		const Ast::FunctionBlock &	block
	)		`[inline]`

Leave function implementation definition.

Parameters:

fdef	The function definition
block	The function block

Returns:: The AST node

Ast::FunctionImplItem& leaveFunctionImpl	(	Ast::FunctionDef &	fdef,
		Ast::FunctionBlock &	block
	)		`[inline]`

Leave function implementation definition.

Parameters:

fdef	The function definition
block	The function block

Returns:: The AST node

ImplT& leaveFunctionT	(	Ast::FunctionDef &	fdef,
		const BlockT &	block
	)		`[inline, private]`

Create function implementation item.

Parameters:

fdef	The function definition
block	The function block

Returns:: The AST node

Ast::GrammarImplItem& leaveGrammarDef	(	Ast::FunctionDef &	fdef,
		const Ast::GrammarBlock &	block
	)		`[inline]`

Leave grammar implementation definition.

Parameters:

fdef	The grammar definition
block	The grammar block

Returns:: The AST node

Ast::GrammarRuleStatement& leaveGrammarRule	(	Ast::FunctionDef &	fdef,
		const Ast::GrammarMemberList &	list
	)		`[inline]`

Leave grammar rule block without statement list.

Statement block defaults to a single "return true;" statement.

Parameters:

fdef	The function def for the grammar rule block
list	The grammar member list

Returns:: The AST node

Ast::GrammarRuleStatement& leaveGrammarRuleBlock	(	Ast::FunctionDef &	fdef,
		const Ast::GrammarMemberList &	list,
		const Ast::StatementList &	stmtList
	)		`[inline]`

Leave grammar rule block.

Parameters:

fdef	The function def for the grammar rule block
list	The grammar member list
stmtList	The list of statements in the block

Returns:: The AST node

Ast::LexerStatement& leaveLexer	(	Ast::FunctionDef &	fdef,
		const Ast::GrammarTokenList &	list
	)		`[inline]`

Leave lexer without a statement list.

Parameters:

fdef	The function def for the lexer block
list	The token list

Returns:: The AST node

Ast::LexerStatement& leaveLexer	(	Ast::FunctionDef &	fdef,
		const Ast::GrammarTokenList &	list,
		const Ast::StatementList &	stmtList
	)		`[inline]`

Leave lexer.

Parameters:

fdef	The function def for the lexer block
list	The token list
stmtList	The statement list

Returns:: The AST node

Ast::GrammarLexer& leaveLexerState	(	Ast::GrammarLexer &	lexer,
		Ast::LexerStatementList &	list
	)		`[inline]`

Leave lexer state.

Parameters:

lexer	The elxer to exit
list	The list of statements in the lexer action

Returns:: The AST node

Ast::RoutineImplItem& leaveRoutineDef	(	Ast::FunctionDef &	fdef,
		const Ast::RoutineBlock &	block
	)		`[inline]`

Leave routine implementation definition.

Parameters:

fdef	The routine definition
block	The routine block

Returns:: The AST node

void leaveScope ( const Ast::Scope::Type & type ) [inline, private]

Leave scope.

Parameters:

type	Scope type

Ast::StatementList& leaveStatementList ( Ast::StatementList & list ) [inline]

Leave statement list scope.

Parameters:

list	Statement list

Returns:: AST node of statement list

Ast::StructDef& leaveStructDef ( Ast::StructDef & structDef ) [inline]

Leave struct definition.

Parameters:

structDef The struct definition

Returns:: The AST node

Ast::StructDef& leaveStructDefList	(	Ast::StructDef &	structDef,
		const Ast::VariableDefMap &	defList,
		const Ast::StructDefList &	subTypeList
	)		`[inline]`

Leave struct definition with list of variable and subtype definitions.

Parameters:

structDef	The struct definition
defList	The member variable definition list
subTypeList	The sub-type definition list

Returns:: The AST node

T& leaveTypeSpec ( T & t ) [inline, private]

Leave type definition.

Parameters:

t The type

Returns:: The type AST node

Ast::TypeSpec& leaveTypeSpecRef ( Ast::TypeSpec & typeSpec ) [inline]

Leave type reference.

Parameters:

typeSpec The type reference to leave

Returns:: The type

void leaveUnitNamespace ( Ast::Namespace & ns ) [inline]

Leave current namespace.

Parameters:

ns	The namespace type to exit

Ast::WindowImplItem& leaveWindowDef	(	Ast::FunctionDef &	fdef,
		const Ast::WindowBlock &	block
	)		`[inline]`

Leave window implementation definition.

Parameters:

fdef	The window definition
block	The window block

Returns:: The AST node

void setProjectDef ( const Ast::StructInitExpr & expr ) [inline]

When parsing a project file, set the root expression.

Parameters:

expr	Project initialization expression

void setTokenPos	(	const int &	line,
		const int &	col
	)		`[inline]`

Set the current token position.

Parameters:

line	The line number
col	The column number

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

/home/renji/Data/projects/zenlang/sources/zbl/ParseContext.hpp
/home/renji/Data/projects/zenlang/sources/zbl/Compiler.cpp

ParseContext Class Reference

Classes

Public Types

Public Member Functions

Public Attributes

Private Types

Private Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation