gmscTypeInferenceClass

Owned by Mark Juras
Last updated: Jul 25, 2018Version comment

The TypeInference Service Class

The service class TypeInference contains methods related to the type inference operations made during migrations. There are two types of operations performed in this context -- first, the actual changing of a components binary types or context flags and second, the insertion of a conversion operator into the code to compenstate for a type or status mismatch. Though currently incomplete the eventual goal of this class is not only to reform the indicated operations but also to record those operations for later analysis.

The field TypeInference_HostFile

Prototype


 int TypeInference_HostFile = 0
The TypeInference_HostFile field specifies the offset of current file information.

The method TypeInference_ArrayCast

Prototype


 int TypeInference_ArrayCast(int iCall,int subRoot,int icode,int castType,int rank)
The TypeInference_ArrayCast method inserts a simple object case within a cast to a one or two dimensional array of a certain type expanding the code by the number of bytes needed. In addition, if the select flag TraceChanges is on then information about the insertion is recorded for later review. This method actually inserts two different semantic operations into the code -- a cast that changes the representation of a primitive value and a box that asserts that a certain reference has a specified type. Its parameters are as follows:

Parameter Description
iCall specifies a unique number relative to this method defining which at which particular point in the migration process it was called. Though these are magic numbers, a particular call n can be located by searching for "TypeInference_ArrayCast(n," in the code.
subRoot specifies the root offset of the component whose code is being modified.
icode specifies the offset in the code block at which operation is to be inserted. In some cases the calling method has already allocated the space for the operation. In this case a negative icode value is passed.
castType specifies type of the array cast.
rank specifies the rank of the array cast.

The method returns the number of bytes the the code block was expanded by.

The method TypeInference_InsertCast

Prototype


 int TypeInference_InsertCast(int iCall,int subRoot,int icode,int typeOper,int castType,int castOper);
The TypeInference_InsertCast method inserts a type specification operation followed by a CNV operation into the current code block by expanding the code by the number of bytes needed. In addition, if the select flag TraceChanges is on then information about the insertion is recorded for later review. This method actually inserts two different semantic operations into the code -- a cast that changes the representation of a primitive value and a box that asserts that a certain reference has a specified type. Its parameters are as follows:

Parameter Description
iCall specifies a unique number relative to this method defining which at which particular point in the migration process it was called. Though these are magic numbers, a particular call n can be located by searching for "TypeInference_InsertCast(n," in the code.
subRoot specifies the root offset of the component whose code is being modified.
icode specifies the offset in the code block at which operation is to be inserted. In some cases the calling method has already allocated the space for the operation. In this case a negative icode value is passed.
typeOper specifies the opcode to be used to cast the type.
castType specifies subcode value which is the output type of the operation.
castOper specifies the CNV subcode to be used to form the final operation.

The method returns the number of bytes the the code block was expanded by.

The method TypeInference_InsertConversion

Prototype


 int TypeInference_InsertConversion(int iCall,int subRoot,int icode, int conversion)
The TypeInference_InsertConversion method inserts an CNV operation into the current code block by expanding the code by the number of bytes needed. In addition, if the select flag TraceChanges is on then information about the insertion is recorded for later review. This method has the fopllowing parameters:

Parameter Description
iCall specifies a unique number relative to this method defining which at which particular point in the migration process it was called. Though these are magic numbers, a particular call n can be located by searching for "TypeInference_InsertConversion(n,"
subRoot specifies the root offset of the component whose code is being modified.
icode specifies the offset in the code block at which operation is to be inserted. In some cases the calling method has already allocated the space for the operation. In this case a negative icode value is passed.
conversion specifies the CNV subcode to be used to form the final operation.

The method returns the number of bytes the the code block was expanded by.


The method TypeInference_ObjectOnly

Prototype


 void TypeInference_ObjectOnly(int iCall,int varBase,int type)
The TypeInference_ObjectOnly method marks a component to be 'ObjectOnly' -- i.e. specifies that the type of the component should not be strengthened. In addition, if the select flag TraceChanges is on then information about the change is recorded for later review. Its parameters are as follows:

Parameter Description
iCall specifies a unique number relative to this method defining which at which particular point in the migration process it was called. Though these are magic numbers, a particular call n can be located by searching for "TypeInference_ObjectOnly(n,".
varVase specifies the root offset of the component that is to be made ObjectOnly.
type specifies the low level type to be assigned to the component. THis is normally TYP_VARIANT or TYP_OBJECT.


The method TypeInference_QuantityContext

Prototype


 void TypeInference_QuantityContext(int iCall,int varBase,int newFlags,int subRoot,int iNew)
The TypeInference_QuantityContext method changes the context flags of a component. In addition, if the select flag TraceChanges is on then information about the change is recorded for later review. Its parameters are as follows:

Parameter Description
iCall specifies a unique number relative to this method defining which at which particular point in the migration process it was called. Though these are magic numbers, a particular call n can be located by searching for "TypeInference_QuantityContext(n,".
varVase specifies the root offset of the component whose context flags are being changed.
newFlags specifies the new context flags.
subRoot specifies the root offset of the component whose code is causing the context change.
iNew specifies the offset of the last NEW operation found before the decision to do the change, if greater than zero. It is used to get the line number of the statement that caused the change.


The method TypeInference_QuantityType

Prototype


 void TypeInference_QuantityType(int iCall,int varBase,int newType,int referType,int subRoot,int iNew)
The TypeInference_QuantityType method changes the binary type of a component and marks it as having an inferred type. In addition, if the select flag TraceChanges is on then information about the type change is recorded for later review. Its parameters are as follows:

Parameter Description
iCall specifies a unique number relative to this method defining which at which particular point in the migration process it was called. Though these are magic numbers, a particular call n can be located by searching for "TypeInference_QuantityType(n,".
varVase specifies the root offset of the component whose binany type is being changed.
newType specifies the new binary type. A negative type indicates that any FixedType attribute associated with the quantity should be ignored.
referType specifies the reference of than new binary type or zerot if there is no associated reference.
subRoot specifies the root offset of the component whose code is causing the type change.
iNew specifies the offset of the last NEW operation found before the decision to do the type change, if greater than zero.


Table of Contents