Stubbed function range specification

Was Getting full range for a Function(returns a Float data type range ) .But, wanted to set min. & max. value for that function.so, that it would not cross the given range. 1.I commented it's body so that polyspace would create a stubbed function for it.Polyspace cretaed a stubbed function for it but, it considered return datatype as SINT = short int.Why polyspace considers SINT for datatype by default? 2. Now, I uncommented that commented part & typed name of the functions to be stubbed under " Functions to Stub " option in polyspace.polyspace cretaed stubbed function for it .But, even after running polyspace giving min. & max value for the function,it is considering it's full range(float data type range) only not the one i mentioned min. & max. range. How to make polyspace to consider only that min. & max. value?

and one more is, Is it possible to give min. & max. value in DRS for User defined function?

Thanks in adavnce

[Ma Ka]

One thing you can do: define the stub yourself (e.g., in the .c-File with the activations). This way, you have full control of the return type & range.