Gem #11: Limited Types in Ada 2005 Constructor Functions Part 2 Author: Bob Duff, AdaCore Abstract: Ada Gem #11 We show here how limited constructor functions can be used in various contexts to build new limited objects in place. Let s get started ¦ We ve earlier seen examples of constructor functions for limited types similar to this: package P is type T (<>) is limited private; function Make_T (Name : String) return T; -- constructor function private type T is new Limited_Controlled with record ¦ end record; end P; package body P is function Make_T (Name : String) return T is begin return (Name => To_Unbounded_String (Name), others => <>); end Make_T; end P; function Make_Rumplestiltskin return T is begin return Make_T (Name => Rumplestiltskin ); end Make_Rumplestiltskin; It is useful to consider the various contexts in which these functions may be called. We ve already seen things like: Rumplestiltskin_Is_My_Name : T := Make_Rumplestiltskin; in which case the limited object is built directly in a standalone object. This object will be finalized whenever the surrounding scope is left. We can also do: procedure Do_Something (X : T); Do_Something (X => Make_Rumplestiltskin); Here, the result of
End of preview. The entire article is 2 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/gem-11-limited-types-in-ada-2005-constructor-functions-part-2-nK2k5mBDH9
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
Gem #11: limited types in Ada 2005: constructor functions part 2
Duff, Bob
Follow ACM SIGAda Ada Letters
, Volume 28 (2)
Association for Computing Machinery – Jul 31, 2008
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
