a4_0022
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
単語検索
|
最終更新
|
ヘルプ
]
開始行:
* acl4のページ0022
-(by [[K]], 2026.04.26)
** (1) 概要
-a4_0022 は、 acl4v1 にとっての7番目のライブラリプログラ...
-提供される主な機能は、以下の通りです。
--(1-1)プリプロセッサを構成するための細かい関数群
--(1-2)プリプロセッサの main 関数
-以下、それぞれについてもう少し詳しく説明します。
~
-(1-1)プリプロセッサを構成するための細かい関数群
--include 用の関数と、出力用の整形をする関数があります。
-(1-2)プリプロセッサの main 関数
--プリプロセッサの本体のクラスと、 main 関数です。
** (2) デモ
** (3) ライブラリプログラム
#if (a_Version >= 1)
#define Preprocessor_incl0 a_Preprocessor_i...
#define Preprocessor_Put1 a_Preprocessor_P...
#define Preprocessor_Put1_ini a_Preprocessor_P...
#define Preprocessor_Put1_din a_Preprocessor_P...
#define Preprocessor_put1 a_Preprocessor_p...
#define Preprocessor_put2 a_Preprocessor_p...
#define Preprocessor a_Preprocessor
#define Preprocessor_ini a_Preprocessor_ini
#define Preprocessor_din a_Preprocessor_din
#define Preprocessor_line a_Preprocessor_l...
#define Preprocessor_main a_Preprocessor_m...
#endif
a_static int a_Preprocessor_isDirective(const char *s, c...
{
while (s < s1 && *(const unsigned char *) s <= ' ') ...
return (s < s1 && *s == '#');
}
a_static int a_Preprocessor_incl0(void *w, char *s, char...
{
(void) w;
while (s < s1 && *(unsigned char *) s <= ' ') s++;
if (*s == 0x22) {
char *t = strchr(s + 1, 0x22);
if (t == NULL) t = s1;
a_Preprocessor_SourceFiles_addFile(sfs, s + 1, t...
return 1;
}
if (*s == '<') {
char *t = strchr(s + 1, '>');
if (t == NULL) t = s1;
if (t[-2] == '.' && t[-1] == 'h') return 0; // t...
a_Preprocessor_SourceFiles_addFile(sfs, s + 1, t...
return 1;
}
return 0;
}
a_class(a_Preprocessor_Put1) {
a_Preprocessor_SourceFiles *sfs;
a_VecChr *dst, path[1];
intptr_t lin;
a_DbgLv1( a_DbgObjInf doi[1]; )
};
a_static void a_Preprocessor_Put1_ini(_aDef_ a_Preproces...
{
a_VecChr_ini(_a_ w->path); w->lin = 0;
a_DbgLv2( a_DbgObjInf_ini(_aThr, w->doi, "Preprocess...
}
a_static void a_Preprocessor_Put1_din(_aDef_ a_Preproces...
{
a_DbgLv2( a_DbgObjInf_din(_aThr, w->doi); )
a_VecChr_din(_a_ w->path);
}
a_static void a_Preprocessor_put1(a_Preprocessor_Put1 *w...
{
a_Preprocessor_SourceFile *sf = a_Preprocessor_Sourc...
if (a_VecChr_N(w->path) != a_VecChr_N(sf->path) || (...
a_VecChr_printf(w->dst, "#line %d \"%.*s\"\n", (...
a_VecChr_replace(w->path, 0, a_VecChr_N(w->path)...
} else if (w->lin + 1 < sf->lin && sf->lin < w->lin ...
while (w->lin + 1 < sf->lin) {
a_VecChr_puts(w->dst, "\n", 1);
w->lin++;
}
} else if (w->lin + 1 != sf->lin)
a_VecChr_printf(w->dst, "#line %d\n", (int) sf->...
a_VecChr_puts(w->dst, lin->p, a_VecChr_N(lin));
w->lin = sf->lin;
}
a_static void a_Preprocessor_put2(a_Preprocessor_Put1 *...
{
intptr_t n = a_VecChr_N(lin);
if (a_Preprocessor_isDirective(lin->p, lin->p + n) !...
fprintf(stderr, "[err] %.*s", (int) n, lin->p);
else
a_VecChr_puts(w->dst, lin->p, n);
}
a_static void a_Preprocessor_line(a_Preprocessor_SourceF...
{
a_Preprocessor_SourceFile *sf = a_Preprocessor_Sourc...
const char *t = a_Token1_get(t0);
sf->lin = strtol(t, NULL, 0) - 1;
t = a_Token1_get(t0);
if (t0->len >= 2 && *t == 0x22) {
a_VecChr_N(sf->path) = 0;
a_VecChr_puts(sf->path, t + 1, t0->len - 2);
}
}
a_static void a_Preprocessor_undef(int mod, a_Token0 *t0...
{
if (mod == 0) {
char *t = a_Token1_get(t0);
a_Preprocessor_Define0 *pd = a_Set0_findKn(set, ...
if (pd != NULL) {
a_Set0_rmv(set, pd->elm);
a_Preprocessor_Define0_din(pd->elm);
}
}
if (mod == 1) {
char *t = a_Token1_get(t0); intptr_t repLen;
a_Preprocessor_findDef(set, t, t0, args, 1, &rep...
}
(void) lin;
}
a_class(a_Preprocessor) {
a_Token0 t0[1], t0a[1];
a_Preprocessor_SourceFiles sfs[1];
a_Set0 set[1], typCache[1];
a_Preprocessor_If ppIf[1];
a_Preprocessor_Eval ppEv[1];
a_VecChr defEnum[1];
int (*incl)(void *, const char *, const char *, a_Pr...
void (*put)(void *, a_VecChr *, a_Preprocessor_Sourc...
void *w_incl, *w_put;
a_DbgLv1( a_DbgObjInf doi[1]; )
};
a_static void a_Preprocessor_ini(_aDef_ a_Preprocessor *w)
{
a_Token0_ini1(w->t0);
a_Token0_ini1(w->t0a);
a_Set0_ini(_a_ w->set, a_Preprocessor_Define0_din);
a_Set0_ini(_a_ w->typCache, a_TypedDef_TypeCache_din);
a_Preprocessor_SourceFiles_ini(_a_ w->sfs);
a_Preprocessor_If_ini(_a_ w->ppIf);
a_Preprocessor_Eval_ini(_a_ w->ppEv);
a_VecChr_ini(_a_ w->defEnum);
w->ppIf->eval = a_Preprocessor_eval;
w->ppIf->w_eval = w->ppEv;
w->incl = (void *) a_Preprocessor_incl0;
w->w_incl = NULL;
a_Preprocessor_define2(0, "ifdef if defined",...
a_Preprocessor_define2(0, "ifndef if !defined",...
a_Preprocessor_define2(0, "elifdef elif defined",...
a_Preprocessor_define2(0, "elifndef elif !defined",...
a_DbgLv2( a_DbgObjInf_ini(_aThr, w->doi, "Preprocess...
}
a_static void a_Preprocessor_din(_aDef_ a_Preprocessor *w)
{
a_DbgLv2( a_DbgObjInf_din(_aThr, w->doi); )
a_Set0_din(_a_ w->set);
a_Set0_din(_a_ w->typCache);
a_Preprocessor_SourceFiles_din(_a_ w->sfs);
a_Preprocessor_If_din(_a_ w->ppIf);
a_Preprocessor_Eval_din(_a_ w->ppEv);
a_VecChr_din(_a_ w->defEnum);
}
a_static void a_Preprocessor_main(a_Preprocessor *w)
{
int defC = 1, retryCount = 0;
a_VecChr lin[1], tmp[1], tmp1[1], args[1]; a_VecChr_...
for (;;) {
if (w->sfs->s >= w->sfs->buf->p + a_VecChr_N(w->...
a_Preprocessor_SourceFiles_gets(w->sfs, lin);
if (a_VecChr_N(lin) == 0) break;
for (;;) { // 末尾が "\\\n"であれば、後続行を接続.
char *p1 = lin->p + a_VecChr_N(lin);
if (!(a_VecChr_N(lin) >= 2 && p1[-2] == '\\'...
a_Preprocessor_SourceFiles_gets(w->sfs, tmp);
a_VecChr_replace(lin, a_VecChr_N(lin) - 2, 2...
}
if (retryCount >= 64) {
if (w->ppIf->phase != 0)
w->put(w->w_put, lin, w->sfs);
continue;
}
if (a_Preprocessor_isDirective(lin->p, lin->p + ...
a_Preprocessor_SourceFile *sf = a_Preprocess...
if (a_Preprocessor_substitute0(w->t0, lin, s...
retry:
a_Preprocessor_SourceFiles_addBuf(w->sf...
retryCount++; continue;
}
if (a_Preprocessor_substitute1(w->t0, w->t0a...
if (w->ppIf->phase != 0)
w->put(w->w_put, lin, w->sfs);
continue;
}
const char *s = lin->p, *s1 = lin->p + a_VecChr_...
while (s < s1 && *(const unsigned char *) s <= '...
s++; // '#'.
if (strncmp(s, "if", 2) == 0 || strncmp(s, "elif...
a_Preprocessor_SourceFile *sf = a_Preprocess...
if (a_Preprocessor_substitute0(w->t0, lin, s...
if (a_Preprocessor_substitute1(w->t0, w->t0a...
}
w->t0->s = s; w->t0->s1 = s1; a_Token1_get(w->t0);
if (w->ppIf->phase != 0) {
if (w->t0->len == 7 && strncmp(s, "include",...
if (w->t0->len == 6 && strncmp(s, "define", ...
if (w->t0->len == 8 && strncmp(s, "typedDef"...
if (w->t0->len == 4 && strncmp(s, "line", ...
if (w->t0->len == 5 && strncmp(s, "undef", ...
if (w->t0->len == 6 && strncmp(s, "undefx", ...
if (w->t0->len == 7 && strncmp(s, "defineX",...
if (w->t0->len == 9 && strncmp(s, "typedDefX...
}
w->t0->s = s; // w->t0->s1 = s1;
char *t = a_Token1_get(w->t0);
if (a_Preprocessor_if(w->ppIf, lin, w->t0, t) > ...
if (w->ppIf->phase != 0)
w->put(w->w_put, lin, w->sfs); // エラー検出...
continue;
}
a_VecChr_din4(_a_ lin, tmp, tmp1, args);
}
a_static void a_Preprocessor_ini1(const char *s, intptr_...
{
a_Preprocessor pp[1]; a_Preprocessor_ini(_a_ pp);
a_Preprocessor_Put1 put1[1];
if (mod == 1 || mod == 2) {
a_Preprocessor_Put1_ini(_a_ put1);
pp->w_put = put1;
}
if (mod == 1) {
pp->put = (void *) a_Preprocessor_put1;
put1->sfs = pp->sfs;
}
if (mod == 2)
pp->put = (void *) a_Preprocessor_put2;
a_Preprocessor_SourceFiles_addFile(pp->sfs, s, n, 1);
if (mod == 1 || mod == 2) {
a_VecChr tmp[1], imm[1]; a_VecChr_ini4(_a_ tmp, ...
put1->dst = tmp; a_Preprocessor_main(pp); a_Prep...
a_VecChr_printf(imm, "imm<tmp>:%.*s", a_VecChr_N...
a_Preprocessor_SourceFiles_addFile(pp->sfs, imm->p,...
a_Preprocessor_Put1_ini(_a_ put1); put1->dst = d...
a_VecChr_din4(_a_ tmp, imm, 0, 0);
a_Preprocessor_din(_a_ pp);
a_Preprocessor_Put1_din(_a_ put1);
}
}
** (99) 更新履歴
-2026.04.26(日) 初版
-2026.05.03(日) #define/#typedDefの前方参照に対応
終了行:
* acl4のページ0022
-(by [[K]], 2026.04.26)
** (1) 概要
-a4_0022 は、 acl4v1 にとっての7番目のライブラリプログラ...
-提供される主な機能は、以下の通りです。
--(1-1)プリプロセッサを構成するための細かい関数群
--(1-2)プリプロセッサの main 関数
-以下、それぞれについてもう少し詳しく説明します。
~
-(1-1)プリプロセッサを構成するための細かい関数群
--include 用の関数と、出力用の整形をする関数があります。
-(1-2)プリプロセッサの main 関数
--プリプロセッサの本体のクラスと、 main 関数です。
** (2) デモ
** (3) ライブラリプログラム
#if (a_Version >= 1)
#define Preprocessor_incl0 a_Preprocessor_i...
#define Preprocessor_Put1 a_Preprocessor_P...
#define Preprocessor_Put1_ini a_Preprocessor_P...
#define Preprocessor_Put1_din a_Preprocessor_P...
#define Preprocessor_put1 a_Preprocessor_p...
#define Preprocessor_put2 a_Preprocessor_p...
#define Preprocessor a_Preprocessor
#define Preprocessor_ini a_Preprocessor_ini
#define Preprocessor_din a_Preprocessor_din
#define Preprocessor_line a_Preprocessor_l...
#define Preprocessor_main a_Preprocessor_m...
#endif
a_static int a_Preprocessor_isDirective(const char *s, c...
{
while (s < s1 && *(const unsigned char *) s <= ' ') ...
return (s < s1 && *s == '#');
}
a_static int a_Preprocessor_incl0(void *w, char *s, char...
{
(void) w;
while (s < s1 && *(unsigned char *) s <= ' ') s++;
if (*s == 0x22) {
char *t = strchr(s + 1, 0x22);
if (t == NULL) t = s1;
a_Preprocessor_SourceFiles_addFile(sfs, s + 1, t...
return 1;
}
if (*s == '<') {
char *t = strchr(s + 1, '>');
if (t == NULL) t = s1;
if (t[-2] == '.' && t[-1] == 'h') return 0; // t...
a_Preprocessor_SourceFiles_addFile(sfs, s + 1, t...
return 1;
}
return 0;
}
a_class(a_Preprocessor_Put1) {
a_Preprocessor_SourceFiles *sfs;
a_VecChr *dst, path[1];
intptr_t lin;
a_DbgLv1( a_DbgObjInf doi[1]; )
};
a_static void a_Preprocessor_Put1_ini(_aDef_ a_Preproces...
{
a_VecChr_ini(_a_ w->path); w->lin = 0;
a_DbgLv2( a_DbgObjInf_ini(_aThr, w->doi, "Preprocess...
}
a_static void a_Preprocessor_Put1_din(_aDef_ a_Preproces...
{
a_DbgLv2( a_DbgObjInf_din(_aThr, w->doi); )
a_VecChr_din(_a_ w->path);
}
a_static void a_Preprocessor_put1(a_Preprocessor_Put1 *w...
{
a_Preprocessor_SourceFile *sf = a_Preprocessor_Sourc...
if (a_VecChr_N(w->path) != a_VecChr_N(sf->path) || (...
a_VecChr_printf(w->dst, "#line %d \"%.*s\"\n", (...
a_VecChr_replace(w->path, 0, a_VecChr_N(w->path)...
} else if (w->lin + 1 < sf->lin && sf->lin < w->lin ...
while (w->lin + 1 < sf->lin) {
a_VecChr_puts(w->dst, "\n", 1);
w->lin++;
}
} else if (w->lin + 1 != sf->lin)
a_VecChr_printf(w->dst, "#line %d\n", (int) sf->...
a_VecChr_puts(w->dst, lin->p, a_VecChr_N(lin));
w->lin = sf->lin;
}
a_static void a_Preprocessor_put2(a_Preprocessor_Put1 *...
{
intptr_t n = a_VecChr_N(lin);
if (a_Preprocessor_isDirective(lin->p, lin->p + n) !...
fprintf(stderr, "[err] %.*s", (int) n, lin->p);
else
a_VecChr_puts(w->dst, lin->p, n);
}
a_static void a_Preprocessor_line(a_Preprocessor_SourceF...
{
a_Preprocessor_SourceFile *sf = a_Preprocessor_Sourc...
const char *t = a_Token1_get(t0);
sf->lin = strtol(t, NULL, 0) - 1;
t = a_Token1_get(t0);
if (t0->len >= 2 && *t == 0x22) {
a_VecChr_N(sf->path) = 0;
a_VecChr_puts(sf->path, t + 1, t0->len - 2);
}
}
a_static void a_Preprocessor_undef(int mod, a_Token0 *t0...
{
if (mod == 0) {
char *t = a_Token1_get(t0);
a_Preprocessor_Define0 *pd = a_Set0_findKn(set, ...
if (pd != NULL) {
a_Set0_rmv(set, pd->elm);
a_Preprocessor_Define0_din(pd->elm);
}
}
if (mod == 1) {
char *t = a_Token1_get(t0); intptr_t repLen;
a_Preprocessor_findDef(set, t, t0, args, 1, &rep...
}
(void) lin;
}
a_class(a_Preprocessor) {
a_Token0 t0[1], t0a[1];
a_Preprocessor_SourceFiles sfs[1];
a_Set0 set[1], typCache[1];
a_Preprocessor_If ppIf[1];
a_Preprocessor_Eval ppEv[1];
a_VecChr defEnum[1];
int (*incl)(void *, const char *, const char *, a_Pr...
void (*put)(void *, a_VecChr *, a_Preprocessor_Sourc...
void *w_incl, *w_put;
a_DbgLv1( a_DbgObjInf doi[1]; )
};
a_static void a_Preprocessor_ini(_aDef_ a_Preprocessor *w)
{
a_Token0_ini1(w->t0);
a_Token0_ini1(w->t0a);
a_Set0_ini(_a_ w->set, a_Preprocessor_Define0_din);
a_Set0_ini(_a_ w->typCache, a_TypedDef_TypeCache_din);
a_Preprocessor_SourceFiles_ini(_a_ w->sfs);
a_Preprocessor_If_ini(_a_ w->ppIf);
a_Preprocessor_Eval_ini(_a_ w->ppEv);
a_VecChr_ini(_a_ w->defEnum);
w->ppIf->eval = a_Preprocessor_eval;
w->ppIf->w_eval = w->ppEv;
w->incl = (void *) a_Preprocessor_incl0;
w->w_incl = NULL;
a_Preprocessor_define2(0, "ifdef if defined",...
a_Preprocessor_define2(0, "ifndef if !defined",...
a_Preprocessor_define2(0, "elifdef elif defined",...
a_Preprocessor_define2(0, "elifndef elif !defined",...
a_DbgLv2( a_DbgObjInf_ini(_aThr, w->doi, "Preprocess...
}
a_static void a_Preprocessor_din(_aDef_ a_Preprocessor *w)
{
a_DbgLv2( a_DbgObjInf_din(_aThr, w->doi); )
a_Set0_din(_a_ w->set);
a_Set0_din(_a_ w->typCache);
a_Preprocessor_SourceFiles_din(_a_ w->sfs);
a_Preprocessor_If_din(_a_ w->ppIf);
a_Preprocessor_Eval_din(_a_ w->ppEv);
a_VecChr_din(_a_ w->defEnum);
}
a_static void a_Preprocessor_main(a_Preprocessor *w)
{
int defC = 1, retryCount = 0;
a_VecChr lin[1], tmp[1], tmp1[1], args[1]; a_VecChr_...
for (;;) {
if (w->sfs->s >= w->sfs->buf->p + a_VecChr_N(w->...
a_Preprocessor_SourceFiles_gets(w->sfs, lin);
if (a_VecChr_N(lin) == 0) break;
for (;;) { // 末尾が "\\\n"であれば、後続行を接続.
char *p1 = lin->p + a_VecChr_N(lin);
if (!(a_VecChr_N(lin) >= 2 && p1[-2] == '\\'...
a_Preprocessor_SourceFiles_gets(w->sfs, tmp);
a_VecChr_replace(lin, a_VecChr_N(lin) - 2, 2...
}
if (retryCount >= 64) {
if (w->ppIf->phase != 0)
w->put(w->w_put, lin, w->sfs);
continue;
}
if (a_Preprocessor_isDirective(lin->p, lin->p + ...
a_Preprocessor_SourceFile *sf = a_Preprocess...
if (a_Preprocessor_substitute0(w->t0, lin, s...
retry:
a_Preprocessor_SourceFiles_addBuf(w->sf...
retryCount++; continue;
}
if (a_Preprocessor_substitute1(w->t0, w->t0a...
if (w->ppIf->phase != 0)
w->put(w->w_put, lin, w->sfs);
continue;
}
const char *s = lin->p, *s1 = lin->p + a_VecChr_...
while (s < s1 && *(const unsigned char *) s <= '...
s++; // '#'.
if (strncmp(s, "if", 2) == 0 || strncmp(s, "elif...
a_Preprocessor_SourceFile *sf = a_Preprocess...
if (a_Preprocessor_substitute0(w->t0, lin, s...
if (a_Preprocessor_substitute1(w->t0, w->t0a...
}
w->t0->s = s; w->t0->s1 = s1; a_Token1_get(w->t0);
if (w->ppIf->phase != 0) {
if (w->t0->len == 7 && strncmp(s, "include",...
if (w->t0->len == 6 && strncmp(s, "define", ...
if (w->t0->len == 8 && strncmp(s, "typedDef"...
if (w->t0->len == 4 && strncmp(s, "line", ...
if (w->t0->len == 5 && strncmp(s, "undef", ...
if (w->t0->len == 6 && strncmp(s, "undefx", ...
if (w->t0->len == 7 && strncmp(s, "defineX",...
if (w->t0->len == 9 && strncmp(s, "typedDefX...
}
w->t0->s = s; // w->t0->s1 = s1;
char *t = a_Token1_get(w->t0);
if (a_Preprocessor_if(w->ppIf, lin, w->t0, t) > ...
if (w->ppIf->phase != 0)
w->put(w->w_put, lin, w->sfs); // エラー検出...
continue;
}
a_VecChr_din4(_a_ lin, tmp, tmp1, args);
}
a_static void a_Preprocessor_ini1(const char *s, intptr_...
{
a_Preprocessor pp[1]; a_Preprocessor_ini(_a_ pp);
a_Preprocessor_Put1 put1[1];
if (mod == 1 || mod == 2) {
a_Preprocessor_Put1_ini(_a_ put1);
pp->w_put = put1;
}
if (mod == 1) {
pp->put = (void *) a_Preprocessor_put1;
put1->sfs = pp->sfs;
}
if (mod == 2)
pp->put = (void *) a_Preprocessor_put2;
a_Preprocessor_SourceFiles_addFile(pp->sfs, s, n, 1);
if (mod == 1 || mod == 2) {
a_VecChr tmp[1], imm[1]; a_VecChr_ini4(_a_ tmp, ...
put1->dst = tmp; a_Preprocessor_main(pp); a_Prep...
a_VecChr_printf(imm, "imm<tmp>:%.*s", a_VecChr_N...
a_Preprocessor_SourceFiles_addFile(pp->sfs, imm->p,...
a_Preprocessor_Put1_ini(_a_ put1); put1->dst = d...
a_VecChr_din4(_a_ tmp, imm, 0, 0);
a_Preprocessor_din(_a_ pp);
a_Preprocessor_Put1_din(_a_ put1);
}
}
** (99) 更新履歴
-2026.04.26(日) 初版
-2026.05.03(日) #define/#typedDefの前方参照に対応
ページ名:
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
