deep

a Cross Development Platform for Java

User Tools

Site Tools

You are here: start » dev » crosscompiler » type_descriptor
dev:crosscompiler:type_descriptor

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision		Previous revision
dev:crosscompiler:type_descriptor [2014/02/08 12:01] – external edit 127.0.0.1dev:crosscompiler:type_descriptor [2019/07/11 19:12] (current) – [Structure] ursgraf
Line 1: Line 1:
 ====== Type Descriptor ====== ====== Type Descriptor ======
-Each class needs a type descriptor in the constant block of this class (see [[Linker32]]). This type descriptor will be needed to find instance methods or to do type checking. All arrays - even arrays with elements being of an interface type - need a type descriptor. Interfaces themselves need no type descriptor because there cannot be instances of interfaces. \\+Each class needs a type descriptor in the constant block of this class (see [[dev:crosscompiler:backend_ppc:linker32|Linker32]]). This type descriptor will be needed to find instance methods or to do type checking. All arrays - even arrays with elements being of an interface type - need a type descriptor. Interfaces themselves need no type descriptor because there cannot be instances of interfaces. \\
 However, there is one exeption to this. If an object, which is of type "array of interface type", is checked with instructions like //instanceof// or //checkcast//, then the type descriptor of the array must have an entry //componentTD// (see below). And this entry must be a type descriptor of an interface. For such cases even an interface needs a type descriptor. This type descriptor can be very small and most entries may be ommitted. When parsing the classes, affected interfaces are inserted in a special list. However, there is one exeption to this. If an object, which is of type "array of interface type", is checked with instructions like //instanceof// or //checkcast//, then the type descriptor of the array must have an entry //componentTD// (see below). And this entry must be a type descriptor of an interface. For such cases even an interface needs a type descriptor. This type descriptor can be very small and most entries may be ommitted. When parsing the classes, affected interfaces are inserted in a special list.
  
Line 6: Line 6:
 [{{ .:typedescriptoroverview.png?700&direct | //Type descriptor for arrays and classes//}}] [{{ .:typedescriptoroverview.png?700&direct | //Type descriptor for arrays and classes//}}]
  
-The fields //size// indicates the size (in Bytes) of an object of this type (without tag, see [[.:objects|Objects]]). For arrays the entry is //arrayComponentSize//, which is the size (in Bytes) of one array element. The name of the class could be used for reflection. \\+The fields //size// indicates the size (in bytes) of an object of this type (without tag, see [[.:objects|Objects]]). For arrays the entry is //arrayComponentSize//, which is the size (in bytes) of one array element. The name of the class could be used for reflection. \\
  
-The entry //extensionLevel// gives the number of superclasses. The method table is discussed below. The type table and interface type table is used for [[.:type_checking|Type Checking]]. The interface method table serves to find the right interface method, see [[software:deep:dev:crosscompiler:interfaces|Interfaces]]. \\ +The entry //extensionLevel// gives the number of superclasses. The method table is discussed below. The type table (//baseClassTD[0]// up to //baseClassTD[extLevel]//) and interface type table (//interface ChkId1//, ...) is used for [[.:type_checking|Type Checking]]. The interface method table together with the //interfaceDelegateMethod// and the entries with //interface0Id, interface0MethodOffset// serves to find the right interface method, see [[.:interfaces|Interfaces]]. \\ 
-The garbage collector has to know which instance fields are references. For this there is a field //instPtrOffset//. This field has a fixed offset within the type descriptor. From there you can reach a list with all reference fields (//nofInstPtr//, //instPtrOffset[0]//, ... ). \\ \\+The garbage collector has to know which instance fields are references. For this there is a field //instPtrOffset//. This field has a fixed offset within the type descriptor. From there you can reach a list with all reference fields (//nofInstPtr//, //instPtrOffset[0]//, ... ). \\ 
  
-Type descriptors for arrays are solely used for type checking. They contain the references to all type descritors of the lower dimensional arrays of the same base type. If necessary, these lower dimensional types must be created by the class file reader. The field //arrayDimension// gives the number of dimension of this array. The bit //P// (primitive) indicates whether this is an array of base types, such as //byte//, //short//, ... (P = 1) or if its an array of regular classes (P = 0). For arrays of base types the value of //componentTD// is set to 0. The P-bit is also set in the higher dimensional type descriptors, e.g. in %%[S, [[S and [[[S%%. \\ \\+Type descriptors for arrays are solely used for type checking. They contain the references to all type descritors of the lower dimensional arrays of the same base type. If necessary, these lower dimensional types must be created by the class file reader. The field //arrayDimension// gives the number of dimension of this array. The bit //P// (primitive) indicates whether this is an array of base types, such as //byte//, //short//, ... (P = 1) or if its an array of regular classes (P = 0). For arrays of base types the value of //componentTD// is set to 0. The P-bit is also set in the higher dimensional type descriptors, e.g. in %%[S, [[S and [[[S%%. \\ 
  
 The reduced type descriptor for interfaces comprises the fields from //size// to //intfTypeChkOffset// and the interface table. The type table with the base classes can be omitted. Important: the table with the interface id's must include the own id! The reduced type descriptor for interfaces comprises the fields from //size// to //intfTypeChkOffset// and the interface table. The type table with the base classes can be omitted. Important: the table with the interface id's must include the own id!
Line 30: Line 30:
 [{{ .:typedescexamplea.png?450&direct |//Example A of type descriptor//}}] [{{ .:typedescexamplea.png?450&direct |//Example A of type descriptor//}}]
 Please note: Please note:
-  * Class //CXexA// implements just one interface with a single method. At the place of the interface delegation method the address of this method can be put directly, see [[software:deep:dev:crosscompiler:interfaces|Interfaces]]. +  * Class //CXexA// implements just one interface with a single method. At the place of the interface delegation method the address of this method can be put directly, see [[.:interfaces|Interfaces]]. 
   * The class file reader numbers all interfaces with methods, which are called by the instruction //invokeinterface// (id). Interfaces without such methods have id = -1.\\   * The class file reader numbers all interfaces with methods, which are called by the instruction //invokeinterface// (id). Interfaces without such methods have id = -1.\\
   * For efficient searching, the interfaces with id != -1 are listed for each class sorted with //id//. The last interface in the list must be id = 0. This ensures a simple termination of the search.   * For efficient searching, the interfaces with id != -1 are listed for each class sorted with //id//. The last interface in the list must be id = 0. This ensures a simple termination of the search.
dev/crosscompiler/type_descriptor.1391857302.txt.gz · Last modified: 2016/02/25 13:33 (external edit)

Page Tools

Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
CC Attribution-Share Alike 4.0 International Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki