changeset 37480 | 291ee208fb72 |
parent 35479 | 62c12ca7a45e |
child 46263 | 1d8d6ddcc626 |
37479:14a195eaf2c5 | 37480:291ee208fb72 |
---|---|
45 address _entry[number_of_states]; |
45 address _entry[number_of_states]; |
46 |
46 |
47 public: |
47 public: |
48 // Construction |
48 // Construction |
49 EntryPoint(); |
49 EntryPoint(); |
50 EntryPoint(address bentry, address centry, address sentry, address aentry, address ientry, address lentry, address fentry, address dentry, address ventry); |
50 EntryPoint(address bentry, address zentry, address centry, address sentry, address aentry, address ientry, address lentry, address fentry, address dentry, address ventry); |
51 |
51 |
52 // Attributes |
52 // Attributes |
53 address entry(TosState state) const; // return target address for a given tosca state |
53 address entry(TosState state) const; // return target address for a given tosca state |
54 void set_entry(TosState state, address entry); // set target address for a given tosca state |
54 void set_entry(TosState state, address entry); // set target address for a given tosca state |
55 void print(); |
55 void print(); |