logs archiveBotHelp.net / Freenode / #ada / 2015 / July / 28 / 2
joakim
sparre: thanks for the info. will try that out one day.
as I understand it, work is ongoing for the SPARK tools to accept static and dynamic predicates http://www.spark-2014.org/entries/detail/spark-2014-rationale-type-predicates
using such constructs in GNAT GPL 2015, the SPARK tools (gnatprove) says that predicates are not supported yet. That is different behavior compared to GNAT GPL 2014 where they were forbidden from SPARK
cbm99
hello
I have an ada newbie question
Lucretia
just ask
cbm99
say I have this code: TempRecord1.Components(Index).Gas.molmol := TempRecord1.Components(index).Gas.molmol - TempRecord1.Components(Index).Gas.Umolmol;
is there an ada equivalent of the visual basic construction (yes I know) like this:
with TempRecord1.Components(Index).Gas
.molmol := .molmol - .Umolmol;
Lucretia
well, you can't do that in Ada
oh that was vb
Visaoni
you could use renaming to shorten it, but you can't completely be rid of it
sparre
You could rename ...Gas as a new object with its own name.
Lucretia
although the with do is Pascal
yup, rename
cbm99
okay, I'll look into rename
thank you
pnoffke
I finally posted my GNAT GPL patches for Atmel SAM4S: https://adaformicrocontrollers.com/viewtopic.php?f=6&t=20
Shark8
pnoffke: Cool.
sparre
An example of why Static_Predicates are useful (as something different from Dynamic_Predicates): https://bitbucket.org/sparre/ada-2012-examples/commits/5a82639a14c7a3eb6999d08a3c8bc6ed1b875a64
darkestkhan
sparre: interesting definition of Summer and Winter ;P (prolly by some Aussie)
sparre
darkestkhan: Mauritius.
It is what I use in my tutorials on Ada 2012 contracts.
darkestkhan
sparre: how does Dynamic_Predicate differ from Static one?
oh boy, what did I just read - peak wood
« prev 1 2 next »