//Validates a built-in class definition and compile a built-in member
private void CompileBuiltinMember(ElaBuiltinKind kind, ElaTypeClass s, int memIndex, LabelMap map)
{
var flags = ElaVariableFlags.Builtin | ElaVariableFlags.ClassFun;
if (memIndex > s.Members.Count - 1)
{
AddError(ElaCompilerError.InvalidBuiltinClassDefinition, s, s.BuiltinName);
return;
}
var m = s.Members[memIndex];
CompileBuiltin(kind, m, map, m.Name);
AddLinePragma(m);
PopVar(AddVariable(m.Name, m, flags, (Int32)kind));
}
//The main method for class compilation
private void CompileClass(ElaTypeClass s, LabelMap map)
{
var tc = TypeClass.None;
//We a special syntax for built-in classes and they are compiled separately
if (s.BuiltinName != null)
{
tc = CompileBuiltinClass(s, map);
}
else
{
//Run through members and create global class functions (Newfunc)
for (var i = 0; i < s.Members.Count; i++)
{
CompileMember(s.Members[i]);
}
}
//We create a special variable that will be initialized with a global unique ID of this class
var sa = AddVariable("$$$" + s.Name, s, ElaVariableFlags.CompilerGenerated, (Int32)tc);
cw.Emit(Op.Classid, AddString(s.Name));
PopVar(sa);
//Some validation
if (frame.InternalClasses.ContainsKey(s.Name))
{
AddError(ElaCompilerError.ClassAlreadyDeclared, s, s.Name);
}
else
{
frame.InternalClasses.Add(s.Name, new ClassData(s.Members.ToArray()));
}
if (s.And != null)
{
CompileClass(s.And, map);
}
}
//Built-in class compilation simply compiles an appropriate built-in and creates
//an entry for a class as for a regular class
private TypeClass CompileBuiltinClass(ElaTypeClass s, LabelMap map)
{
var tc = TypeClassHelper.GetTypeClass(s.BuiltinName);
switch (tc)
{
case TypeClass.Eq:
CompileBuiltinMember(ElaBuiltinKind.Equal, s, 0, map);
CompileBuiltinMember(ElaBuiltinKind.NotEqual, s, 1, map);
break;
case TypeClass.Ord:
CompileBuiltinMember(ElaBuiltinKind.Greater, s, 0, map);
CompileBuiltinMember(ElaBuiltinKind.Lesser, s, 1, map);
CompileBuiltinMember(ElaBuiltinKind.GreaterEqual, s, 2, map);
CompileBuiltinMember(ElaBuiltinKind.LesserEqual, s, 3, map);
CompileMember(s.Members[4]);
break;
case TypeClass.Additive:
CompileBuiltinMember(ElaBuiltinKind.Add, s, 0, map);
CompileBuiltinMember(ElaBuiltinKind.Subtract, s, 1, map);
CompileBuiltinMember(ElaBuiltinKind.Negate, s, 2, map);
break;
case TypeClass.Ring:
CompileBuiltinMember(ElaBuiltinKind.Multiply, s, 0, map);
CompileBuiltinMember(ElaBuiltinKind.Power, s, 1, map);
break;
case TypeClass.Field:
CompileBuiltinMember(ElaBuiltinKind.Divide, s, 0, map);
break;
case TypeClass.Modulo:
CompileBuiltinMember(ElaBuiltinKind.Modulus, s, 0, map);
CompileBuiltinMember(ElaBuiltinKind.Remainder, s, 1, map);
break;
case TypeClass.Bit:
CompileBuiltinMember(ElaBuiltinKind.BitwiseAnd, s, 0, map);
CompileBuiltinMember(ElaBuiltinKind.BitwiseOr, s, 1, map);
CompileBuiltinMember(ElaBuiltinKind.BitwiseXor, s, 2, map);
CompileBuiltinMember(ElaBuiltinKind.BitwiseNot, s, 3, map);
CompileBuiltinMember(ElaBuiltinKind.ShiftLeft, s, 4, map);
CompileBuiltinMember(ElaBuiltinKind.ShiftRight, s, 5, map);
break;
case TypeClass.Seq:
CompileBuiltinMember(ElaBuiltinKind.Head, s, 0, map);
CompileBuiltinMember(ElaBuiltinKind.Tail, s, 1, map);
CompileBuiltinMember(ElaBuiltinKind.IsNil, s, 2, map);
break;
case TypeClass.Len:
CompileBuiltinMember(ElaBuiltinKind.Length, s, 0, map);
break;
case TypeClass.Ix:
CompileBuiltinMember(ElaBuiltinKind.GetValue, s, 0, map);
break;
case TypeClass.Name:
CompileBuiltinMember(ElaBuiltinKind.GetField, s, 0, map);
CompileBuiltinMember(ElaBuiltinKind.HasField, s, 1, map);
break;
case TypeClass.Cat:
CompileBuiltinMember(ElaBuiltinKind.Concat, s, 0, map);
break;
case TypeClass.Show:
CompileBuiltinMember(ElaBuiltinKind.Show, s, 0, map);
break;
default:
AddError(ElaCompilerError.InvalidBuiltinClass, s, s.BuiltinName);
break;
}
return(tc);
}
