ACT Library
|
This is added for override checks that can be completed only during the expansion phase. The added complexity is that overrides may depend on the identifier being created (it may be conditionally created, for example). The name_check field is used to check that the identifier in fact exists before testing for overrides. More...
#include <body.h>
Public Member Functions | |
ActBody_OverrideAssertion (int line, const char *name_check, InstType *it, InstType *chk) | |
~ActBody_OverrideAssertion () | |
void | Expand (ActNamespace *, Scope *) |
ActBody_OverrideAssertion * | Clone () |
Public Member Functions inherited from ActBody | |
ActBody (int line) | |
virtual | ~ActBody () |
void | Append (ActBody *b) |
void | insertNext (ActBody *b) |
ActBody * | Tail () |
ActBody * | Next () |
virtual ActBody * | Clone () |
virtual void | Expand (ActNamespace *, Scope *) |
void | Expandlist (ActNamespace *, Scope *) |
virtual void | Print (FILE *) |
void | updateInstType (list_t *namelist, InstType *it) |
int | getLine () |
Private Attributes | |
InstType * | _orig_type |
InstType * | _new_type |
const char * | _name_check |
Additional Inherited Members | |
Protected Attributes inherited from ActBody | |
int | _line |
saved away line number information | |
This is added for override checks that can be completed only during the expansion phase. The added complexity is that overrides may depend on the identifier being created (it may be conditionally created, for example). The name_check field is used to check that the identifier in fact exists before testing for overrides.
|
inline |
line | is the line number |
name_check | is the instance name that must exist before testing for overrides |
it | is the original type |
chk | is the overridden type |
|
inline |
|
virtual |
Reimplemented from ActBody.
|
virtual |
Expand out the current body item, updating the necessary data structures as the expansion process proceeds.
Reimplemented from ActBody.
|
private |
|
private |
|
private |