monkey2/modules/monkey/types.monkey2

Namespace monkey.types

Extern

#rem monkeydoc Implemented by numeric types.
#end
Interface INumeric
End

#rem monkeydoc Implemented by integral numeric types.
#end
Interface IIntegral Extends INumeric
End

#rem monkeydoc Implemented by real numeric types.
#end
Interface IReal Extends INumeric
End

#rem monkeydoc Primitive bool type.
#end
Struct @Bool ="bbBool"
End

#rem monkeydoc Primitive 8 bit byte type.
#end
Struct @Byte Implements IIntegral ="bbByte"
End

#rem monkeydoc Primitive 8 bit unsigned byte type.
#end
Struct @UByte Implements IIntegral ="bbUByte"
End

#rem monkeydoc Primitive 16 bit short type.
#end
Struct @Short Implements IIntegral ="bbShort"
End

#rem monkeydoc Primitive 16 bit unsigned short type.
#end
Struct @UShort Implements IIntegral ="bbUShort"
End

#rem monkeydoc Primitive 32 bit int type.
#end
Struct @Int Implements IIntegral ="bbInt"
End

#rem monkeydoc Primitive 32 bit unsigned int type.
#end
Struct @UInt Implements IIntegral ="bbUInt"
End

#rem monkeydoc Primitive 64 bit long type.
#end
Struct @Long Implements IIntegral ="bbLong"
End

#rem monkeydoc Primitive 64 bit unsigned long type.
#end
Struct @ULong Implements IIntegral ="bbULong"
End

#rem monkeydoc Primitive 32 bit float type.
#end
Struct @Float Implements IReal ="bbFloat"
End

#rem monkeydoc Primitive 64 bit double type.
#end
Struct @Double Implements IReal ="bbDouble"
End

#rem monkeydoc Primitive string type
#end
Struct @String ="bbString"

	#rem monkeydoc Gets the length of the string.
	
	@return The number of characters in the string.
	
	#end
	Property Length:Int()="length"
	
	
	#rem monkeydoc Gets the utf8 length of the string.
	
	@return The size of the buffer required to store a utf8 representation of the string.
	
	#end
	Property Utf8Length:Int()="utf8Length"

	
	#rem monkeydoc Gets the CString length of the string.
	
	@return The size of the buffer required to store a cstring representation of the string.
	
	#end
	Property CStringLength:Int()="utf8Length"

	
	#rem monkeydoc Finds a substring in the string.
	
	If `substr` is not found, -1 is returned.
	
	@param substr The substring to search for.
	
	@param from The start index for the search.
	
	@return The index of the first occurance of `substr` in the string, or -1 if `substr` was not found.
	
	#end
	Method Find:Int( substr:String,from:Int=0 )="find"
	
	#rem monkeydoc Finds the last occurance of a substring in the string.
	
	If `substr` is not found, -1 is returned.
	
	@param substr The substring to search for.
	
	@param from The start index for the search.
	
	@return The index of the last occurance of `substr` in the string, or -1 if `substr` was not found.
	
	#end
	Method FindLast:Int( substr:String,from:Int=0 )="findLast"
	
	#rem monkeydoc Checks if the string contains a substring.
	
	@param substr The substring to check for.
	
	@return True if the string contains `substr`.
	
	#end
	Method Contains:Bool( substr:String )="contains"
	
	#rem monkeydoc Check if the string starts with another string.
	
	@param substr The string to check for.
	
	@return True if the string starts with `substr`.
	
	#end
	Method StartsWith:Bool( str:String )="startsWith"
	
	#rem monkeydoc Check if the string ends with another string.
	
	@param substr The string to check for.
	
	@return True if the string ends with `substr`.
	
	#end
	Method EndsWith:Bool( str:String )="endsWith"
	
	#rem monkeydoc Extracts a substring from the string.
	
	Returns a string consisting of all characters from `from` until (but not including) `tail`, or until the end of the string if `tail` 
	is not specified.
	
	If either `from` or `tail` is negative, it represents an offset from the end of the string.
	
	@param `from` The starting index.
	
	@param `tail` The ending index.
	
	@return A substring.
	
	#end
	Method Slice:String( from:Int )="slice"
	
	Method Slice:String( from:Int,tail:Int )="slice"
	
	#rem monkeydoc Gets a substring from the start of the string.
	
	Returns a string consisting of the first `count` characters of this string.
	
	If `count` is less than or equal to 0, an empty string is returned.
	
	If `count` is greater than the length of this string, this string is returned.
	
	@param count The number of characters to return.

	@return A string consisting of the first `count` characters of this string.
	
	#end
	Method Left:String( count:Int )="left"
	
	#rem monkeydoc Gets a substring from the end of the string.

	Returns a string consisting of the last `count` characters of this string.

	If `count` is less than or equal to 0, an empty string is returned.
	
	If `count` is greater than the length of this string, this string is returned.
	
	@param count The number of characters to return.

	@return A string consisting of the last `count` characters of this string.
	
	#end
	Method Right:String( count:Int )="right"
	
	#rem monkeydoc Gets a substring from the middle of the string.
	
	Returns a string consisting of `count` characters starting from index `from`.
	
	If `count` is less than or equal to 0, an empty string is returned.
	
	If `from`+`count` is greater than the length of the string, the returned string is truncated.

	@param from The index of the first character to return.

	@param count The number of characters to return.

	@return A string consisting of `count` characters starting from index `from`.
	
	#end
	Method Mid:String( from:Int,count:Int )="mid"
	
	#rem monkeydoc Convert the string to uppercase.
	
	Return the string converted to uppercase.
	
	@return The string converted to uppercase.
	
	#end
	Method ToUpper:String()="toUpper"
	
	#rem monkeydoc Convert the string to lowercase.
	
	Returns the string converted to lowercase.
	
	@return The string converted to lowercase.
	
	#end
	Method ToLower:String()="toLower"

	#rem monkeydoc Capitalizes the string.
	
	Returns the string with the first character converted to uppercase and the remaining characters unmodified.

	@return The string with the first character converted to uppercase and the remaining characters unmodified.
	
	#end	
	Method Capitalize:String()="capitalize"
	
	#rem monkeydoc Trim whitespace from a string.
	
	Returns the string with leading and trailing whitespace removed.
	
	@return The string with leading and trailing whitespace removed.
	
	#end
	Method Trim:String()="trim"
	
	#rem monkeydoc Trim whitespace from the start a string.
	
	Returns the string with any leading whitespace removed.
	
	@return The string with any leading whitespace removed.
	
	#end
	Method TrimStart:String()="trimStart"
	
	#rem monkeydoc Trim whitespace from the end of a string.
	
	Returns the string with any trailing whitespace removed.

	@return The string with any trailing whitespace removed.
	
	#end
	Method TrimEnd:String()="trimEnd"
	
	#rem monkeydoc Duplicates a string.
	
	Returns the string duplicated `count` times.
	
	@return The string duplicated `count` times.
	
	#end
	Method Dup:String( count:Int )="dup"
	
	#rem monkeydoc Replace all occurances of a substring with another string.

	Returns the string with all occurances of `find` replaced with `replace`.
	
	@param find The string to search for.
	
	@param replace The string to replace with.
	
	@return The string with all occurances of `find` replaced with `replace`.
	
	#end
	Method Replace:String( find:String,replace:String )="replace"
	
	#rem monkeydoc Splits this string.
	
	Splits this string into an array of strings.
	
	@param separator Separator to use for splitting.
	
	@return An array of strings.
	
	#end
	Method Split:String[]( separator:String )="split"
	
	#rem monkeydoc Joins an array of strings.
	
	Joins an array of strings, inserting this string between elements.
	
	@param bits The strings to join.

	@return The joined string.	
	
	#end
	Method Join:String( bits:String[] )="join"
	

	#rem monkeydoc Converts the string to a CString.
	
	If there is enough room in the memory buffer, a null terminating '0' is appended to the CString.
	
	@param buf Memory buffer to write the CString to.
	
	@param bufSize Size of the memory buffer in bytes.
	
	#end
	Method ToCString( buf:Void Ptr,bufSize:Int )="toCString"


	#rem monkeydoc Converts the string to a WString.
	
	If there is enough room in the memory buffer, a null terminating '0' is appended to the WString.
	
	@param buf Memory buffer to write the WString to.
	
	@param bufSize Size of the memory buffer in bytes.
	
	#end
	Method ToWString( buf:Void Ptr,bufSize:Int )="toWString"
	

	#rem monkeydoc Creates a string containing a single character.
	
	@param char The character.
	
	#end
	Function FromChar:String( char:Int )="bbString::fromChar"
	

	#rem monkeydoc Creates a string containing characters in an array.
	
	@param chars The array.
	
	#end
	Function FromChars:String( chars:Int[] )="bbString::fromChars"
	
	
	#rem monkeydoc Creates a string from a CString.
	
	If `bufSize` is specified, the CString may contain null characters which will be included in the string.
	
	If `bufSize` is not specified, the CString must be correctly null terminated or Bad Things Will Happen.
	
	@param buf The memory buffer containing the CString.
	
	@param bufSize The size of the memory buffer in bytes.
	
	#end	
	Function FromCString:String( buf:Void Ptr,bufSize:Int )="bbString::fromCString"

	Function FromCString:String( buf:Void Ptr )="bbString::fromCString"

	
	#rem monkeydoc Creates a string from a null terminated WString.
	
	If `bufSize` is specified, the WString may contain null characters which will be included in the string.
	
	If `bufSize` is not specified, the WString must be correctly null terminated or Bad Things Will Happen.
	
	@param buf The memory buffer containing the WString.
	
	@param bufSize The size of the memory buffer in bytes.
	
	#end	
	Function FromWString:String( buf:Void Ptr,bufSize:Int )="bbString::fromWString"
	
	Function FromWString:String( buf:Void Ptr )="bbString::fromWString"
	
End

#rem monkeydoc String wrapper type for native 'char *' strings.

This type should only be used when declaring parameters for extern functions.

#end
Struct @CString="bbCString"
End

#rem monkeydoc Variant type.

The 'Variant' type is a primitive type that can be used to 'box' values of any type.

An uninitialized variant will contain a 'null' value (of type Void) until you assign something to it.

A variant is 'true' if it contains any value with a non-void type (including a bool false value!) and 'false' if it is uninitialized and has no (void) type.

Any type of value can be implicitly converted to a variant.

To retrieve the value contained in a variant, you must explicitly cast the variant to the desired type. Note that the cast must specify the exact type of the value already contained in the variant, or a runtime error will occur.

The one exception to this is if the variant contains a class object, in which case you can cast the variant to any valid base class of the object.

#end
Struct @Variant="bbVariant"

	#rem monkeydoc Static Type of the variant value.
	#end
	Property Type:TypeInfo()="getType"
	
	#rem monkeydoc Dynamic type of the variant value.
	#end
	Property DynamicType:TypeInfo()="getDynamicType"
		
	#rem monkeydoc Gets the integer enum value of an enum variant.
	
	The type of the variant must be an enum type, or a runtime error will occur.
	
	#end
	Property EnumValue:Int()="enumValue"
		
	#rem monkeydoc Gets the length of an array.
	
	The type of the variant must be an array type, or a runtime error will occur.
	
	#end
	Method GetArrayLength:Int()="getArrayLength"
		
	#rem monkeydoc Gets an element from an array.
	
	The type of the variant must be an array type, or a runtime error will occur.
	
	#end
	Method GetArrayElement:Variant( index:Int )="getArrayElement"
		
	#rem monkeydoc Sets an element of an array.
	
	The type of the variant must be an array type, or a runtime error will occur.
	
	#end
	Method SetArrayElement( index:Int,value:Variant )="setArrayElement"
		
	
End

#rem monkeydoc Primtive array type.

This is a 'pseduo type' extended by all array types.

#end
Struct @Array<T>

	#rem monkeydoc The raw memory used by the array.
	
	#end
	Property Data:T Ptr()="data"
	
	#rem monkeydoc The length of the array.
	
	In the case of multi-dimensional arrays, the length of the array is the product of the sizes of all dimensions.
	
	#end
	Property Length:Int()="length"
	
	#rem monkeydoc Extracts a subarray from the array.
	
	Returns an array consisting of all elements from `from` until (but not including) `tail`, or until the end of the string if `tail` is not specified.
	
	If either `from` or `tail` is negative, it represents an offset from the end of the array.
	
	@param `from` The starting index.
	
	@param `tail` The ending index.
	
	@return A subarray.
	
	#end
	Method Slice:T[]( from:Int )="slice"
	
	Method Slice:T[]( from:Int,term:Int )="slice" 
	
	
	#rem monkeydoc Resizes an array.
	
	Returns a copy of the array resized to length `newLength`.
	
	Note that this method does not modify this array in any way.
	
	@param newLength The length of the new array.
	
	@return A new array.
	
	#end
	Method Resize:T[]( newLength:Int )="resize"
	
	#rem monkeydoc Gets the size of a single array dimension.
	
	Returns The size of the array in the given dimension.
	
	@param dimensions The dimension.
	
	@return The size of the array in the given dimension.
	
	#end
	Method GetSize:Int( dimension:Int )="size"
	
	#rem monkeydoc Copies a range of elements from this array to another.
	
	In debug mode, a runtime error will occur if the copy is outside the range of the array.
	
	@param dstArray destination of the copy.
	
	@param srcOffset First element to copy from this array.
	
	@param dstOffset First element to copy to in destination array.
	
	@param count Number of elements to copy.
	
	#end
	Method CopyTo( dstArray:T[],srcOffset:Int,dstOffset:Int,count:Int )="copyTo"

End

#rem monkeydoc Base class of all objects.
#end
Class @Object="bbObject"

	#rem monkeydoc The dynamic type of the object.
	#end
	Property DynamicType:TypeInfo()="typeof"

	#rem monkeydoc @deprecated use [[DynamicType]].
	#end
	Property InstanceType:TypeInfo()="typeof"
	
	'#rem monkeydoc Finalize method.
	'#end
	'Method Finalize() Virtual="gcFinalize"

	#rem monkeydoc @hidden
	#end
	Method typeName:Void Ptr()="typeName"
		
End

#rem monkeydoc Base class of all throwable objects.

#end
Class @Throwable="bbThrowable"

End

'***** Reflecftion types *****

#rem monkeydoc Runtime type information.
#End
Class @TypeInfo Extends Void="bbTypeInfo"

	#rem monkeydoc Type name.
	#end
	Property Name:String()="getName"
	
	#rem monkeydoc Type kind.
	
	Will be one of: Unknown, Primitive, Pointer, Array, Function, Class, Interface, Struct, Namespace.
	
	#end
	Property Kind:String()="getKind"

	#rem monkeydoc A variant containing a null value of this type.
	#end		
	Property NullValue:Variant()="nullValue"
	
	#rem monkeydoc Pointer pointee type.
	
	If the type is a pointer type, returns the type of what it's pointing at.
	
	If the type is not a pointer type a runtime exception occurs.
	
	#end
	Property PointeeType:TypeInfo()="pointeeType"

	#rem monkeydoc Array element type.
	
	If the type is an array type, returns the array element type.
	
	If the type is not an array type a runtime exception occurs.
	
	#end
	Property ElementType:TypeInfo()="elementType"
	
	#rem monkeydoc Array rank.
	
	If the type is an array type, returns rank of the array.
	
	If the type is not an array type a runtime exception occurs.
	
	#end
	Property ArrayRank:Int()="arrayRank"
	
	#rem monkeydoc Function return type.
	
	If the type is a function type, returns the return type of the functions.
	
	If the type is not a function type a runtime exception occurs.
	
	#end
	Property ReturnType:TypeInfo()="returnType"
	
	#rem monkeydoc Function parameter types.
	
	If the type is a function type, returns the types of the function parameters.
	
	If the type is not a function type a runtime exception occurs.
	
	#end
	Property ParamTypes:TypeInfo[]()="paramTypes"
	
	#rem monkeydoc Class super type.
	
	If the type is a class type, returns the type of the super class.
	
	If the type is not a class type a runtime exception occurs.
	
	#end
	Property SuperType:TypeInfo()="superType"
	
	#rem monkeydoc Implemented interfaces.
	
	The interfaces implemented by the class or interface type.

	If the type is not a class or interface type a runtime exception occurs.
	
	#end
	Property InterfaceTypes:TypeInfo[]()="interfaceTypes"
	
	#rem monkeydoc Gets string representation of type.
	#end
	Method To:String()="toString"
	
	#rem monkeydoc class or namespace member decls.
	
	If the type is a class or namespace type, returns the members of the type.
	
	If the type is not a class or namespace type a runtime exception occurs.
	
	#end
	Method GetDecls:DeclInfo[]()="getDecls"
	
	#rem monkeydoc Gets the unique member decl with the given name.
	
	If there are multiple members with the same name, null is returned.
	
	#end
	Method GetDecl:DeclInfo( name:String )="getDecl"
	
	#rem monkeydoc Gets the member decl with the given name and type.
	#end
	Method GetDecl:DeclInfo( name:String,type:TypeInfo )="getDecl"
	
	#rem monkeydoc Gets the member decls with the given name.
	#end
	Method GetDecls:DeclInfo[]( name:String )="getDecls"
	
	#rem monkeydoc Checks whether a class extends a class.
	#end
	Method ExtendsType:Bool( type:TypeInfo )="extendsType"
		
	#rem monkeydoc Creates an enum variant from an arbitrary int value.

	This type must represent an enum type.
	
	#end
	Method MakeEnum:Variant( enumValue:Int )="makeEnum"
		
	
	#rem monkeydoc Creates a new array of this type.
	#end
	Method NewArray:Variant( length:Int )="newArray"


	#rem monkeydoc Gets a user defined type by name.
	
	Only user defined types are returned by this function.
	
	#end
	Function GetType:TypeInfo( name:String )="bbTypeInfo::getType"
	
	#rem monkeydoc Gets all user defined types.
	
	Only user defined types are returned by this function.
	
	#end
	Function GetTypes:TypeInfo[]()="bbTypeInfo::getTypes"
End

#rem monkeydoc Runtime declaration information.
#end
Class DeclInfo Extends Void="bbDeclInfo"

	#rem monkeydoc Declaration name.
	#end
	Property Name:String()="getName"
	
	#rem monkeydoc Declaration kind.
	
	This will be one of: Const, Field, Global, Property, Method, Function, Constructor.
	
	#end
	Property Kind:String()="getKind"
	
	#rem monkeydoc Declaration type.
	#end
	Property Type:TypeInfo()="getType"

	#rem monkeydoc True if Get can be used with this declaration.
	#end	
	Property Gettable:Bool()="gettable"

	#rem monkeydoc True if Set can be used with this declaration.
	#end	
	Property Settable:Bool()="settable"

	#rem monkeydoc True if Invoke can be used with this declaration.
	#end	
	Property Invokable:Bool()="invokable"
	
	#rem monkeydoc Gets string representation of decl.
	#end
	Method To:String()="toString"

	#rem monkeydoc Gets meta data keys.
	#end	
	Method GetMetaKeys:String[]()="getMetaKeys"
	
	#rem monkeydoc Gets meta data value for a key.
	#end
	Method GetMetaValue:String( key:String )="getMetaValue"
	
	#rem monkeydoc Gets field, property or global value.
	
	If the declaration kind is 'Global', the `instance` parameter is ignored.
	
	A runtime error will occur if the declaration kind is not 'Field' or 'Global'.

	#end
	Method Get:Variant( instance:Variant )="get"
	
	#rem monkeydoc Sets field, property or global value.

	If the declaration kind is 'Global', the `instance` parameter is ignored.
	
	A runtime error will occur if the declaration kind is not 'Field' or 'Global'.
	
	#end
	Method Set( instance:Variant,value:Variant )="set"
	
	#rem monkeydoc Invokes method or function.

	If the declaration kind is 'Function', the `instance` parameter is ignored.

	A runtime error will occur if the declaration kind is not 'Method' or 'Function'.
	
	#end
	Method Invoke:Variant( instance:Variant,params:Variant[] )="invoke"
End