Unchecked_Conversion in ada

Posted by maddy on Stack Overflow See other posts from Stack Overflow or by maddy
Published on 2010-04-20T06:35:55Z Indexed on 2010/04/20 11:43 UTC
Read the original article Hit count: 358

Filed under:

ada

|

unchecked-conversion

Hi all, Can anyone please make me clear about the use of unchecked conversion in ada language.I had tried the pdf and net but all doesnt give me a clear picture to me.

  Now i have a small piece of code shown below:

    subtype Element4_Range is integer range 1..4;
    subtype Element3_Range is integer range 1..3;
    subtype Myarr_Range is integer range 1..10;
    type Myarr3_Type is array (Myarr_Range) of Element3_Range;
    type Myarr4_Type is array (Myarr_Range) of Element4_Range;
    Myarr3 : Myarr3_Type;
    Myarr4 : Myarr4_Type := (1,2,3,3,1,3,2,1,2,1);
    Count_1 : Integer := 0;
    Count_2 : Integer := 0;
    Count_3 : Integer := 0;
    *function To_Myarr3 is new Unchecked_Conversion(Myarr4_type,Myarr3_type);*

Now my doubt here is what does the function Myarr3 exactly do?

Thanks and regards maddy

© Stack Overflow or respective owner

Related posts about ada

Can't create file in Ada 95

as seen on Stack Overflow - Search for 'Stack Overflow'
Hello, I'm trying to follow a standard reference for opening files but running into a constraint_error at the line when I call Ada.Text_IO.Create(). It says "range check failed". Any help appreciated, here's the code: WITH Ada.Text_IO; WITH Ada.Integer_Text_IO; USE Ada.Text_IO; USE Ada.Integer_Text_IO; PROCEDURE… >>> More
Ada: Adding an exception in a separate procedure when reading a file

as seen on Stack Overflow - Search for 'Stack Overflow'
This is a follow-up of this question: Ada: reading from a file . I would like to add an exception that checks if the file that I'm opening actually exists or not. I have made a separate procedure to avoid code clutter. Here is the main code test_read.adb: with Ada.Text_IO; use Ada.Text_IO; with… >>> More
Good Ada IDE?

as seen on Stack Overflow - Search for 'Stack Overflow'
What would be a good (free) Ada IDE for either Linux or Windows? >>> More
How to determine the modulus of a Float in Ada 95

as seen on Stack Overflow - Search for 'Stack Overflow'
I need to determine the amount left of a time cycle. To do that in C I would use fmod. But in ada I can find no reference to a similar function. It needs to be accurate and it needs to return a float for precision. So how do I determine the modulus of a Float in Ada 95? elapsed := time_taken mod… >>> More
Simulating a 6-faced die in Ada-2005

as seen on Stack Overflow - Search for 'Stack Overflow'
Dear Friends ! I have very definitively come across the 'simulating a 6-faced die' (which produces a random integer between 1 and 6, all outcomes are equally probable) in Java, Python, Ruby and Bash. However, I am yet to see a similar program in Ada. Has anyone come across one ? Kind regards Arkaprav… >>> More

Related posts about unchecked-conversion

Unchecked_Conversion in ada

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi all, Can anyone please make me clear about the use of unchecked conversion in ada language.I had tried the pdf and net but all doesnt give me a clear picture to me. Now i have a small piece of code shown below: subtype Element4_Range is integer range 1..4; subtype Element3_Range… >>> More
Avoiding unsafe cast for generic situation involving runtime passing of class

as seen on Stack Overflow - Search for 'Stack Overflow'
public class AutoKeyMap<K,V> { public interface KeyGenerator<K> { public K generate(); } private KeyGenerator<K> generator; public AutoKeyMap(Class<K> keyType) { // WARNING: Unchecked cast from AutoKeyMap.IntKeyGen to AutoKeyMap.KeyGenerator<K> … >>> More
How to do an array of hashmaps?

as seen on Stack Overflow - Search for 'Stack Overflow'
This is what I tried to do, but it gives me a warning: HashMap<String, String>[] responseArray = new HashMap[games.size()]; "Type safety: The expression of type HashMap[] needs unchecked conversion to conform to HashMap[]" >>> More
Reflection problem - Type Safety Warning

as seen on Stack Overflow - Search for 'Stack Overflow'
Class<? extends Algorithm> alg = AlgorithmAllFrom9AndLastFrom10Impl.class Constructor<Algorithm> c = alg.getConstructors()[0]; For "alg.getConstructors()[0];" I am getting a warning in eclipse Type safety: The expression of type Constructor needs unchecked conversion to conform… >>> More
mockito ArrayList<String> problem...

as seen on Stack Overflow - Search for 'Stack Overflow'
I have a method that I am trying to unit test. This method takes a parameter as an ArrayList and does things with it. The mock I am trying to define is: ArrayList<String> mocked = mock(ArrayList.class); which gives a [unchecked] unchecked conversion" warning. ArrayList<String>… >>> More