#include <unification_ann.h>
|
virtual bool | isField (declNode *f, bool &from_annotation) const |
|
virtual void | mark_alloc (stmtNode *stmt, declNode *source_decl, declNode *target_decl) |
|
|
| UnificationBasedPtr_Ann (Linker &l, Annotations *ann) |
|
virtual bool | annotation_returns_object (procNode *proc) const |
|
virtual void | annotation_call_arg (procNode *, int arg, typeNode *, Unify_ECR *) |
|
virtual void | annotation_call_arg (procNode *, int arg, typeNode *, Alpha *) |
|
virtual void | annotation_ret_val (procNode *, Unify_ECR *taoR, unitNode *unit) |
|
virtual void | annotation_init_global (declNode *global) |
|
virtual void | annotation_init_globals () |
|
void | process_struct_rule (annVariable *, declNode *, typeNode *dtype, const structure_list &struct_rules, Unify_ECR *) |
|
Definition at line 8 of file unification_ann.h.
UnificationBasedPtr_Ann::UnificationBasedPtr_Ann |
( |
Linker & |
l, |
|
|
Annotations * |
ann |
|
) |
| |
|
private |
virtual bool UnificationBasedPtr_Ann::annotation_returns_object |
( |
procNode * |
proc) | |
const |
|
privatevirtual |
virtual void UnificationBasedPtr_Ann::annotation_call_arg |
( |
procNode * |
, |
|
|
int |
arg, |
|
|
typeNode * |
, |
|
|
Unify_ECR * |
|
|
) |
| |
|
privatevirtual |
virtual void UnificationBasedPtr_Ann::annotation_call_arg |
( |
procNode * |
, |
|
|
int |
arg, |
|
|
typeNode * |
, |
|
|
Alpha * |
|
|
) |
| |
|
privatevirtual |
virtual void UnificationBasedPtr_Ann::annotation_ret_val |
( |
procNode * |
, |
|
|
Unify_ECR * |
taoR, |
|
|
unitNode * |
unit |
|
) |
| |
|
privatevirtual |
virtual void UnificationBasedPtr_Ann::annotation_init_global |
( |
declNode * |
global) | |
|
|
privatevirtual |
virtual void UnificationBasedPtr_Ann::annotation_init_globals |
( |
) | |
|
|
privatevirtual |
void UnificationBasedPtr_Ann::process_struct_rule |
( |
annVariable * |
, |
|
|
declNode * |
, |
|
|
typeNode * |
dtype, |
|
|
const structure_list & |
struct_rules, |
|
|
Unify_ECR * |
|
|
) |
| |
|
private |
virtual bool UnificationBasedPtr_Ann::isField |
( |
declNode * |
f, |
|
|
bool & |
from_annotation |
|
) |
| const |
|
virtual |
virtual void UnificationBasedPtr_Ann::mark_alloc |
( |
stmtNode * |
stmt, |
|
|
declNode * |
source_decl, |
|
|
declNode * |
target_decl |
|
) |
| |
|
virtual |
static UnificationBasedPtr* UnificationBasedPtr_Ann::analyze_all |
( |
Linker & |
, |
|
|
Annotations * |
ann |
|
) |
| |
|
static |
map<annVariable*,Unify_ECR*> UnificationBasedPtr_Ann::global_var_ecr |
|
private |
map<annVariable*,typeNode*> UnificationBasedPtr_Ann::global_var_type |
|
private |
set<declNode*> UnificationBasedPtr_Ann::fields_from_annotation |
|
private |
The documentation for this class was generated from the following file: