Goose  Diff

Differences From Artifact [e23dadf210]:

  • File bs/llr/gettemporary.h — part of check-in [af650a9e95] at 2019-09-22 14:37:55 on branch trunk — Project renaming. (user: achavasse size: 700)

To Artifact [b92445cd22]:

  • File bs/llr/gettemporary.h — part of check-in [3ae3c0b3ad] at 2019-10-05 13:58:40 on branch trunk — Implemented the conversion of GetVar/SetVar/GetTemporary/SetTemporary to z3 expressions. (user: achavasse size: 878)

1
2
3
4
5
6
7
8

9

10
11
12
13

14
15
16
17
18
19
20
21
22
23
24
25
26
27

28
29
30
31
32
33
#ifndef GOOSE_LLR_GETTEMPORARY_H
#define GOOSE_LLR_GETTEMPORARY_H

namespace goose::llr
{
    class GetTemporary
    {
        public:

            GetTemporary( uint32_t cfgId, uint32_t index ) :

                m_cfgId( cfgId ),
                m_index( index )
            {}


            const auto& cfgId() const { return m_cfgId; }
            const auto& index() const { return m_index; }

            bool canBeExecuted() const
            {
                return true;
            }

            bool canBeEagerlyEvaluated() const
            {
                return true;
            }

        private:

            uint32_t m_cfgId = 0;
            uint32_t m_index = 0;
    };
}

#endif








>
|
>




>














>






1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
#ifndef GOOSE_LLR_GETTEMPORARY_H
#define GOOSE_LLR_GETTEMPORARY_H

namespace goose::llr
{
    class GetTemporary
    {
        public:
            template< typename T >
            GetTemporary( T&& type, uint32_t cfgId, uint32_t index ) :
                m_type( forward< T >( type ) ),
                m_cfgId( cfgId ),
                m_index( index )
            {}

            const auto& type() const { return m_type; }
            const auto& cfgId() const { return m_cfgId; }
            const auto& index() const { return m_index; }

            bool canBeExecuted() const
            {
                return true;
            }

            bool canBeEagerlyEvaluated() const
            {
                return true;
            }

        private:
            ir::Term m_type;
            uint32_t m_cfgId = 0;
            uint32_t m_index = 0;
    };
}

#endif