12 #define TRACE_VAR_LOOKUPS 0
13 #define TRACE_NODE_RETURNS 0
16 extern tSpiderFunction *gpExports_First;
20 void Object_Dereference(tSpiderValue *Object);
21 void Object_Reference(tSpiderValue *Object);
22 tSpiderValue *SpiderScript_CreateInteger(uint64_t Value);
23 tSpiderValue *SpiderScript_CreateReal(double Value);
24 tSpiderValue *SpiderScript_CreateString(int Length, const char *Data);
25 tSpiderValue *SpiderScript_CastValueTo(int Type, tSpiderValue *Source);
26 int SpiderScript_IsValueTrue(tSpiderValue *Value);
27 void SpiderScript_FreeValue(tSpiderValue *Value);
28 char *SpiderScript_DumpValue(tSpiderValue *Value);
30 tSpiderValue *AST_ExecuteNode(tAST_BlockState *Block, tAST_Node *Node);
31 tSpiderValue *AST_ExecuteNode_BinOp(tAST_BlockState *Block, tAST_Node *Node, int Operation, tSpiderValue *Left, tSpiderValue *Right);
32 tSpiderValue *AST_ExecuteNode_UniOp(tAST_BlockState *Block, tAST_Node *Node, int Operation, tSpiderValue *Value);
34 tAST_Variable *Variable_Define(tAST_BlockState *Block, int Type, const char *Name, tSpiderValue *Value);
35 int Variable_SetValue(tAST_BlockState *Block, tAST_Node *VarNode, tSpiderValue *Value);
36 tSpiderValue *Variable_GetValue(tAST_BlockState *Block, tAST_Node *VarNode);
37 void Variable_Destroy(tAST_Variable *Variable);
39 void AST_RuntimeMessage(tAST_Node *Node, const char *Type, const char *Format, ...);
40 void AST_RuntimeError(tAST_Node *Node, const char *Format, ...);
43 int giNextBlockIdent = 1;
47 * \brief Dereference a created object
49 void Object_Dereference(tSpiderValue *Object)
52 if(Object == ERRPTR) return ;
53 Object->ReferenceCount --;
54 // printf("%p Dereferenced (%i)\n", Object, Object->ReferenceCount);
55 if( Object->ReferenceCount == 0 ) {
56 switch( (enum eSpiderScript_DataTypes) Object->Type )
58 case SS_DATATYPE_OBJECT:
59 Object->Object->Type->Destructor( Object->Object );
61 case SS_DATATYPE_OPAQUE:
62 Object->Opaque.Destroy( Object->Opaque.Data );
71 void Object_Reference(tSpiderValue *Object)
74 Object->ReferenceCount ++;
75 // printf("%p Referenced (%i)\n", Object, Object->ReferenceCount);
79 * \brief Allocate and initialise a SpiderScript object
81 tSpiderObject *SpiderScript_AllocateObject(tSpiderObjectDef *Class, int ExtraBytes)
83 int size = sizeof(tSpiderObject) + Class->NAttributes * sizeof(tSpiderValue*) + ExtraBytes;
84 tSpiderObject *ret = malloc(size);
87 ret->ReferenceCount = 1;
88 ret->OpaqueData = &ret->Attributes[ Class->NAttributes ];
89 memset( ret->Attributes, 0, Class->NAttributes * sizeof(tSpiderValue*) );
95 * \brief Create an integer object
97 tSpiderValue *SpiderScript_CreateInteger(uint64_t Value)
99 tSpiderValue *ret = malloc( sizeof(tSpiderValue) );
100 ret->Type = SS_DATATYPE_INTEGER;
101 ret->ReferenceCount = 1;
102 ret->Integer = Value;
107 * \brief Create an real number object
109 tSpiderValue *SpiderScript_CreateReal(double Value)
111 tSpiderValue *ret = malloc( sizeof(tSpiderValue) );
112 ret->Type = SS_DATATYPE_REAL;
113 ret->ReferenceCount = 1;
119 * \brief Create an string object
121 tSpiderValue *SpiderScript_CreateString(int Length, const char *Data)
123 tSpiderValue *ret = malloc( sizeof(tSpiderValue) + Length + 1 );
124 ret->Type = SS_DATATYPE_STRING;
125 ret->ReferenceCount = 1;
126 ret->String.Length = Length;
128 memcpy(ret->String.Data, Data, Length);
130 memset(ret->String.Data, 0, Length);
131 ret->String.Data[Length] = '\0';
136 * \brief Concatenate two strings
138 tSpiderValue *Object_StringConcat(const tSpiderValue *Str1, const tSpiderValue *Str2)
142 if(Str1) newLen += Str1->String.Length;
143 if(Str2) newLen += Str2->String.Length;
144 ret = malloc( sizeof(tSpiderValue) + newLen + 1 );
145 ret->Type = SS_DATATYPE_STRING;
146 ret->ReferenceCount = 1;
147 ret->String.Length = newLen;
149 memcpy(ret->String.Data, Str1->String.Data, Str1->String.Length);
152 memcpy(ret->String.Data+Str1->String.Length, Str2->String.Data, Str2->String.Length);
154 memcpy(ret->String.Data, Str2->String.Data, Str2->String.Length);
156 ret->String.Data[ newLen ] = '\0';
161 * \brief Cast one object to another
162 * \brief Type Destination type
163 * \brief Source Input data
165 tSpiderValue *SpiderScript_CastValueTo(int Type, tSpiderValue *Source)
167 tSpiderValue *ret = ERRPTR;
174 case SS_DATATYPE_INTEGER: return SpiderScript_CreateInteger(0);
175 case SS_DATATYPE_REAL: return SpiderScript_CreateReal(0);
176 case SS_DATATYPE_STRING: return SpiderScript_CreateString(4, "null");
181 // Check if anything needs to be done
182 if( Source->Type == Type ) {
183 Object_Reference(Source);
190 printf("Casting %i ", Source->Type);
193 case SS_DATATYPE_INTEGER: printf("0x%lx", Source->Integer); break;
194 case SS_DATATYPE_STRING: printf("\"%s\"", Source->String.Data); break;
195 case SS_DATATYPE_REAL: printf("%f", Source->Real); break;
198 printf(" to %i\n", Type);
204 if( Source->Type == SS_DATATYPE_OBJECT )
206 const char *name = NULL;
209 case SS_DATATYPE_INTEGER: name = "cast Integer"; break;
210 case SS_DATATYPE_REAL: name = "cast Real"; break;
211 case SS_DATATYPE_STRING: name = "cast String"; break;
212 case SS_DATATYPE_ARRAY: name = "cast Array"; break;
214 AST_RuntimeError(NULL, "Invalid cast to %i from Object", Type);
219 ret = Object_ExecuteMethod(Left->Object, fcnname, Right);
222 // Fall through and try casting (which will usually fail)
227 switch( (enum eSpiderScript_DataTypes)Type )
229 case SS_DATATYPE_UNDEF:
230 case SS_DATATYPE_ARRAY:
231 case SS_DATATYPE_OPAQUE:
232 AST_RuntimeError(NULL, "Invalid cast to %i", Type);
234 case SS_DATATYPE_OBJECT:
236 AST_RuntimeError(NULL, "Invalid cast to %i", Type);
239 case SS_DATATYPE_INTEGER:
240 ret = malloc(sizeof(tSpiderValue));
241 ret->Type = SS_DATATYPE_INTEGER;
242 ret->ReferenceCount = 1;
245 case SS_DATATYPE_INTEGER: break; // Handled above
246 case SS_DATATYPE_STRING: ret->Integer = atoi(Source->String.Data); break;
247 case SS_DATATYPE_REAL: ret->Integer = Source->Real; break;
249 AST_RuntimeError(NULL, "Invalid cast from %i to Integer", Source->Type);
256 case SS_DATATYPE_REAL:
257 ret = malloc(sizeof(tSpiderValue));
258 ret->Type = SS_DATATYPE_REAL;
259 ret->ReferenceCount = 1;
262 case SS_DATATYPE_STRING: ret->Real = atof(Source->String.Data); break;
263 case SS_DATATYPE_INTEGER: ret->Real = Source->Integer; break;
265 AST_RuntimeError(NULL, "Invalid cast from %i to Real", Source->Type);
272 case SS_DATATYPE_STRING:
275 case SS_DATATYPE_INTEGER: len = snprintf(NULL, 0, "%li", Source->Integer); break;
276 case SS_DATATYPE_REAL: len = snprintf(NULL, 0, "%g", Source->Real); break;
279 ret = malloc(sizeof(tSpiderValue) + len + 1);
280 ret->Type = SS_DATATYPE_STRING;
281 ret->ReferenceCount = 1;
282 ret->String.Length = len;
285 case SS_DATATYPE_INTEGER: sprintf(ret->String.Data, "%li", Source->Integer); break;
286 case SS_DATATYPE_REAL:
287 sprintf(ret->String.Data, "%g", Source->Real); break;
289 AST_RuntimeError(NULL, "Invalid cast from %i to String", Source->Type);
297 AST_RuntimeError(NULL, "BUG - BUG REPORT: Unimplemented cast target %i", Type);
306 * \brief Condenses a value down to a boolean
308 int SpiderScript_IsValueTrue(tSpiderValue *Value)
310 if( Value == ERRPTR ) return 0;
311 if( Value == NULL ) return 0;
313 switch( (enum eSpiderScript_DataTypes)Value->Type )
315 case SS_DATATYPE_UNDEF:
318 case SS_DATATYPE_INTEGER:
319 return !!Value->Integer;
321 case SS_DATATYPE_REAL:
322 return (-.5f < Value->Real && Value->Real < 0.5f);
324 case SS_DATATYPE_STRING:
325 return Value->String.Length > 0;
327 case SS_DATATYPE_OBJECT:
328 return Value->Object != NULL;
330 case SS_DATATYPE_OPAQUE:
331 return Value->Opaque.Data != NULL;
333 case SS_DATATYPE_ARRAY:
334 return Value->Array.Length > 0;
336 AST_RuntimeError(NULL, "Unknown type %i in SpiderScript_IsValueTrue", Value->Type);
343 * \brief Free a value
344 * \note Just calls Object_Dereference
346 void SpiderScript_FreeValue(tSpiderValue *Value)
348 Object_Dereference(Value);
352 * \brief Dump a value into a string
353 * \return Heap string
355 char *SpiderScript_DumpValue(tSpiderValue *Value)
358 if( Value == ERRPTR )
359 return strdup("ERRPTR");
361 return strdup("null");
363 switch( (enum eSpiderScript_DataTypes)Value->Type )
365 case SS_DATATYPE_UNDEF: return strdup("undefined");
367 case SS_DATATYPE_INTEGER:
368 ret = malloc( sizeof(Value->Integer)*2 + 3 );
369 sprintf(ret, "0x%lx", Value->Integer);
372 case SS_DATATYPE_REAL:
373 ret = malloc( sprintf(NULL, "%f", Value->Real) + 1 );
374 sprintf(ret, "%f", Value->Real);
377 case SS_DATATYPE_STRING:
378 ret = malloc( Value->String.Length + 3 );
380 strcpy(ret+1, Value->String.Data);
381 ret[Value->String.Length+1] = '"';
382 ret[Value->String.Length+2] = '\0';
385 case SS_DATATYPE_OBJECT:
386 ret = malloc( sprintf(NULL, "{%s *%p}", Value->Object->Type->Name, Value->Object) + 1 );
387 sprintf(ret, "{%s *%p}", Value->Object->Type->Name, Value->Object);
390 case SS_DATATYPE_OPAQUE:
391 ret = malloc( sprintf(NULL, "*%p", Value->Opaque.Data) + 1 );
392 sprintf(ret, "*%p", Value->Opaque.Data);
395 case SS_DATATYPE_ARRAY:
396 return strdup("Array");
399 AST_RuntimeError(NULL, "Unknown type %i in Object_Dump", Value->Type);
406 * \brief Execute a script function
407 * \param Script Script context to execute in
408 * \param Namespace Namespace to search for the function
409 * \param Function Function name to execute
410 * \param NArguments Number of arguments to pass
411 * \param Arguments Arguments passed
413 tSpiderValue *SpiderScript_ExecuteFunction(tSpiderScript *Script,
414 tSpiderNamespace *Namespace, const char *Function,
415 int NArguments, tSpiderValue **Arguments)
417 int bFound = 0; // Used to keep nesting levels down
418 tSpiderValue *ret = ERRPTR;
419 tSpiderFunction *fcn;
421 // First: Find the function in the script
423 tAST_Function *astFcn;
424 for( astFcn = Script->Script->Functions; astFcn; astFcn = astFcn->Next )
426 if( strcmp(astFcn->Name, Function) == 0 )
436 // Build a block State
440 bs.BaseNamespace = &Script->Variant->RootNamespace;
441 bs.CurNamespace = NULL;
443 bs.Ident = giNextBlockIdent ++;
446 for( arg = astFcn->Arguments; arg; arg = arg->NextSibling, i++ )
448 if( i >= NArguments ) break; // TODO: Return gracefully
451 arg->DefVar.DataType, arg->DefVar.Name,
456 ret = AST_ExecuteNode(&bs, astFcn->Code);
459 Object_Dereference(ret); // Dereference output of last block statement
460 ret = bs.RetVal; // Set to return value of block
466 tAST_Variable *nextVar = bs.FirstVar->Next;
467 Variable_Destroy( bs.FirstVar );
468 bs.FirstVar = nextVar;
473 // Didn't find it in script?
476 fcn = NULL; // Just to allow the below code to be neat
478 // Second: Scan current namespace
479 if( !fcn && Namespace )
481 for( fcn = Namespace->Functions; fcn; fcn = fcn->Next )
483 if( strcmp( fcn->Name, Function ) == 0 )
488 // Third: Search the variant's global exports
491 for( fcn = Script->Variant->Functions; fcn; fcn = fcn->Next )
493 if( strcmp( fcn->Name, Function ) == 0 )
498 // Fourth: Search language exports
501 for( fcn = gpExports_First; fcn; fcn = fcn->Next )
503 if( strcmp( fcn->Name, Function ) == 0 )
511 // TODO: Type Checking
512 ret = fcn->Handler( Script, NArguments, Arguments );
520 fprintf(stderr, "Undefined reference to function '%s' (ns='%s')\n",
521 Function, Namespace->Name);
529 * \brief Execute an object method function
530 * \param Script Script context to execute in
531 * \param Object Object in which to find the method
532 * \param MethodName Name of method to call
533 * \param NArguments Number of arguments to pass
534 * \param Arguments Arguments passed
536 tSpiderValue *SpiderScript_ExecuteMethod(tSpiderScript *Script,
537 tSpiderObject *Object, const char *MethodName,
538 int NArguments, tSpiderValue **Arguments)
540 tSpiderFunction *fcn;
542 tSpiderValue *newargs[NArguments+1];
545 // TODO: Support program defined objects
547 // Search for the function
548 for( fcn = Object->Type->Methods; fcn; fcn = fcn->Next )
550 if( strcmp(fcn->Name, MethodName) == 0 )
556 AST_RuntimeError(NULL, "Class '%s' does not have a method '%s'",
557 Object->Type->Name, MethodName);
561 // Create the "this" argument
562 this.Type = SS_DATATYPE_OBJECT;
563 this.ReferenceCount = 1;
564 this.Object = Object;
566 memcpy(&newargs[1], Arguments, NArguments*sizeof(tSpiderValue*));
568 // Check the type of the arguments
569 for( i = 0; fcn->ArgTypes[i]; i ++ )
571 if( i >= NArguments ) {
572 for( ; fcn->ArgTypes[i]; i ++ ) ;
573 AST_RuntimeError(NULL, "Argument count mismatch (%i passed, %i expected)",
577 if( Arguments[i] && Arguments[i]->Type != fcn->ArgTypes[i] )
579 AST_RuntimeError(NULL, "Argument type mismatch (%i, expected %i)",
580 Arguments[i]->Type, fcn->ArgTypes[i]);
586 return fcn->Handler(Script, NArguments+1, newargs);
590 * \brief Execute a script function
591 * \param Script Script context to execute in
592 * \param Function Function name to execute
593 * \param NArguments Number of arguments to pass
594 * \param Arguments Arguments passed
596 tSpiderValue *SpiderScript_CreateObject(tSpiderScript *Script,
597 tSpiderNamespace *Namespace, const char *ClassName,
598 int NArguments, tSpiderValue **Arguments)
600 int bFound = 0; // Used to keep nesting levels down
601 tSpiderValue *ret = ERRPTR;
602 tSpiderObjectDef *class;
604 // First: Find the function in the script
605 // TODO: Implement script-defined classes
608 tAST_Function *astClass;
609 for( astClass = Script->Script->Classes; astClass; astClass = astClass->Next )
611 if( strcmp(astClass->Name, ClassName) == 0 )
621 // Build a block State
625 bs.BaseNamespace = &Script->Variant->RootNamespace;
626 bs.CurNamespace = NULL;
628 bs.Ident = giNextBlockIdent ++;
630 for( arg = astFcn->Arguments; arg; arg = arg->NextSibling, i++ )
632 if( i >= NArguments ) break; // TODO: Return gracefully
635 arg->DefVar.DataType, arg->DefVar.Name,
640 ret = AST_ExecuteNode(&bs, astFcn->Code);
643 Object_Dereference(ret); // Dereference output of last block statement
644 ret = bs.RetVal; // Set to return value of block
650 tAST_Variable *nextVar = bs.FirstVar->Next;
651 Variable_Destroy( bs.FirstVar );
652 bs.FirstVar = nextVar;
658 // Didn't find it in script?
661 class = NULL; // Just to allow the below code to be neat
664 // Namespace = &Script->Variant->RootNamespace;
666 // Second: Scan current namespace
667 if( !class && Namespace )
669 for( class = Namespace->Classes; class; class = class->Next )
671 if( strcmp( class->Name, ClassName ) == 0 )
677 // Third: Search the variant's global exports
680 for( class = Script->Variant->Classes; class; class = fcn->Next )
682 if( strcmp( class->Name, Function ) == 0 )
689 // Fourth: Search language exports
692 for( class = gpExports_First; class; class = fcn->Next )
694 if( strcmp( class->Name, ClassName ) == 0 )
704 // TODO: Type Checking
707 obj = class->Constructor( NArguments, Arguments );
708 if( obj == NULL || obj == ERRPTR )
711 // Creatue return object
712 ret = malloc( sizeof(tSpiderValue) );
713 ret->Type = SS_DATATYPE_OBJECT;
714 ret->ReferenceCount = 1;
723 fprintf(stderr, "Undefined reference to class '%s'\n", ClassName);
732 * \brief Execute an AST node and return its value
733 * \param Block Execution context
734 * \param Node Node to execute
736 tSpiderValue *AST_ExecuteNode(tAST_BlockState *Block, tAST_Node *Node)
739 tSpiderValue *ret = NULL, *tmpobj;
740 tSpiderValue *op1, *op2; // Binary operations
741 int cmp; // Used in comparisons
754 tAST_BlockState blockInfo;
755 blockInfo.Parent = Block;
756 blockInfo.Script = Block->Script;
757 blockInfo.FirstVar = NULL;
758 blockInfo.RetVal = NULL;
759 blockInfo.BaseNamespace = Block->BaseNamespace;
760 blockInfo.CurNamespace = NULL;
761 blockInfo.BreakTarget = NULL;
762 blockInfo.Ident = giNextBlockIdent ++;
764 // Loop over all nodes, or until the return value is set
765 for(node = Node->Block.FirstChild;
766 node && !blockInfo.RetVal && !blockInfo.BreakTarget;
767 node = node->NextSibling )
769 ret = AST_ExecuteNode(&blockInfo, node);
770 if(ret == ERRPTR) break; // Error check
771 if(ret != NULL) Object_Dereference(ret); // Free unused value
773 // Clean up variables
774 while(blockInfo.FirstVar)
776 tAST_Variable *nextVar = blockInfo.FirstVar->Next;
777 Variable_Destroy( blockInfo.FirstVar );
778 blockInfo.FirstVar = nextVar;
780 // Clear ret if not an error
781 if(ret != ERRPTR) ret = NULL;
783 // Set parent's return value if needed
784 if( blockInfo.RetVal )
785 Block->RetVal = blockInfo.RetVal;
786 if( blockInfo.BreakTarget ) {
787 Block->BreakTarget = blockInfo.BreakTarget;
788 Block->BreakType = blockInfo.BreakType;
791 // TODO: Unset break if break type deontes a block break
797 case NODETYPE_ASSIGN:
798 // TODO: Support assigning to object attributes
799 if( Node->Assign.Dest->Type != NODETYPE_VARIABLE ) {
800 AST_RuntimeError(Node, "LVALUE of assignment is not a variable");
803 ret = AST_ExecuteNode(Block, Node->Assign.Value);
804 if(ret == ERRPTR) return ERRPTR;
806 // Perform assignment operation
807 if( Node->Assign.Operation != NODETYPE_NOP )
809 tSpiderValue *varVal, *value;
811 varVal = Variable_GetValue(Block, Node->Assign.Dest);
812 if(varVal == ERRPTR) return ERRPTR;
815 if(varVal && varVal->ReferenceCount == 2) {
816 Object_Dereference(varVal);
817 // printf("pre: (%s) varVal->ReferenceCount = %i\n",
818 // Node->Assign.Dest->Variable.Name,
819 // varVal->ReferenceCount);
822 value = AST_ExecuteNode_BinOp(Block, Node, Node->Assign.Operation, varVal, ret);
823 if(value == ERRPTR) return ERRPTR;
825 if(ret) Object_Dereference(ret);
827 if(varVal) Object_Dereference(varVal);
829 if(varVal && varVal->ReferenceCount == 1) {
830 Object_Reference(varVal);
831 // printf("post: varVal->ReferenceCount = %i\n", varVal->ReferenceCount);
832 break; // If varVal was non-null, it has been updated by _BinOp
835 // Else, it was NULL, so has to be assigned
839 // Set the variable value
840 if( Variable_SetValue( Block, Node->Assign.Dest, ret ) ) {
841 Object_Dereference( ret );
846 // Post increment/decrement
847 case NODETYPE_POSTINC:
848 case NODETYPE_POSTDEC:
850 tSpiderValue *varVal, *value;
851 static tSpiderValue one = {
852 .Type = SS_DATATYPE_INTEGER,
857 // TODO: Support assigning to object attributes
858 if( Node->UniOp.Value->Type != NODETYPE_VARIABLE ) {
859 AST_RuntimeError(Node, "LVALUE of assignment is not a variable");
863 // Get values (current variable contents and a static one)
864 varVal = Variable_GetValue(Block, Node->UniOp.Value);
866 if( Node->Type == NODETYPE_POSTDEC )
867 value = AST_ExecuteNode_BinOp(Block, Node, NODETYPE_SUBTRACT, varVal, &one);
869 value = AST_ExecuteNode_BinOp(Block, Node, NODETYPE_ADD, varVal, &one);
870 if( value == ERRPTR )
875 if( Variable_SetValue( Block, Node->UniOp.Value, value ) ) {
876 Object_Dereference( ret );
879 Object_Dereference( value );
884 case NODETYPE_METHODCALL:
885 case NODETYPE_FUNCTIONCALL:
886 case NODETYPE_CREATEOBJECT:
887 // Logical block (used to allocate `params`)
889 tSpiderNamespace *ns = Block->CurNamespace;
890 tSpiderValue *params[Node->FunctionCall.NumArgs];
892 for(node = Node->FunctionCall.FirstArg; node; node = node->NextSibling)
894 params[i] = AST_ExecuteNode(Block, node);
895 if( params[i] == ERRPTR ) {
896 while(i--) Object_Dereference(params[i]);
903 if( !ns ) ns = Block->BaseNamespace;
906 if( Node->Type == NODETYPE_CREATEOBJECT )
908 ret = SpiderScript_CreateObject(Block->Script,
910 Node->FunctionCall.Name,
911 Node->FunctionCall.NumArgs, params
914 else if( Node->Type == NODETYPE_METHODCALL )
916 tSpiderValue *obj = AST_ExecuteNode(Block, Node->FunctionCall.Object);
917 if( !obj || obj == ERRPTR || obj->Type != SS_DATATYPE_OBJECT ) {
918 AST_RuntimeError(Node->FunctionCall.Object,
919 "Type Mismatch - Required SS_DATATYPE_OBJECT for method call");
920 while(i--) Object_Dereference(params[i]);
924 ret = SpiderScript_ExecuteMethod(Block->Script,
925 obj->Object, Node->FunctionCall.Name,
926 Node->FunctionCall.NumArgs, params
928 Object_Dereference(obj);
932 ret = SpiderScript_ExecuteFunction(Block->Script,
933 ns, Node->FunctionCall.Name,
934 Node->FunctionCall.NumArgs, params
939 // Dereference parameters
940 while(i--) Object_Dereference(params[i]);
948 ret = AST_ExecuteNode(Block, Node->If.Condition);
949 if( ret == ERRPTR ) break;
950 if( SpiderScript_IsValueTrue(ret) ) {
951 tmpobj = AST_ExecuteNode(Block, Node->If.True);
954 tmpobj = AST_ExecuteNode(Block, Node->If.False);
956 Object_Dereference(ret);
957 if( tmpobj == ERRPTR ) return ERRPTR;
958 Object_Dereference(tmpobj);
965 ret = AST_ExecuteNode(Block, Node->For.Init);
966 if(ret == ERRPTR) break;
968 // Check initial condition
969 if( !Node->For.bCheckAfter )
971 Object_Dereference(ret);
973 ret = AST_ExecuteNode(Block, Node->For.Condition);
974 if(ret == ERRPTR) return ERRPTR;
975 if(!SpiderScript_IsValueTrue(ret)) {
976 Object_Dereference(ret);
985 Object_Dereference(ret);
988 ret = AST_ExecuteNode(Block, Node->For.Code);
989 if(ret == ERRPTR) return ERRPTR;
990 Object_Dereference(ret);
992 if(Block->BreakTarget)
994 if( Block->BreakTarget[0] == '\0' || strcmp(Block->BreakTarget, Node->For.Tag) == 0 )
997 free((void*)Block->BreakTarget); Block->BreakTarget = NULL;
998 if( Block->BreakType == NODETYPE_CONTINUE ) {
999 // Continue, just keep going
1005 break; // Break out of this loop
1009 ret = AST_ExecuteNode(Block, Node->For.Increment);
1010 if(ret == ERRPTR) return ERRPTR;
1011 Object_Dereference(ret);
1014 ret = AST_ExecuteNode(Block, Node->For.Condition);
1015 if(ret == ERRPTR) return ERRPTR;
1016 if(!SpiderScript_IsValueTrue(ret)) break;
1018 Object_Dereference(ret);
1023 case NODETYPE_RETURN:
1024 ret = AST_ExecuteNode(Block, Node->UniOp.Value);
1025 if(ret == ERRPTR) break;
1026 Block->RetVal = ret; // Return value set
1027 ret = NULL; // the `return` statement does not return a value
1030 case NODETYPE_BREAK:
1031 case NODETYPE_CONTINUE:
1032 Block->BreakTarget = strdup(Node->Variable.Name);
1033 Block->BreakType = Node->Type;
1036 // Define a variable
1037 case NODETYPE_DEFVAR:
1038 if( Node->DefVar.InitialValue ) {
1039 tmpobj = AST_ExecuteNode(Block, Node->DefVar.InitialValue);
1040 if(tmpobj == ERRPTR) return ERRPTR;
1045 // TODO: Handle arrays
1047 if( Variable_Define(Block, Node->DefVar.DataType, Node->DefVar.Name, tmpobj) == ERRPTR )
1049 Object_Dereference(tmpobj);
1053 case NODETYPE_SCOPE:
1055 tSpiderNamespace *ns;
1057 // Set current namespace if unset
1058 if( !Block->CurNamespace )
1059 Block->CurNamespace = Block->BaseNamespace;
1061 // Empty string means use the root namespace
1062 if( Node->Scope.Name[0] == '\0' )
1064 ns = &Block->Script->Variant->RootNamespace;
1068 // Otherwise scan the current namespace for the element
1069 for( ns = Block->CurNamespace->FirstChild; ns; ns = ns->Next )
1071 if( strcmp(ns->Name, Node->Scope.Name) == 0 )
1076 AST_RuntimeError(Node, "Unknown namespace '%s'", Node->Scope.Name);
1080 Block->CurNamespace = ns;
1082 ret = AST_ExecuteNode(Block, Node->Scope.Element);
1087 case NODETYPE_VARIABLE:
1088 ret = Variable_GetValue( Block, Node );
1091 // Element of an Object
1092 case NODETYPE_ELEMENT:
1093 tmpobj = AST_ExecuteNode( Block, Node->Scope.Element );
1094 if(tmpobj == ERRPTR) return ERRPTR;
1095 if( !tmpobj || tmpobj->Type != SS_DATATYPE_OBJECT )
1097 AST_RuntimeError(Node->Scope.Element, "Unable to dereference a non-object");
1102 for( i = 0; i < tmpobj->Object->Type->NAttributes; i ++ )
1104 if( strcmp(Node->Scope.Name, tmpobj->Object->Type->AttributeDefs[i].Name) == 0 )
1106 ret = tmpobj->Object->Attributes[i];
1107 Object_Reference(ret);
1111 if( i == tmpobj->Object->Type->NAttributes )
1113 AST_RuntimeError(Node->Scope.Element, "Unknown attribute '%s' of class '%s'",
1114 Node->Scope.Name, tmpobj->Object->Type->Name);
1119 // Cast a value to another
1122 tmpobj = AST_ExecuteNode(Block, Node->Cast.Value);
1123 if(tmpobj == ERRPTR) return ERRPTR;
1124 ret = SpiderScript_CastValueTo( Node->Cast.DataType, tmpobj );
1125 Object_Dereference(tmpobj);
1129 // Index into an array
1130 case NODETYPE_INDEX:
1131 op1 = AST_ExecuteNode(Block, Node->BinOp.Left); // Array
1132 if(op1 == ERRPTR) return ERRPTR;
1133 op2 = AST_ExecuteNode(Block, Node->BinOp.Right); // Offset
1135 Object_Dereference(op1);
1139 if( !op1 || op1->Type != SS_DATATYPE_ARRAY )
1141 // TODO: Implement "operator []" on objects
1142 AST_RuntimeError(Node, "Indexing non-array");
1147 if( (!op2 || op2->Type != SS_DATATYPE_INTEGER) && !Block->Script->Variant->bImplicitCasts ) {
1148 AST_RuntimeError(Node, "Array index is not an integer");
1153 if( !op2 || op2->Type != SS_DATATYPE_INTEGER )
1155 tmpobj = SpiderScript_CastValueTo(SS_DATATYPE_INTEGER, op2);
1156 Object_Dereference(op2);
1160 if( op2->Integer >= op1->Array.Length ) {
1161 AST_RuntimeError(Node, "Array index out of bounds %i >= %i",
1162 op2->Integer, op1->Array.Length);
1167 ret = op1->Array.Items[ op2->Integer ];
1168 Object_Reference(ret);
1170 Object_Dereference(op1);
1171 Object_Dereference(op2);
1174 // TODO: Implement runtime constants
1175 case NODETYPE_CONSTANT:
1176 // TODO: Scan namespace for constant name
1177 AST_RuntimeError(Node, "TODO - Runtime Constants");
1182 case NODETYPE_STRING:
1183 case NODETYPE_INTEGER:
1185 ret = &Node->Constant;
1186 Object_Reference(ret);
1189 // --- Operations ---
1190 // Boolean Operations
1191 case NODETYPE_LOGICALNOT: // Logical NOT (!)
1192 op1 = AST_ExecuteNode(Block, Node->UniOp.Value);
1193 if(op1 == ERRPTR) return ERRPTR;
1194 ret = SpiderScript_CreateInteger( !SpiderScript_IsValueTrue(op1) );
1195 Object_Dereference(op1);
1197 case NODETYPE_LOGICALAND: // Logical AND (&&)
1198 case NODETYPE_LOGICALOR: // Logical OR (||)
1199 case NODETYPE_LOGICALXOR: // Logical XOR (^^)
1200 op1 = AST_ExecuteNode(Block, Node->BinOp.Left);
1201 if(op1 == ERRPTR) return ERRPTR;
1202 op2 = AST_ExecuteNode(Block, Node->BinOp.Right);
1204 Object_Dereference(op1);
1208 switch( Node->Type )
1210 case NODETYPE_LOGICALAND:
1211 ret = SpiderScript_CreateInteger( SpiderScript_IsValueTrue(op1) && SpiderScript_IsValueTrue(op2) );
1213 case NODETYPE_LOGICALOR:
1214 ret = SpiderScript_CreateInteger( SpiderScript_IsValueTrue(op1) || SpiderScript_IsValueTrue(op2) );
1216 case NODETYPE_LOGICALXOR:
1217 ret = SpiderScript_CreateInteger( SpiderScript_IsValueTrue(op1) ^ SpiderScript_IsValueTrue(op2) );
1222 // Free intermediate objects
1223 Object_Dereference(op1);
1224 Object_Dereference(op2);
1228 case NODETYPE_EQUALS:
1229 case NODETYPE_LESSTHAN:
1230 case NODETYPE_GREATERTHAN:
1231 case NODETYPE_LESSTHANEQUAL:
1232 case NODETYPE_GREATERTHANEQUAL:
1233 op1 = AST_ExecuteNode(Block, Node->BinOp.Left);
1234 if(op1 == ERRPTR) return ERRPTR;
1235 op2 = AST_ExecuteNode(Block, Node->BinOp.Right);
1237 Object_Dereference(op1);
1242 if( !op1 || !op2 ) {
1243 AST_RuntimeError(Node, "NULL Comparison (%p and %p)", op1, op2);
1244 if(op1) Object_Dereference(op1);
1245 if(op2) Object_Dereference(op2);
1246 ret = SpiderScript_CreateInteger( !op1 && !op2 );
1251 if( op1->Type != op2->Type ) {
1252 // If dynamically typed, convert op2 to op1's type
1253 if(Block->Script->Variant->bImplicitCasts)
1256 op2 = SpiderScript_CastValueTo(op1->Type, op2);
1257 Object_Dereference(tmpobj);
1259 Object_Dereference(op1);
1263 // If statically typed, this should never happen, but catch it anyway
1265 AST_RuntimeError(Node, "Statically typed implicit cast %i <op> %i",
1266 op1->Type, op2->Type);
1274 // - String Compare (does a strcmp, well memcmp)
1275 case SS_DATATYPE_STRING:
1276 // Call memcmp to do most of the work
1278 op1->String.Data, op2->String.Data,
1279 (op1->String.Length < op2->String.Length) ? op1->String.Length : op2->String.Length
1281 // Handle reaching the end of the string
1283 if( op1->String.Length == op2->String.Length )
1285 else if( op1->String.Length < op2->String.Length )
1292 // - Integer Comparisons
1293 case SS_DATATYPE_INTEGER:
1294 if( op1->Integer == op2->Integer )
1296 else if( op1->Integer < op2->Integer )
1301 // - Real Number Comparisons
1302 case SS_DATATYPE_REAL:
1303 cmp = (op1->Real - op2->Real) / op2->Real * 10000; // < 0.1% difference is equality
1306 AST_RuntimeError(Node, "TODO - Comparison of type %i", op1->Type);
1311 // Free intermediate objects
1312 Object_Dereference(op1);
1313 Object_Dereference(op2);
1322 case NODETYPE_EQUALS: ret = SpiderScript_CreateInteger(cmp == 0); break;
1323 case NODETYPE_LESSTHAN: ret = SpiderScript_CreateInteger(cmp < 0); break;
1324 case NODETYPE_GREATERTHAN: ret = SpiderScript_CreateInteger(cmp > 0); break;
1325 case NODETYPE_LESSTHANEQUAL: ret = SpiderScript_CreateInteger(cmp <= 0); break;
1326 case NODETYPE_GREATERTHANEQUAL: ret = SpiderScript_CreateInteger(cmp >= 0); break;
1328 AST_RuntimeError(Node, "Exec,CmpOp unknown op %i", Node->Type);
1334 // General Unary Operations
1335 case NODETYPE_BWNOT: // Bitwise NOT (~)
1336 case NODETYPE_NEGATE: // Negation (-)
1337 op1 = AST_ExecuteNode(Block, Node->UniOp.Value);
1338 if(op1 == ERRPTR) return ERRPTR;
1339 ret = AST_ExecuteNode_UniOp(Block, Node, Node->Type, op1);
1340 Object_Dereference(op1);
1343 // General Binary Operations
1345 case NODETYPE_SUBTRACT:
1346 case NODETYPE_MULTIPLY:
1347 case NODETYPE_DIVIDE:
1348 case NODETYPE_MODULO:
1349 case NODETYPE_BWAND:
1351 case NODETYPE_BWXOR:
1352 case NODETYPE_BITSHIFTLEFT:
1353 case NODETYPE_BITSHIFTRIGHT:
1354 case NODETYPE_BITROTATELEFT:
1356 op1 = AST_ExecuteNode(Block, Node->BinOp.Left);
1357 if(op1 == ERRPTR) return ERRPTR;
1358 op2 = AST_ExecuteNode(Block, Node->BinOp.Right);
1360 Object_Dereference(op1);
1364 ret = AST_ExecuteNode_BinOp(Block, Node, Node->Type, op1, op2);
1366 // Free intermediate objects
1367 Object_Dereference(op1);
1368 Object_Dereference(op2);
1373 // AST_RuntimeError(Node, "BUG - SpiderScript AST_ExecuteNode Unimplemented %i", Node->Type);
1377 // Reset namespace when no longer needed
1378 if( Node->Type != NODETYPE_SCOPE )
1379 Block->CurNamespace = NULL;
1381 #if TRACE_NODE_RETURNS
1382 if(ret && ret != ERRPTR) {
1383 AST_RuntimeError(Node, "Ret type of %p %i is %i", Node, Node->Type, ret->Type);
1386 AST_RuntimeError(Node, "Ret type of %p %i is %p", Node, Node->Type, ret);
1393 tSpiderValue *AST_ExecuteNode_UniOp(tAST_BlockState *Block, tAST_Node *Node, int Operation, tSpiderValue *Value)
1397 if( Value->Type == SS_DATATYPE_OBJECT )
1399 const char *fcnname;
1402 case NODETYPE_NEGATE: fcnname = "-ve"; break;
1403 case NODETYPE_BWNOT: fcnname = "~"; break;
1404 default: fcnname = NULL; break;
1409 ret = Object_ExecuteMethod(Value->Object, fcnname, );
1417 // Integer Operations
1418 case SS_DATATYPE_INTEGER:
1419 if( Value->ReferenceCount == 1 )
1420 Object_Reference(ret = Value);
1422 ret = SpiderScript_CreateInteger(0);
1425 case NODETYPE_NEGATE: ret->Integer = -Value->Integer; break;
1426 case NODETYPE_BWNOT: ret->Integer = ~Value->Integer; break;
1428 AST_RuntimeError(Node, "SpiderScript internal error: Exec,UniOP,Integer unknown op %i", Operation);
1429 Object_Dereference(ret);
1434 // Real number Operations
1435 case SS_DATATYPE_REAL:
1438 case NODETYPE_NEGATE: ret = SpiderScript_CreateInteger( -Value->Real ); break;
1440 AST_RuntimeError(Node, "SpiderScript internal error: Exec,UniOP,Real unknown op %i", Operation);
1447 AST_RuntimeError(NULL, "Invalid operation (%i) on type (%i)", Operation, Value->Type);
1455 tSpiderValue *AST_ExecuteNode_BinOp(tAST_BlockState *Block, tAST_Node *Node, int Operation, tSpiderValue *Left, tSpiderValue *Right)
1457 tSpiderValue *preCastValue = Right;
1461 if( Left && Right && Left->Type != Right->Type )
1465 // - Operator overload functions
1466 if( Left->Type == SS_DATATYPE_OBJECT )
1468 const char *fcnname;
1471 case NODETYPE_ADD: fcnname = "+"; break;
1472 case NODETYPE_SUBTRACT: fcnname = "-"; break;
1473 case NODETYPE_MULTIPLY: fcnname = "*"; break;
1474 case NODETYPE_DIVIDE: fcnname = "/"; break;
1475 case NODETYPE_MODULO: fcnname = "%"; break;
1476 case NODETYPE_BWAND: fcnname = "&"; break;
1477 case NODETYPE_BWOR: fcnname = "|"; break;
1478 case NODETYPE_BWXOR: fcnname = "^"; break;
1479 case NODETYPE_BITSHIFTLEFT: fcnname = "<<"; break;
1480 case NODETYPE_BITSHIFTRIGHT:fcnname = ">>"; break;
1481 case NODETYPE_BITROTATELEFT:fcnname = "<<<"; break;
1482 default: fcnname = NULL; break;
1487 ret = Object_ExecuteMethod(Left->Object, fcnname, Right);
1490 // Fall through and try casting (which will usually fail)
1495 // If implicit casts are allowed, convert Right to Left's type
1496 if(Block->Script->Variant->bImplicitCasts)
1498 Right = SpiderScript_CastValueTo(Left->Type, Right);
1502 // If statically typed, this should never happen, but catch it anyway
1504 AST_RuntimeError(Node, "Implicit cast not allowed (from %i to %i)", Right->Type, Left->Type);
1510 if( Left == NULL || Right == NULL ) {
1511 if(Right && Right != preCastValue) free(Right);
1518 // String Concatenation
1519 case SS_DATATYPE_STRING:
1522 case NODETYPE_ADD: // Concatenate
1523 ret = Object_StringConcat(Left, Right);
1525 // TODO: Support python style 'i = %i' % i ?
1526 // Might do it via a function call
1527 // Implement it via % with an array, but getting past the cast will be fun
1528 // case NODETYPE_MODULUS:
1530 // TODO: Support string repititions
1531 // case NODETYPE_MULTIPLY:
1535 AST_RuntimeError(Node, "SpiderScript internal error: Exec,BinOP,String unknown op %i", Operation);
1540 // Integer Operations
1541 case SS_DATATYPE_INTEGER:
1542 if( Left->ReferenceCount == 1 )
1543 Object_Reference(ret = Left);
1545 ret = SpiderScript_CreateInteger(0);
1548 case NODETYPE_ADD: ret->Integer = Left->Integer + Right->Integer; break;
1549 case NODETYPE_SUBTRACT: ret->Integer = Left->Integer - Right->Integer; break;
1550 case NODETYPE_MULTIPLY: ret->Integer = Left->Integer * Right->Integer; break;
1551 case NODETYPE_DIVIDE: ret->Integer = Left->Integer / Right->Integer; break;
1552 case NODETYPE_MODULO: ret->Integer = Left->Integer % Right->Integer; break;
1553 case NODETYPE_BWAND: ret->Integer = Left->Integer & Right->Integer; break;
1554 case NODETYPE_BWOR: ret->Integer = Left->Integer | Right->Integer; break;
1555 case NODETYPE_BWXOR: ret->Integer = Left->Integer ^ Right->Integer; break;
1556 case NODETYPE_BITSHIFTLEFT: ret->Integer = Left->Integer << Right->Integer; break;
1557 case NODETYPE_BITSHIFTRIGHT:ret->Integer = Left->Integer >> Right->Integer; break;
1558 case NODETYPE_BITROTATELEFT:
1559 ret->Integer = (Left->Integer << Right->Integer) | (Left->Integer >> (64-Right->Integer));
1562 AST_RuntimeError(Node, "SpiderScript internal error: Exec,BinOP,Integer unknown op %i", Operation);
1563 Object_Dereference(ret);
1570 case SS_DATATYPE_REAL:
1571 if( Left->ReferenceCount == 1 )
1572 Object_Reference(ret = Left);
1574 ret = SpiderScript_CreateReal(0);
1577 case NODETYPE_ADD: ret->Real = Left->Real + Right->Real; break;
1578 case NODETYPE_SUBTRACT: ret->Real = Left->Real - Right->Real; break;
1579 case NODETYPE_MULTIPLY: ret->Real = Left->Real * Right->Real; break;
1580 case NODETYPE_DIVIDE: ret->Real = Left->Real / Right->Real; break;
1582 AST_RuntimeError(Node, "SpiderScript internal error: Exec,BinOP,Real unknown op %i", Operation);
1583 Object_Dereference(ret);
1590 AST_RuntimeError(Node, "BUG - Invalid operation (%i) on type (%i)", Operation, Left->Type);
1595 if(Right && Right != preCastValue) free(Right);
1601 * \brief Define a variable
1602 * \param Block Current block state
1603 * \param Type Type of the variable
1604 * \param Name Name of the variable
1605 * \return Boolean Failure
1607 tAST_Variable *Variable_Define(tAST_BlockState *Block, int Type, const char *Name, tSpiderValue *Value)
1609 tAST_Variable *var, *prev = NULL;
1611 for( var = Block->FirstVar; var; prev = var, var = var->Next )
1613 if( strcmp(var->Name, Name) == 0 ) {
1614 AST_RuntimeError(NULL, "Redefinition of variable '%s'", Name);
1619 var = malloc( sizeof(tAST_Variable) + strlen(Name) + 1 );
1622 var->Object = Value;
1623 if(Value) Object_Reference(Value);
1624 strcpy(var->Name, Name);
1626 if(prev) prev->Next = var;
1627 else Block->FirstVar = var;
1629 //printf("Defined variable %s (%i)\n", Name, Type);
1634 tAST_Variable *Variable_Lookup(tAST_BlockState *Block, tAST_Node *VarNode, int CreateType)
1636 tAST_Variable *var = NULL;
1639 if( VarNode->BlockState == Block && VarNode->BlockIdent == Block->Ident ) {
1640 var = VarNode->ValueCache;
1641 #if TRACE_VAR_LOOKUPS
1642 AST_RuntimeMessage(VarNode, "debug", "Fast var fetch on '%s' %p (%p:%i)",
1643 VarNode->Variable.Name, var,
1644 VarNode->BlockState, VarNode->BlockIdent
1650 tAST_BlockState *bs;
1651 for( bs = Block; bs; bs = bs->Parent )
1653 for( var = bs->FirstVar; var; var = var->Next )
1655 if( strcmp(var->Name, VarNode->Variable.Name) == 0 )
1663 if( Block->Script->Variant->bDyamicTyped && CreateType != SS_DATATYPE_UNDEF ) {
1665 var = Variable_Define(Block, CreateType, VarNode->Variable.Name, NULL);
1669 AST_RuntimeError(VarNode, "Variable '%s' is undefined", VarNode->Variable.Name);
1674 #if TRACE_VAR_LOOKUPS
1675 AST_RuntimeMessage(VarNode, "debug", "Saved variable lookup of '%s' %p (%p:%i)",
1676 VarNode->Variable.Name, var,
1677 Block, Block->Ident);
1680 VarNode->ValueCache = var;
1681 VarNode->BlockState = Block;
1682 VarNode->BlockIdent = Block->Ident;
1689 * \brief Set the value of a variable
1690 * \return Boolean Failure
1692 int Variable_SetValue(tAST_BlockState *Block, tAST_Node *VarNode, tSpiderValue *Value)
1696 var = Variable_Lookup(Block, VarNode, (Value ? Value->Type : SS_DATATYPE_UNDEF));
1698 if( !var ) return -1;
1700 if( !Block->Script->Variant->bDyamicTyped && (Value && var->Type != Value->Type) )
1702 AST_RuntimeError(VarNode, "Type mismatch assigning to '%s'",
1703 VarNode->Variable.Name);
1707 // printf("Assign %p to '%s'\n", Value, var->Name);
1708 Object_Reference(Value);
1709 Object_Dereference(var->Object);
1710 var->Object = Value;
1715 * \brief Get the value of a variable
1717 tSpiderValue *Variable_GetValue(tAST_BlockState *Block, tAST_Node *VarNode)
1719 tAST_Variable *var = Variable_Lookup(Block, VarNode, 0);
1721 if( !var ) return ERRPTR;
1723 Object_Reference(var->Object);
1728 * \brief Destorys a variable
1730 void Variable_Destroy(tAST_Variable *Variable)
1732 // printf("Variable_Destroy: (%p'%s')\n", Variable, Variable->Name);
1733 Object_Dereference(Variable->Object);
1737 void AST_RuntimeMessage(tAST_Node *Node, const char *Type, const char *Format, ...)
1742 fprintf(stderr, "%s:%i: ", Node->File, Node->Line);
1744 fprintf(stderr, "%s: ", Type);
1745 va_start(args, Format);
1746 vfprintf(stderr, Format, args);
1748 fprintf(stderr, "\n");
1750 void AST_RuntimeError(tAST_Node *Node, const char *Format, ...)
1755 fprintf(stderr, "%s:%i: ", Node->File, Node->Line);
1757 fprintf(stderr, "error: ");
1758 va_start(args, Format);
1759 vfprintf(stderr, Format, args);
1761 fprintf(stderr, "\n");