No, it isn't. I think you're confusing contracts (added in Ada 2012) with the entirety of SPARK.