public ICQ_Expression Compiler_Expression_DefineAndSet(IList <Token> tlist, ICQ_Environment content, int pos, int posend)
{
int expbegin = pos + 3;
int bdep;
int expend = FindCodeAny(tlist, ref expbegin, out bdep);
if (expend != posend)
{
expend = posend;
}
ICQ_Expression v;
bool succ = Compiler_Expression(tlist, content, expbegin, expend, out v);
if (succ && v != null)
{
CQ_Expression_Define define = new CQ_Expression_Define(pos, posend, tlist[pos].line, tlist[posend].line);
if (tlist[pos].text == "bool")
{
define.value_type = typeof(bool);
}
else
{
ICQ_Type type = content.GetTypeByKeyword(tlist[pos].text);
define.value_type = type.type;
}
define.value_name = tlist[pos + 1].text;
define.listParam.Add(v);
return(define);
}
LogError(tlist, "不正确的定义表达式:", pos, posend);
return(null);
}
public ICQ_Expression Compiler_Expression_DefineArray(IList <Token> tlist, ICQ_Environment content, int pos, int posend)
{
CQ_Expression_Define define = new CQ_Expression_Define(pos, posend, tlist[pos].line, tlist[posend].line);
{
ICQ_Type type = content.GetTypeByKeyword(tlist[pos].text + "[]");
define.value_type = type.type;
}
define.value_name = tlist[pos + 3].text;
return(define);
}
public ICQ_Expression Compiler_Expression_Define(IList <Token> tlist, ICQ_Environment content, int pos, int posend)
{
CQ_Expression_Define define = new CQ_Expression_Define(pos, posend, tlist[pos].line, tlist[posend].line);
if (tlist[pos].text == "bool")
{
define.value_type = typeof(bool);
}
else
{
ICQ_Type type = content.GetTypeByKeyword(tlist[pos].text);
define.value_type = type.type;
}
define.value_name = tlist[pos + 1].text;
return(define);
}
public ICQ_Expression Compiler_Expression_Math(IList <Token> tlist, ICQ_Environment content, int pos, int posend)
{
IList <int> sps = SplitExpressionWithOp(tlist, pos, posend);
int oppos = GetLowestMathOp(tlist, sps);
if (oppos < 0)
{
////也有可能是类型转换
//if (posend >= pos + 3 && tlist[pos].text == "(" && tlist[pos].type == TokenType.PUNCTUATION && tlist[pos + 2].text == ")" && tlist[pos + 2].type == TokenType.PUNCTUATION
// && tlist[pos + 1].type == TokenType.TYPE
// )
//{
// ICQ_Expression v;
// bool succ = Compiler_Expression(tlist, content, pos + 3, posend, out v);
// CQ_Expression_TypeConvert convert = new CQ_Expression_TypeConvert();
// convert.listParam.Add(v);
// convert.targettype = content.environment.GetTypeByKeyword(tlist[pos + 1].text).type;
// return convert;
//}
//else if (tlist[pos + 1].type == TokenType.PUNCTUATION && tlist[pos + 1].text == "[")//函数表达式
//{
// return Compiler_Expression_IndexFind(tlist, content, pos, posend);
//}
if (tlist[pos + 1].type == TokenType.PUNCTUATION && tlist[pos + 1].text == "(")//函数表达式
{
if (content.IsCoroutine(tlist[pos].text))
{
// if(tlist[pos].text == "YieldWaitForSecond")
return(Compiler_Expression_Coroutine(tlist, content, pos, posend));
}
else
{
return(Compiler_Expression_Function(tlist, content, pos, posend));
}
}
else
{
//if (!bTest && tlist[expbegin + 1].type == TokenType.PUNCTUATION && tlist[expbegin + 1].text == "(")//函数表达式
//{
// ICQ_Expression subvalue = Compiler_Expression_Function(tlist,content, expbegin, expend);
// if (null == subvalue) return false;
// else
// values.Add(subvalue);
// bTest = true;
//}
}
return(null);
}
Token tkCur = tlist[oppos];
if (tkCur.text == "=>")
{
//lambda
return(Compiler_Expression_Lambda(tlist, content, pos, posend));
}
else if (tkCur.text == "." && pos == oppos - 1 && tlist[pos].type == TokenType.TYPE)
{
int right = oppos + 1;
int rightend = posend;
ICQ_Expression valueright;
bool succ2 = Compiler_Expression(tlist, content, right, rightend, out valueright);
if (succ2)
{
CQ_Expression_GetValue vg = valueright as CQ_Expression_GetValue;
CQ_Expression_Function vf = valueright as CQ_Expression_Function;
if (vg != null)
{
CQ_Expression_StaticFind value = new CQ_Expression_StaticFind(pos, rightend, tlist[pos].line, tlist[rightend].line);
value.staticmembername = vg.value_name;
value.type = content.GetTypeByKeyword(tlist[pos].text);
return(value);
}
else if (vf != null)
{
CQ_Expression_StaticFunction value = new CQ_Expression_StaticFunction(pos, rightend, tlist[pos].line, tlist[rightend].line);
value.functionName = vf.funcname;
value.type = content.GetTypeByKeyword(tlist[pos].text);
//value.listParam.Add(valueleft);
value.listParam.AddRange(vf.listParam.ToArray());
return(value);
}
else if (valueright is CQ_Expression_SelfOp)
{
CQ_Expression_SelfOp vr = valueright as CQ_Expression_SelfOp;
CQ_Expression_StaticMath value = new CQ_Expression_StaticMath(pos, rightend, tlist[pos].line, tlist[rightend].line);
value.type = content.GetTypeByKeyword(tlist[pos].text);
value.staticmembername = vr.value_name;
value.mathop = vr.mathop;
return(value);
}
else
{
throw new Exception("不可识别的表达式:" + tkCur.ToString() + tkCur.SourcePos());
}
}
else
{
throw new Exception("不可识别的表达式:" + tkCur.ToString() + tkCur.SourcePos());
}
}
else
{
int left = pos;
int leftend = oppos - 1;
int right = oppos + 1;
int rightend = posend;
if (tkCur.text == "(")
{
ICQ_Expression v;
if (!Compiler_Expression(tlist, content, oppos + 3, posend, out v))
{
LogError(tlist, "编译表达式失败", right, rightend);
return(null);
}
CQ_Expression_TypeConvert convert = new CQ_Expression_TypeConvert(pos, posend, tlist[pos].line, tlist[posend].line);
convert.listParam.Add(v);
convert.targettype = content.GetTypeByKeyword(tlist[oppos + 1].text).type;
return(convert);
}
ICQ_Expression valueleft;
bool succ1 = Compiler_Expression(tlist, content, left, leftend, out valueleft);
ICQ_Expression valueright;
if (tkCur.text == "[")
{
rightend--;
if (!Compiler_Expression(tlist, content, right, rightend, out valueright))
{
LogError(tlist, "编译表达式失败", right, rightend);
return(null);
}
CQ_Expression_IndexFind value = new CQ_Expression_IndexFind(left, rightend, tlist[left].line, tlist[rightend].line);
value.listParam.Add(valueleft);
value.listParam.Add(valueright);
return(value);
}
else if (tkCur.text == "as")
{
CQ_Expression_TypeConvert convert = new CQ_Expression_TypeConvert(left, oppos + 1, tlist[left].line, tlist[oppos + 1].line);
convert.listParam.Add(valueleft);
convert.targettype = content.GetTypeByKeyword(tlist[oppos + 1].text).type;
return(convert);
}
else if (tkCur.text == "is")
{
CQ_Expression_TypeCheck check = new CQ_Expression_TypeCheck(left, oppos + 1, tlist[left].line, tlist[oppos + 1].line);
check.listParam.Add(valueleft);
check.targettype = content.GetTypeByKeyword(tlist[oppos + 1].text).type;
return(check);
}
bool succ2 = Compiler_Expression(tlist, content, right, rightend, out valueright);
if (succ1 && succ2 && valueright != null && valueleft != null)
{
if (tkCur.text == "=")
{
//member set
CQ_Expression_MemberFind mfinde = valueleft as CQ_Expression_MemberFind;
CQ_Expression_StaticFind sfinde = valueleft as CQ_Expression_StaticFind;
CQ_Expression_IndexFind ifinde = valueleft as CQ_Expression_IndexFind;
if (mfinde != null)
{
CQ_Expression_MemberSetValue value = new CQ_Expression_MemberSetValue(left, rightend, tlist[left].line, tlist[rightend].line);
value.membername = mfinde.membername;
value.listParam.Add(mfinde.listParam[0]);
value.listParam.Add(valueright);
return(value);
}
else if (sfinde != null)
{
CQ_Expression_StaticSetValue value = new CQ_Expression_StaticSetValue(left, rightend, tlist[left].line, tlist[rightend].line);
value.staticmembername = sfinde.staticmembername;
value.type = sfinde.type;
//value.listParam.Add(mfinde.listParam[0]);
value.listParam.Add(valueright);
return(value);
}
else if (ifinde != null)
{
CQ_Expression_IndexSetValue value = new CQ_Expression_IndexSetValue(left, rightend, tlist[left].line, tlist[rightend].line);
value.listParam.Add(ifinde.listParam[0]);
value.listParam.Add(ifinde.listParam[1]);
value.listParam.Add(valueright);
return(value);
}
else
{
throw new Exception("非法的Member Set表达式" + valueleft);
}
}
else if (tkCur.text == ".")
{
//FindMember
CQ_Expression_GetValue vg = valueright as CQ_Expression_GetValue;
CQ_Expression_Function vf = valueright as CQ_Expression_Function;
if (vg != null)
{
CQ_Expression_MemberFind value = new CQ_Expression_MemberFind(left, rightend, tlist[left].line, tlist[rightend].line);
value.listParam.Add(valueleft);
value.membername = vg.value_name;
return(value);
}
else if (vf != null)
{
CQ_Expression_MemberFunction value = new CQ_Expression_MemberFunction(left, rightend, tlist[left].line, tlist[rightend].line);
value.functionName = vf.funcname;
value.listParam.Add(valueleft);
value.listParam.AddRange(vf.listParam.ToArray());
return(value);
}
else if (valueright is CQ_Expression_SelfOp)
{
CQ_Expression_SelfOp vr = valueright as CQ_Expression_SelfOp;
CQ_Expression_MemberMath value = new CQ_Expression_MemberMath(left, rightend, tlist[left].line, tlist[rightend].line);
value.listParam.Add(valueleft);
value.membername = vr.value_name;
value.mathop = vr.mathop;
return(value);
}
throw new Exception("不可识别的表达式" + valueleft + "." + valueright);
//value.listParam.Add(valueright);
}
else if (tkCur.text == "+=" || tkCur.text == "-=" || tkCur.text == "*=" || tkCur.text == "/=" || tkCur.text == "%=")
{
//if (valueleft is CQ_Expression_MemberFind)
//{
// CQ_Expression_MemberFind vf = valueleft as CQ_Expression_MemberFind;
// CQ_Expression_MemberMath value = new CQ_Expression_MemberMath(left, rightend, tlist[left].line, tlist[rightend].line);
// value.listParam.Add(vf.listParam[0]);
// value.membername = vf.membername;
// value.mathop = tlist[oppos].text[0];
// value.listParam.Add(valueright);
// return value;
//}
//if ((valueright is CQ_Expression_Lambda ==false) && valueleft is CQ_Expression_StaticFind)
//{
// CQ_Expression_StaticFind vf = valueleft as CQ_Expression_StaticFind;
// CQ_Expression_StaticMath value = new CQ_Expression_StaticMath(left, rightend, tlist[left].line, tlist[rightend].line);
// value.type = vf.type;
// value.staticmembername = vf.staticmembername;
// value.mathop = tlist[oppos].text[0];
// value.listParam.Add(valueright);
// return value;
//}
//else
{
CQ_Expression_SelfOpWithValue value = new CQ_Expression_SelfOpWithValue(left, rightend, tlist[left].line, tlist[rightend].line);
//value.value_name = ((CQ_Expression_GetValue)valueleft).value_name;
value.listParam.Add(valueleft);
value.listParam.Add(valueright);
value.mathop = tkCur.text[0];
return(value);
}
}
else if (tkCur.text == "&&" || tkCur.text == "||")
{
CQ_Expression_Math2ValueAndOr value = new CQ_Expression_Math2ValueAndOr(left, rightend, tlist[left].line, tlist[rightend].line);
value.listParam.Add(valueleft);
value.listParam.Add(valueright);
value.mathop = tkCur.text[0];
return(value);
}
else if (tkCur.text == ">" || tkCur.text == ">=" || tkCur.text == "<" || tkCur.text == "<=" || tkCur.text == "==" || tkCur.text == "!=")
{
CQ_Expression_Math2ValueLogic value = new CQ_Expression_Math2ValueLogic(left, rightend, tlist[left].line, tlist[rightend].line);
value.listParam.Add(valueleft);
value.listParam.Add(valueright);
logictoken token = logictoken.not_equal;
if (tkCur.text == ">")
{
token = logictoken.more;
}
else if (tkCur.text == ">=")
{
token = logictoken.more_equal;
}
else if (tkCur.text == "<")
{
token = logictoken.less;
}
else if (tkCur.text == "<=")
{
token = logictoken.less_equal;
}
else if (tkCur.text == "==")
{
token = logictoken.equal;
}
else if (tkCur.text == "!=")
{
token = logictoken.not_equal;
}
value.mathop = token;
return(value);
}
else
{
char mathop = tkCur.text[0];
if (mathop == '?')
{
CQ_Expression_Math3Value value = new CQ_Expression_Math3Value(left, rightend, tlist[left].line, tlist[rightend].line);
value.listParam.Add(valueleft);
CQ_Expression_Math2Value vvright = valueright as CQ_Expression_Math2Value;
if (vvright.mathop != ':')
{
throw new Exception("三元表达式异常" + tkCur.ToString() + tkCur.SourcePos());
}
value.listParam.Add(vvright.listParam[0]);
value.listParam.Add(vvright.listParam[1]);
return(value);
}
else
{
CQ_Expression_Math2Value value = new CQ_Expression_Math2Value(left, rightend, tlist[left].line, tlist[rightend].line);
value.listParam.Add(valueleft);
value.listParam.Add(valueright);
value.mathop = mathop;
return(value);
}
}
}
else
{
LogError(tlist, "编译表达式失败", right, rightend);
}
}
return(null);
}
ICQ_Type Compiler_Class(ICQ_Environment env, string classname, bool bInterface, IList <string> basetype, string filename, IList <Token> tokens, int ibegin, int iend, bool EmbDebugToken, bool onlyGotType, IList <string> usinglist)
{
CQ_Type_Class stype = env.GetTypeByKeywordQuiet(classname) as CQ_Type_Class;
if (stype == null)
{
stype = new CQ_Type_Class(classname, bInterface, filename);
}
if (basetype != null && basetype.Count != 0 && onlyGotType == false)
{
List <ICQ_Type> basetypess = new List <ICQ_Type>();
foreach (string t in basetype)
{
ICQ_Type type = env.GetTypeByKeyword(t);
basetypess.Add(type);
}
stype.SetBaseType(basetypess);
}
if (onlyGotType)
{
return(stype);
}
//if (env.useNamespace && usinglist != null)
//{//使用命名空间,替换token
// List<Token> newTokens = new List<Token>();
// for (int i = ibegin; i <= iend; i++)
// {
// if (tokens[i].type == TokenType.IDENTIFIER)
// {
// string ntype = null;
// string shortname = tokens[i].text;
// int startpos = i;
// while (ntype == null)
// {
// foreach (var u in usinglist)
// {
// string ttype = u + "." + shortname;
// if (env.GetTypeByKeywordQuiet(ttype) != null)
// {
// ntype = ttype;
// break;
// }
// }
// if (ntype != null) break;
// if ((startpos + 2) <= iend && tokens[startpos + 1].text == "." && tokens[startpos + 2].type == TokenType.IDENTIFIER)
// {
// shortname += "." + tokens[startpos + 2].text;
// startpos += 2;
// if (env.GetTypeByKeywordQuiet(shortname) != null)
// {
// ntype = shortname;
// break;
// }
// continue;
// }
// else
// {
// break;
// }
// }
// if (ntype != null)
// {
// var t = tokens[i];
// t.text = ntype;
// t.type = TokenType.TYPE;
// newTokens.Add(t);
// i = startpos;
// continue;
// }
// }
// newTokens.Add(tokens[i]);
// }
// tokens = newTokens;
// ibegin = 0;
// iend = tokens.Count - 1;
//}
stype.compiled = false;
(stype.function as SType).functions.Clear();
(stype.function as SType).members.Clear();
//搜寻成员定义和函数
//定义语法 //Type id[= expr];
//函数语法 //Type id([Type id,]){block};
//属性语法 //Type id{get{},set{}};
bool bPublic = false;
bool bStatic = false;
if (EmbDebugToken)//SType 嵌入Token
{
stype.EmbDebugToken(tokens);
}
for (int i = ibegin; i <= iend; i++)
{
if (tokens[i].type == TokenType.KEYWORD && tokens[i].text == "public")
{
bPublic = true;
continue;
}
else if (tokens[i].type == TokenType.KEYWORD && tokens[i].text == "private")
{
bPublic = false;
continue;
}
else if (tokens[i].type == TokenType.KEYWORD && tokens[i].text == "static")
{
bStatic = true;
continue;
}
else if (tokens[i].type == TokenType.TYPE || (tokens[i].type == TokenType.IDENTIFIER && tokens[i].text == classname))//发现类型
{
ICQ_Type idtype = env.GetTypeByKeyword("null");
bool bctor = false;
if (tokens[i].type == TokenType.TYPE)//类型
{
if (tokens[i].text == classname && tokens[i + 1].text == "(")
{//构造函数
bctor = true;
i--;
}
else if (tokens[i + 1].text == "[" && tokens[i + 2].text == "]")
{
idtype = env.GetTypeByKeyword(tokens[i].text + "[]");
i += 2;
}
else if (tokens[i].text == "void")
{
}
else
{
idtype = env.GetTypeByKeyword(tokens[i].text);
}
}
if (tokens[i + 1].type == CQuark.TokenType.IDENTIFIER || bctor) //类型后面是名称
{
string idname = tokens[i + 1].text;
if (tokens[i + 2].type == CQuark.TokenType.PUNCTUATION && tokens[i + 2].text == "(")//参数开始,这是函数
{
logger.Log("发现函数:" + idname);
SType.Function func = new SType.Function();
func.bStatic = bStatic;
func.bPublic = bPublic;
int funcparambegin = i + 2;
int funcparamend = FindBlock(env, tokens, funcparambegin);
if (funcparamend - funcparambegin > 1)
{
int start = funcparambegin + 1;
//Dictionary<string, ICQ_Type> _params = new Dictionary<string, ICQ_Type>();
for (int j = funcparambegin + 1; j <= funcparamend; j++)
{
if (tokens[j].text == "," || tokens[j].text == ")")
{
string ptype = "";
for (int k = start; k <= j - 2; k++)
{
ptype += tokens[k].text;
}
var pid = tokens[j - 1].text;
var type = env.GetTypeByKeyword(ptype);
// _params[pid] = type;
//func._params.Add(pid, type);
if (type == null)
{
throw new Exception(filename + ":不可识别的函数头参数:" + tokens[funcparambegin].ToString() + tokens[funcparambegin].SourcePos());
}
func._paramnames.Add(pid);
func._paramtypes.Add(type);
start = j + 1;
}
}
}
int funcbegin = funcparamend + 1;
if (tokens[funcbegin].text == "{")
{
int funcend = FindBlock(env, tokens, funcbegin);
this.Compiler_Expression_Block(tokens, env, funcbegin, funcend, out func.expr_runtime);
if (func.expr_runtime == null)
{
logger.Log_Warn("警告，该函数编译为null，请检查");
}
(stype.function as SType).functions.Add(idname, func);
i = funcend;
}
else if (tokens[funcbegin].text == ";")
{
func.expr_runtime = null;
(stype.function as SType).functions.Add(idname, func);
i = funcbegin;
}
else
{
throw new Exception(filename + ":不可识别的函数表达式:" + tokens[funcbegin].ToString() + tokens[funcbegin].SourcePos());
}
}
else if (tokens[i + 2].type == CQuark.TokenType.PUNCTUATION && tokens[i + 2].text == "{")//语句块开始，这是 getset属性
{
//get set 成员定义
bool setpublic = true;
bool haveset = false;
for (int j = i + 3; j <= iend; j++)
{
if (tokens[j].text == "get")
{
setpublic = true;
}
if (tokens[j].text == "private")
{
setpublic = false;
}
if (tokens[j].text == "set")
{
haveset = true;
}
if (tokens[j].text == "}")
{
break;
}
}
var member = new SType.Member();
member.bStatic = bStatic;
member.bPublic = bPublic;
member.bReadOnly = !(haveset && setpublic);
member.type = idtype;
logger.Log("发现Get/Set:" + idname);
//ICQ_Expression expr = null;
if (tokens[i + 2].text == "=")
{
int jbegin = i + 3;
int jdep;
int jend = FindCodeAny(tokens, ref jbegin, out jdep);
if (!Compiler_Expression(tokens, env, jbegin, jend, out member.expr_defvalue))
{
logger.Log_Error("Get/Set定义错误");
}
i = jend;
}
(stype.function as SType).members.Add(idname, member);
}
else if (tokens[i + 2].type == CQuark.TokenType.PUNCTUATION && (tokens[i + 2].text == "=" || tokens[i + 2].text == ";"))//这是成员定义
{
logger.Log("发现成员定义:" + idname);
var member = new SType.Member();
member.bStatic = bStatic;
member.bPublic = bPublic;
member.bReadOnly = false;
member.type = idtype;
//ICQ_Expression expr = null;
if (tokens[i + 2].text == "=")
{
int posend = 0;
for (int j = i; j < iend; j++)
{
if (tokens[j].text == ";")
{
posend = j - 1;
break;
}
}
int jbegin = i + 3;
int jdep;
int jend = FindCodeAny(tokens, ref jbegin, out jdep);
if (jend < posend)
{
jend = posend;
}
if (!Compiler_Expression(tokens, env, jbegin, jend, out member.expr_defvalue))
{
logger.Log_Error("成员定义错误");
}
i = jend;
}
(stype.function as SType).members.Add(idname, member);
}
bPublic = false;
bStatic = false;
continue;
}
else
{
throw new Exception(filename + ":不可识别的表达式:" + tokens[i].ToString() + tokens[i].SourcePos());
}
}
}
stype.compiled = true;
return(stype);
}
public ICQ_Expression Compiler_Expression_FunctionNew(IList <Token> tlist, ICQ_Environment content, int pos, int posend)
{
int begin = pos + 3;
int dep;
int end = FindCodeAnyInFunc(tlist, ref begin, out dep);
if (tlist[pos + 2].type == TokenType.PUNCTUATION && tlist[pos + 2].text == "(")
{
//一般函数
CQ_Expression_FunctionNew func = new CQ_Expression_FunctionNew(pos, posend, tlist[pos].line, tlist[posend].line);
func.type = content.GetTypeByKeyword(tlist[pos + 1].text);
do
{
ICQ_Expression param;
bool succ = Compiler_Expression(tlist, content, begin, end, out param);
if (succ && param != null)
{
func.listParam.Add(param);
}
begin = end + 2;
end = FindCodeAnyInFunc(tlist, ref begin, out dep);
}while (end < posend && begin <= end);
return(func);
}
else if (tlist[pos + 2].type == TokenType.PUNCTUATION && tlist[pos + 2].text == "[")//数组实例化表达式
{
CQ_Expression_FunctionNewArray func = new CQ_Expression_FunctionNewArray(pos, posend, tlist[pos].line, tlist[posend].line);
func.type = content.GetTypeByKeyword(tlist[pos + 1].text + "[]");
int valuebegin = 0;
ICQ_Expression count = null;
if (tlist[pos + 3].text == "]")
{
valuebegin = pos + 4;
}
else
{
int nbegin = pos + 3;
int dep2;
int end2 = FindCodeAny(tlist, ref nbegin, out dep2);
bool succ = Compiler_Expression(tlist, content, nbegin, end2, out count);
if (!succ)
{
throw new Exception("数组数量无法识别:" + tlist[pos].ToString() + tlist[pos].SourcePos());
}
valuebegin = end2 + 2;
}
func.listParam.Add(count);
if (tlist[valuebegin].text == "{")//InitValue
{
int nbegin = valuebegin + 1;
do
{
int dep2;
int nend = FindCodeAny(tlist, ref nbegin, out dep2);
ICQ_Expression valueI;
bool succ = Compiler_Expression(tlist, content, nbegin, nend, out valueI);
if (!succ)
{
//throw new Exception("数组初始值无法识别");
}
else
{
func.listParam.Add(valueI);
}
if (tlist[nend + 1].text != ",")
{
break;
}
nbegin = nend + 2;
}while (nbegin >= pos && nbegin < posend);
}
return(func);
}
return(null);
}