dlugolecki.net.pl
Dziennik
Polecane
Software
projects
/
vlp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Documentation fixes
[vlp.git]
/
src
/
int
/
typchk.c
diff --git
a/src/int/typchk.c
b/src/int/typchk.c
index 2a70407da85e37de4e0181ce1d33d9e526f0a92b..fb9f498ccb2336be63dd87c75476067db68acc6d 100644
(file)
--- a/
src/int/typchk.c
+++ b/
src/int/typchk.c
@@
-34,10
+34,9
@@
or Andrzej Salwicki
#include "process.h"
#include "intproto.h"
#include "process.h"
#include "intproto.h"
-/* Type checking routines */
-
-
-/* Determine if prot occurs in the prefix sequence of object am
+/**
+ * @defgroup
+ * @brief Type checking routines
*/
#ifndef NO_PROTOTYPES
*/
#ifndef NO_PROTOTYPES
@@
-52,7
+51,7
@@
static bool prefh();
static bool typef();
#endif
static bool typef();
#endif
-
+/** Determine if prot occurs in the prefix sequence of object am */
static bool pref(word am, word prot)
{
word t1, t2;
static bool pref(word am, word prot)
{
word t1, t2;
@@
-73,7
+72,7
@@
static bool pref(word am, word prot)
return FALSE;
}
return FALSE;
}
-/* Validate qualification of object */
+/*
*
Validate qualification of object */
void qua(virtaddr *virt, word tp)
{
if (virt->mark != M[virt->addr + 1])
void qua(virtaddr *virt, word tp)
{
if (virt->mark != M[virt->addr + 1])
@@
-84,7
+83,7
@@
void qua(virtaddr *virt, word tp)
errsignal(RTEINCQA);
}
errsignal(RTEINCQA);
}
-/* Determine if A in B */
+/*
*
Determine if A in B */
bool inl(virtaddr *virt, word tp)
{
/* none is in everything */
bool inl(virtaddr *virt, word tp)
{
/* none is in everything */
@@
-96,7
+95,7
@@
bool inl(virtaddr *virt, word tp)
return pref(M[virt->addr], M[tp + 1]);
}
return pref(M[virt->addr], M[tp + 1]);
}
-/* Determine if A is B */
+/*
*
Determine if A is B */
bool is(virtaddr *virt, word tp)
{
if (virt->mark != M[virt->addr + 1] || M[tp] != CLASSTYPE)
bool is(virtaddr *virt, word tp)
{
if (virt->mark != M[virt->addr + 1] || M[tp] != CLASSTYPE)