InutitionTC  0.30
Functions
alloc.h File Reference

Allocation, creation and copying of basic structures; simple freeing operations. More...

#include "checker.h"

Go to the source code of this file.

Functions

TermallocTerm ()
 
void freeTerm (Term *ptr)
 
void freeTermZ (Term **)
 
TermmakeTerm (const Term arg)
 
TermcopyTerm (const Term *arg)
 
TermcopyTermDeep (const Term *)
 
TypeallocType ()
 
void freeType (Type *ptr)
 
void freeTypeZ (Type **)
 
TypemakeType (const Type arg)
 
TypecopyType (const Type *arg)
 
TypecopyTypeDeep (const Type *)
 
KindallocKind ()
 
void freeKind (Kind *ptr)
 
void freeKindZ (Kind **)
 
KindmakeKind (const Kind arg)
 
KindcopyKind (const Kind *arg)
 
KindcopyKindDeep (const Kind *)
 
AnyallocAny ()
 
void freeAny (Any *ptr)
 
void freeAnyZ (Any **)
 
AnymakeAny (const Any arg)
 
AnycopyAny (const Any *arg)
 
AnycopyAnyDeep (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)
 

Detailed Description

Allocation, creation and copying of basic structures; simple freeing operations.

Author
Aleksy Schubert
Maciej Zielenkiewicz
Marcin Benke