ref: d4f4b292ca9c8665ef938036340ff32bf5128755
dir: /appl/charon/build.b/
implement Build;
include "common.m";
# local copies from CU
sys: Sys;
CU: CharonUtils;
ByteSource, CImage, ImageCache, color, Nameval: import CU;
D: Draw;
Point, Rect, Image: import D;
S: String;
T: StringIntTab;
C: Ctype;
LX: Lex;
RBRA, Token, TokenSource: import LX;
U: Url;
Parsedurl: import U;
J: Script;
ctype: array of byte;
whitespace : con " \t\n\r";
notwhitespace : con "^ \t\n\r";
# These tables must be sorted
align_tab := array[] of { T->StringInt
("baseline", int Abaseline),
("bottom", int Abottom),
("center", int Acenter),
("char", int Achar),
("justify", int Ajustify),
("left", int Aleft),
("middle", int Amiddle),
("right", int Aright),
("top", int Atop),
};
input_tab := array[] of { T->StringInt
("button", Fbutton),
("checkbox", Fcheckbox),
("file", Ffile),
("hidden", Fhidden),
("image", Fimage),
("password", Fpassword),
("radio", Fradio),
("reset", Freset),
("submit", Fsubmit),
("text", Ftext),
};
clear_tab := array[] of { T->StringInt
("all", IFcleft|IFcright),
("left", IFcleft),
("right", IFcright),
};
fscroll_tab := array[] of { T->StringInt
("auto", FRhscrollauto|FRvscrollauto),
("no", FRnoscroll),
("yes", FRhscroll|FRvscroll),
};
# blockbrk[tag] is break info for a block level element, or one
# of a few others that get the same treatment re ending open paragraphs
# and requiring a line break / vertical space before them.
# If we want a line of space before the given element, SPBefore is OR'd in.
# If we want a line of space after the given element, SPAfter is OR'd in.
SPBefore: con byte 2;
SPAfter: con byte 4;
BL: con byte 1;
BLBA: con BL|SPBefore|SPAfter;
blockbrk := array[LX->Numtags] of {
LX->Taddress => BLBA, LX->Tblockquote => BLBA, LX->Tcenter => BL,
LX->Tdir => BLBA, LX->Tdiv => BL, LX->Tdd => BL, LX->Tdl => BLBA,
LX->Tdt => BL, LX->Tform => BLBA,
# headings and tables get breaks added manually
LX->Th1 => BL, LX->Th2 => BL, LX->Th3 => BL,
LX->Th4 => BL, LX->Th5 => BL, LX->Th6 => BL,
LX->Thr => BL, LX->Tisindex => BLBA, LX->Tli => BL, LX->Tmenu => BLBA,
LX->Tol => BLBA, LX->Tp => BLBA, LX->Tpre => BLBA,
LX->Tul => BLBA, LX->Txmp => BLBA,
* => byte 0
};
# attrinfo is information about attributes.
# The AGEN value means that the attribute is generic (applies to almost all elements)
AGEN: con byte 1;
attrinfo := array[LX->Numattrs] of {
LX->Aid => AGEN, LX->Aclass => AGEN, LX->Astyle => AGEN, LX->Atitle => AGEN,
LX->Aonabort => AGEN, LX->Aonblur => AGEN, LX->Aonchange => AGEN,
LX->Aonclick => AGEN, LX->Aondblclick => AGEN, LX->Aonerror => AGEN,
LX->Aonfocus => AGEN, LX->Aonkeydown => AGEN, LX->Aonkeypress => AGEN, LX->Aonkeyup => AGEN,
LX->Aonload => AGEN, LX->Aonmousedown => AGEN, LX->Aonmousemove => AGEN,
LX->Aonmouseout => AGEN, LX->Aonmouseover => AGEN,
LX->Aonmouseup => AGEN, LX->Aonreset => AGEN, LX->Aonresize => AGEN, LX->Aonselect => AGEN,
LX->Aonsubmit => AGEN, LX->Aonunload => AGEN,
* => byte 0
};
# Some constants
FRKIDMARGIN: con 6; # default margin around kid frames
IMGHSPACE: con 0; # default hspace for images (0 matches IE, Netscape)
IMGVSPACE: con 0; # default vspace for images
FLTIMGHSPACE: con 2; # default hspace for float images
TABSP: con 2; # default cellspacing for tables
TABPAD: con 2; # default cell padding for tables
LISTTAB: con 1; # number of tabs to indent lists
BQTAB: con 1; # number of tabs to indent blockquotes
HRSZ: con 2; # thickness of horizontal rules
SUBOFF: con 4; # vertical offset for subscripts
SUPOFF: con 6; # vertical offset for superscripts
NBSP: con ' '; # non-breaking space character
dbg := 0;
warn := 0;
doscripts := 0;
utf8 : Btos;
latin1 : Btos;
init(cu: CharonUtils)
{
CU = cu;
sys = load Sys Sys->PATH;
D = load Draw Draw->PATH;
S = load String String->PATH;;
T = load StringIntTab StringIntTab->PATH;
U = load Url Url->PATH;
if (U != nil)
U->init();
C = cu->C;
J = cu->J;
LX = cu->LX;
ctype = C->ctype;
utf8 = CU->getconv("utf8");
latin1 = CU->getconv("latin1");
if (utf8 == nil || latin1 == nil) {
sys->print("cannot load utf8 or latin1 charset converter\n");
raise "EXinternal:build init";
}
dbg = int (CU->config).dbg['h'];
warn = (int (CU->config).dbg['w']) || dbg;
doscripts = (CU->config).doscripts && J != nil;
}
# Assume f has been reset, and then had any values from HTTP headers
# filled in (e.g., base, chset).
ItemSource.new(bs: ref ByteSource, f: ref Layout->Frame, mtype: int) : ref ItemSource
{
di := f.doc;
# sys->print("chset = %s\n", di.chset);
chset := CU->getconv(di.chset);
if (chset == nil)
chset = latin1;
ts := TokenSource.new(bs, chset, mtype);
psstk := list of { Pstate.new() };
if(mtype != CU->TextHtml) {
ps := hd psstk;
ps.curstate &= ~IFwrap;
ps.literal = 1;
pushfontstyle(ps, FntT);
}
return ref ItemSource(ts, mtype, di, f, psstk, 0, 0, 0, 0, nil, nil, nil, nil, nil, nil, nil);
}
ItemSource.getitems(is: self ref ItemSource) : ref Item
{
psstk := is.psstk;
ps := hd psstk; # ps is always same as hd psstk
curtab: ref Table = nil; # curtab is always same as hd is.tabstk
if(is.tabstk != nil)
curtab = hd is.tabstk;
toks := is.toks;
is.toks = nil;
tokslen := len toks;
toki := 0;
di := is.doc;
TokLoop:
for(;; toki++) {
if(toki >= tokslen) {
outerps := lastps(psstk);
if(outerps.items.next != nil)
break;
toks = is.ts.gettoks();
tokslen = len toks;
if(dbg)
sys->print("build: got %d tokens from token source\n", tokslen);
if(tokslen == 0)
break;
toki = 0;
}
tok := toks[toki];
if(dbg > 1)
sys->print("build: curstate %ux, token %s\n", ps.curstate, tok.tostring());
tag := tok.tag;
brk := byte 0;
brksp := 0;
if(tag < LX->Numtags) {
brk = blockbrk[tag];
if((brk&SPBefore) != byte 0)
brksp = 1;
}
else if(tag < LX->Numtags+RBRA) {
brk = blockbrk[tag-RBRA];
if((brk&SPAfter) != byte 0)
brksp = 1;
}
if(brk != byte 0) {
addbrk(ps, brksp, 0);
if(ps.inpar) {
popjust(ps);
ps.inpar = 0;
}
}
# check common case first (Data), then case statement on tag
if(tag == LX->Data) {
# Lexing didn't pay attention to SGML record boundary rules:
# \n after start tag or before end tag to be discarded.
# (Lex has already discarded all \r's).
# Some pages assume this doesn't happen in <PRE> text,
# so we won't do it if literal is true.
# BUG: won't discard \n before a start tag that begins
# the next bufferful of tokens.
s := tok.text;
if(!ps.literal) {
i := 0;
j := len s;
if(toki > 0) {
pt := toks[toki-1].tag;
# IE and Netscape both ignore this rule (contrary to spec)
# if previous tag was img
if(pt < LX->Numtags && pt != LX->Timg && j>0 && s[0]=='\n')
i++;
}
if(toki < tokslen-1) {
nt := toks[toki+1].tag;
if(nt >= RBRA && nt < LX->Numtags+RBRA && j>i && s[j-1]=='\n')
j--;
}
if(i>0 || j <len s)
s = s[i:j];
}
if(ps.skipwhite) {
s = S->drop(s, whitespace);
if(s != "")
ps.skipwhite = 0;
}
if(s != "")
addtext(ps, s);
}
else case tag {
# Some abbrevs used in following DTD comments
# %text = #PCDATA
# | TT | I | B | U | STRIKE | BIG | SMALL | SUB | SUP
# | EM | STRONG | DFN | CODE | SAMP | KBD | VAR | CITE
# | A | IMG | APPLET | FONT | BASEFONT | BR | SCRIPT | MAP
# | INPUT | SELECT | TEXTAREA
# %block = P | UL | OL | DIR | MENU | DL | PRE | DL | DIV | CENTER
# | BLOCKQUOTE | FORM | ISINDEX | HR | TABLE
# %flow = (%text | %block)*
# %body.content = (%heading | %text | %block | ADDRESS)*
# <!ELEMENT A - - (%text) -(A)>
# Anchors are not supposed to be nested, but you sometimes see
# href anchors inside destination anchors.
LX->Ta =>
if(ps.curanchor != 0) {
if(warn)
sys->print("warning: nested <A> or missing </A>\n");
endanchor(ps, di.text);
}
name := aval(tok, LX->Aname);
href := aurlval(tok, LX->Ahref, nil, di.base);
target := astrval(tok, LX->Atarget, di.target);
ga := getgenattr(tok);
evl : list of Lex->Attr = nil;
if(ga != nil) {
evl = ga.events;
if(evl != nil && doscripts)
di.hasscripts = 1;
}
# ignore rel, rev, and title attrs
if(href != nil) {
di.anchors = ref Anchor(++is.nanchors, name, href, target, evl, 0) :: di.anchors;
ps.curanchor = is.nanchors;
ps.curfg = di.link;
ps.fgstk = ps.curfg :: ps.fgstk;
# underline, too
ps.ulstk = ULunder :: ps.ulstk;
ps.curul = ULunder;
}
if(name != nil) {
# add a null item to be destination
brkstate := ps.curstate & IFbrk;
additem(ps, Item.newspacer(ISPnull, 0), tok);
ps.curstate |= brkstate; # not quite right
di.dests = ref DestAnchor(++is.nanchors, name, ps.lastit) :: di.dests;
}
LX->Ta+RBRA =>
endanchor(ps, di.text);
# <!ELEMENT APPLET - - (PARAM | %text)* >
# We can't do applets, so ignore PARAMS, and let
# the %text contents appear for the alternative rep
LX->Tapplet or LX->Tapplet+RBRA =>
if(warn && tag == LX->Tapplet)
sys->print("warning: <APPLET> ignored\n");
# <!ELEMENT AREA - O EMPTY>
LX->Tarea =>
map := is.curmap;
if(map == nil) {
if(warn)
sys->print("warning: <AREA> not inside <MAP>\n");
continue;
}
map.areas = Area(S->tolower(astrval(tok, LX->Ashape, "rect")),
aurlval(tok, LX->Ahref, nil, di.base),
astrval(tok, LX->Atarget, di.target),
dimlist(tok, LX->Acoords)) :: map.areas;
# <!ELEMENT (B|STRONG) - - (%text)*>
LX->Tb or LX->Tstrong =>
pushfontstyle(ps, FntB);
LX->Tb+RBRA or LX->Tcite+RBRA
or LX->Tcode+RBRA or LX->Tdfn+RBRA
or LX->Tem+RBRA or LX->Tkbd+RBRA
or LX->Ti+RBRA or LX->Tsamp+RBRA
or LX->Tstrong+RBRA or LX->Ttt+RBRA
or LX->Tvar+RBRA or LX->Taddress+RBRA =>
popfontstyle(ps);
# <!ELEMENT BASE - O EMPTY>
LX->Tbase =>
di.base = aurlval(tok, LX->Ahref, di.base, di.base);
di.target = astrval(tok, LX->Atarget, di.target);
# <!ELEMENT BASEFONT - O EMPTY>
LX->Tbasefont =>
ps.adjsize = aintval(tok, LX->Asize, 3) - 3;
# <!ELEMENT (BIG|SMALL) - - (%text)*>
LX->Tbig or LX->Tsmall =>
sz := ps.adjsize;
if(tag == LX->Tbig)
sz += Large;
else
sz += Small;
pushfontsize(ps, sz);
LX->Tbig+RBRA or LX->Tsmall+RBRA =>
popfontsize(ps);
# <!ELEMENT BLOCKQUOTE - - %body.content>
LX->Tblockquote =>
changeindent(ps, BQTAB);
LX->Tblockquote+RBRA =>
changeindent(ps, -BQTAB);
# <!ELEMENT BODY O O %body.content>
LX->Tbody =>
ps.skipping = 0;
bg := Background(nil, color(aval(tok, LX->Abgcolor), di.background.color));
bgurl := aurlval(tok, LX->Abackground, nil, di.base);
if(bgurl != nil) {
pick ni := Item.newimage(di, bgurl, nil,"", Anone, 0, 0, 0, 0, 0, 0, 1, nil, nil, nil){
Iimage =>
bg.image = ni;
}
di.images = bg.image :: di.images;
}
di.background = ps.curbg = bg;
ps.curbg.image = nil;
di.text = color(aval(tok, LX->Atext), di.text);
di.link = color(aval(tok, LX->Alink), di.link);
di.vlink = color(aval(tok, LX->Avlink), di.vlink);
di.alink = color(aval(tok, LX->Aalink), di.alink);
if(doscripts) {
ga := getgenattr(tok);
if(ga != nil && ga.events != nil) {
di.events = ga.events;
di.hasscripts = 1;
}
}
if(di.text != ps.curfg) {
ps.curfg = di.text;
ps.fgstk = nil;
}
LX->Tbody+RBRA =>
# HTML spec says ignore things after </body>,
# but IE and Netscape don't
# ps.skipping = 1;
;
# <!ELEMENT BR - O EMPTY>
LX->Tbr =>
addlinebrk(ps, atabval(tok, LX->Aclear, clear_tab, 0));
# <!ELEMENT CAPTION - - (%text;)*>
LX->Tcaption =>
if(curtab == nil) {
if(warn)
sys->print("warning: <CAPTION> outside <TABLE>\n");
continue;
}
if(curtab.caption != nil) {
if(warn)
sys->print("warning: more than one <CAPTION> in <TABLE>\n");
continue;
}
ps = Pstate.new();
psstk = ps :: psstk;
curtab.caption_place =atabbval(tok, LX->Aalign, align_tab, Atop);
LX->Tcaption+RBRA =>
if(curtab == nil || tl psstk == nil) {
if(warn)
sys->print("warning: unexpected </CAPTION>\n");
continue;
}
curtab.caption = ps.items.next;
psstk = tl psstk;
ps = hd psstk;
LX->Tcenter or LX->Tdiv =>
if(tag == LX->Tcenter)
al := Acenter;
else
al = atabbval(tok, LX->Aalign, align_tab, ps.curjust);
pushjust(ps, al);
LX->Tcenter+RBRA or LX->Tdiv+RBRA =>
popjust(ps);
# <!ELEMENT DD - O %flow >
LX->Tdd =>
if(ps.hangstk == nil) {
if(warn)
sys->print("warning: <DD> not inside <DL\n");
continue;
}
h := hd ps.hangstk;
if(h != 0)
changehang(ps, -10*LISTTAB);
else
addbrk(ps, 0, 0);
ps.hangstk = 0 :: ps.hangstk;
#<!ELEMENT (DIR|MENU) - - (LI)+ -(%block) >
#<!ELEMENT (OL|UL) - - (LI)+>
LX->Tdir or LX->Tmenu or LX->Tol or LX->Tul =>
changeindent(ps, LISTTAB);
if(tag == LX->Tol)
tydef := LT1;
else
tydef = LTdisc;
start := aintval(tok, LX->Astart, 1);
ps.listtypestk = listtyval(tok, tydef) :: ps.listtypestk;
ps.listcntstk = start :: ps.listcntstk;
LX->Tdir+RBRA or LX->Tmenu+RBRA
or LX->Tol+RBRA or LX->Tul+RBRA =>
if(ps.listtypestk == nil) {
if(warn)
sys->print("warning: %s ended no list\n", tok.tostring());
continue;
}
addbrk(ps, 0, 0);
ps.listtypestk = tl ps.listtypestk;
ps.listcntstk = tl ps.listcntstk;
changeindent(ps, -LISTTAB);
# <!ELEMENT DL - - (DT|DD)+ >
LX->Tdl =>
changeindent(ps, LISTTAB);
ps.hangstk = 0 :: ps.hangstk;
LX->Tdl+RBRA =>
if(ps.hangstk == nil) {
if(warn)
sys->print("warning: unexpected </DL>\n");
continue;
}
changeindent(ps, -LISTTAB);
if(hd ps.hangstk != 0)
changehang(ps, -10*LISTTAB);
ps.hangstk = tl ps.hangstk;
# <!ELEMENT DT - O (%text)* >
LX->Tdt =>
if(ps.hangstk == nil) {
if(warn)
sys->print("warning: <DT> not inside <DL>\n");
continue;
}
h := hd ps.hangstk;
ps.hangstk = tl ps.hangstk;
if(h != 0)
changehang(ps, -10*LISTTAB);
changehang(ps, 10*LISTTAB);
ps.hangstk = 1 :: ps.hangstk;
# <!ELEMENT FONT - - (%text)*>
LX->Tfont =>
sz := stackhd(ps.fntsizestk, Normal);
(szfnd, nsz) := tok.aval(LX->Asize);
if(szfnd) {
if(S->prefix("+", nsz))
sz = Normal + int (nsz[1:]) + ps.adjsize;
else if(S->prefix("-", nsz))
sz = Normal - int (nsz[1:]) + ps.adjsize;
else if(nsz != "")
sz = Normal + ( int nsz - 3);
}
ps.curfg = color(aval(tok, LX->Acolor), ps.curfg);
ps.fgstk = ps.curfg :: ps.fgstk;
pushfontsize(ps, sz);
LX->Tfont+RBRA =>
if(ps.fgstk == nil) {
if(warn)
sys->print("warning: unexpected </FONT>\n");
continue;
}
ps.fgstk = tl ps.fgstk;
if(ps.fgstk == nil)
ps.curfg = di.text;
else
ps.curfg = hd ps.fgstk;
popfontsize(ps);
# <!ELEMENT FORM - - %body.content -(FORM) >
LX->Tform =>
if(is.curform != nil) {
if(warn)
sys->print("warning: <FORM> nested inside another\n");
continue;
}
action := aurlval(tok, LX->Aaction, di.base, di.base);
name := astrval(tok, LX->Aname, aval(tok, LX->Aid));
target := astrval(tok, LX->Atarget, di.target);
smethod := S->tolower(astrval(tok, LX->Amethod, "get"));
method := CU->HGet;
if(smethod == "post")
method = CU->HPost;
else if(smethod != "get") {
if(warn)
sys->print("warning: unknown form method %s\n", smethod);
}
(ecfnd, enctype) := tok.aval(LX->Aenctype);
if(warn && ecfnd && enctype != "application/x-www-form-urlencoded")
sys->print("form enctype %s not handled\n", enctype);
ga := getgenattr(tok);
evl : list of Lex->Attr = nil;
if(ga != nil) {
evl = ga.events;
if(evl != nil && doscripts)
di.hasscripts = 1;
}
frm := Form.new(++is.nforms, name, action, target, method, evl);
di.forms = frm :: di.forms;
is.curform = frm;
LX->Tform+RBRA =>
if(is.curform == nil) {
if(warn)
sys->print("warning: unexpected </FORM>\n");
continue;
}
# put fields back in input order
fields : list of ref Formfield = nil;
for(fl := is.curform.fields; fl != nil; fl = tl fl)
fields = hd fl :: fields;
is.curform.fields = fields;
is.curform.state = FormDone;
is.curform = nil;
# HTML 4
# <!ELEMENT FRAME - O EMPTY>
LX->Tframe =>
if(is.kidstk == nil) {
if(warn)
sys->print("warning: <FRAME> not in <FRAMESET>\n");
continue;
}
ks := hd is.kidstk;
kd := Kidinfo.new(0);
kd.src = aurlval(tok, LX->Asrc, nil, di.base);
kd.name = aval(tok, LX->Aname);
if(kd.name == "")
kd.name = "_fr" + string (++is.nframes);
kd.marginw = aintval(tok, LX->Amarginwidth, 0);
kd.marginh = aintval(tok, LX->Amarginheight, 0);
kd.framebd = aintval(tok, LX->Aframeborder, ks.framebd);
kd.flags = atabval(tok, LX->Ascrolling, fscroll_tab, kd.flags);
norsz := aboolval(tok, LX->Anoresize);
if(norsz)
kd.flags |= FRnoresize;
ks.kidinfos = kd :: ks.kidinfos;
# HTML 4
# <!ELEMENT FRAMESET - - (FRAME|FRAMESET)+>
LX->Tframeset =>
ks := Kidinfo.new(1);
if(is.kidstk == nil)
di.kidinfo = ks;
else {
pks := hd is.kidstk;
pks.kidinfos = ks :: pks.kidinfos;
}
is.kidstk = ks :: is.kidstk;
ks.framebd = aintval(tok, LX->Aborder, 1);
ks.rows = dimlist(tok, LX->Arows);
if(ks.rows == nil)
ks.rows = array[] of {Dimen.make(Dpercent,100)};
ks.cols = dimlist(tok, LX->Acols);
if(ks.cols == nil)
ks.cols = array[] of {Dimen.make(Dpercent,100)};
if(doscripts) {
ga := getgenattr(tok);
if(ga != nil && ga.events != nil) {
di.events = ga.events;
di.hasscripts = 1;
}
}
LX->Tframeset+RBRA =>
if(is.kidstk == nil) {
if(warn)
sys->print("warning: unexpected </FRAMESET>\n");
continue;
}
ks := hd is.kidstk;
# put kids back in original order
# and add blank frames to fill out cells
n := (len ks.rows) * (len ks.cols);
nblank := n - len ks.kidinfos;
while(nblank-- > 0)
ks.kidinfos = Kidinfo.new(0) :: ks.kidinfos;
kids : list of ref Kidinfo = nil;
for(kl := ks.kidinfos; kl != nil; kl = tl kl)
kids = hd kl :: kids;
ks.kidinfos= kids;
is.kidstk = tl is.kidstk;
if(is.kidstk == nil) {
for(;;) {
toks = is.ts.gettoks();
if(len toks == 0)
break;
}
tokslen = 0;
}
# <!ELEMENT H1 - - (%text;)*>, etc.
LX->Th1 or LX->Th2 or LX->Th3
or LX->Th4 or LX->Th5 or LX->Th6 =>
# don't want extra space if this is first addition
# to this item list (BUG: problem if first of bufferful)
bramt := 1;
if(ps.items == ps.lastit)
bramt = 0;
addbrk(ps, bramt, IFcleft|IFcright);
# assume Th2 = Th1+1, etc.
sz := Verylarge - (tag - LX->Th1);
if(sz < Tiny)
sz = Tiny;
pushfontsize(ps, sz);
sty := stackhd(ps.fntstylestk, FntR);
if(tag == LX->Th1)
sty = FntB;
pushfontstyle(ps, sty);
pushjust(ps, atabbval(tok, LX->Aalign, align_tab, ps.curjust));
ps.skipwhite = 1;
LX->Th1+RBRA or LX->Th2+RBRA
or LX->Th3+RBRA or LX->Th4+RBRA
or LX->Th5+RBRA or LX->Th6+RBRA =>
addbrk(ps, 1, IFcleft|IFcright);
popfontsize(ps);
popfontstyle(ps);
popjust(ps);
LX->Thead =>
# HTML spec says ignore regular markup in head,
# but Netscape and IE don't
# ps.skipping = 1;
;
LX->Thead+RBRA =>
ps.skipping = 0;
# <!ELEMENT HR - O EMPTY>
LX->Thr =>
al := atabbval(tok, LX->Aalign, align_tab, Acenter);
sz := aintval(tok, LX->Asize, HRSZ);
wd := makedimen(tok, LX->Awidth);
if(wd.kind() == Dnone)
wd = Dimen.make(Dpercent, 100);
nosh := aboolval(tok, LX->Anoshade);
additem(ps, Item.newrule(al, sz, nosh, wd), tok);
addbrk(ps, 0, 0);
# <!ELEMENT (I|CITE|DFN|EM|VAR) - - (%text)*>
LX->Ti or LX->Tcite or LX->Tdfn
or LX->Tem or LX->Tvar or LX->Taddress =>
pushfontstyle(ps, FntI);
# <!ELEMENT IMG - O EMPTY>
LX->Timage or # common html error supported by other browsers
LX->Timg =>
tok.tag = LX->Timg;
map : ref Map = nil;
usemap := aval(tok, LX->Ausemap);
oldcuranchor := ps.curanchor;
if(usemap != "") {
# can't handle non-local maps
if(!S->prefix("#", usemap)) {
if(warn)
sys->print("warning: can't handle non-local map %s\n", usemap);
}
else {
map = getmap(di, usemap[1:]);
if(ps.curanchor == 0) {
# make an anchor so charon's easy test for whether
# there's an action for the item works
di.anchors = ref Anchor(++is.nanchors, "", nil, di.target, nil, 0) :: di.anchors;
ps.curanchor = is.nanchors;
}
}
}
align := atabbval(tok, LX->Aalign, align_tab, Abottom);
dfltbd := 0;
if(ps.curanchor != 0)
dfltbd = 2;
src := aurlval(tok, LX->Asrc, nil, di.base);
if(src == nil) {
if(warn)
sys->print("warning: <img> has no src attribute\n");
ps.curanchor = oldcuranchor;
continue;
}
img := Item.newimage(di, src,
aurlval(tok, LX->Alowsrc, nil, di.base),
aval(tok, LX->Aalt),
align,
aintval(tok, LX->Awidth, 0),
aintval(tok, LX->Aheight, 0),
aintval(tok, LX->Ahspace, IMGHSPACE),
aintval(tok, LX->Avspace, IMGVSPACE),
aintval(tok, LX->Aborder, dfltbd),
aboolval(tok, LX->Aismap),
0, # not a background image
map,
aval(tok, LX->Aname),
getgenattr(tok));
if(align == Aleft || align == Aright) {
additem(ps, Item.newfloat(img, align), tok);
# if no hspace specified, use FLTIMGHSPACE
(fnd,nil) := tok.aval(LX->Ahspace);
if(!fnd) {
pick ii := img {
Iimage =>
ii.hspace = byte FLTIMGHSPACE;
}
}
} else {
ps.skipwhite = 0;
additem(ps, img, tok);
}
if(!ps.skipping)
di.images = img :: di.images;
ps.curanchor = oldcuranchor;
# <!ELEMENT INPUT - O EMPTY>
LX->Tinput =>
if (ps.skipping)
continue;
ps.skipwhite = 0;
if(is.curform ==nil) {
if(warn)
sys->print("<INPUT> not inside <FORM>\n");
continue;
}
field := Formfield.new(atabval(tok, LX->Atype, input_tab, Ftext),
++is.curform.nfields, # fieldid
is.curform, # form
aval(tok, LX->Aname),
aval(tok, LX->Avalue),
aintval(tok, LX->Asize, 0),
aintval(tok, LX->Amaxlength, 1000));
if(aboolval(tok, LX->Achecked))
field.flags = FFchecked;
case field.ftype {
Ftext or Fpassword or Ffile =>
if(field.size == 0)
field.size = 20;
Fcheckbox =>
if(field.name == "") {
if(warn)
sys->print("warning: checkbox form field missing name\n");
# continue;
}
if(field.value == "")
field.value = "on";
Fradio =>
if(field.name == "" || field.value == "") {
if(warn)
sys->print("warning: radio form field missing name or value\n");
# continue;
}
Fsubmit =>
if(field.value == "")
field.value = "Submit";
if(field.name == "")
field.name = "_no_name_submit_";
Fimage =>
src := aurlval(tok, LX->Asrc, nil, di.base);
if(src == nil) {
if(warn)
sys->print("warning: image form field missing src\n");
# continue;
} else {
# width and height attrs aren't specified in HTML 3.2,
# but some people provide them and they help avoid
# a relayout
field.image = Item.newimage(di, src,
aurlval(tok, LX->Alowsrc, nil, di.base),
astrval(tok, LX->Aalt, "Submit"),
atabbval(tok, LX->Aalign, align_tab, Abottom),
aintval(tok, LX->Awidth, 0),
aintval(tok, LX->Aheight, 0),
0, 0, 0, 0, 0, nil, field.name, nil);
di.images = field.image :: di.images;
}
Freset =>
if(field.value == "")
field.value = "Reset";
Fbutton =>
if(field.value == "")
field.value = " ";
}
is.curform.fields = field :: is.curform.fields;
ffit := Item.newformfield(field);
additem(ps, ffit, tok);
if(ffit.genattr != nil) {
field.events = ffit.genattr.events;
if(field.events != nil && doscripts)
di.hasscripts = 1;
}
# <!ENTITY ISINDEX - O EMPTY>
LX->Tisindex =>
ps.skipwhite = 0;
prompt := astrval(tok, LX->Aprompt, "Index search terms:");
target := astrval(tok, LX->Atarget, di.target);
additem(ps, textit(ps, prompt), tok);
frm := Form.new(++is.nforms, "", di.base, target, CU->HGet, nil);
ff := Formfield.new(Ftext, 1, frm, "_ISINDEX_", "", 50, 1000);
frm.fields = ff :: nil;
frm.nfields = 1;
di.forms = frm :: di.forms;
additem(ps, Item.newformfield(ff), tok);
addbrk(ps, 1, 0);
# <!ELEMENT LI - O %flow>
LX->Tli =>
if(ps.listtypestk == nil) {
if(warn)
sys->print("<LI> not in list\n");
continue;
}
ty := hd ps.listtypestk;
ty2 := listtyval(tok, ty);
if(ty != ty2) {
ty = ty2;
ps.listtypestk = ty2 :: tl ps.listtypestk;
}
v := aintval(tok, LX->Avalue, hd ps.listcntstk);
if(ty == LTdisc || ty == LTsquare || ty == LTcircle)
hang := 10*LISTTAB - 3;
else
hang = 10*LISTTAB - 1;
changehang(ps, hang);
addtext(ps, listmark(ty, v));
ps.listcntstk = (v+1) :: (tl ps.listcntstk);
changehang(ps, -hang);
ps.skipwhite = 1;
# <!ELEMENT MAP - - (AREA)+>
LX->Tmap =>
is.curmap = getmap(di, aval(tok, LX->Aname));
LX->Tmap+RBRA =>
map := is.curmap;
if(map == nil) {
if(warn)
sys->print("warning: unexpected </MAP>\n");
continue;
}
# put areas back in input order
areas : list of Area = nil;
for(al := map.areas; al != nil; al = tl al)
areas = hd al :: areas;
map.areas = areas;
is.curmap = nil;
LX->Tmeta =>
if(ps.skipping)
continue;
(fnd, equiv) := tok.aval(LX->Ahttp_equiv);
if(fnd) {
v := aval(tok, LX->Acontent);
case S->tolower(equiv) {
"set-cookie" =>
if((CU->config).docookies > 0) {
url := di.src;
CU->setcookie(v, url.host, url.path);
}
"refresh" =>
di.refresh = v;
"content-script-type" =>
if(v == "javascript" || v == "javascript1.1" || v == "jscript")
di.scripttype = CU->TextJavascript;
# TODO: other kinds
else {
if(warn)
sys->print("unimplemented script type %s\n", v);
di.scripttype = CU->UnknownType;
}
"content-type" =>
(nil, parms) := S->splitl(v, ";");
if (parms != nil) {
nvs := Nameval.namevals(parms[1:], ';');
(got, s) := Nameval.find(nvs, "charset");
if (got) {
# sys->print("HTTP-EQUIV charset: %s\n", s);
btos := CU->getconv(s);
if (btos != nil)
is.ts.setchset(btos);
else if (warn)
sys->print("cannot set charset %s\n", s);
}
}
}
}
# Nobr is NOT in HMTL 4.0, but it is ubiquitous on the web
LX->Tnobr =>
ps.skipwhite = 0;
ps.curstate &= ~IFwrap;
LX->Tnobr+RBRA =>
ps.curstate |= IFwrap;
# We do frames, so skip stuff in noframes
LX->Tnoframes =>
ps.skipping = 1;
LX->Tnoframes+RBRA =>
ps.skipping = 0;
# We do scripts (if enabled), so skip stuff in noscripts
LX->Tnoscript =>
if(doscripts)
ps.skipping = 1;
LX->Tnoscript+RBRA =>
if(doscripts)
ps.skipping = 0;
# <!ELEMENT OPTION - O (#PCDATA)>
LX->Toption =>
if(is.curform == nil || is.curform.fields == nil) {
if(warn)
sys->print("warning: <OPTION> not in <SELECT>\n");
continue;
}
field := hd is.curform.fields;
if(field.ftype != Fselect) {
if(warn)
sys->print("warning: <OPTION> not in <SELECT>\n");
continue;
}
val := aval(tok, LX->Avalue);
option := ref Option(aboolval(tok, LX->Aselected),
val, "");
field.options = option :: field.options;
(option.display, toki) = getpcdata(toks, toki);
option.display = optiontext(option.display);
if(val == "")
option.value = option.display;
# <!ELEMENT P - O (%text)* >
LX->Tp =>
pushjust(ps, atabbval(tok, LX->Aalign, align_tab, ps.curjust));
ps.inpar = 1;
ps.skipwhite = 1;
LX->Tp+RBRA =>
;
# <!ELEMENT PARAM - O EMPTY>
# Do something when we do applets...
LX->Tparam =>
;
# <!ELEMENT PRE - - (%text)* -(IMG|BIG|SMALL|SUB|SUP|FONT) >
LX->Tpre =>
ps.curstate &= ~IFwrap;
ps.literal = 1;
ps.skipwhite = 0;
pushfontstyle(ps, FntT);
LX->Tpre+RBRA =>
ps.curstate |= IFwrap;
if(ps.literal) {
popfontstyle(ps);
ps.literal = 0;
}
# <!ELEMENT SCRIPT - - CDATA>
LX->Tscript =>
if(!doscripts) {
if(warn)
sys->print("warning: <SCRIPT> ignored\n");
ps.skipping = 1;
break;
}
script := "";
scripttoki := toki;
(script, toki) = getpcdata(toks, toki);
# check language version
lang := astrval(tok, LX->Alanguage, "javascript");
lang = S->tolower(lang);
lang = trim_white(lang);
# should give preference to type
supported := 0;
for (v := 0; v < len J->versions; v++)
if (J->versions[v] == lang) {
supported = 1;
break;
}
if (!supported)
break;
di.hasscripts = 1;
scriptsrc := aurlval(tok, LX->Asrc, nil, di.base);
if(scriptsrc != nil && is.reqdurl == nil) {
is.reqdurl = scriptsrc;
toki = scripttoki;
# is.reqddata will contain script next time round
break TokLoop;
}
if (is.reqddata != nil) {
script = CU->stripscript(string is.reqddata);
is.reqddata = nil;
is.reqdurl = nil;
}
if(script == "")
break;
#sys->print("SCRIPT (ver %s)\n%s\nENDSCRIPT\n", lang, script);
(err, replace, nil) := J->evalscript(is.frame, script);
if(err != "") {
if(warn)
sys->print("Javascript error: %s\n", err);
} else {
# First, worry about possible transfer back of new values
if(di.text != ps.curfg) {
# The following isn't nearly good enough
# (if the fgstk isn't nil, need to replace bottom of stack;
# and need to do similar things for all other pstates).
# But Netscape 4.0 doesn't do anything at all if change
# foreground in a script!
if(ps.fgstk == nil)
ps.curfg = di.text;
}
scripttoks := lexstring(replace);
ns := len scripttoks;
if(ns > 0) {
# splice scripttoks into toks, replacing <SCRIPT>...</SCRIPT>
if(toki+1 < tokslen && toks[toki+1].tag == LX->Tscript+RBRA)
toki++;
newtokslen := tokslen - (toki+1-scripttoki) + ns;
newtoks := array[newtokslen] of ref Token;
newtoks[0:] = toks[0:scripttoki];
newtoks[scripttoki:] = scripttoks;
if(toki+1 < tokslen)
newtoks[scripttoki+ns:] = toks[toki+1:tokslen];
toks = newtoks;
tokslen = newtokslen;
toki = scripttoki-1;
scripttoks = nil;
}
}
LX->Tscript+RBRA =>
ps.skipping = 0;
# <!ELEMENT SELECT - - (OPTION+)>
LX->Tselect =>
if(is.curform ==nil) {
if(warn)
sys->print("<SELECT> not inside <FORM>\n");
continue;
}
field := Formfield.new(Fselect,
++is.curform.nfields, # fieldid
is.curform, # form
aval(tok, LX->Aname),
"", # value
aintval(tok, LX->Asize, 1),
0); # maxlength
if(aboolval(tok, LX->Amultiple))
field.flags = FFmultiple;
is.curform.fields = field :: is.curform.fields;
ffit := Item.newformfield(field);
additem(ps, ffit, tok);
if(ffit.genattr != nil) {
field.events = ffit.genattr.events;
if(field.events != nil && doscripts)
di.hasscripts = 1;
}
# throw away stuff until next tag (should be <OPTION>)
(nil, toki) = getpcdata(toks, toki);
LX->Tselect+RBRA =>
if(is.curform == nil || is.curform.fields == nil) {
if(warn)
sys->print("warning: unexpected </SELECT>\n");
continue;
}
field := hd is.curform.fields;
if(field.ftype != Fselect)
continue;
# put options back in input order
opts : list of ref Option = nil;
select := 0;
for(ol := field.options; ol != nil; ol = tl ol) {
o := hd ol;
if (o.selected)
select = 1;
opts = o :: opts;
}
# Single-choice select fields preselect the first option if none explicitly selected
if (!select && !int(field.flags & FFmultiple) && opts != nil)
(hd opts).selected = 1;
field.options = opts;
# <!ELEMENT (STRIKE|U) - - (%text)*>
LX->Tstrike or LX->Tu =>
if(tag == LX->Tstrike)
ulty := ULmid;
else
ulty = ULunder;
ps.ulstk = ulty :: ps.ulstk;
ps.curul = ulty;
LX->Tstrike+RBRA or LX->Tu+RBRA =>
if(ps.ulstk == nil) {
if(warn)
sys->print("warning: unexpected %s\n", tok.tostring());
continue;
}
ps.ulstk = tl ps.ulstk;
if(ps.ulstk != nil)
ps.curul = hd ps.ulstk;
else
ps.curul = ULnone;
# <!ELEMENT STYLE - - CDATA>
LX->Tstyle =>
if(warn)
sys->print("warning: unimplemented <STYLE>\n");
ps.skipping = 1;
LX->Tstyle+RBRA =>
ps.skipping = 0;
# <!ELEMENT (SUB|SUP) - - (%text)*>
LX->Tsub or LX->Tsup =>
if(tag == LX->Tsub)
ps.curvoff += SUBOFF;
else
ps.curvoff -= SUPOFF;
ps.voffstk = ps.curvoff :: ps.voffstk;
sz := stackhd(ps.fntsizestk, Normal);
pushfontsize(ps, sz-1);
LX->Tsub+RBRA or LX->Tsup+RBRA =>
if(ps.voffstk == nil) {
if(warn)
sys->print("warning: unexpected %s\n", tok.tostring());
continue;
}
ps.voffstk = tl ps.voffstk;
if(ps.voffstk != nil)
ps.curvoff = hd ps.voffstk;
else
ps.curvoff = 0;
popfontsize(ps);
# <!ELEMENT TABLE - - (CAPTION?, TR+)>
LX->Ttable =>
if (ps.skipping)
continue;
ps.skipwhite = 0;
# Handle an html error (seen on deja.com)
# ... sometimes see a nested <table> outside of a cell
# imitate observed behaviour of IE/Navigator
if (curtab != nil && curtab.cells == nil) {
curtab.align = makealign(tok);
curtab.width = makedimen(tok, LX->Awidth);
curtab.border = aflagval(tok, LX->Aborder);
curtab.cellspacing = aintval(tok, LX->Acellspacing, TABSP);
curtab.cellpadding = aintval(tok, LX->Acellpadding, TABPAD);
curtab.background = Background(nil, color(aval(tok, LX->Abgcolor), -1));
curtab.tabletok = tok;
continue;
}
tab := Table.new(++is.ntables, # tableid
makealign(tok), # align
makedimen(tok, LX->Awidth),
aflagval(tok, LX->Aborder),
aintval(tok, LX->Acellspacing, TABSP),
aintval(tok, LX->Acellpadding, TABPAD),
# Background(nil, color(aval(tok, LX->Abgcolor), ps.curbg.color)),
Background(nil, color(aval(tok, LX->Abgcolor), -1)),
tok);
is.tabstk = tab :: is.tabstk;
di.tables = tab :: di.tables;
curtab = tab;
# HTML spec says:
# don't add items to outer state (until </table>)
# but IE and Netscape don't do that
LX->Ttable+RBRA =>
if (ps.skipping)
continue;
if(curtab == nil) {
if(warn)
sys->print("warning: unexpected </TABLE>\n");
continue;
}
isempty := (curtab.cells == nil);
if(isempty) {
if(warn)
sys->print("warning: <TABLE> has no cells\n");
}
else {
(ps, psstk) = finishcell(curtab, psstk);
if(curtab.currows != nil)
(hd curtab.currows).flags = byte 0;
finish_table(curtab);
}
ps.skipping = 0;
if(!isempty) {
tabitem := Item.newtable(curtab);
al := int curtab.align.halign;
case al {
int Aleft or int Aright =>
additem(ps, Item.newfloat(tabitem, byte al), tok);
* =>
if(al == int Acenter)
pushjust(ps, Acenter);
addbrk(ps, 0, 0);
if(ps.inpar) {
popjust(ps);
ps.inpar = 0;
}
additem(ps, tabitem, curtab.tabletok);
if(al == int Acenter)
popjust(ps);
}
}
if(is.tabstk == nil) {
if(warn)
sys->print("warning: table stack is wrong\n");
}
else
is.tabstk = tl is.tabstk;
if(is.tabstk == nil)
curtab = nil;
else
curtab = hd is.tabstk;
if(!isempty) {
# the code at the beginning to add a break after table
# changed the nested ps, not the current one
addbrk(ps, 0, 0);
}
# <!ELEMENT (TH|TD) - O %body.content>
# Cells for a row are accumulated in reverse order.
# We push ps on a stack, and use a new one to accumulate
# the contents of the cell.
LX->Ttd or LX->Tth =>
if (ps.skipping)
continue;
if(curtab == nil) {
if(warn)
sys->print("%s outside <TABLE>\n", tok.tostring());
continue;
}
if(ps.inpar) {
popjust(ps);
ps.inpar = 0;
}
(ps, psstk) = finishcell(curtab, psstk);
tr : ref Tablerow = nil;
if(curtab.currows != nil)
tr = hd curtab.currows;
if(tr == nil || tr.flags == byte 0) {
if(warn)
sys->print("%s outside row\n", tok.tostring());
tr = Tablerow.new(Align(Anone,Anone), curtab.background, TFparsing);
curtab.currows = tr :: curtab.currows;
}
ps = cell_pstate(ps, tag == LX->Tth);
psstk = ps :: psstk;
flags := TFparsing;
width := makedimen(tok, LX->Awidth);
# nowrap only applies if no width has been specified
if(width.kind() == Dnone && aboolval(tok, LX->Anowrap)) {
flags |= TFnowrap;
ps.curstate &= ~IFwrap;
}
if(tag == LX->Tth)
flags |= TFisth;
bg := Background(nil, color(aval(tok, LX->Abgcolor), tr.background.color));
c := Tablecell.new(len curtab.cells + 1, # cell id
aintval(tok, LX->Arowspan, 1),
aintval(tok, LX->Acolspan, 1),
makealign(tok),
width,
aintval(tok, LX->Aheight, 0),
bg,
flags);
bgurl := aurlval(tok, LX->Abackground, nil, di.base);
if(bgurl != nil) {
pick ni := Item.newimage(di, bgurl, nil,"", Anone, 0, 0, 0, 0, 0, 0, 1, nil, nil, nil){
Iimage =>
bg.image = ni;
}
di.images = bg.image :: di.images;
}
c.background = ps.curbg = bg;
ps.curbg.image = nil;
if(c.align.halign == Anone) {
if(tr.align.halign != Anone)
c.align.halign = tr.align.halign;
else if(tag == LX->Tth)
c.align.halign = Acenter;
else
c.align.halign = Aleft;
}
if(c.align.valign == Anone) {
if(tr.align.valign != Anone)
c.align.valign = tr.align.valign;
else
c.align.valign = Amiddle;
}
curtab.cells = c :: curtab.cells;
tr.cells = c :: tr.cells;
LX->Ttd+RBRA or LX->Tth+RBRA =>
if (ps.skipping)
continue;
if(curtab == nil || curtab.cells == nil) {
if(warn)
sys->print("unexpected %s\n", tok.tostring());
continue;
}
(ps, psstk) = finishcell(curtab, psstk);
# <!ELEMENT TEXTAREA - - (#PCDATA)>
LX->Ttextarea =>
if(is.curform ==nil) {
if(warn)
sys->print("<TEXTAREA> not inside <FORM>\n");
continue;
}
nrows := aintval(tok, LX->Arows, 3);
ncols := aintval(tok, LX->Acols, 50);
ft := Ftextarea;
if (ncols == 0 || nrows == 0)
ft = Fhidden;
field := Formfield.new(ft,
++is.curform.nfields, # fieldid
is.curform, # form
aval(tok, LX->Aname),
"", # value
0, 0); # size, maxlength
field.rows = nrows;
field.cols = ncols;
is.curform.fields = field :: is.curform.fields;
(field.value, toki) = getpcdata(toks, toki);
if(warn && toki < tokslen-1 && toks[toki+1].tag != LX->Ttextarea+RBRA)
sys->print("warning: <TEXTAREA> data ended by %s\n", toks[toki+1].tostring());
ffit := Item.newformfield(field);
additem(ps, ffit, tok);
if(ffit.genattr != nil) {
field.events = ffit.genattr.events;
if(field.events != nil && doscripts)
di.hasscripts = 1;
}
# <!ELEMENT TITLE - - (#PCDATA)* -(%head.misc)>
LX->Ttitle =>
(di.doctitle, toki) = getpcdata(toks, toki);
if(warn && toki < tokslen-1 && toks[toki+1].tag != LX->Ttitle+RBRA)
sys->print("warning: <TITLE> data ended by %s\n", toks[toki+1].tostring());
# <!ELEMENT TR - O (TH|TD)+>
# rows are accumulated in reverse order in curtab.currows
LX->Ttr =>
if (ps.skipping)
continue;
if(curtab == nil) {
if(warn)
sys->print("warning: <TR> outside <TABLE>\n");
continue;
}
if(ps.inpar) {
popjust(ps);
ps.inpar = 0;
}
(ps, psstk) = finishcell(curtab, psstk);
if(curtab.currows != nil)
(hd curtab.currows).flags = byte 0;
tr := Tablerow.new(makealign(tok),
Background(nil, color(aval(tok, LX->Abgcolor), curtab.background.color)),
TFparsing);
curtab.currows = tr :: curtab.currows;
LX->Ttr+RBRA =>
if (ps.skipping)
continue;
if(curtab == nil || curtab.currows == nil) {
if(warn)
sys->print("warning: unexpected </TR>\n");
continue;
}
(ps, psstk) = finishcell(curtab, psstk);
tr := hd curtab.currows;
if(tr.cells == nil) {
if(warn)
sys->print("warning: empty row\n");
curtab.currows = tl curtab.currows;
}
else
tr.flags = byte 0; # done parsing
# <!ELEMENT (TT|CODE|KBD|SAMP) - - (%text)*>
LX->Ttt or LX->Tcode or LX->Tkbd or LX->Tsamp =>
pushfontstyle(ps, FntT);
# <!ELEMENT (XMP|LISTING) - - %literal >
# additional support exists in LX to ignore character escapes etc.
LX->Txmp =>
ps.curstate &= ~IFwrap;
ps.literal = 1;
ps.skipwhite = 0;
pushfontstyle(ps, FntT);
LX->Txmp+RBRA =>
ps.curstate |= IFwrap;
if(ps.literal) {
popfontstyle(ps);
ps.literal = 0;
}
# Tags that have empty action
LX->Tabbr or LX->Tabbr+RBRA
or LX->Tacronym or LX->Tacronym+RBRA
or LX->Tarea+RBRA
or LX->Tbase+RBRA
or LX->Tbasefont+RBRA
or LX->Tbr+RBRA
or LX->Tdd+RBRA
or LX->Tdt+RBRA
or LX->Tframe+RBRA
or LX->Thr+RBRA
or LX->Thtml
or LX->Thtml+RBRA
or LX->Timg+RBRA
or LX->Tinput+RBRA
or LX->Tisindex+RBRA
or LX->Tli+RBRA
or LX->Tlink or LX->Tlink+RBRA
or LX->Tmeta+RBRA
or LX->Toption+RBRA
or LX->Tparam+RBRA
or LX->Ttextarea+RBRA
or LX->Ttitle+RBRA
=>
;
# Tags not implemented
LX->Tbdo or LX->Tbdo+RBRA
or LX->Tbutton or LX->Tbutton+RBRA
or LX->Tdel or LX->Tdel+RBRA
or LX->Tfieldset or LX->Tfieldset+RBRA
or LX->Tiframe or LX->Tiframe+RBRA
or LX->Tins or LX->Tins+RBRA
or LX->Tlabel or LX->Tlabel+RBRA
or LX->Tlegend or LX->Tlegend+RBRA
or LX->Tobject or LX->Tobject+RBRA
or LX->Toptgroup or LX->Toptgroup+RBRA
or LX->Tspan or LX->Tspan+RBRA
=>
if(warn) {
if(tag > RBRA)
tag -= RBRA;
sys->print("warning: unimplemented HTML tag: %s\n", LX->tagnames[tag]);
}
* =>
if(warn)
sys->print("warning: unknown HTML tag: %s\n", tok.text);
}
}
if (toki < tokslen)
is.toks = toks[toki:];
if(tokslen == 0) {
# we might have hit eof from lexer
# some pages omit trailing </table>
bs := is.ts.b;
if(bs.eof && bs.lim == bs.edata) {
while(curtab != nil) {
if(warn)
sys->print("warning: <TABLE> not closed\n");
if(curtab.cells != nil) {
(ps, psstk) = finishcell(curtab, psstk);
if(curtab.currows != nil)
(hd curtab.currows).flags = byte 0;
finish_table(curtab);
ps.skipping = 0;
additem(ps, Item.newtable(curtab), curtab.tabletok);
addbrk(ps, 0, 0);
}
if(is.tabstk != nil)
is.tabstk = tl is.tabstk;
if(is.tabstk == nil)
curtab = nil;
else
curtab = hd is.tabstk;
}
}
}
outerps := lastps(psstk);
ans := outerps.items.next;
# note: ans may be nil and di.kids not nil, if there's a frameset!
outerps.items = Item.newspacer(ISPnull, 0);
outerps.lastit = outerps.items;
is.psstk = psstk;
if(dbg) {
if(ans == nil)
sys->print("getitems returning nil\n");
else
ans.printlist("getitems returning:");
}
return ans;
}
endanchor(ps: ref Pstate, docfg: int)
{
if(ps.curanchor != 0) {
if(ps.fgstk != nil) {
ps.fgstk = tl ps.fgstk;
if(ps.fgstk == nil)
ps.curfg = docfg;
else
ps.curfg = hd ps.fgstk;
}
ps.curanchor = 0;
if(ps.ulstk != nil) {
ps.ulstk = tl ps.ulstk;
if(ps.ulstk == nil)
ps.curul = ULnone;
else
ps.curul = hd ps.ulstk;
}
}
}
lexstring(s: string) : array of ref Token
{
bs := ByteSource.stringsource(s);
ts := TokenSource.new(bs, utf8, CU->TextHtml);
ans : array of ref Token = nil;
# gettoks might return answer in several hunks
for(;;) {
toks := ts.gettoks();
if(toks == nil)
break;
if(ans != nil) {
newans := array[len ans + len toks] of ref Token;
newans[0:] = ans;
newans[len ans:] = toks;
ans = newans;
}
else
ans = toks;
}
return ans;
}
lastps(psl: list of ref Pstate) : ref Pstate
{
if(psl == nil)
raise "EXInternal: empty pstate stack";
while(tl psl != nil)
psl = tl psl;
return hd psl;
}
# Concatenate together maximal set of Data tokens, starting at toks[toki+1].
# Lexer has ensured that there will either be a following non-data token or
# we will be at eof.
# Return (trimmed concatenation, last used toki).
getpcdata(toks: array of ref Token, toki: int) : (string, int)
{
ans := "";
tokslen := len toks;
toki++;
for(;;) {
if(toki >= tokslen)
break;
tok := toks[toki];
if(tok.tag == LX->Data) {
toki++;
ans = ans + tok.text;
}
else
break;
}
return (trim_white(ans), toki-1);
}
optiontext(str : string) : string
{
ans := "";
lastc := 0;
for (i := 0; i < len str; i++) {
if (str[i] > 16r20)
ans[len ans] = str[i];
else if (lastc > 16r20)
ans[len ans] = ' ';
lastc = str[i];
}
return ans;
}
finishcell(curtab: ref Table, psstk: list of ref Pstate) : (ref Pstate, list of ref Pstate)
{
if(curtab.cells != nil) {
c := hd curtab.cells;
if((c.flags&TFparsing) != byte 0) {
if(tl psstk == nil) {
if(warn)
sys->print("warning: parse state stack is wrong\n");
}
else {
ps := hd psstk;
c.content = ps.items.next;
c.flags &= ~TFparsing;
psstk = tl psstk;
}
}
}
return (hd psstk, psstk);
}
Pstate.new() : ref Pstate
{
ps := ref Pstate (
0, 0, DefFnt, # skipping, skipwhite, curfont
CU->Black, # curfg
Background(nil, CU->White),
0, # curvoff
ULnone, Aleft, # curul, curjust
0, IFwrap, # curanchor, curstate
0, 0, 0, # literal, inpar, adjsize
nil, nil, nil, # items, lastit, prelastit
nil, nil, nil, nil, # fntstylestk, fntsizestk, fgstk, ulstk
nil, nil, nil, nil, # voffstk, listtypestk, listcntstk, juststk
nil); # hangstk
ps.items = Item.newspacer(ISPnull, 0);
ps.lastit = ps.items;
ps.prelastit = nil;
return ps;
}
cell_pstate(oldps: ref Pstate, ishead: int) : ref Pstate
{
ps := Pstate.new();
ps.skipwhite = 1;
ps.curanchor = oldps.curanchor;
ps.fntstylestk = oldps.fntstylestk;
ps.fntsizestk = oldps.fntsizestk;
ps.curfont = oldps.curfont;
ps.curfg = oldps.curfg;
ps.curbg = oldps.curbg;
ps.fgstk = oldps.fgstk;
ps.adjsize = oldps.adjsize;
if(ishead) {
# make bold
sty := ps.curfont%NumSize;
ps.curfont = FntB*NumSize + sty;
}
return ps;
}
trim_white(data: string): string
{
data = S->drop(data, whitespace);
(l,nil) := S->splitr(data, notwhitespace);
return l;
}
# Add it to end of ps item chain, adding in current state from ps.
# Also, if tok is not nil, scan it for generic attributes and assign
# the genattr field of the item accordingly.
additem(ps: ref Pstate, it: ref Item, tok: ref LX->Token)
{
if(ps.skipping) {
if(warn) {
sys->print("warning: skipping item:\n");
it.print();
}
return;
}
it.anchorid = ps.curanchor;
it.state |= ps.curstate;
if(tok != nil)
it.genattr = getgenattr(tok);
ps.curstate &= ~(IFbrk|IFbrksp|IFnobrk|IFcleft|IFcright);
ps.prelastit = ps.lastit;
ps.lastit.next = it;
ps.lastit = it;
}
getgenattr(tok: ref LX->Token) : ref Genattr
{
any := 0;
i, c, s, t: string;
e: list of LX->Attr = nil;
for(al := tok.attr; al != nil; al = tl al) {
a := hd al;
aid := a.attid;
if(attrinfo[aid] == byte 0)
continue;
case aid {
LX->Aid =>
i = a.value;
any = 1;
LX->Aclass =>
c = a.value;
any = 1;
LX->Astyle =>
s = a.value;
any = 1;
LX->Atitle =>
t = a.value;
any = 1;
* =>
CU->assert(aid >= LX->Aonabort && aid <= LX->Aonunload);
e = a :: e;
any = 1;
}
}
if(any)
return ref Genattr(i, c, s, t, e, 0);
return nil;
}
textit(ps: ref Pstate, s: string) : ref Item
{
return Item.newtext(s, ps.curfont, ps.curfg, ps.curvoff+Voffbias, ps.curul);
}
# Add text item or items for s, paying attention to
# current font, foreground, baseline offset, underline state,
# and literal mode. Unless we're in literal mode, compress
# whitespace to single blank, and, if curstate has a break,
# trim any leading whitespace. Whether in literal mode or not,
# turn nonbreaking spaces into spacer items with IFnobrk set.
#
# In literal mode, break up s at newlines and add breaks instead.
# Also replace tabs appropriate number of spaces.
# In nonliteral mode, break up the items every 100 or so characters
# just to make the layout algorithm not go quadratic.
#
# This code could be written much shorter using the String module
# split and drop functions, but we want this part to go fast.
addtext(ps: ref Pstate, s: string)
{
n := len s;
i := 0;
j := 0;
if(ps.literal) {
col := 0;
while(i < n) {
if(s[i] == '\n') {
if(i > j) {
# trim trailing blanks from line
for(k := i; k > j; k--)
if(s[k-1] != ' ')
break;
if(k > j)
additem(ps, textit(ps, s[j:k]), nil);
}
addlinebrk(ps, 0);
j = i+1;
col = 0;
}
else {
if(s[i] == '\t') {
col += i-j;
nsp := 8 - (col % 8);
additem(ps, textit(ps, s[j:i] + " "[0:nsp]), nil);
col += nsp;
j = i+1;
}
else if(s[i] == NBSP) {
if(i > j)
additem(ps, textit(ps, s[j:i]), nil);
addnbsp(ps);
col += (i-j) + 1;
j = i+1;
}
}
i++;
}
if(i > j)
additem(ps, textit(ps, s[j:i]), nil);
}
else {
if((ps.curstate&IFbrk) || ps.lastit == ps.items)
while(i < n) {
c := s[i];
if(c >= C->NCTYPE || ctype[c] != C->W)
break;
i++;
}
ss := "";
j = i;
for( ; i < n; i++) {
c := s[i];
if(c == NBSP) {
if(i > j)
ss += s[j:i];
if(ss != "")
additem(ps, textit(ps, ss), nil);
ss = "";
addnbsp(ps);
j = i + 1;
continue;
}
if(c < C->NCTYPE && ctype[c] == C->W) {
ss += s[j:i] + " ";
while(i < n-1) {
c = s[i+1];
if(c >= C->NCTYPE || ctype[c] != C->W)
break;
i++;
}
j = i + 1;
}
if(i - j >= 100) {
ss += s[j:i+1];
j = i + 1;
}
if(len ss >= 100) {
additem(ps, textit(ps, ss), nil);
ss = "";
}
}
if(i > j && j < n)
ss += s[j:i];
# don't add a space if previous item ended in a space
if(ss == " " && ps.lastit != nil) {
pick t := ps.lastit {
Itext =>
sp := t.s;
nsp := len sp;
if(nsp > 0 && sp[nsp-1] == ' ')
ss = "";
}
}
if(ss != "")
additem(ps, textit(ps, ss), nil);
}
}
# Add a break to ps.curstate, with extra space if sp is true.
# If there was a previous break, combine this one's parameters
# with that to make the amt be the max of the two and the clr
# be the most general. (amt will be 0 or 1)
# Also, if the immediately preceding item was a text item,
# trim any whitespace from the end of it, if not in literal mode.
# Finally, if this is at the very beginning of the item list
# (the only thing there is a null spacer), then don't add the space.
addbrk(ps: ref Pstate, sp: int, clr: int)
{
state := ps.curstate;
clr = clr | (state&(IFcleft|IFcright));
if(sp && !(ps.lastit == ps.items))
sp = IFbrksp;
else
sp = 0;
ps.curstate = IFbrk | sp | (state&~(IFcleft|IFcright)) | clr;
if(ps.lastit != ps.items) {
if(!ps.literal && tagof ps.lastit == tagof Item.Itext) {
pick t := ps.lastit {
Itext =>
(l,nil) := S->splitr(t.s, notwhitespace);
# try to avoid making empty items
# (but not crucial if the occasional one gets through)
if(l == "" && ps.prelastit != nil) {
ps.lastit = ps.prelastit;
ps.lastit.next = nil;
ps.prelastit = nil;
}
else
t.s = l;
}
}
}
}
# Add break due to a <br> or a newline within a preformatted section.
# We add a null item first, with current font's height and ascent, to make
# sure that the current line takes up at least that amount of vertical space.
# This ensures that <br>s on empty lines cause blank lines, and that
# multiple <br>s in a row give multiple blank lines.
# However don't add the spacer if the previous item was something that
# takes up space itself. [[ I think this is not what we want; see
# MR inf983435. --Ravi ]]
addlinebrk(ps: ref Pstate, clr: int)
{
# don't want break before our null item unless the previous item
# was also a null item for the purposes of line breaking
obrkstate := ps.curstate & (IFbrk|IFbrksp);
b := IFnobrk;
if(ps.lastit != nil) {
pick pit := ps.lastit {
Ispacer =>
if(pit.spkind == ISPvline)
b = IFbrk;
}
}
ps.curstate = (ps.curstate & ~(IFbrk|IFbrksp)) | b;
additem(ps, Item.newspacer(ISPvline, ps.curfont), nil);
ps.curstate = (ps.curstate & ~(IFbrk|IFbrksp)) | obrkstate;
addbrk(ps, 0, clr);
}
# Add a nonbreakable space
addnbsp(ps: ref Pstate)
{
# if nbsp comes right where a break was specified,
# do the break anyway (nbsp is being used to generate undiscardable
# space rather than to prevent a break)
if((ps.curstate&IFbrk) == 0)
ps.curstate |= IFnobrk;
additem(ps, Item.newspacer(ISPhspace, ps.curfont), nil);
# but definitely no break on next item
ps.curstate |= IFnobrk;
}
# Change hang in ps.curstate by delta.
# The amount is in 1/10ths of tabs, and is the amount that
# the current contiguous set of items with a hang value set
# is to be shifted left from its normal (indented) place.
changehang(ps: ref Pstate, delta: int)
{
amt := (ps.curstate&IFhangmask) + delta;
if(amt < 0) {
if(warn)
sys->print("warning: hang went negative\n");
amt = 0;
}
ps.curstate = (ps.curstate&~IFhangmask) | amt;
}
# Change indent in ps.curstate by delta.
changeindent(ps: ref Pstate, delta: int)
{
amt := ((ps.curstate&IFindentmask)>>IFindentshift) + delta;
if(amt < 0) {
if(warn)
sys->print("warning: indent went negative\n");
amt = 0;
}
ps.curstate = (ps.curstate&~IFindentmask) | (amt<<IFindentshift);
}
stackhd(stk: list of int, dflt: int) : int
{
if(stk == nil)
return dflt;
return hd stk;
}
popfontstyle(ps: ref Pstate)
{
if(ps.fntstylestk != nil)
ps.fntstylestk = tl ps.fntstylestk;
setcurfont(ps);
}
pushfontstyle(ps: ref Pstate, sty: int)
{
ps.fntstylestk = sty :: ps.fntstylestk;
setcurfont(ps);
}
popfontsize(ps: ref Pstate)
{
if(ps.fntsizestk != nil)
ps.fntsizestk = tl ps.fntsizestk;
setcurfont(ps);
}
pushfontsize(ps: ref Pstate, sz: int)
{
ps.fntsizestk = sz :: ps.fntsizestk;
setcurfont(ps);
}
setcurfont(ps: ref Pstate)
{
sty := FntR;
sz := Normal;
if(ps.fntstylestk != nil)
sty = hd ps.fntstylestk;
if(ps.fntsizestk != nil)
sz = hd ps.fntsizestk;
if(sz < Tiny)
sz = Tiny;
if(sz > Verylarge)
sz = Verylarge;
ps.curfont = sty*NumSize + sz;
}
popjust(ps: ref Pstate)
{
if(ps.juststk != nil)
ps.juststk = tl ps.juststk;
setcurjust(ps);
}
pushjust(ps: ref Pstate, j: byte)
{
ps.juststk = j :: ps.juststk;
setcurjust(ps);
}
setcurjust(ps: ref Pstate)
{
if(ps.juststk != nil)
j := hd ps.juststk;
else
j = Aleft;
if(j != ps.curjust) {
ps.curjust = j;
state := ps.curstate;
state &= ~(IFrjust|IFcjust);
if(j == Acenter)
state |= IFcjust;
else if(j == Aright)
state |= IFrjust;
ps.curstate = state;
}
}
# Do final rearrangement after table parsing is finished
# and assign cells to grid points
finish_table(t: ref Table)
{
t.nrow = len t.currows;
t.rows = array[t.nrow] of ref Tablerow;
ncol := 0;
r := t.nrow-1;
for(rl := t.currows; rl != nil; rl = tl rl) {
row := hd rl;
t.rows[r--] = row;
rcols := 0;
cl := row.cells;
# If rowspan is > 1 but this is the last row,
# reset the rowspan
if(cl != nil && (hd cl).rowspan > 1 && rl == t.currows)
(hd cl).rowspan = 1;
row.cells = nil;
while(cl != nil) {
c := hd cl;
row.cells = c :: row.cells;
rcols += c.colspan;
cl = tl cl;
}
if(rcols > ncol)
ncol = rcols;
}
t.currows = nil;
t.ncol = ncol;
t.cols = array[ncol] of { * => Tablecol(0, Align(Anone, Anone), (0,0)) };
# Reverse cells just so they are drawn in source order.
# Also, trim their contents so they don't end in whitespace.
cells : list of ref Tablecell = nil;
for(cl := t.cells; cl != nil; cl = tl cl) {
c := hd cl;
trim_cell(c);
cells = c :: cells;
}
t.cells = cells;
t.grid = array[t.nrow] of { * => array[t.ncol] of ref Tablecell };
# The following arrays keep track of cells that are spanning
# multiple rows; rowspancnt[i] is the number of rows left
# to be spanned in column i.
# When done, cell's (row,col) is upper left grid point.
rowspancnt := array[t.ncol] of { * => 0};
rowspancell := array[t.ncol] of ref Tablecell;
ri := 0;
ci := 0;
for(ri = 0; ri < t.nrow; ri++) {
row := t.rows[ri];
cl = row.cells;
for(ci = 0; ci < t.ncol || cl != nil; ) {
if(ci < t.ncol && rowspancnt[ci] > 0) {
t.grid[ri][ci] = rowspancell[ci];
rowspancnt[ci]--;
ci++;
}
else {
if(cl == nil) {
ci++;
continue;
}
c := hd cl;
cl = tl cl;
cspan := c.colspan;
rspan := c.rowspan;
if(ci+cspan > t.ncol) {
# because of row spanning, we calculated
# ncol incorrectly; adjust it
newncol := ci+cspan;
newcols := array[newncol] of Tablecol;
newrowspancnt := array[newncol] of { * => 0};
newrowspancell := array[newncol] of ref Tablecell;
newcols[0:] = t.cols;
newrowspancnt[0:] = rowspancnt;
newrowspancell[0:] = rowspancell;
for(k := t.ncol; k < newncol; k++)
newcols[k] = Tablecol(0, Align(Anone, Anone), (0,0));
t.cols = newcols;
rowspancnt = newrowspancnt;
rowspancell = newrowspancell;
for(j := 0; j < t.nrow; j++) {
newgrr := array[newncol] of ref Tablecell;
newgrr[0:] = t.grid[j];
for(k = t.ncol; k < newncol; k++)
newgrr[k] = nil;
t.grid[j] = newgrr;
}
t.ncol = newncol;
}
c.row = ri;
c.col = ci;
for(i := 0; i < cspan; i++) {
t.grid[ri][ci] = c;
if(rspan > 1) {
rowspancnt[ci] = rspan-1;
rowspancell[ci] = c;
}
ci++;
}
}
}
}
t.flags |= Layout->Lchanged;
}
# Remove tail of cell content until it isn't whitespace.
trim_cell(c: ref Tablecell)
{
dropping := 1;
while(c.content != nil && dropping) {
p := c.content;
pprev : ref Item = nil;
while(p.next != nil) {
pprev = p;
p = p.next;
}
dropping = 0;
if(!(p.state&IFnobrk)) {
pick q := p {
Itext =>
s := q.s;
(x,y) := S->splitr(s, notwhitespace);
if(x == nil)
dropping = 1;
else if(y != nil)
q.s = x;
}
}
if(dropping) {
if(pprev == nil)
c.content = nil;
else
pprev.next = nil;
}
}
}
roman := array[] of {"I", "II", "III", "IV", "V", "VI", "VII", "VIII", "IX", "X",
"XI", "XII", "XIII", "XIV", "XV"};
listmark(ty: byte, n: int) : string
{
s := "";
case int ty {
int LTdisc =>
s = "•";
int LTsquare =>
s = "∎";
int LTcircle =>
s = "∘";
int LT1 =>
s = string n + ".";
int LTa or int LTA =>
n--;
i := 0;
if(n < 0)
n = 0;
if(n > 25) {
n2 := n / 26;
n %= 26;
if(n2 > 25)
n2 = 25;
s[i++] = n2 + 'A';
}
s[i++] = n + 'A';
s[i++] = '.';
if(ty == LTa)
s = S->tolower(s);
int LTi or int LTI =>
if(n >= len roman) {
if(warn)
sys->print("warning: unimplemented roman number > %d\n", len roman);
n = len roman;
}
s = roman[n-1];
if(ty == LTi)
s = S->tolower(s);
s += ".";
}
return s;
}
# Find map with given name in di.maps.
# If not there, add one.
getmap(di: ref Docinfo, name: string) : ref Map
{
m : ref Map;
for(ml := di.maps; ml != nil; ml = tl ml) {
m = hd ml;
if(m.name == name)
return m;
}
m = Map.new(name);
di.maps = m :: di.maps;
return m;
}
# attrvalue, when "found" status doesn't matter
# (because nil ans is sufficient indication)
aval(tok: ref Token, attid: int) : string
{
(nil, ans) := tok.aval(attid);
return ans;
}
# attrvalue, when ans is a string, but need default
astrval(tok: ref Token, attid: int, dflt: string) : string
{
(fnd, ans) := tok.aval(attid);
if(!fnd)
return dflt;
else
return ans;
}
# attrvalue, when supposed to convert to int
# and have default for when not found
aintval(tok: ref Token, attid: int, dflt: int) : int
{
(fnd, ans) := tok.aval(attid);
if(!fnd || ans == "")
return dflt;
else
return toint(ans);
}
# Like int conversion, but with possible error check (if warning)
toint(s: string) : int
{
if(warn) {
ok := 0;
for(i := 0; i < len s; i++) {
c := s[i];
if(!(c < C->NCTYPE && ctype[c] == C->W))
break;
}
for(; i < len s; i++) {
c := s[i];
if(c < C->NCTYPE && ctype[c] == C->D)
ok = 1;
else {
ok = 0;
break;
}
}
if(!ok || i != len s)
sys->print("warning: expected integer, got '%s'\n", s);
}
return int s;
}
# attrvalue when need a table to convert strings to ints
atabval(tok: ref Token, attid: int, tab: array of T->StringInt, dflt: int) : int
{
(fnd, aval) := tok.aval(attid);
ans := dflt;
if(fnd) {
name := S->tolower(aval);
(fnd, ans) = T->lookup(tab, name);
if(!fnd) {
ans = dflt;
if(warn)
sys->print("warning: name not found in table lookup: %s\n", name);
}
}
return ans;
}
# like atabval, but when want a byte answer
atabbval(tok: ref Token, attid: int, tab: array of T->StringInt, dflt: byte) : byte
{
(fnd, aval) := tok.aval(attid);
ans := dflt;
if(fnd) {
name := S->tolower(aval);
ians : int;
(fnd, ians) = T->lookup(tab, name);
if(fnd)
ans = byte ians;
else if(warn)
sys->print("warning: name not found in table lookup: %s\n", name);
}
return ans;
}
# special for list types, where "i" and "I" are different,
# but "square" and "SQUARE" are the same
listtyval(tok: ref Token, dflt: byte) : byte
{
(fnd, aval) := tok.aval(LX->Atype);
ans := dflt;
if(fnd) {
case aval {
"1" => ans = LT1;
"A" => ans = LTA;
"I" => ans = LTI;
"a" => ans = LTa;
"i" => ans = LTi;
* =>
aval = S->tolower(aval);
case aval {
"circle" => ans = LTcircle;
"disc" => ans = LTdisc;
"square" => ans = LTsquare;
* => if(warn)
sys->print("warning: unknown list element type %s\n", aval);
}
}
}
return ans;
}
# attrvalue when value is a URL
aurlval(tok: ref Token, attid: int, dflt, base: ref Parsedurl) : ref Parsedurl
{
ans := dflt;
(fnd, url) := tok.aval(attid);
if(fnd && url != nil) {
url = S->drop(url, whitespace);
ans = U->parse(url);
case (ans.scheme) {
"javascript" =>
; # don't strip whitespace from the URL
* =>
# sometimes people put extraneous whitespace in
url = stripwhite(url);
ans = U->parse(url);
if(base != nil)
ans = U->mkabs(ans, base);
}
}
return ans;
}
# remove any whitespace characters from any part of s
# up to a '#' (assuming s is a url and '#' begins a fragment
# (can return s if there are no whitespace characters in it)
stripwhite(s: string) : string
{
j := 0;
n := len s;
strip := 1;
for(i := 0; i < n; i++) {
c := s[i];
if(c == '#')
strip = 0;
if(strip && c < C->NCTYPE && ctype[c]==C->W)
continue;
s[j++] = c;
}
if(j < n)
s = s[0:j];
return s;
}
# Presence of attribute implies true, omission implies false.
# Boolean attributes can have a value equal to their attribute name.
# HTML4.01 does not state whether the attribute is true or false
# if a value is given that doesn't match the attribute name.
aboolval(tok: ref Token, attid: int): int
{
(fnd, nil) := tok.aval(attid);
return fnd;
}
# attrvalue when mere presence of attr implies value of 1
aflagval(tok: ref Token, attid: int) : int
{
val := 0;
(fnd, sval) := tok.aval(attid);
if(fnd) {
val = 1;
if(sval != "")
val = toint(sval);
}
return val;
}
# Make an Align (two alignments, horizontal and vertical)
makealign(tok: ref Token) : Align
{
h := atabbval(tok, LX->Aalign, align_tab, Anone);
v := atabbval(tok, LX->Avalign, align_tab, Anone);
return Align(h, v);
}
# Make a Dimen, based on value of attid attr
makedimen(tok: ref Token, attid: int) : Dimen
{
(fnd, wd) := tok.aval(attid);
if(fnd)
return parsedim(wd);
else
return Dimen.make(Dnone, 0);
}
# Parse s as num[.[num]][unit][%|*]
parsedim(s: string) : Dimen
{
kind := Dnone;
spec := 0;
(l,r) := S->splitl(s, "^0-9");
if(l != "") {
# accumulate 1000 * value (to work in fixed point)
spec = 1000 * toint(l);
if(S->prefix(".", r)) {
f : string;
(f,r) = S->splitl(r[1:], "^0-9");
if(f != "") {
mul := 100;
for(i := 0; i < len f; i++) {
spec = spec + mul * toint(f[i:i+1]);
mul = mul / 10;
}
}
}
kind = Dpixels;
if(r != "") {
if(len r >= 2) {
Tkdpi := 100; # hack, but matches current tk
units := r[0:2];
r = r[2:];
case units {
"pt" => spec = (spec*Tkdpi)/72;
"pi" => spec = (spec*12*Tkdpi)/72;
"in" => spec = spec*Tkdpi;
"cm" => spec = (spec*100*Tkdpi)/254;
"mm" => spec = (spec*10*Tkdpi)/254;
"em" => spec = spec * 15; # hack, lucidasans 8pt is 15 pixels high
* =>
if(warn)
sys->print("warning: unknown units %s\n", units);
}
}
if(r == "%")
kind = Dpercent;
else if(r == "*")
kind = Drelative;
}
spec = spec / 1000;
}
else if(r == "*") {
spec = 1;
kind = Drelative;
}
return Dimen.make(kind, spec);
}
dimlist(tok: ref Token, attid: int) : array of Dimen
{
s := aval(tok, attid);
if(s != "") {
(nc, cl) := sys->tokenize(s, ", ");
if(nc > 0) {
d := array[nc] of Dimen;
for(k := 0; k < nc; k++) {
d[k] = parsedim(hd cl);
cl = tl cl;
}
return d;
}
}
return nil;
}
stringdim(d: Dimen) : string
{
ans := string d.spec();
k := d.kind();
if(k == Dpercent)
ans += "%";
if(k == Drelative)
ans += "*";
return ans;
}
stringalign(a: byte) : string
{
s := T->revlookup(align_tab, int a);
if(s == nil)
s = "none";
return s;
}
stringstate(state: int) : string
{
s := "";
if(state&IFbrk) {
c := state&(IFcleft|IFcright);
clr := "";
if(int c) {
if(c == (IFcleft|IFcright))
clr = " both";
else if(c == IFcleft)
clr = " left";
else
clr = " right";
}
amt := 0;
if(state&IFbrksp)
amt = 1;
s = sys->sprint("brk(%d%s)", amt, clr);
}
if(state&IFnobrk)
s += " nobrk";
if(!(state&IFwrap))
s += " nowrap";
if(state&IFrjust)
s += " rjust";
if(state&IFcjust)
s += " cjust";
if(state&IFsmap)
s += " smap";
indent := (state&IFindentmask)>>IFindentshift;
if(indent > 0)
s += " indent=" + string indent;
hang := state&IFhangmask;
if(hang > 0)
s += " hang=" + string hang;
return s;
}
Item.newtext(s: string, fnt, fg, voff: int, ul: byte) : ref Item
{
return ref Item.Itext(nil, 0, 0, 0, 0, 0, nil, s, fnt, fg, byte voff, ul);
}
Item.newrule(align: byte, size, noshade: int, wspec: Dimen) : ref Item
{
return ref Item.Irule(nil, 0, 0, 0, 0, 0, nil, align, byte noshade, size, wspec);
}
Item.newimage(di: ref Docinfo, src: ref Parsedurl, lowsrc: ref Parsedurl, altrep: string,
align: byte, width, height, hspace, vspace, border, ismap, isbkg: int,
map: ref Map, name: string, genattr: ref Genattr) : ref Item
{
ci := CImage.new(src, lowsrc, width, height);
state := 0;
if(ismap)
state = IFsmap;
if (isbkg)
state = IFbkg;
return ref Item.Iimage(nil, 0, 0, 0, 0, state, genattr, len di.images,
ci, width, height, altrep, map, name, -1, align, byte hspace, byte vspace, byte border);
}
Item.newformfield(ff: ref Formfield) : ref Item
{
return ref Item.Iformfield(nil, 0, 0, 0, 0, 0, nil, ff);
}
Item.newtable(t: ref Table) : ref Item
{
return ref Item.Itable(nil, 0, 0, 0, 0, 0, nil, t);
}
Item.newfloat(it: ref Item, side: byte) : ref Item
{
return ref Item.Ifloat(nil, 0, 0, 0, 0, IFwrap, nil, it, 0, 0, side, byte 0);
}
Item.newspacer(spkind, font: int) : ref Item
{
return ref Item.Ispacer(nil, 0, 0, 0, 0, 0, nil, spkind, font);
}
Item.revlist(itl: list of ref Item) : list of ref Item
{
ans : list of ref Item = nil;
for( ;itl != nil; itl = tl itl)
ans = hd itl :: ans;
return ans;
}
Item.print(it: self ref Item)
{
s := stringstate(it.state);
if(s != "")
sys->print("%s\n",s);
pick a := it {
Itext =>
sys->print("Text '%s', fnt=%d, fg=%x", a.s, a.fnt, a.fg);
Irule =>
sys->print("Rule wspec=%s, size=%d, al=%s",
stringdim(a.wspec), a.size, stringalign(a.align));
Iimage =>
src := "";
if(a.ci.src != nil)
src = a.ci.src.tostring();
map := "";
if(a.map != nil)
map = a.map.name;
sys->print("Image src=%s, alt=%s, al=%s, w=%d, h=%d hsp=%d, vsp=%d, bd=%d, map=%s, name=%s",
src, a.altrep, stringalign(a.align), a.imwidth, a.imheight,
int a.hspace, int a.vspace, int a.border, map, a.name);
Iformfield =>
ff := a.formfield;
if(ff.ftype == Ftextarea)
ty := "textarea";
else if(ff.ftype == Fselect)
ty = "select";
else
ty = T->revlookup(input_tab, int ff.ftype);
sys->print("Formfield %s, fieldid=%d, formid=%d, name=%s, value=%s",
ty, ff.fieldid, int ff.form.formid, ff.name, ff.value);
Itable =>
tab := a.table;
sys->print("Table tableid=%d, width=%s, nrow=%d, ncol=%d, ncell=%d, totw=%d, toth=%d\n",
tab.tableid, stringdim(tab.width), tab.nrow, tab.ncol, tab.ncell, tab.totw, tab.toth);
for(cl := tab.cells; cl != nil; cl = tl cl) {
c := hd cl;
c.content.printlist(sys->sprint("Cell %d.%d, at (%d,%d)", tab.tableid, c.cellid, c.row, c.col));
}
sys->print("End of Table %d", tab.tableid);
Ifloat =>
sys->print("Float, x=%d y=%d, side=%s, it=", a.x, a.y, stringalign(a.side));
a.item.print();
sys->print("\n\t");
Ispacer =>
s = "";
case a.spkind {
ISPnull =>
s = "null";
ISPvline =>
s = "vline";
ISPhspace =>
s = "hspace";
}
sys->print("Spacer %s ", s);
}
sys->print(" w=%d, h=%d, a=%d, anchor=%d\n", it.width, it.height, it.ascent, it.anchorid);
}
Item.printlist(items: self ref Item, msg: string)
{
sys->print("%s\n", msg);
il := items;
while(il != nil) {
il.print();
il = il.next;
}
}
Formfield.new(ftype, fieldid: int, form: ref Form, name, value: string, size, maxlength: int) : ref Formfield
{
return ref Formfield(ftype, fieldid, form, name, value, size,
maxlength, 0, 0, byte 0, nil, nil, -1, nil, 0);
}
Form.new(formid: int, name: string, action: ref Parsedurl, target: string, method: int, events: list of Lex->Attr) : ref Form
{
return ref Form(formid, name, action, target, method, events, 0, 0, nil, FormBuild);
}
Table.new(tableid: int, align: Align, width: Dimen,
border, cellspacing, cellpadding: int, bg: Background, tok: ref Lex->Token) : ref Table
{
return ref Table(tableid,
0, 0, 0, # nrow, ncol, ncell
align, width, border, cellspacing, cellpadding, bg,
nil, Abottom, -1, # caption, caption_place, caption_lay
nil, nil, nil, nil, # currows, cols, rows, cells
0, 0, 0, 0, # totw, toth, caph, availw
nil, tok, byte 0); # grid, tabletok, flags
}
Tablerow.new(align: Align, bg: Background, flags: byte) : ref Tablerow
{
return ref Tablerow(nil, # cells
0, 0, # height, ascent
align, # align
bg, # background
Point(0,0), # pos
flags);
}
Tablecell.new(cellid, rowspan, colspan: int, align: Align, wspec: Dimen,
hspec: int, bg: Background, flags: byte) : ref Tablecell
{
if(colspan < 0)
colspan = 0;
if(rowspan < 0)
rowspan = 0;
return ref Tablecell(cellid,
nil, -1, # content, layid
rowspan, colspan, align, flags, wspec, hspec, bg,
0, 0, 0, # minw, maxw, ascent
0, 0, # row, col
Point(0,0)); # pos
}
Dimen.kind(d: self Dimen) : int
{
return (d.kindspec & Dkindmask);
}
Dimen.spec(d: self Dimen) : int
{
return (d.kindspec & Dspecmask);
}
Dimen.make(kind, spec: int) : Dimen
{
if(spec & Dkindmask) {
if(warn)
sys->print("warning: dimension spec too big: %d\n", spec);
spec = 0;
}
return Dimen(kind | spec);
}
Map.new(name: string) : ref Map
{
return ref Map(name, nil);
}
Docinfo.new() : ref Docinfo
{
ans := ref Docinfo;
ans.reset();
return ans;
}
Docinfo.reset(d: self ref Docinfo)
{
d.src = nil;
d.base = nil;
d.referrer = nil;
d.doctitle = "";
d.backgrounditem = nil;
d.background = (nil, CU->White);
d.text = CU->Black;
d.link = CU->Blue;
d.vlink = CU->Blue;
d.alink = CU->Blue;
d.target = "_self";
d.refresh = "";
d.chset = (CU->config).charset;
d.lastModified = "";
d.scripttype = CU->TextJavascript;
d.hasscripts = 0;
d.events = nil;
d.evmask = 0;
d.kidinfo = nil;
d.frameid = -1;
d.anchors = nil;
d.dests = nil;
d.forms = nil;
d.tables = nil;
d.maps = nil;
d.images = nil;
}
Kidinfo.new(isframeset: int) : ref Kidinfo
{
ki := ref Kidinfo(isframeset,
nil, # src
"", # name
0, 0, 0, # marginw, marginh, framebd
0, # flags
nil, nil, nil # rows, cols, kidinfos
);
if(!isframeset) {
ki.flags = FRhscrollauto|FRvscrollauto;
ki.marginw = FRKIDMARGIN;
ki.marginh = FRKIDMARGIN;
ki.framebd = 1;
}
return ki;
}