|
InutitionTC
0.30
|
Allocation, creation and copying of basic structures; simple freeing operations. More...
#include "checker.h"Go to the source code of this file.
Functions | |
| Term * | allocTerm () |
| void | freeTerm (Term *ptr) |
| void | freeTermZ (Term **) |
| Term * | makeTerm (const Term arg) |
| Term * | copyTerm (const Term *arg) |
| Term * | copyTermDeep (const Term *) |
| Type * | allocType () |
| void | freeType (Type *ptr) |
| void | freeTypeZ (Type **) |
| Type * | makeType (const Type arg) |
| Type * | copyType (const Type *arg) |
| Type * | copyTypeDeep (const Type *) |
| Kind * | allocKind () |
| void | freeKind (Kind *ptr) |
| void | freeKindZ (Kind **) |
| Kind * | makeKind (const Kind arg) |
| Kind * | copyKind (const Kind *arg) |
| Kind * | copyKindDeep (const Kind *) |
| Any * | allocAny () |
| void | freeAny (Any *ptr) |
| void | freeAnyZ (Any **) |
| Any * | makeAny (const Any arg) |
| Any * | copyAny (const Any *arg) |
| Any * | copyAnyDeep (const Any *) |
| Name | allocName (size_t size) |
| void | freeName (Name ptr) |
| void | freeNameZ (Name *) |
| Name | makeName (const Name arg) |
| Name | copyName (const Name arg) |
| Name | copyNameDeep (const Name) |
| void | die (const char *reason) |
| void | freeBindParts (Bind b) |
Allocation, creation and copying of basic structures; simple freeing operations.
1.8.10