diff run/html_entity_amsb.html @ 6:e238a15dbc74

1) added added html-sourcefile support 2) added html_entity, html_tag_case, empt, html_empty and html_defect tests
author thomask
date Mon, 04 Oct 2004 13:59:18 +0000
parents
children 9a121126b077
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/html_entity_amsb.html	Mon Oct 04 13:59:18 2004 +0000
@@ -0,0 +1,51 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
+<html>
+<head><title>html_entity_amsb</title></head>
+<body><pre><code>
+int main(){
+	assert('&#x2210;'=='&amalg;');
+	assert('&#x2306;'=='&Barwed;');
+	assert('&#x22BC;'=='&barwed;');
+	assert('&#x22D2;'=='&Cap;');
+	assert('&#x22D3;'=='&Cup;');
+	assert('&#x22CE;'=='&cuvee;');
+	assert('&#x22CF;'=='&cuwed;');
+	assert('&#x22C4;'=='&diam;');
+	assert('&#x22C7;'=='&divonx;');
+	assert('&#x22BA;'=='&intcal;');
+	assert('&#x22CB;'=='&lthree;');
+	assert('&#x22C9;'=='&ltimes;');
+	assert('&#x229F;'=='&minusb;');
+	assert('&#x229B;'=='&oast;');
+	assert('&#x229A;'=='&ocir;');
+	assert('&#x229D;'=='&odash;');
+	assert('&#x2299;'=='&odot;');
+	assert('&#x2296;'=='&ominus;');
+	assert('&#x2295;'=='&oplus;');
+	assert('&#x2298;'=='&osol;');
+	assert('&#x2297;'=='&otimes;');
+	assert('&#x229E;'=='&plusb;');
+	assert('&#x2214;'=='&plusdo;');
+	assert('&#x22CC;'=='&rthree;');
+	assert('&#x22CA;'=='&rtimes;');
+	assert('&#x22C5;'=='&sdot;');
+	assert('&#x22A1;'=='&sdotb;');
+	assert('&#x2216;'=='&setmn;');
+	assert('&#x2293;'=='&sqcap;');
+	assert('&#x2294;'=='&sqcup;');
+	assert('&#x2216;'=='&ssetmn;');
+	assert('&#x22C6;'=='&sstarf;');
+	assert('&#x22A0;'=='&timesb;');
+	assert('&#x22A4;'=='&top;');
+	assert('&#x228E;'=='&uplus;');
+	assert('&#x2240;'=='&wreath;');
+	assert('&#x25CB;'=='&xcirc;');
+	assert('&#x25BD;'=='&xdtri;');
+	assert('&#x25B3;'=='&xutri;');
+	assert('&#x2210;'=='&coprod;');
+	assert('&#x220F;'=='&prod;');
+	assert('&#x2211;'=='&sum;');
+	return 0;
+}
+</code></pre></body>
+</html>