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.