> Is there a way for GPS to recognize SPARK annotations ("--#")
> and then parse what follows into something sensible? Is this
> something that a user can set up or would it require some
> development work?
Martin,
We are currrently considering a SPARK customization for
GPS. Please watch this space for further announcements.
Please define "something sensible"..there are various levels
of support for SPARK Annotations within GPS that could
be imagined. Simple syntax highlighting is on obvious first
step. Semantic browsing is more tricky - for entities which
are real Ada objects (i.e. concrete own variables) this could
probably be made to work. For SPARK abstract own variables,
which would be far harder, since GPS has no knowledge of
what a SPARK abstract own variable is!
We hope to release our initial efforts soon, and we would
welcome further ideas and contributions.
- Rod
**********************************************************************
This email and any files transmitted with it are confidential and
intended solely for the use of the individual or entity to whom they
are addressed. If you have received this email in error please notify
the system manager. The IT Department at Praxis Critical Systems can be
contacted at it.support@xxxxxxxxxxxxxxx
This footnote also confirms that this email message has been swept by
MIMEsweeper for the presence of computer viruses.
www.mimesweeper.com
**********************************************************************
________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________
|
