YStatement.h

Go to the documentation of this file.

/*---------------------------------------------------------*- c++ -*---\
|                                                                      |
|                      __   __    ____ _____ ____                      |
|                      \ \ / /_ _/ ___|_   _|___ \                     |
|                       \ V / _` \___ \ | |   __) |                    |
|                        | | (_| |___) || |  / __/                     |
|                        |_|\__,_|____/ |_| |_____|                    |
|                                                                      |
|                               core system                            |
|                                                        (C) SuSE GmbH |
\----------------------------------------------------------------------/

   File:        YStatement.h

   Author:      Klaus Kaempf <kkaempf@suse.de>
                Stanislav Visnovsky <visnov@suse.cz>
   Maintainer:  Stanislav Visnovsky <visnov@suse.cz>

/-*/
// -*- c++ -*-

#ifndef YStatement_h
#define YStatement_h

#include <string>
using std::string;

#include "ycp/YCode.h"
#include "ycp/SymbolTable.h"
#include "ycp/YSymbolEntry.h"
#include "ycp/Import.h"
#include "ycp/ycpless.h"

class YBlock;           // forward declaration for YDo, YRepeat

//-------------------------------------------------------------------

// FIXME bad inheritance
DEFINE_DERIVED_POINTER(YStatement, YCode);
DEFINE_DERIVED_POINTER(YSBreak, YCode);
DEFINE_DERIVED_POINTER(YSContinue, YCode);
DEFINE_DERIVED_POINTER(YSExpression, YCode);
DEFINE_DERIVED_POINTER(YSBlock, YCode);
DEFINE_DERIVED_POINTER(YSReturn, YCode);
DEFINE_DERIVED_POINTER(YSTypedef, YCode);
DEFINE_DERIVED_POINTER(YSFunction, YCode);
DEFINE_DERIVED_POINTER(YSAssign, YCode);
DEFINE_DERIVED_POINTER(YSVariable, YCode);
DEFINE_DERIVED_POINTER(YSBracket, YCode);
DEFINE_DERIVED_POINTER(YSIf, YCode);
DEFINE_DERIVED_POINTER(YSWhile, YCode);
DEFINE_DERIVED_POINTER(YSRepeat, YCode);
DEFINE_DERIVED_POINTER(YSDo, YCode);
DEFINE_DERIVED_POINTER(YSTextdomain, YCode);
DEFINE_DERIVED_POINTER(YSInclude, YCode);
DEFINE_DERIVED_POINTER(YSImport, YCode);
DEFINE_DERIVED_POINTER(YSFilename, YCode);
DEFINE_DERIVED_POINTER(YSSwitch, YCode);

//-------------------------------------------------------------------
class YStatement : public YCode
{
    REP_BODY(YStatement);
    int m_line;                                 // line number
public:
    YStatement (int line = 0);
    YStatement (bytecodeistream & str);
    ~YStatement () {};
    virtual string toString () const;
    std::ostream & toStream (std::ostream & str) const;
    std::ostream & toXml (std::ostream & str, int indent ) const;
    virtual bool isStatement () const { return true; }
    int line () const { return m_line; };
    virtual YCPValue evaluate (bool cse = false);
    constTypePtr type () const { return Type::Void; };
};


//-------------------------------------------------------------------
class YSBreak : public YStatement
{
    REP_BODY(YSBreak);
public:
    YSBreak (int line = 0);             // statement
    YSBreak (bytecodeistream & str);
    virtual ykind kind () const { return ysBreak; }
    string toString () const;
    std::ostream & toStream (std::ostream & str) const;
    std::ostream & toXml (std::ostream & str, int indent ) const;
    YCPValue evaluate (bool cse = false);
};


//-------------------------------------------------------------------
class YSContinue : public YStatement
{
    REP_BODY(YSContinue);
public:
    YSContinue (int line = 0);          // statement
    YSContinue (bytecodeistream & str);
    virtual ykind kind () const { return ysContinue; }
    string toString () const;
    std::ostream & toStream (std::ostream & str) const;
    std::ostream & toXml (std::ostream & str, int indent ) const;
    YCPValue evaluate (bool cse = false);
};


//-------------------------------------------------------------------
class YSExpression : public YStatement
{
    REP_BODY(YSExpression);
    YCodePtr m_expr;
public:
    YSExpression (YCodePtr expr, int line = 0);         // statement
    YSExpression (bytecodeistream & str);
    ~YSExpression ();
    virtual ykind kind () const { return ysExpression; }
    string toString () const;
    std::ostream & toStream (std::ostream & str) const;
    std::ostream & toXml (std::ostream & str, int indent ) const;
    YCPValue evaluate (bool cse = false);
    constTypePtr type () const { return Type::Void; };
};


//-------------------------------------------------------------------
class YSBlock : public YStatement
{
    REP_BODY(YSBlock);
    YBlockPtr m_block;
public:
    YSBlock (YBlockPtr block, int line = 0);
    YSBlock (bytecodeistream & str);
    ~YSBlock ();
    virtual ykind kind () const { return ysBlock; }
    string toString () const;
    std::ostream & toStream (std::ostream & str) const;
    std::ostream & toXml (std::ostream & str, int indent ) const;
    YCPValue evaluate (bool cse = false);
    constTypePtr type () const { return Type::Void; };
};


//-------------------------------------------------------------------
class YSReturn : public YStatement
{
    REP_BODY(YSReturn);
    YCodePtr m_value;
public:
    YSReturn (YCodePtr value, int line = 0);
    YSReturn (bytecodeistream & str);
    ~YSReturn ();
    virtual ykind kind () const { return ysReturn; }
    void propagate (constTypePtr from, constTypePtr to);
    YCodePtr value () const;    // needed in YBlock::justReturn
    void clearValue ();         // needed if justReturn triggers
    string toString () const;
    std::ostream & toStream (std::ostream & str) const;
    std::ostream & toXml (std::ostream & str, int indent ) const;
    YCPValue evaluate (bool cse = false);
    constTypePtr type () const { return Type::Void; };
};


//-------------------------------------------------------------------
class YSTypedef : public YStatement
{
    REP_BODY(YSTypedef);
    Ustring m_name;             // name
    constTypePtr m_type;        // type
public:
    YSTypedef (const string &name, constTypePtr type, int line = 0);    // Typedef
    YSTypedef (bytecodeistream & str);
    ~YSTypedef () {};
    virtual ykind kind () const { return ysTypedef; }
    string toString() const;
    std::ostream & toStream (std::ostream & str) const;
    std::ostream & toXml (std::ostream & str, int indent ) const;
    YCPValue evaluate (bool cse = false);
    constTypePtr type () const { return Type::Void; };
};


//-------------------------------------------------------------------
class YSFunction : public YStatement
{
    REP_BODY(YSFunction);
    // the functions' symbol, it's code is this YSFunction !
    YSymbolEntryPtr m_entry;

public:
    YSFunction (YSymbolEntryPtr entry, int line = 0);
    YSFunction (bytecodeistream & str);
    ~YSFunction ();
    virtual ykind kind () const { return ysFunction; }

    // symbol entry of function itself
    SymbolEntryPtr entry () const;

    // access to function definition
    YFunctionPtr function () const;

    string toString () const;
    std::ostream & toStream (std::ostream & str) const;
    std::ostream & toXml (std::ostream & str, int indent ) const;
    YCPValue evaluate (bool cse = false);
    constTypePtr type () const { return Type::Void; };
};


//-------------------------------------------------------------------
class YSAssign : public YStatement
{
    REP_BODY(YSAssign);
protected:
    SymbolEntryPtr m_entry;
    YCodePtr m_code;
public:
    YSAssign (SymbolEntryPtr entry, YCodePtr code, int line = 0);
    YSAssign (bytecodeistream & str);
    ~YSAssign ();
    virtual ykind kind () const { return ysAssign; }
    string toString () const;
    std::ostream & toStream (std::ostream & str) const;
    std::ostream & toXml (std::ostream & str, int indent ) const;
    YCPValue evaluate (bool cse = false);
};


//-------------------------------------------------------------------
class YSVariable : public YSAssign
{
    REP_BODY(YSVariable);
public:
    YSVariable (SymbolEntryPtr entry, YCodePtr code, int line = 0);
    YSVariable (bytecodeistream & str);
    ~YSVariable ();
    virtual ykind kind () const { return ysVariable; }
    string toString () const;
};


//-------------------------------------------------------------------
class YSBracket : public YStatement
{
    REP_BODY(YSBracket);
    SymbolEntryPtr m_entry;
    YCodePtr m_arg;
    YCodePtr m_code;
public:
    YSBracket (SymbolEntryPtr entry, YCodePtr arg, YCodePtr code, int line = 0);
    YSBracket (bytecodeistream & str);
    ~YSBracket ();
    virtual ykind kind () const { return ysBracket; }
    string toString () const;
    std::ostream & toStream (std::ostream & str) const;
    std::ostream & toXml (std::ostream & str, int indent ) const;
    // recursively extract list arg at idx, get value from current at idx
    // and replace with value. re-generating the list/map/term during unwind
    YCPValue commit (YCPValue current, int idx, YCPList arg, YCPValue value);
    YCPValue evaluate (bool cse = false);
    constTypePtr type () const { return Type::Void; };
};


//-------------------------------------------------------------------
class YSIf : public YStatement
{
    REP_BODY(YSIf);
    YCodePtr m_condition;               // bool expr
    YCodePtr m_true;            // true statement/block
    YCodePtr m_false;           // false statement/block
public:
    YSIf (YCodePtr a_expr, YCodePtr a_true, YCodePtr a_false, int line = 0);
    YSIf (bytecodeistream & str);
    ~YSIf ();
    virtual ykind kind () const { return ysIf; }
    string toString () const;
    std::ostream & toStream (std::ostream & str) const;
    std::ostream & toXml (std::ostream & str, int indent ) const;
    YCPValue evaluate (bool cse = false);
    constTypePtr type () const { return Type::Void; };
};


//-------------------------------------------------------------------
class YSWhile : public YStatement
{
    REP_BODY(YSWhile);
    YCodePtr m_condition;               // bool expr
    YCodePtr m_loop;            // loop statement

public:
    YSWhile (YCodePtr expr, YCodePtr loop, int line = 0);
    YSWhile (bytecodeistream & str);
    ~YSWhile ();
    virtual ykind kind () const { return ysWhile; }
    string toString () const;
    std::ostream & toStream (std::ostream & str) const;
    std::ostream & toXml (std::ostream & str, int indent ) const;
    YCPValue evaluate (bool cse = false);
    constTypePtr type () const { return Type::Void; };
};


//-------------------------------------------------------------------
class YSRepeat : public YStatement
{
    REP_BODY(YSRepeat);
    YCodePtr m_loop;            // loop statement
    YCodePtr m_condition;               // bool expr

public:
    YSRepeat (YCodePtr loop, YCodePtr expr, int line = 0);
    YSRepeat (bytecodeistream & str);
    ~YSRepeat ();
    virtual ykind kind () const { return ysRepeat; }
    string toString () const;
    std::ostream & toStream (std::ostream & str) const;
    std::ostream & toXml (std::ostream & str, int indent ) const;
    YCPValue evaluate (bool cse = false);
    constTypePtr type () const { return Type::Void; };
};


//-------------------------------------------------------------------
class YSDo : public YStatement
{
    REP_BODY(YSDo);
    YCodePtr m_loop;            // loop statement
    YCodePtr m_condition;               // bool expr

public:
    YSDo (YCodePtr loop, YCodePtr expr, int line = 0);
    YSDo (bytecodeistream & str);
    ~YSDo ();
    virtual ykind kind () const { return ysDo; }
    string toString () const;
    std::ostream & toStream (std::ostream & str) const;
    std::ostream & toXml (std::ostream & str, int indent ) const;
    YCPValue evaluate (bool cse = false);
    constTypePtr type () const { return Type::Void; };
};


//-------------------------------------------------------------------
class YSTextdomain : public YStatement
{
    REP_BODY(YSTextdomain);
    Ustring m_domain;
public:
    YSTextdomain (const string &textdomain, int line = 0);
    YSTextdomain (bytecodeistream & str);
    ~YSTextdomain ();
    virtual ykind kind () const { return ysTextdomain; }
    string toString () const;
    std::ostream & toStream (std::ostream & str) const;
    std::ostream & toXml (std::ostream & str, int indent ) const;
    YCPValue evaluate (bool cse = false);
    constTypePtr type () const { return Type::Void; };
    const char *domain () const { return m_domain->c_str(); };
private:
    void bind ();
};


//-------------------------------------------------------------------
class YSInclude : public YStatement
{
    REP_BODY(YSInclude);
    Ustring m_filename;
    bool m_skipped;
public:
    YSInclude (const string &filename, int line = 0, bool skipped = false);
    YSInclude (bytecodeistream & str);
    ~YSInclude ();
    virtual ykind kind () const { return ysInclude; }
    string toString () const;
    std::ostream & toStream (std::ostream & str) const;
    std::ostream & toXml (std::ostream & str, int indent ) const;
    YCPValue evaluate (bool cse = false);
    constTypePtr type () const { return Type::Void; };
    string filename () const { return m_filename; };
};


//-------------------------------------------------------------------
class YSImport : public YStatement, public Import
{
    REP_BODY(YSImport);
public:
    YSImport (const string &name, int line = 0);
    YSImport (const string &name, Y2Namespace *name_space);
    YSImport (bytecodeistream & str);
    ~YSImport ();
    virtual ykind kind () const { return ysImport; }
    string name () const;
    string toString () const;
    std::ostream & toStream (std::ostream & str) const;
    std::ostream & toXml (std::ostream & str, int indent ) const;
    YCPValue evaluate (bool cse = false);
    constTypePtr type () const { return Type::Void; };
};


//-------------------------------------------------------------------
class YSFilename : public YStatement
{
    REP_BODY(YSFilename);
    Ustring m_filename;
public:
    YSFilename (const string &filename, int line = 0);
    YSFilename (bytecodeistream & str);
    ~YSFilename ();
    virtual ykind kind () const { return ysFilename; }
    string toString () const;
    std::ostream & toStream (std::ostream & str) const;
    std::ostream & toXml (std::ostream & str, int indent ) const;
    YCPValue evaluate (bool cse = false);
    constTypePtr type () const { return Type::Void; };
};

//-------------------------------------------------------------------
class YSSwitch : public YStatement
{
    REP_BODY(YSSwitch);
    YCodePtr m_condition;
    YBlockPtr m_block;
    
    // index of the default case statement in the block
    int m_defaultcase;
    
    // indices of the case statements in the block
    map<YCPValue, int, ycp_less> m_cases;
    
public:
    YSSwitch (YCodePtr condition);
    YSSwitch (bytecodeistream & str);
    ~YSSwitch ();
    virtual ykind kind () const { return ysSwitch; }
    string name () const;
    string toString () const;
    std::ostream & toStream (std::ostream & str) const;
    std::ostream & toXml (std::ostream & str, int indent ) const;
    YCPValue evaluate (bool cse = false);
    constTypePtr type () const { return Type::Void; };
    constTypePtr conditionType () const { return m_condition->type (); };
    bool setCase (YCPValue value);
    bool setDefaultCase ();
    void setBlock (YBlockPtr block);
};


#endif   // YStatement_h