aview-app 1.0.2

package/aardio/lib/web/json.aardio

@@ -0,0 +1,489 @@
+//json 编解码
+namespace web.json
+
+var push = ..table.push;
+var indexAny = ..string.indexAny;
+var find = ..string.find;
+var slice = ..string.slice;
+var match = ..string.match;
+var replace = ..string.replace;
+var concat = ..string.concat;
+var join = ..string.join;
+var format = ..string.format;
+var repeat = ..string.repeat;
+var fromUnicode = ..string.fromUnicode;
+var toUnicode = ..string.toUnicode;
+
+var scanComment = function(str,pos){ 
+	var endPos = find(str,"*/",pos+2);
+	assert(endPos != null,"注释格式错误 "+slice(str,pos,pos+10));
+	return endPos+2;
+}
+
+var scanCommentLine = function(str,pos){ 
+	var endPos = find(str,'\n',pos+2);
+	if(endPos)return endPos+1;
+	return #str;
+}
+
+var scanSpace = function(s,pos){
+	if(!#s)return;
+	var sp = '\t \n\r';
+ 
+ 	var c;
+	while(pos<=#s){
+		c = s[pos];
+	    if( not indexAny(  sp ,c)  ){
+  		   if(c == '/'#  ){
+	    		if(s[pos+1] == '*'#) {
+	    			pos = scanComment(s,pos);
+	    			continue ;
+	    		}
+	    		elseif (s[pos+1] == '/'#){
+	    			pos = scanCommentLine(s,pos);
+	    			continue ;
+	    		}
+		   }  
+		   elseif(c == '#'#  ){
+	    		pos = scanCommentLine(s,pos);
+	    		continue ;
+		   }  
+	       break;
+	    }
+	    pos ++;
+	}
+
+	return pos;
+}
+
+
+var scanObject = function(str,unescape,pos){ 
+	var object = { @{ _defined = {};_type="object";_readonly = false } };
+	var len = #str;
+	var key,value,temp; 
+	pos++;
+	
+	do{
+		pos = scanSpace(str,pos);
+			
+		if( str[pos] == ','# || str[pos] == ';'# )
+			pos = scanSpace(str,pos+1);
+	
+	 	if( str[pos] == '}'# ){
+			return object,pos+1;
+		}
+		
+	    if(pos > len ) error("json 对象格式错误 - 对象未使用 '}' 关闭。",2)
+	 
+		key,pos = scanAny(str,unescape,pos,true);
+		if(pos>len || (key===null) )
+			error("json 对象格式错误 - 读取键名遇到错误" ,2)
+	    	
+	    pos = scanSpace(str,pos);
+	    	
+	    temp = str[pos];   
+	    if( temp == ':'# || temp == '='#){
+	    	pos = scanSpace(str,pos+1);	 
+	    }
+	    
+	    temp = str[pos];   
+	    if( temp == ','# || temp == ';'#){
+	        pos = scanSpace(str,pos+1);
+	        object[key] = "";
+	        push( object@._defined,key );
+	        continue;
+	    }
+	    
+	    value,pos = scanAny(str,unescape,pos);
+	    object[key] = value;  
+	    push( object@._defined,key );
+	}while(true)
+}
+
+var ind=0;
+var scanArray = function(str,unescape,pos){ 
+	var array = { @{_type="array"} }; 
+	var strLen = #str; 	
+	pos ++; 
+	
+	var length = 0;
+	while(pos <= strLen ){
+		pos = scanSpace(str,pos); 
+		if( str[pos] == ','# || str[pos] == ';'# ){
+			pos = scanSpace(str,pos+1);
+	    } 
+	    if( str[pos] == ']'# ){ 
+	    	array@.length = length;
+			return array,pos+1;
+		} 
+	    
+	    object,pos = scanAny(str,unescape,pos);
+	    length++; 
+	    array[length] = object;
+	}
+	error("json格式错误 - 溢出",2)
+}
+
+var scanString = function(str,unescape,pos=1){
+	if(str[pos+1]== '"'#) return "",pos+2;
+	
+	var e=pos+1;   
+	var chr;
+	var escaped;
+	for(i=pos+1;#str;1){ 
+		chr = str[i] 
+		if(chr=='\\'#){ 
+			if(str[i+1]<0x80){ i++;escaped=true; };
+		}
+		elseif(chr == '"'#){
+			break;
+		}
+		
+		e = i;
+	}
+	
+	var s = slice(str,pos+1,e);
+	if( escaped ? unescape ){
+		s = ..string.unescape(s);
+	} 
+	
+	return s,e+2;
+}
+
+var scanRawString = function(str,pos=1){ 
+	if(str[pos+1]== '\''#) return "",pos+2;
+	
+	var e=pos+1;    
+	var ret = "";
+ 
+	for(i=pos+1;#str;1){  
+		if(str[i] == '\''#){ 
+			if( str[i+1]== '\''# ){
+				ret = ret + slice(str,pos+1,i);
+				i++;
+				continue;
+			}
+			
+			ret = ret + slice(str,pos+1,i-1); 
+			e = i;
+			break;
+		}
+		
+		
+	} 
+	
+	return ret,e+1;
+}
+
+var consts = {
+	["true"] = true;
+	["false"] = false; 
+	["null"] = null;
+	["~"] = null;
+	["undefined"] = null;
+	["Infinity"] = 1/0;
+	["+Infinity"] = 1/0;
+	["-Infinity"] = -1/0;
+	["NaN"] = 0/0;
+};  
+
+var scanConstant = function(str,pos,isKey,rootNode){ 
+	if(str[pos]==','#)
+		return null,pos;
+	  
+	var n,l = tonumber(str,,pos,'.'#);
+    if(n!==null){
+        if(l>=#str || match(str,"^[\s\,\;\}\]]",pos+l) ){
+        	if( (l>14) && (n>99999999999999) && (..math.floor(n) === n) ) {
+        		n = ..math.size64( slice(str,pos,pos + l) );
+        	}
+        	
+     		return n,pos+l;        	
+        } 
+	}
+	
+    var token = match(str,"^[+-]?[\~_$\a][\w\-\_]*",pos); 
+    if( token ){
+    	var const = consts[token];  
+    	if( const!==null || (token=="null" || token=="undefined"|| token=="~" )){ 
+    		return const,pos+#token;
+    	} 
+	} 
+
+	var i,j = find(str,"^\s*\d+\-\d+-\d+T\d+\:\d+\:\d+[\+\-\w\d\:]+",pos); 
+	if(!j) i,j = find(str,"^\s*\d+\-\d+-\d+",pos); 
+	 
+	if(j) { 
+		var t = slice(str,i,j); 
+    	return (..time.iso8601(t) : t),j+1;
+	} 
+ 
+	var i,j = find(str,isKey?"[^\r\n\s,\:\;\=\}]+":"[^\r\n,\;\}\]]+",pos);
+	if(j) {
+		if(rootNode){
+			return scanAny("{" + str + "}",unescape,1)
+		}
+
+		var ret = slice(str,i,j);
+    	return ret,j+1;
+	}
+     
+	error("json格式错误 - 常量 "+slice(str,pos),3)
+}
+
+
+var encode = function(v,prettyPrint,unicodeEscaped,objreferences){
+    select(type(v)) {
+    	case "string"{
+    		v = ..string.escape(v,true,unicodeEscaped);
+    	    return v ?  ('"'+ v + '"') : "null";
+    	}
+    	case "number"{
+    		return  tostring(v,,'.'#);
+    	}
+    	case "table" {
+    		if( ( v[["year"]]!==null)  &&  ..time.istime(v) ) return tostring(v.utc(true),`"%Y-%m-%dT%H:%M:%SZ"`);
+    		 
+    		if(!objreferences) objreferences = {};
+    		if(objreferences[v]) return "{}";
+    		objreferences[v] = true;
+        	var ret,err = stringify(v,prettyPrint,unicodeEscaped,objreferences);
+        	objreferences[v] = null;
+        	return ret;
+    	}
+    	case "boolean"{ 
+    		return v?"true":"false";
+    	}
+    	case "null"{ 
+    		return "null";
+    	} 
+    	case "buffer"{ 
+    		var data ={};
+    		for(i=1;#v;1){ data[i] = v[i]; }
+    		return concat(`{"data":[`, join( data, "," ), `],"type":"Buffer"}`);
+    	}
+    	else{
+    		if( ..math.isSize64(v) ) return tostring(v);
+        	return '"'+ ..string.escape(tostring(v),true,unicodeEscaped) + '"';
+    	} 
+    
+    }
+}
+
+var levels = 0;
+var indent = '\32\32\32\32';
+stringify = function(tab,prettyPrint,unicodeEscaped,objreferences) {
+	if( unicodeEscaped === null ) unicodeEscaped = !prettyPrint; 
+	if( tab@[["_json"]] ) {
+		var is;
+		tab,is = invoke(tab@[["_json"]],tab,prettyPrint,unicodeEscaped);
+		if(is && type(tab)==="string") return tab;
+	}
+	if( type(tab) != "table" ) return ( encode(tab) ) ;
+	
+	var LFCR = "";
+	var curIndent;
+	if(prettyPrint){
+		levels++;
+		LFCR = '\r\n';
+		curIndent = repeat(levels,indent);
+	}
+ 
+	if( ..table.type(tab) == "array" ){ 
+		
+		var array = {}
+		var len = ..table.len(tab);
+		var startIndex = tab@[["_startIndex"]];
+		if( startIndex === null ) startIndex = 1;
+		len = len + startIndex - 1; //table.eachIndex展开
+		
+		for(i=startIndex;len ){ 
+			var s = ( prettyPrint ? concat( curIndent, encode( tab[i],prettyPrint,unicodeEscaped,objreferences ) ) : encode( tab[i],prettyPrint,unicodeEscaped,objreferences ) );
+   			push( array, s );
+		} 
+		
+		if(prettyPrint){
+			levels--;
+			curIndent = repeat(levels,indent);
+		}
+   		return concat("[", LFCR, join( array, ","+LFCR ), LFCR, curIndent, "]");
+	}
+	
+	var map = {}
+	var tmap = {};
+	for k,v in ..table.eachName(tab){ 
+		var v = encode( v,prettyPrint,unicodeEscaped,objreferences  );
+		if(v[1]!='{'#){
+			push( map, concat( curIndent, encode( k,prettyPrint,unicodeEscaped,objreferences  ), ":",v)); 
+		}
+   		else {
+   			push( tmap, concat( curIndent, encode( k,prettyPrint,unicodeEscaped,objreferences  ), ":",v)); 
+   		}
+	}
+	
+	if(#tmap && #map){
+		..table.append(map,tmap)
+	}
+	elseif(#tmap){
+		map = tmap;
+	}
+	
+	if(prettyPrint){
+		levels--;
+		curIndent = repeat(levels,indent);
+	}
+	return  concat("{", LFCR, join( map, ","+LFCR ), LFCR, curIndent, "}" );
+}
+
+stringifyArray = function(tab,prettyPrint,unicodeEscaped,removeNull) { 
+	if( type(tab) == "table" ) {
+		if(!tab@){tab@={ _type = "array" }}
+		elseif(tab@._type===null) tab@._type= "array";
+		
+		if(removeNull) {..table.removeByValue(tab,null);}
+		return stringify(tab,prettyPrint,unicodeEscaped);
+	}
+}
+
+scanAny = function(s,unescape,idx,isKey,rootNode){
+	var pos = scanSpace(s,idx); 
+
+    select(s[pos]) {
+    	case '{'#
+       		return scanObject(s,unescape,pos);
+    	case '['#
+    		return scanArray(s,unescape,pos); 
+    	case '\"'#
+    		return scanString(s,unescape,pos);
+    	case '\''# 
+    		return scanRawString(s,pos);
+    }
+    
+    if( idx == 1 ){
+    	var s = ..string.match(s,"^\s*[\w\.]*\s*\((.+)\)[\s\;]*$"); //JSONP,Js expression
+    	if( s ) return scanAny(s,unescape,idx)
+    }
+
+	return scanConstant(s,pos,isKey,rootNode,unescape);
+}
+
+/*
+JSON默认编码为UTF-8,与aardio一致。
+如果JSON使用了非UTF-8编码的文本,应在inputCodepage参数中指明,
+如果检测到声明编码的BOM，或者检测到Unicode特征则忽略参数将inputCodepage设为实际代码页
+*/
+tryParse = function(s,unescape=true,inputCodepage){ 
+	if( type(s) != "string" ){
+		if(type(s) != "buffer") return null ,"参数不是字符串";
+	}	
+	
+	if( !#s ) return; 
+	
+	var a,b = s[1],s[2];
+	if( a == 0xEF  && b == 0xBB && s[3] == 0xBF ){
+		s = ..string.right(s,-4);
+	}
+	elseif( #s%2 == 0 ){ 
+		if ( a == 0xFF  && b == 0xFE ){
+			s = ..string.fromUnicode( ..string.right(s,-3),65001 );
+		}
+		elseif ( a == 0xFF  && b == 0xFE ){
+			s = ..string.fromto( ..string.right(s,-3),1201,65001 );
+		}
+		elseif( b == 0 && s[4] == 0 ) {
+			s = ..string.fromUnicode(s,65001);
+		}
+		elseif( a == 0 && s[3] == 0 ) {
+			s = ..string.fromto( s,1201,65001 );
+		}
+		elseif( (inputCodepage!==null) && (inputCodepage != 65001 )){
+			s = ..string.fromto( s,inputCodepage,65001 );
+		}
+	}
+	elseif( (inputCodepage!==null) && (inputCodepage != 65001 )){
+		s = ..string.fromto( s,inputCodepage,65001 );
+	}
+	
+	var ok,data,pos = call(scanAny,self,s,unescape,1,,true);
+	if(!ok) return null,data; 
+	return data;
+}
+
+parse = function(...){
+	var data,err = tryParse(...)
+	if( ( data === null ) && err ) error(err,2);
+	return data;
+}
+
+strip = function(v){
+	v = stringify(v);
+	if(v) return parse(v);
+}
+
+/**details(aardio-json 扩展标准)
+发布日期：2020-12-27
+
+JSON 字符串化时完全符合 JSON 官方标准( https://json.org/json-zh.html )。
+JSON 解析时完全支持 JSON，JSONP，并使用宽松的原则兼容JSON5，兼容部分类YAML语法。
+
+aardio-json 以“宽进严出、简洁高效”为基本原则。
+解析时规则尽可能宽松容错，生成 JSON 字符串则严格遵守标准JSON规则。
+为了让解析器尽可能做到简洁高效，所以 aardio-json 不支持变量，
+真正简洁高效的配置文件不应当出现重复的内容，JSON的目标也不是成为编程语言。
+
+一、可省略和替换的格式标记
+1、允许省略根节点对象外部的 {}
+2、允许使用分号、空格、换行替代元素分隔符","
+3、允许使用等号、空格、换行替代对象键值分隔符":"
+4、允许省略字符串外部的引号。
+
+二：根节点
+1、JSON根节点可以是任意数据类型，单个字符串、数值都可以解析并返回值。
+2、根节点是对象时，可以省略外层的花括号。
+3、根节点是字符串时不可省略引号。
+4、根节点解析成功的JSON后面如果还有多余的文本时忽略。
+5、根节点兼容JSONP格式
+
+三、字符串
+字符串置于双引号中时支持JSON转义符。
+字符串置于单引号中时不支持JSON转义符，单引号中可使用2个单引号表示原始单引号。
+字符串可以在引号内部时可以换行。
+
+要特别注意原生的 aardio 字符串解析语法正好跟上面相反：
+单引号中是转义字符串，而双引号内是非转义字符串。
+
+JSON 字符串可省略首尾引号，此时不支持JSON转义符，遇到回车或换行、逗号、中括号、大括号时字符串结束解析。
+字符串作为对象键名如果省略引号时不能包含空白字符、换行或键值分隔符。 
+
+四、注释
+1、支持 // 或 # 引导的单行注释
+2、支持包含于 /*......*/ 内的多行注释（注意这里按js规则不匹配星号数目）。
+支持 JS/aardio 语法中的单行注释（），多行注释（/*......*/ ）。
+
+五、数值
+数值支持16进制
+
+六、null值
+可以使用null,undefined,~ 表示null值。
+
+七、日期时间
+可使用ISO 8601格式表示日期时间，合法的格式如下：
+2021-01-1
+2021-02-1T15:02:31+08:00
+2021-02-1T15:02:31+08:00Z
+数字前可不用补0，但日期分隔符必须使用短横线，时间分隔符必须使用冒号，
+尾部时区不可以包含空白字符，但可以包含 +-: 等字符以及数字、字母。
+end details**/
+
+/**intellisense()
+web.json = JSON 解析器,\n字符串化时完全符合 JSON 官方标准。\n解析使用 aardio-json 扩展语法，兼容JSON，JSONP，JSON5，部分类YAML语法,\n存取大容量数据请改用数据库组件
+web.json.stringify( = 转换为参数@1为json文本\n\n表对象可在元表_defined字段中预定义可能为null值的键,\n也可以在_json元方法中返回一个自定义的对象用于转换为json,\n\n时间对象与JS语言相同转换为ISO8601格式字符串,\nbuffer类与node.js中的Buffer类相同,转换结果示例：\n{"data":[230,181,139],"type":"Buffer"}\n其中type指明类型,data为buffer字节数组的值,\nbuffer,time对象与js一样只负责字符串化,不负责解析JSON时自动还原,\n应使用 time.iso8601函数解析iso8601格式的时间,\n在raw.buffer的参数中使用结构体还原字节数组
+web.json.stringify(.(对象,是否格式化,是否使用UNICODE编码) =  参数@2,@3可选,默认不格式化,启用UNICODE编码\n如果指定格式化,参数@3则默认为false\n\n注意即使选择了不启用UNICODE编码，单引号，\n以及一些可能无法直接显示的Unicode字符仍然会进行转义,\n表对象中值不是表对象的成员先列出
+web.json.stringifyArray(.(表,是否格式化,是否使用UNICODE编码,是否清除null值) = 如果参数@1未声明数组类型，则添加类型声明,\n空数组会返回[]而不是{},其他参数与web.json.stringify相同
+web.json.parse( = 使用宽松的 JSON 语法解析并返回表对象,\n支持自动检测输入字符串的 Unicode BOM,\n除完全支持 JSON 标准之外，并可兼容 jsonp，json5，支持 aardio-json 扩展标准。
+web.json.parse(.(输入文本,是否解析转义符,输入代码页) = 参数@2默认为 true,\n代码页默认为 65001 即 UTF-8 编码,\n输入文本如使用了 UTF-16 LE/BE 编码则转换为 UTF-8,\n返回对象的元表 _defined 字段记录了所有已定义的键,\n参数传入空值或空字符串返回空值\n解析误到错误的 JSON 语法时会抛出异常
+web.json.tryParse(.(输入文本,是否解析转义符,输入代码页) = 解析 JSON 并返回 aardio 对象\n作用与参数用法与parse函数一样,\n请参考该函数说明\n\n唯一的区别是：\nparse函数遇到JSON语法错误时抛出异常\n而tryParse遇到错误时返回 null,错误信息
+web.json.strip(__) = 将一个对象转换为JSON,再转换回来,\n用于将对象转换为纯粹的JS兼容的对象
+end intellisense**/
+
+//感谢 namwonsta 贡献最初的源码

package/aardio/lib/web/layout/.res/master.css

@@ -0,0 +1,9 @@
+img:incomplete{ 
+	background:url(res:gif/activity.gif) no-repeat 50% 50%; 
+}
+#drag-selection-box{
+	position: absolute;
+	border: 1px #CCCCCC80 dotted;
+	background: #CCCCCC80;
+}
+a:link:focus { text-decoration:underline; }