skips over the remaining expressions for the loop body and begins the next loop evaluation. The `break` keyword
breaks out of the loop.
+## <a id="throw"></a> Exceptions
+
+Built-in commands may throw exceptions to signal errors such as invalid arguments. User scripts can throw exceptions
+using the `throw` keyword.
+
+Example:
+
+ throw "An error occurred."
+
+There is currently no way for scripts to catch exceptions.
+
## <a id="types"></a> Types
All values have a static type. The `typeof` function can be used to determine the type of a value:
if return T_IF;
else return T_ELSE;
while return T_WHILE;
+throw return T_THROW;
=\> return T_FOLLOWS;
\<\< return T_SHIFT_LEFT;
\>\> return T_SHIFT_RIGHT;
%token T_IF "if (T_IF)"
%token T_ELSE "else (T_ELSE)"
%token T_WHILE "while (T_WHILE)"
+%token T_THROW "throw (T_THROW)"
%token T_FOLLOWS "=> (T_FOLLOWS)"
%token T_NULLARY_LAMBDA_BEGIN "{{ (T_NULLARY_LAMBDA_BEGIN)"
%token T_NULLARY_LAMBDA_END "}} (T_NULLARY_LAMBDA_END)"
$$ = new WhileExpression($3, $5, @$);
}
+ | T_THROW rterm
+ {
+ $$ = new ThrowExpression($2, @$);
+ }
| rterm_side_effect
;
ConfigCompiler::~ConfigCompiler(void)
{
DestroyScanner();
- delete m_Input;
}
/**
Utility::LoadExtensionLibrary(library);
}
-void ConfigCompiler::CompileHelper(void)
-{
- try {
- m_Promise.set_value(boost::shared_ptr<Expression>(Compile()));
- } catch (...) {
- m_Promise.set_exception(boost::current_exception());
- }
-
- delete this;
-}
-
/**
* Compiles a stream.
*
stream->exceptions(std::istream::badbit);
- ConfigCompiler* ctx = new ConfigCompiler(path, stream, zone);
-
- boost::shared_future<boost::shared_ptr<Expression> > ftr = boost::shared_future<boost::shared_ptr<Expression> >(ctx->m_Promise.get_future());
+ ConfigCompiler ctx(path, stream, zone);
- Utility::QueueAsyncCallback(boost::bind(&ConfigCompiler::CompileHelper, ctx));
- return new FutureExpression(ftr);
+ try {
+ return ctx.Compile();
+ } catch (const ScriptError& ex) {
+ return new ThrowExpression(MakeLiteral(ex.what()), ex.GetDebugInfo());
+ } catch (const std::exception& ex) {
+ return new ThrowExpression(MakeLiteral(DiagnosticInformation(ex)));
+ }
}
/**
{
CONTEXT("Compiling configuration file '" + path + "'");
- std::ifstream *stream = new std::ifstream();
- stream->open(path.CStr(), std::ifstream::in);
+ std::ifstream stream(path.CStr(), std::ifstream::in);
- if (!*stream)
+ if (!stream)
BOOST_THROW_EXCEPTION(posix_error()
<< boost::errinfo_api_function("std::ifstream::open")
<< boost::errinfo_errno(errno)
Log(LogInformation, "ConfigCompiler")
<< "Compiling config file: " << path;
- return CompileStream(path, stream, zone);
+ return CompileStream(path, &stream, zone);
}
/**
*/
Expression *ConfigCompiler::CompileText(const String& path, const String& text, const String& zone)
{
- std::stringstream *stream = new std::stringstream(text);
- return CompileStream(path, stream, zone);
+ std::stringstream stream(text);
+ return CompileStream(path, &stream, zone);
}
/**
void InitializeScanner(void);
void DestroyScanner(void);
- void CompileHelper(void);
+ void HandleIncludeZone(const String& tag, const String& path, const String& pattern, std::vector<Expression *>& expressions);
public:
bool m_Eof;
}
}
+ExpressionResult ThrowExpression::DoEvaluate(ScriptFrame& frame, DebugHint *dhint) const
+{
+ ExpressionResult messageres = m_Message->Evaluate(frame);
+ CHECK_RESULT(messageres);
+ Value message = messageres.GetValue();
+ BOOST_THROW_EXCEPTION(ScriptError(message, m_DebugInfo));
+}
+
ExpressionResult ImportExpression::DoEvaluate(ScriptFrame& frame, DebugHint *dhint) const
{
String type = VMOps::GetField(frame.Self, "type", m_DebugInfo);
boost::shared_ptr<Expression> m_Expression;
};
-class I2_CONFIG_API FutureExpression : public Expression
-{
-public:
- FutureExpression(const boost::shared_future<boost::shared_ptr<Expression> >& future)
- : m_Future(future)
- { }
-
-protected:
- virtual ExpressionResult DoEvaluate(ScriptFrame& frame, DebugHint *dhint) const
- {
- return m_Future.get()->DoEvaluate(frame, dhint);
- }
-
- virtual const DebugInfo& GetDebugInfo(void) const
- {
- return m_Future.get()->GetDebugInfo();
- }
-
-private:
- mutable boost::shared_future<boost::shared_ptr<Expression> > m_Future;
-};
-
class I2_CONFIG_API LiteralExpression : public Expression
{
public:
I2_CONFIG_API void BindToScope(Expression *& expr, ScopeSpecifier scopeSpec);
+class I2_CONFIG_API ThrowExpression : public DebuggableExpression
+{
+public:
+ ThrowExpression(Expression *message, const DebugInfo& debugInfo = DebugInfo())
+ : DebuggableExpression(debugInfo), m_Message(message)
+ { }
+
+ ~ThrowExpression(void)
+ {
+ delete m_Message;
+ }
+
+protected:
+ virtual ExpressionResult DoEvaluate(ScriptFrame& frame, DebugHint *dhint) const;
+
+private:
+ Expression *m_Message;
+};
+
class I2_CONFIG_API ImportExpression : public DebuggableExpression
{
public: