|
/**
|
|
*
|
|
* OOAS Compiler - C++ AST
|
|
*
|
|
* Copyright 2015, AIT Austrian Institute of Technology.
|
|
* All rights reserved.
|
|
*
|
|
* SEE THE "LICENSE" FILE FOR THE TERMS UNDER WHICH THIS FILE IS PROVIDED.
|
|
*
|
|
* If you modify the file please update the list of contributors below to in-
|
|
* clude your name. Please also stick to the coding convention of using TABs
|
|
* to do the basic (block-level) indentation and spaces for anything after
|
|
* that. (Enable the display of special chars and it should be pretty obvious
|
|
* what this means.) Also, remove all trailing whitespace.
|
|
*
|
|
* Contributors:
|
|
* Willibald Krenn (AIT)
|
|
* Stephan Zimmerer (AIT)
|
|
* Christoph Czurda (AIT)
|
|
*
|
|
*/
|
|
|
|
|
|
|
|
|
|
#pragma once
|
|
|
|
#include <base/TiresiasObject.hpp>
|
|
#include <ast/AstElement.hpp>
|
|
#include <cstdint>
|
|
#include <base/Exceptions.hpp>
|
|
|
|
namespace Ast {
|
|
|
|
/**
|
|
* You must not change the assigned values as this
|
|
* needs to be kept in sync with the definitions in Argos!
|
|
*/
|
|
enum class StatementKind : std::uint8_t {
|
|
GuardedCommand = 0,
|
|
Call = 1,
|
|
Assignment = 2,
|
|
SeqBlock = 3,
|
|
NondetBlock = 4,
|
|
PrioBlock = 5,
|
|
Skip = 6,
|
|
Abort = 7,
|
|
Kill = 8,
|
|
QualConstraint = 9,
|
|
Break = 10,
|
|
STATEMENTKIND_LAST_ITEM = Break
|
|
};
|
|
|
|
#define STATEMENTKIND_NR_ITEMS ((std::uint8_t)StatementKind::STATEMENTKIND_LAST_ITEM + 1)
|
|
|
|
|
|
class Statement:
|
|
public AstElement
|
|
{
|
|
protected:
|
|
typedef Statement* (*ConstrPtr)();
|
|
typedef Statement* (*CopyConstrPtr)(const Statement& toCopy);
|
|
|
|
StatementKind m_kind;
|
|
std::int32_t m_line;
|
|
std::int32_t m_pos;
|
|
|
|
Statement(StatementKind kind):
|
|
AstElement(AstNodeTypeEnum::statement),
|
|
m_kind(kind),
|
|
m_line(-1),
|
|
m_pos(-1)
|
|
{};
|
|
|
|
Statement(const Statement& toCopy):
|
|
AstElement(AstNodeTypeEnum::statement),
|
|
m_kind(toCopy.m_kind),
|
|
m_line(toCopy.m_line),
|
|
m_pos(toCopy.m_pos)
|
|
{}
|
|
|
|
static Base::FuncPtr s_stmntVmt [2][STATEMENTKIND_NR_ITEMS];
|
|
static Statement* createVirtual(StatementKind aType); // virtual constructor used by Ast
|
|
static Statement* createVirtual(const Statement& toCopy); // virtual copy constructor used by Ast
|
|
public:
|
|
friend class Ast;
|
|
|
|
void init(std::int32_t line, std::int32_t col) {
|
|
m_line = line;
|
|
m_pos = col;
|
|
}
|
|
|
|
StatementKind kind() const {return m_kind;}
|
|
std::int32_t line() const {return m_line;};
|
|
std::int32_t pos() const {return m_pos;};
|
|
|
|
void accept(IAstVisitor& visitor) override;
|
|
std::string toString() const {
|
|
std::string result = "Stmnt ";
|
|
result += std::to_string((std::uint32_t) m_kind );
|
|
result += " at ";
|
|
result += std::to_string(m_line);
|
|
result += ":";
|
|
result += std::to_string(m_pos);
|
|
return result;
|
|
}
|
|
};
|
|
}
|